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)

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)

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...

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)

Theology from Mircea Eliade to Fr. Dumitru Stăniloae When someone tries to present the spiritual characteristics of a people, his findings will be both appreciated and criticized. It is very difficult to talk about the people among whom you were born and have lived without falling into overrating or underestimation errors of the role and the place it had and it played in human history, in general, and that of each individual, in particular. From these positions, two of (...) the brand personalities of our people: Mircea Eliade (world famous scientist, one of the greatest historians of religions from all times) and Fr Dumitru Stăniloae (the greatest modern Romanian Orthodox theologian whose work is globally recognized by representatives of all Christian denominations) wrote about Romanian culture and spirituality and the role they occupy in the history of Europe. Beyond the differences in thinking between the two, remains the common place where the theologian and the historian of religion complement each other: the culture and spirituality of the Romanian people. (shrink)

In the present chapter I try to determine to what extent the public policies adopted by Romanian governments following the fall of the communist regime contributed to alleviating the most egregious past injustice, the Holocaust. The measures taken for memorializing the Holocaust will be analysed through the lens of a mixed reparatory justice – relational egalitarian account. Employing such a framework entails a focus on symbolic reparations, meant to promote civic trust, social solidarity, and encourage the restoration of social and (...) cultural capital in societies affected by historical injustices. Such symbolic reparations can include public atonement, changing street names, establishing memorials, funding museums, including Holocaust study in the national curriculum, setting national days for the commemoration of the Holocaust, etc. The need for symbolic reparation has become increasingly clearer in the literature on Holocaust memorialization, and the present paper intends to go a step further, by providing researchers with a theoretical approach that can be used to make better sense of the effects of measures taken as part of the process of Holocaust remembrance. In the chapter I also address the issue of determining who the duty-bearers should be. I argue that there could be several indicators for reparatory justice, including in this case compensation programs and the establishment of institutions that would allow dialogue between descendants of the victims and descendants of the perpetrators, a sine qua non condition for restoring social trust in communities marked by violations of human rights, especially of such a scale as the Holocaust. (shrink)

In this paper we prove polyadic counterparts of the Hájek, Paris and Shepherdson's conservative extension theorems of Łukasiewicz predicate logic to rational Pavelka predicate logic. We also discuss the algebraic correspondents of the provability and truth degree for polyadic MV-algebras and prove a representation theorem similar to the one for polyadic Pavelka algebras.

Migrant women are often stereotyped. Some scholars associate the feminization of migration with domestic work and criticize the “care drain” as a new form of imperialism that the First World imposes on the Third World. However, migrant women employed as domestic workers in Northern America and Europe represent only 2% of migrant women worldwide and cannot be seen as characterizing the “feminization of migration”. Why are migrant domestic workers overestimated? This paper explores two possible sources of bias. The first is (...) sampling: conclusions about “care drain” are often generalized from small samples of domestic workers. The second stems from the affect heuristic: imagining children left behind by migrant mothers provokes strong feelings of injustice which trump other considerations. The paper argues that neither source of bias is unavoidable and finds evidence of gender stereotypes in the “care drain” construal. (shrink)

Numerous groups race to discover the gene biomarker whose alteration alone is indicative of a particular disease in all humans. Biomarkers are selected from the most frequently altered genes in large population cohorts. However, thousands of other genes are simultaneously affected, and, in each person, the same disease results from a unique, never-repeatable combination of gene alterations. Therefore, our Genomic Fabric Paradigm (GFP) switches the focus from the alteration of one particular gene to the overall change in selected groups of (...) functionally related genes. Biomarkers are of little therapeutic value, their high alterability indicating low protection by the homeostatic mechanisms as for minor players. Instead of these most alterable genes in all patients, GFP identifies in each patient the genes whose highly protected expression governs major functional pathways by controlling the expression of numerous other genes. Smart manipulation of such (commander) genes would have the maximum therapeutic benefit not for everybody but for the treated person. The genomic fabric is defined as the transcriptome associated with the most interconnected and stably expressed network of genes responsible for a particular functional pathway. The fabric exhibits specificity with respect to race/strain, sex, age, tissue/cell type, and lifestyle and environmental factors. It remodels during development, progression of a disease, and in response to external stimuli. GFP is powered by mathematically advanced analytical tools whose application is illustrated by reprocessing data from previously published gene expression experiments. (shrink)

We upgrade the light Dialectica interpretation [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An illustrative example is presented for the new light quantifiers and a new application is given for the older uniform quantifier. The realizability of new light negative formulations for the Axiom of Choice and for the Independence of Premises is explored in the new setting.

In view of an enhancement of our implementation on the computer, we explore the possibility of an algorithmic optimization of the various proof-theoretic techniques employed by Kohlenbach for the synthesis of new effective uniform bounds out of established qualitative proofs in Numerical Functional Analysis. Concretely, we prove that the method of “colouring” some of the quantifiers as “non-computational” extends well to ε-arithmetization, elimination-of-extensionality and model-interpretation.

Fischer’s approach for structure elucidation of linear aldohexoses is still the most widespread alternative in textbooks for carbohydrates. However, in post-Fischer era, a series of remarkable discoveries and inventions were made in different laboratories, and by their use a more comprehensive and coherent strategy for structure elucidation of linear isomeric aldohexoses can be elaborated. Fischer used the exceptional properties of d-mannose for the knowledge of configuration of C-2 and called it the key of the gate to stereochemistry. We bring the (...) evidence that Fischer had an alternative to this monosaccharide, d-idose. Fischer discovered the correct structure of the enantiomers of tartaric acid by pure intuition but Bijvoet proved it experimentally by means of X-rays. Hybridization, a concept taken by L. Pauling from biology, reconciled physics and chemistry concerning the valence of carbon atom and explained the stereochemical picture that had been empirically elaborated by Van’t Hoff and Le Bel. Other chemical transformations of monosaccharides, useful in the elucidation of their structure, have been also discovered or invented in post-Fischer era. (shrink)