Details

Autor(en) / Beteiligte

• Luschei, Eugene C

Titel

The logical systems of Lesniewski

Beschreibungen/Notizen

• Description based upon print version of record.
• Front Cover; The Logical Systems of Lesniewski; Copyright Page; Contents; CHAPTER 1. CONVENTIONS OF EXPOSITION AND REFERENCE; 1.0 Reference to sources; 1.1 Italics and quotation; 1.2 Quotation names; 1.3 Reference to individual expressions; 1.4 Definitions; 1.5 Nouns and names; 1.6 Verbs; 1.7 Technical use of English expressions; 1.8 Material mode of expression; CHAPTER 2. LESNIEWSKI'S DEVELOPMENT; 2.0 Background and associates; 2.1 Early work and publications; 2.2 Research in Warsaw; 2.3 Mature publications; CHAPTER 3. LESNIEWSKI'S ACHIEVEMENTS
• 3.1 Refutation of a "platonist" theory of "representation"3.2 Formalization of logic and foundations of mathematics; 3.3 Resolution of paradoxes; 3.4 Contributions to semantics; 3.5 Principles of formalization; 3.6 Axiomatic reductions; 3.7 Natural deduction by the suppositional method; 3.8 Ideographic notation for propositional logic; 3.9 Other peripheral contributions; 3.10 Why is Lesniewski's work relatively unknown?; CHAPTER 4. LESNIEWSKI'S CRITIQUE OF PURE FORMALISM; 4.1 "Thorough pragmatism"; 4.2 "Useful nonsense"; 4.3 Convenient carelessness; 4.4 "Names" which name nothing
• 4.5 "Identification" of discernibles4.6 Convenient fictions and possible interpretations; 4.7 Formal simplification and philosophical clarification; 4.8 Treatment of antinomies; 4.9 Initial analysis of Russell's contradiction; 4.10 "Collections not actually composed of their elements"; 4.11 Lesniewski's assessment of other systems; 4.12 Avoidance of misconceptions; CHAPTER 5. LESNIEWSKI'S GRAMMAR OF SEMANTIC CATEGORIES; 5.1 Rationale of logical grammar; 5.2 Construction of Lesniewski's grammar; 5.3 Propositions; 5.4 Do Lesniewski's requirements preclude vicious circles?
• CHAPTER 6. LESNIEWSKI'S SYSTEM OF LOGIC AND FOUNDATIONS OF MATHEMATICS6.0 Conception of logic; 6.1 Formalization; 6.2 Lesniewski's system of logic; 6.3 Mereology; 6.4 Demonstrable relative consistency; 6.5 Grzegorczyk on Lesniewski; CHAPTER 7. TERMINOLOGICAL EXPLANATIONS AND DIRECTIVES; 7.0 Preliminary explanations; 7.1 Terminological explanations; 7.2 The first five directives for this system of logic; 7.3 Terminological explanations peculiar to ontology; 7.4 Final directives for this system of logic; CHAPTER 8. PRINCIPLES OF LESNIEWSKI'S IDEOGRAPHIC NOTATION; 9. NOTES; 10. BIBLIOGRAPHY
• 10.0 Primary sources10.1 Other publications cited; 11. INDEX; 11.1 Unalphabetized technical symbols; 11.2 Authors and subjects
• Provability, Computability and Reflection
• English