Propositional Quantifiers

Propositional Quantifiers
Author: Peter Fritz
Publisher: Cambridge University Press
Total Pages: 137
Release: 2024-05-16
Genre: Philosophy
ISBN: 1009188631

Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.

Quantifiers, Propositions and Identity

Quantifiers, Propositions and Identity
Author: Robert Goldblatt
Publisher: Cambridge University Press
Total Pages: 283
Release: 2011-07-14
Genre: Mathematics
ISBN: 1107010527

Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation. This book is for mathematical or philosophical logicians, computer scientists and linguists, including academic researchers, teachers and advanced students.

What Truth is

What Truth is
Author: Mark Jago
Publisher: Oxford University Press
Total Pages: 369
Release: 2018
Genre: Philosophy
ISBN: 0198823819

Mark Jago offers a new metaphysical account of truth. He argues that to be true is to be made true by the existence of a suitable worldly entity. Truth arises as a relation between a proposition - the content of our sayings, thoughts, beliefs, and so on - and an entity (or entities) in the world.

Strategies of Quantification

Strategies of Quantification
Author: Kook-Hee Gil
Publisher: Oxford University Press
Total Pages: 337
Release: 2013-02-21
Genre: Language Arts & Disciplines
ISBN: 0199692432

Quantification has been at the heart of research in the syntax and semantics of natural language since Aristotle. The last few decades have seen an explosion of detailed studies of the syntax and semantics of quantification and its relation to the rest of the theory of grammar, resulting in a highly sophisticated understanding of the mechanisms of quantification. This book considers the ways natural languages vary with respect to their realisation of quantificational notions. Drawing on data from English, German, Japanese, Korean, Mandarin, Hausa and others, the authors also link the variation in the expression of quantification to the notions of polarity sensitivity, free-choice and indefiniteness.

Quantifiers in Language and Logic

Quantifiers in Language and Logic
Author: Stanley Peters
Publisher: Oxford University Press
Total Pages: 549
Release: 2006-04-27
Genre: Language Arts & Disciplines
ISBN: 019929125X

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, and many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.Quantifiers in Language and Logic is intended for everyone with a scholarly interest in the exact treatment of meaning. It presents a broad view of the semantics and logic of quantifier expressions in natural languages and, to a slightly lesser extent, in logical languages. The authors progress carefully from a fairly elementary level to considerable depth over the course of sixteen chapters; their book will be invaluable to a broad spectrum of readers, from those with a basicknowledge of linguistic semantics and of first-order logic to those with advanced knowledge of semantics, logic, philosophy of language, and knowledge representation in artificial intelligence.

A Prosentential Theory of Truth

A Prosentential Theory of Truth
Author: Dorothy Grover
Publisher: Princeton University Press
Total Pages: 301
Release: 2014-07-14
Genre: Philosophy
ISBN: 140086268X

In a number of influential articles published since 1972, Dorothy Grover has developed the prosentential theory of truth. Brought together and published with a new introduction, these essays are even more impressive as a group than they were as single contributions to philosophy and linguistics. Denying that truth has an explanatory role, the prosentential theory does not address traditional truth issues like belief, meaning, and justification. Instead, it focuses on the grammatical role of the truth predicate and asserts that "it is true" is a prosentence, functioning much as a pronoun does. Grover defends the theory by indicating how it can handle notorious paradoxes like the Liar, as well as by analyzing some English truth-usages. The introduction to the volume surveys traditional theories of truth, including correspondence, pragmatic, and coherence theories. It discusses the essays to come and, finally, considers the implications of the prosentential theory for other theories. Despite the fact that the prosentential theory dismisses the "nature of truth" as a red herring, Grover shows that there are important aspects of traditional truth theories that prosentential theorists have the option of endorsing. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Everything, more or less

Everything, more or less
Author: J. P. Studd
Publisher: Oxford University Press
Total Pages: 304
Release: 2019-04-04
Genre: Philosophy
ISBN: 0191030368

Almost no systematic theorizing is generality-free. Scientists test general hypotheses; set theorists prove theorems about every set; metaphysicians espouse theses about all things regardless of their kind. But how general can we be and do we ever succeed in theorizing about absolutely everything? Not according to generality relativism. In its most promising form, this kind of relativism maintains that what 'everything' and other quantifiers encompass is always open to expansion: no matter how broadly we may generalize, a more inclusive 'everything' is always available. The importance of the issue comes out, in part, in relation to the foundations of mathematics. Generality relativism opens the way to avoid Russell's paradox without imposing ad hoc limitations on which pluralities of items may be encoded as a set. On the other hand, generality relativism faces numerous challenges: What are we to make of seemingly absolutely general theories? What prevents our achieving absolute generality simply by using 'everything' unrestrictedly? How are we to characterize relativism without making use of exactly the kind of generality this view foreswears? This book offers a sustained defence of generality relativism that seeks to answer these challenges. Along the way, the contemporary absolute generality debate is traced through diverse issues in metaphysics, logic, and the philosophy of language; some of the key works that lie behind the debate are reassessed; an accessible introduction is given to the relevant mathematics; and a relativist-friendly motivation for Zermelo-Fraenkel set theory is developed.

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.

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods
Author: Roy Dyckhoff
Publisher: Springer
Total Pages: 452
Release: 2006-12-30
Genre: Computers
ISBN: 3540450084

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000.The 23 revised full papers and 2 system descriptions presented were carefully reviewed and selected from 42 submissions. Also included are 3 invited lectures and 6 nonclassical system comparisons. All current issues surrounding the mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation, systems development, and applications, as well as covering a broad variety of logical calculi.