Aw: [PEIRCE-L] Intuitionistic Logic

Gary F., Jon, Jon, List   Now I think, that Peirce is right, and my temporality-hypothesis is not necessary: If the term "If A then (if A the B)" can be reduced to "if A then B", the latter can be expanded to the former as well. So "Every unicorn is pink" can be said as "for every unicorn counts,

Aw: [PEIRCE-L] Intuitionistic Logic

Gary F., List   Yes, but I don´t know if I am right. It would mean, that temporality is something more than causality: Mere causality in the present would be symbolized with another implication: "If A then (if A then B)". But this term reduces to "if A Then B", when you write it with Boolean "not

Aw: [PEIRCE-L] Intuitionistic Logic

      Supplement: The logical connection between premiss and rule cannot be symbolized with logical notation including EGs. It is a temporal connection, a relation between past and present. Logic notation merely notes the status of the present. Implication implies this temporal relation, and "not

Aw: [PEIRCE-L] Intuitionistic Logic

Jon, Jon, List   Wikipedia says there are two kinds of "ex falso quod libet": First the contradiction "A and not A", and secondly the counterfactual material implication "If A then B" with A being false. From "every unicorn is pink" follows, that this is true, and anything else also is. These two

Aw: [PEIRCE-L] Intuitionistic logic

      Supplement: A third way of classically synchronizing the two propositions may be the counterfactual material implication, the "ex falso quodlibet" in a broader sense. Then "if it is a unicorn, it is pink" is true, and also "If it is a unicorn, it is pink, all cats are dogs, Santa Claus is m

Aw: [PEIRCE-L] Intuitionistic logic

List,   Does anybody know an example which justifies intuitionistic logic, so in which classical logic fails? I think Jon, A.S., you once gave me the following example:   "Every unicorn is pink" is false, but "There is no unicorn that is not pink" is true.   "Every unicorn is pink" is false,

Aw: [PEIRCE-L] Intuitionistic logic, WAS: Asymmetry of Logic and Time

Edwina, the story of my life is, that I frequently want  things that donot emerge due to my wanting. But I agree. At least I am a mechanic, so I can know something. Best, Helmut      25. Dezember 2020 um 20:27 Uhr "Edwina Taborsky" wrote: Helmut - I don't think that we can 'want' both democr

Aw: [PEIRCE-L] Intuitionistic logic, WAS: Asymmetry of Logic and Time

      Supplement: Interesting is the difference between belief and knowledge: The belief values (affirmation, weak, strong negation) classify three groups: Believers, non-believers, and deniers. Affirmation makes believers a class, weak negation makes non-believers and deniers one class, strong n