strict implication Calcutta diagrams and links

Useful diagrams

Document 1

Diagrams for modal logic Calcutta

The "Indian triangle" applied to modal logic

Document 2

Square-Hexagon-Triangle

The "Indian triangle" applied to the phenomenon of quantification

Document 3

Representation of Robert Blanché's hexagon 

to be simplified into a single triangle

Useful links

KNOLmnc 1 From the deficient square of opposition to Blanché’s hexagon. The triangle of Indian logic as a simplification of the latter. The rationalization of the scholastic symbolization.

FR MNC Indian logic and Robert Blanché's logical hexagon ...

FR MNC Tarski said: the proposition “Snow is white” is true, if and only if snow is white. One may conclude that instead of saying the proposition p is true, one must say that the fact p is certain and symbolize the certainty of the fact p by Lp.

KNOLmnc 1 To defend his views about modal logic and strict implication, Jean-François Monteil utilizes the chapter of Bertrand Russell’s An inquiry into meaning and truth entitled The law of excluded middle.

About the paradoxical sign of Jean-François Monteil and its importance for linguistics and logic 

x 

x

FR MNC (I) Modal logic. The final touch in defining the strict implication of a fact q by a fact p. If the bilateral possible Mp & M~p is to be symbolized by L ( p w ~p) , the formula of strict implication is L (p ≡ Lq).

FR MNC (II) Modal logic. The final touch about strict implication L (p ≡ Lq). The two facts containing it.

FR MNC (III) Modal logic. The three ingredients of L (p ≡ Lq). Unconditional certainty and conditional certainty.

FR MNC (IV) Modal logic. The three facts to be considered: L (p ≡ Lq), the strict implication of q by p and the two facts containing it, namely, L ((p & Lq) w (~p & M(q)) on the one hand and L ((p & Lq) w (~p & L~q) on the other.

x 

x

FR MNC I Contingency and necessity. The a priori conditions of experience. Something about Bertrand Russell’s An inquiry into meaning and truth.

FR MNC II Contingency and necessity. The a priori conditions of experience. Interpretation of the formula M L(p) v M Mp v M M~p

FR MNC III Contingency and necessity. About Russell’s An inquiry into meaning and truth, chapter 20.The law of excluded middle to be formulated in terms of fact.

FR MNC IV Contingency and necessity. From L(p) w M(p) to MM(p) v MMp v MM~p. The two levels in modal logic

FR MNC V Contingency and necessity. Contingency and the 3 pairs of contradictory facts : a LL(p) b LMp c LM~p