
Recent Posts
Recent Comments
Archives
Categories
Meta
Advertisements
The reason Tortoise couldn’t stop hypothesizing is that an implication never asserts its constituent propositions. Given: A. P is true. B. if P is true then Q is true, (P implies Q). B only asserts the implication. Even if both … Continue reading
“(∃x)φx” — “There exists an x for which φx is true,” or “there exists an x satisfying φx” page 16. 1st ed. “(x)φx” — “the x which satisfies .” Page 31. 1st ed. “E!(x)φx” — “the x satisfying φx exists”. Page … Continue reading
A defining function can be used to determine a set whose members are arguments that satisfy . Let denote the set determined by . To say is or is not a member of itself is to use as an argument … Continue reading
Define ” is identical with ” as meaning “whatever is true of is true of ,” i.e. ” always implies .” (1) Dem. If is identical with and ” is identical with , then is identical with a. Although the … Continue reading
❋5.14 ⊦:. p ⊃ q .v. q ⊃ r Dem. ⊦. [Simp] ⊦: p . ~q .⊃. ~q (1) ⊦. [❋2.21] ⊦: ~q .⊃. q ⊃ r (2) ⊦. [(1).(2).Syll] ⊃⊦: p.~q .⊃. q ⊃ r : [Transp] … Continue reading
Courtesy of Albert Steppi who provided answer from stackexchange.com. ❋4.86 ⊦:. p ≡ q .⊃: p ≡ r .≡. q ≡ r Dem. ⊦. [❋4.22] ⊃⊦: p ≡ q . q ≡ r .⊃. p ≡ r (1) ⊦. [❋4.22] … Continue reading
❋4.77 ⊦:. q ⊃ p . r ⊃ p .≡: q v r .⊃. p Dem. ⊦. [ ❋3.44] ⊦:. q ⊃ p . r ⊃ p .⊃: q v r .⊃. p (1) ⊦. [Add] ⊦. r ⊃ … Continue reading