Modal Thinking - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Modal Thinking write by Alan R. White. This book was released on 1975-01-01. Modal Thinking available in PDF, EPUB and Kindle.
Modal Homotopy Type Theory
Modal Homotopy Type Theory - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Modal Homotopy Type Theory write by David Corfield. This book was released on 2020-02-06. Modal Homotopy Type Theory available in PDF, EPUB and Kindle. "The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory. Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics. The chapters build up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. From a discussion of the distinction between objects and events, the intrinsic treatment of structure, the conception of modality as a form of general variation to the representation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.
Aristotle’s Modal Syllogistic
Aristotle’s Modal Syllogistic - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Aristotle’s Modal Syllogistic write by Marko Malink. This book was released on 2013-11-01. Aristotle’s Modal Syllogistic available in PDF, EPUB and Kindle. Aristotle was the founder not only of logic but also of modal logic. In the Prior Analytics he developed a complex system of modal syllogistic which, while influential, has been disputed since antiquity—and is today widely regarded as incoherent. In this meticulously argued new study, Marko Malink presents a major reinterpretation of Aristotle’s modal syllogistic. Combining analytic rigor with keen sensitivity to historical context, he makes clear that the modal syllogistic forms a consistent, integrated system of logic, one that is closely related to other areas of Aristotle’s philosophy. Aristotle’s modal syllogistic differs significantly from modern modal logic. Malink considers the key to understanding the Aristotelian version to be the notion of predication discussed in the Topics—specifically, its theory of predicables (definition, genus, differentia, proprium, and accident) and the ten categories (substance, quantity, quality, and so on). The predicables introduce a distinction between essential and nonessential predication. In contrast, the categories distinguish between substantial and nonsubstantial predication. Malink builds on these insights in developing a semantics for Aristotle’s modal propositions, one that verifies the ancient philosopher’s claims of the validity and invalidity of modal inferences. Malink recognizes some limitations of this reconstruction, acknowledging that his proof of syllogistic consistency depends on introducing certain complexities that Aristotle could not have predicted. Nonetheless, Aristotle’s Modal Syllogistic brims with bold ideas, richly supported by close readings of the Greek texts, and offers a fresh perspective on the origins of modal logic.
Modality and Explanatory Reasoning
Modality and Explanatory Reasoning - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Modality and Explanatory Reasoning write by Boris Kment. This book was released on 2014-09-18. Modality and Explanatory Reasoning available in PDF, EPUB and Kindle. Since the ground-breaking work of Saul Kripke, David Lewis, and others in the 1960s and 70s, one dominant interest of analytic philosophers has been in modal truths, which concerns the questions of what is possible and what is necessary. However, there is considerable controversy over the source and nature of necessity. In Modality and Explanatory Reasoning, Boris Kment takes a novel approach to the study of modality that places special emphasis on understanding the origin of modal notions in everyday thought. Kment argues that the concepts of necessity and possibility originate in a common type of thought experiment—counterfactual reasoning—that allows us to investigate explanatory connections. This procedure is closely related to the controlled experiments of empirical science. Necessity is defined in terms of causation and other forms of explanation such as grounding, the relation that connects metaphysically fundamental facts to non-fundamental ones. Therefore, contrary to a widespread view, explanation is more fundamental than modality. The study of modal facts is important for philosophy, not because these facts are of much metaphysical interest in their own right, but because they provide evidence about explanatory relationships. In the course of developing this position, the book offers new accounts of possible worlds, counterfactual conditionals, essential truths and their role in grounding, and a novel theory of how counterfactuals relate to causation and explanation.
Modal Thinking
Modal Thinking - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Modal Thinking write by Alan R. White. This book was released on 1975-01-01. Modal Thinking available in PDF, EPUB and Kindle.
