This is the first book on the provocative and innovative contributions to philosophy of language, metaphysics, the philosophy of mathematics, and logic made by Kit Fine, one of the world's foremost philosophers. Topics covered include meaning and representation, arbitrary objects, essence, ontological realism, and the metaphysics of modality.

In Reference without Referents, Mark Sainsbury aims to provide an account of reference that honours the common-sense view that sentences containing empty names like "Vulcan" and "Santa Claus" are entirely intelligible, and that many such sentences -"Vulcan doesn't exist", "Many children believe that Santa Claus will give them presents at Christmas", etc.- are literally true. Sainsbury's account endorses the Davidsonian program in the theory of meaning, and combines this with a commitment to Negative Free Logic, which holds that all simple (...) sentences containing empty names are false. In this critical review, we pose a number of problems for this account. In particular, we question the ability of Negative Free Logic to make appropriate sense of the truth of familiar sentences containing empty names, including negative existential claims like "Vulcan doesn't exist". /// En Reference without Referents, Mark Sainsbury se propone ofrecer una explicación de la referencia que respete la idea de sentido común de que las oraciones con nombres vacíos como "Vulcano" y "Santa Claus" son completamente inteligibles, y que muchas de oraciones de este tipo -"Vulcano no existe", "Muchos niños creen que Santa Claus les traerá regalos en Navidad", y demás- son literalmente verdaderas. La propuesta de Sainsbury se inscribe dentro del programa davidsoniano en teoría del significado, y combina éste con un compromiso con la Lógica Libre Negativa, según la cual todas las oraciones simples que contienen nombres vacíos son falsas. En este estudio crítico, presentamos varios problemas de esta explicación. En particular, ponemos en duda la habilidad de la Lógica Libre Negativa de entender de manera apropiada la verdad de oraciones conocidas que contienen nombres vacíos, incluidas negaciones de existencia como "Vulcano no existe". (shrink)

We show how voting rules like the simple and the absolute majority rules, unanimity, consensus, etc. can be represented as logical operators in Łukasiewicz’s three-valued logic. First, we prove tha...

Explaining phenomenal consciousness may be the scientific and philosophical problem of our time, the last frontier of knowledge. This is not at all an easy task. For any serious attempt at finding a place for consciousness within the natural world was not successful so far. There is a conceptual tension here which makes this business of coming up with a unified (monist) explanation of mind and physical world one of the most intriguing mystery. The most predominant image of the natural (...) world is one of a physicalist type, whereas the mind, and especially the conscious subjective experience seem not to fit well within that physicalistexplanation. That explanatory failure may require a dualist metaphysical scheme (probably of a neo-Cartesian type). It may seem very well that we are caught in a dilemma, for we either embrace a physicalist explanation, but then it seems that we leave out consciousness from the big picture we are looking for, or else we face the huge task of conceiving a dramatic change of our scientific outlook about the natural world, and we don’t quite see how that would be possible or desirable. But then, should any attempt at understanding consciusness be a dead-end, something doomed to fail from a theoretical and explanatory point of view? In my paper I explore some philosophical underpinnings of contemporary dualism, focussing on the modal facets of the conceivability (neo-Cartesian) arguments. I will asses both the prospects and the moot points of this type of arguments. Of particular interest is the role that two-dimensional semantics plays in nowadays discussions of this topic. (shrink)

The paper examines some presuppositions of toleration and pluralism and explores two models, a deontological and a consequentialist model, that could support the view that rational agents should act in a tolerant way. Within the first model two arguments are given in favor of the view that people are better off and more rational if they are tolerant. The first argument draws upon a principle of charity that one usually makes use of in philosophy of mind and philosophy of language, (...) but which could work equally well with regard to this foundational issue in ethics and philosophy of action. The second argument is built upon the epistemic principle of fallibilism and is meant to show that from this vantage point acting in a tolerant way is the rational thing to do. (shrink)

The general slogan in the title of this paper gives a general, but nevertheless accurate, expression of Strawson’s view concerning the nature of formal logic per se in relation to natural language. What is at stake here is the extent to which the formal methods and the formal semantics of contemporary symbolic logic can render the meanings of natural language expressions. Strawson sets up an agenda for logical theory which, although rather dated for a logic text, is what one naturally (...) expects from an introduction to elementary formal logic and a systematic analysis of certain crucial metalogical concepts, most notably entailment. However, my own reading is that Strawson’s approach to logic makes a lasting contribution to understanding the inner workings of natural language through his critical discussion of the limits of the formal renderings of the semantics of natural language expressions via canonical first-order notations. One can recognize in this critical attitude towards the limits of formal methods a consistent generalization of Strawson’s own strategy from his critical response to Russell’s theory of descriptions.In my paper I shall focus on certain examples which illustrate the general slogan that characterizes Strawson’s views on the nature of logic in connection with ordinary language and talk. (shrink)

The dissertation gives a second-order-logic-based explanation of modal incompleteness. The leading concept is that modal incompleteness is to be explained in terms of the incompleteness of standard second-order logic, since modal language is basically a second-order language. The development of Kripke-style semantics for modal logic has been underpinned by the conjecture that all modal systems are characterizable by classes of frames defined by first-order conditions on a binary relation. However, the discovery of certain incomplete modal systems has undermined the all-encompassing (...) feature of Kripke-style approach. There are logics not determined by any class of Kripke frames at all. ;In the dissertation I investigate a normal incomplete sentential modal system due to J. F. A. K. Van Benthem, and I address both the formal and the philosophical facets of modal incompleteness from the vantage point that modal logic is essentially second-order in its nature. Modal systems can be analyzed in terms of structures with a domain of second-order individuals that are assigned under an interpretation to propositional variables within languages of sentential modal logic. Hence, the phenomenon of there being incomplete modal systems can be accounted for through the incompleteness of standard second-order logic. ;Since second-order logic plays a crucial role in the explanation, Quine's animadversions upon second-order logic and in particular his views that second-order logic is 'Set Theory in Sheep's Clothing' are examined. Against Quine's stance I will seek to show that a vindication of second-order logic can be gotten provided a proper due is given to the sharp distinction between the logical notion of set which is the concern of second-order logic and the iterative notion of set which lies within the realm of set theory. (shrink)

In this paper I examine some presuppositions of toleration and pluralism. I explore two models, viz. a deontological and a consequentialist model, respectively, which could support the view that rational agents should act in a tolerant way. Against the background which is offered by the first model I give two arguments in favor of the view that people are better off and more rational if they act in a tolerant way. The first argument draws upon a principle of charity which (...) one usually makes use of in philosophy of mind and philosophy of language but which could work equally well with regard to this foundational issue in ethics and philosophyof action. The second argument is built upon the epistemic principle of fallibilism and it is meant to show that from this vantage point acting in a tolerant way is the rational thing to do. (shrink)

This volume explores how understanding relates to conscious experience. In doing so, it builds bridges between different philosophical disciplines and provides a metaphysically robust characterization of understanding, both in and beyond science. The past two decades have witnessed growing interest from epistemologists, philosophers of science, philosophers of mind, and ethicists in the nature and value of intellectual understanding. This volume features original essays from leading scholars of understanding and the phenomenal experiences that underlie it. The chapters are divided into three (...) thematic sections. Part 1 provides theoretical characterizations of understanding, including Henk de Regt’s defense of a contextual theory of scientific understanding and a debate whether scientific inference and explanatory power are necessary or central features of understanding. Part 2 explores how conscious experience and understanding are related. The chapters articulate a phenomenal theory of understanding and address themes that are connected to understanding, including awareness, transformative experiences, and exemplification. Finally, Part 3 is devoted to domain-specific inquiries about understanding, such as logical proofs, particle physics, cognitive enhancement, and moral understanding. (shrink)