Logical Properties
Download Logical Properties PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Logical Properties book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Logical Properties
The concepts of identity, existence, predication, necessity, and truth are at the centre of philosophy and have rightly received sustained attention. Yet Colin McGinn believes that orthodox views of these topics are misguided in important ways. Philosophers and logicians have often distorted the nature of these concepts in an attempt to define them according to preconceived ideas. Logical Properties aims to respect the ordinary ways we talk and think when we employ these concepts, while at the same time showing that they are far more interesting and peculiar than some have supposed. There are real properties corresponding to these concepts - logical properties - that challenge naturalistic metaphysical views. These are not pseudo-properties or mere pieces of syntax. Logical Properties is written with the minimum of formal apparatus and deals with logico-linguistic issues as well as ontological ones. The focus is on trying to get to the essence of what the concept concerned stands for, and not merely finding some established notation for providing formal paraphrases.
Eliminating The Universe: Logical Properties Of Natural Language
This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantification (separated from variable binding), covering some cases of anaphora. Different categories — predicates, adjective, quantifiers — are modeled by non-isomorphic boolean lattices.Of empirical linguistic interest is the expressibility of many natural classes of quantifiers defined in terms of their logical (automorphism invariant) properties. Some of these correlate with classes used syntactically in generative grammar. In other cases we find general (possibly universal) constraints on possible quantifier denotations in natural language.Also of novel logical interest are entailment paradigms that depend on relations between pairs or triples of generalized quantifier denoting expressions, ones that are in some cases inherently vague. In addition we note novel binary quantifiers that lie beyond the 'Frege boundary' in that they are provably not identical to any iterated application of unary quantifiers.Of philosophical interest is the existence of models which make the same sentences true as standard models but which lack a universe and hence, seemingly, a notion of 'reference'. Moreover, these models generalize to ones in which we can represent (some) intensional expressions without the use of novel ontological objects, such as 'possible worlds' or 'propositions'.
Truth and the World
How do we explain the truth of true propositions? Truthmaker theory is the branch of metaphysics that explores the relationships between what is true and what exists. It plays an important role in contemporary debates about the nature of metaphysics and metaphysical enquiry. In this book Jonathan Tallant argues, controversially, that we should reject truthmaker theory. In its place he argues for an 'explanationist' approach. Drawing on a deflationary theory of truth he shows that it allows us to explain the truth of true propositions and respond to recent arguments that purport to show otherwise. He augments this with a distinction between internally and externally quantified claims: externally quantified claims are claims that quantify over elements of our ontology that play an indispensable explanatory role; internally quantified claims do not. He deploys this union of deflationism and a distinction between kinds of quantification to pursue metaphysical inquiry, sketching the implications for a number of first-order debates, including those in the philosophy of time, modality and mathematics, and also shows how this explanationist model can be used to solve the key problems that afflicted truthmaker theory. Truth and the World is an important contribution to debates about truth and truthmaker theory as well as metametaphysics, the metaphysics of time and the metaphysics of mathematics, and is essential reading for students and scholars engaged in the study of these topics.