1. Aristotle ● All men are mortal. Major premise. ● Socrates is a man. Minor premise. ● Socrates is mortal.Conclusion ● In conclusion returns to the subject of the minor and the predicate of major. Missing in the conclusion the subject of major and the predicate of the minor who reported the same concept (men-man).This is called the middle term. It must always bear the word "all".Otherwise, the syllogism not working.

2. Square of Psellus

3. Contradditorie ● By denying a proposition is necessarily its contradictory claims. For example.It is not true that no woman is beautiful.(~ ∀ x~Fx) =Some woman is beautiful ( ∃ xFx). ● 5.521Ich trenne den Begriff Alle von der Wahrheitfunktion.Frege und Russell haben die Allgemeinheit in Verbindung mit den logischen Produkt oder dem logischen Summe eingenführt.So wurde es schwer, die Sätze( ∃ x)Fx und (x)Fx, in welchem beide Ideen beschlossen liegen, zu verstehen. ● ???

4. What is the logical product or logical sum? ● the logical product = conjunction ● The logical sum= disjunction ● (1+1 = 1 because into logic there is only true = 1 false = 0)

5. Criticism of Frege and Russell ● W.criticizes Frege and Russell have regarded as a product (x) FX that is a logical conjunction and ∃ xFx as a sum that is disjunction. ● That all women are beautiful would be like saying Mary is beautiful ^ Carmen is beautiful^ Carla is beautiful ^ etc.. And say that some woman is beautiful is like saying you Mary is beautiful or(v) Carla is beautiful or (v) Carmen is beautiful etc.

6. Beide Ideen

7. In fact:

8. Answer to your question ● How do we calculate that if all men are mortal and Socrates is a man to be mortal? ● First, can we put f =to death ;Socrates =a ● ∀ xfx ⊃ fa ● But how to calculate it? Even supposing that all men are mortal would be like saying Alexander is mortal and Alberto is mortal a conjunction that is a logical product how many lines should we treat? Infinite?

9. The logic of Varzi p.185 simply assumes that the implication is true ● The most method to an absurd apply ● 1)~( ∀ xfx ⊃ fa) Suppose by contradiction that the implication is false. ● 2) ∀ xfx This is true ● 3)~fa This is false ● 4) fa by 2) ● X So we must reject the 1)

10. but ● We can say that the solution was already presupposed. Circulus Vitiosus. ● So what? ● For Wittgenstein, there are two solutions to a time of the Tractatus ● the other in his later philosophy ● 1) "All" is truly infinite. ● 2) "All" does not exist in reality: it is a formal concept.

11. Remember the big mirror?

12. in brackets

13. the logic gates The nonlinearity of the proceedings, convinced even the computer back to And and Or Instead of NOR that could save (one piece) but after the circuit had to be crossed in various ways

14. But assuming that "All" is a logical product VFFF

15. Later, however but in reality it is not

16. more