How is mathematical logic used in analytic metaphysics?

Analytic philosophy emphasizes formal logic, mathematics, and rigorous argument. Extended logics apply classical logic frameworks to metaphysics to reason about necessity, possibility, and what exists. Figures such as W. V. O. Quine, Saul Kripke, and David Lewis helped drive a revival in metaphysical inquiry within this tradition.

What we know

• Analytic philosophy is characterized by an emphasis on analysis, clear prose, formal logic, and mathematics. [2]
• Extended logics apply the basic intuitions of classical logic to fields like metaphysics as frameworks for reasoning about what is possible or necessary. [3]
• Philosophers such as W. V. O. Quine, Saul Kripke, and David Lewis led a decline of logical positivism and a subsequent revival in metaphysics. [2]

Where to go next

• the bigger pictureWhat is analytic philosophy?
• how it workedHow does formal logic work?
• whoWho were the central figures of logical positivism?
• compared withHow does the philosophy of mathematics address abstract objects?
• how we knowWhat role did Language, Truth, and Logic play in philosophy?
• an unexpected connectionHow do books on meaning connect to formal metaphysics?Works arguing for strict verification principles helped shape the very linguistic turn that later analytic philosophers reacted against to revive metaphysics.

Sources

• [1]analytic philosophy (Wikidata Q183216) · CC0 1.0
• [2]Analytic philosophy · CC BY-SA 4.0
• [3]Logic · CC BY-SA 4.0
• [4]Language, Truth, and Logic · CC BY-SA 4.0
• [5]Philosophy of mathematics · CC BY-SA 4.0