Professor Fogelin has provided an authoritative critical evaluation of both the Tractatus Logico-Philosophicus and Philosophical Investigations, making these key texts accessible to the general reader.

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

The full-text of this article is not currently available in ORA, but you may be able to access the article via the publisher copy link on this record page. N.B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.

Roger White; X*—Wittgenstein on Identity, Proceedings of the Aristotelian Society, Volume 78, Issue 1, 1 June 1978, Pages 157–174, https://doi.org/10.1093/arist.

We investigate a rst-order predicate logic based on Wittgenstein's suggestion to express identity of object by identity of sign, and difference of objects by difference of signs. Hintikka has shown that predicate logic can indeed be set up in such a way; we show that it can be done nicely. More specically, we provide a perspicuous cut-free sequent calculus, as well as a Hilbert-type calculus, for Wittgensteinian predicate logic and prove soundness and completeness theorems.

Wittgensteinian predicate logic (W-logic) is characterized by the requirement that the objects mentioned within the scope of a quantifier be excluded from the range of the associated bound variable. I present a sound and complete tableaux calculus for this logic and discuss issues of translatability between Wittgensteinian and standard predicate logic in languages with and without individual constants. A metalinguistic co-denotation predicate, akin to Frege’s triple bar of the Begriffsschrift, is introduced and used to bestow the full expressive power of (...) first-order logic with identity on W-logic in the presence of constants. (shrink)

Identity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic.

The paper argues, as against Thau and Caplan, that the traditional interpretation that Frege abandoned his earlier views about identity and identity--statements is correct.

There is a standard view of relations, held by philosophers and logicians alike, according to which we may meaningfully talk of a relation holding of several objects in a given order. Thus it is supposed that we may meaningfully—indeed, correctly—talk of the relation loves holding of Anthony and Cleopatra or of the relation between holding of New York, Washington, and Boston. But innocuous as this view might appear to be, it cannot be accepted as applying to all relations whatever. For (...) there is an important class of metaphysical and linguistic contexts which call for an alternative conception of relation, one for which the order of the relata plays no role and in which the application of the relation to its relata is achieved by other means. (shrink)

'There is much food for thought in McGinn's discussions and each chapter is rich with a series of considerations for thinking that the currently received views on the various topics have some serious difficulties that need confronting... For those interested in metaphysics and the philosophy of logic, this book will stimulate much further thought' -Mind 'The sweep of the book is broad and the pace is brisk... There is much material here to provide the basis for many a deep philosophical (...) discussion' -Mind 'Lucid and provocative little book... clear, direct and well argued' -Times Higher Education SupplementIdentity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic. (shrink)

This book offers a critical account of the fundamental elements of Leibniz's philosophy, as they manifest themselves in his metaphysics and philosophy of language. Emphasis is placed upon his hitherto neglected doctrine of nominalism, which states that only concrete individuals exist and that there are no such things as abstract entities – no numbers, geometrical figures or other mathematical objects, nor any abstractions such as space, time, heat, light, justice, goodness, or beauty. Using this doctrine as a basis, the book (...) considers the core of Leibniz's metaphysics and philosophy of language, including the well‐known principles of Contradiction, Sufficient Reason, Continuity and Individuation, and the concepts of Possible World, Individual Substance, Truth, and Necessity. (shrink)

This analysis of Frege's views on language and metaphysics in On Sense and Reference, arguably one of the most important philosophical essays of the past hundred years, provides a thorough introduction to the function/argument analysis and applies Frege's technique to the central notions of predication, identity, existence and truth. Of particular interest is the analysis of the Paradox of Identity and a discussion of three solutions: the little-known Begriffsschrift solution, the sense/reference solution, and Russell's 'On Denoting' solution. Russell's views wend (...) their way through the work, serving as a foil to Frege. Appendices give the proofs of the first 68 propositions of Begriffsschrift in modern notation. This book will be of interest to students and professionals in philosophy and linguistics. (shrink)

It is beliefs of this sort--de linguabeliefs--that Robert Fiengo and Robert May explore in this book.

After defining a standard modal language and semantics, we offer some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.