Phi 270 links page

Phi 270 website

8.6 derivation examples
8.4 description operator Russell’s analysis
8.3 at least 2 at least 2 restricted at least 3 at least n at least 57
8.2 ∀∃ ∃∀ ex ∃∀∀, ∀∃∀, ∀∀∃
8.1 square of opposition restricting generality ex
7.7 derivation examples
7.6 derivation examples
7.5 syllogisms
7.4 gen. procedure ex 74-1 ex 74-2 ex 74-3
7.2 3 kinds of gen. in symbols gen. pattern for restrictions example
6.3 alias sets derivation examples
6.1 example 1 individual terms singular & definite example 2 example 3 example 4
5.3 Boolean alg MTP and MPT MPP and MTT
5.2 conditional answers hedge trim if hedge trim unless hedge trim only if example 1 example 2 example 3
5.1 Boolean algebra ∨ Boolean algebra → hedge trim ex 51-1 ex 51-2 import-export ex 51-3
4.3 Boolean algebra ∨ MPT and MTP
4.1 Boolean algebra Boolean algebra ∧ disj vs. conj Boolean algebra ∨ square of opposition analysis example
3.5 procedure and rules procedure rules
3.3 neg. rules
3.2 Boolean algebra bounds
3.1 neg. & conj. square of opposition
2.4 soundness & strictness
2.3 soundness and completeness
2.2 arg. patterns conclusion trees argument trees derivations all together
2.1 semantics of conjunction
1.4 ded. rels. content & coverage
1.3 picnic-jpg ded. rels. animation
1.2 picnic-png

picnic-pdf

fig prop

cntnt/cvrg

content

coverage

fig ⊨

fig ⊨ c

fig ▵

fig ▵ c

fig ▿

fig ▿ c

fig ⋈

fig ⋈ c

2 props

Boole3D

BooleXray

1.1 weather observations inference fig. ded. bounds