The Foundations of Frege's Logic (Grundlagen Der Kommunikation Und Kognition / Foundations of)

Pavel Tichý was a Czech logician, philosopher and mathematician. He worked in the field of intensional logic and founded Transparent Intensional Logic, an original theory of the logical analysis of natural languages – the theory is devoted to the problem of saying exactly what it is that we learn, know and can communicate when we come to understand what a sentence means. He spent roughly 25 years working on it. His main work is a book The Foundations of Frege's Logic, published by Walter de Gruyter in 1988. Preface Acknowledgements Chapter One: Constructions 1. Entities, constructions, and functions 2. Two views of arithmetic 3. The linguistic turn Chapter Two: Fregean Functions 4. Frege and constructions 5. Functions as structured entities 6. The Extensionality Thesis 7. Unsaturatedness 8. The Immediacy Thesis Chapter Three: Fregean Objects 9. Objects as their own constructions 10. Objects as meta-constructions 11. Multiple analyses Chapter Four: Variables 12. Russell's Paradox 13. The Vicious Circle Principle 14. An objectual notion of variable Chapter Five: A Hierarchy of Entities 15. The five modes of forming constructions 16. The ramified hierarchy 17. Substitution Chapter Six: Two Interpretations of the Concept Script 18. The syntax of the Concept Script 19. Interpretation A 20. Interpretation Β 21. The ambiguity embraced Chapter Seven: Senses and Presentations 22. The ambiguity 23. Rigid presentations 24. Indexicals Chapter Eight: The Mediacy Thesis 25. The discrepancy 26. The definite article 27. Oblique reference Chapter Nine: Disambiguating Natural Discourse 28. Context dependence 29. The asymmetry argument 30. Russell's Theory of Descriptions Chapter Ten: Church's Logic of Sense and Denotation 31. Disambiguating with the grain 32. Church's system rectified 33. Assertion 34. The cross-reference problem Chapter Eleven: Logical Space 35. The nature of determiners 36. Possible worlds 37. The temporal dimension 38. Epistemic framework Chapter Twelve: Transparent Intensional Logic 39. Application 40. Aboutness 41. De dicto and de re 42. The limitations of logical space 43. Constructional attitudes: aboutness revisited 44. Codes and languages Chapter Thirteen: Inference 45. The two views 46. 'Natural deduction' 47. Sequents Chapter Fourteen: The Fallacy of Subject Matter 48. 'Arbitrary objects' 49. Fictional and historic reference 50. 'Formal axiomatics' 51. Epilogue Appendices Bibliography Index of Names Index of Subjects