Modal Thinking

Modal Thinking
Author: Alan R. White
Publisher: Wiley-Blackwell
Total Pages: 190
Release: 1975-01-01
Genre: Modality (Linguistics)
ISBN: 9780631165606

Modal Homotopy Type Theory

Modal Homotopy Type Theory
Author: David Corfield
Publisher: Oxford University Press
Total Pages: 208
Release: 2020-02-06
Genre: Philosophy
ISBN: 0192595032

"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
Author: Marko Malink
Publisher: Harvard University Press
Total Pages: 250
Release: 2013-11-01
Genre: Philosophy
ISBN: 0674727541

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.

Modal Logic as Metaphysics

Modal Logic as Metaphysics
Author: Timothy Williamson
Publisher: Oxford University Press
Total Pages: 481
Release: 2013-03-28
Genre: Philosophy
ISBN: 019955207X

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Modality and Explanatory Reasoning

Modality and Explanatory Reasoning
Author: Boris Kment
Publisher: OUP Oxford
Total Pages: 385
Release: 2014-09-18
Genre: Philosophy
ISBN: 0191668990

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.

The Actual and the Possible

The Actual and the Possible
Author: Mark Sinclair
Publisher: Oxford University Press
Total Pages: 250
Release: 2017
Genre: Mathematics
ISBN: 0198786433

The Actual and the Possible presents new essays by leading specialists on modality and the metaphysics of modality in the history of modern philosophy from the seventeenth to the twentieth centuries. It revisits key moments in the history of modern modal doctrines, and illuminates lesser-known moments of that history. The ultimate purpose of this historical approach is to contextualise and even to offer some alternatives to dominant positions within the contemporary philosophy of modality. Hence the volume contains not only new scholarship on the early-modern doctrines of Baruch Spinoza, G. W. F. Leibniz, Christian Wolff and Immanuel Kant, but also work relating to less familiar nineteenth-century thinkers such as Alexius Meinong and Jan Lukasiewicz, together with essays on celebrated nineteenth- and twentieth-century thinkers such as G. W. F. Hegel, Martin Heidegger and Bertrand Russell, whose modal doctrines have not previously garnered the attention they deserve. The volume thus covers a variety of traditions, and its historical range extends to the end of the twentieth century, addressing the legacy of W. V. Quine's critique of modality within recent analytic philosophy.

Introductory Modal Logic

Introductory Modal Logic
Author: Kenneth Konyndyk
Publisher:
Total Pages: 0
Release: 1986
Genre: Modality (Logic)
ISBN: 9780268011598

Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of "possible worlds" in these areas. Introductory Modal Logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic. Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student.

Kant's Modal Metaphysics

Kant's Modal Metaphysics
Author: Nicholas Frederick Stang
Publisher: Oxford University Press
Total Pages: 383
Release: 2016
Genre: Mathematics
ISBN: 0198712626

Nicholas F. Stang explores Kant's theory of possibility, from the precritical period of the 1750-60s to the Critical system initiated by the Critique of Pure Reason in 1781. He argues that the key to understanding the relationship between these periods lies in Kant's reorientation of an ontological question towards a transcendental approach.

Logical Modalities from Aristotle to Carnap

Logical Modalities from Aristotle to Carnap
Author: Adriane Rini
Publisher: Cambridge University Press
Total Pages: 365
Release: 2016-09-15
Genre: Mathematics
ISBN: 1107077885

Introduces readers to the history of necessity and possibility, two modal concepts which play a key role in philosophy.

Philosophy of John Duns Scotus

Philosophy of John Duns Scotus
Author: Antonie Vos
Publisher: Edinburgh University Press
Total Pages: 672
Release: 2006-06-30
Genre: Religion
ISBN: 0748627251

John Duns Scotus is arguably one of the most significant philosopher theologians of the middle ages who has often been overlooked. This book serves to recover his rightful place in the history of Western philosophy revealing that he is in fact one of the great masters of our philosophical heritage. Among the fields to which Scotus has made an immense contribution are logic, metaphysics, philosophy of mind and action, and ethical theory.The Philosophy of John Duns Scotus provides a formidable yet comprehensive overview of the life and works of this Scottish-born philosopher. Vos has successfully combined his lifetime of dedicated study with the significant body of biographical literature, resulting in a unique look at the life and works of this philosopher theologian.