ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be (...) equivalent; but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

Corcoran reviews Boute’s 2013 paper “How to calculate proofs”. -/- There are tricky aspects to classifying occurrences of variables: is an occurrence of ‘x’ free as in ‘x + 1’, is it bound as in ‘{x: x = 1}’, or is it orthographic as in ‘extra’? The trickiness is compounded failure to employ conventions to separate use of expressions from their mention. The variable occurrence is free in the term ‘x + 1’ but it is orthographic in that term’s quotes (...) name ‘‘{x: x = 1}’’. The term has no quotes, the term’s name has one set of quotes, and the name of the term’s name has two sets of quotes. The trickiness is further compounded by failure to explicitly distinguish a variable’s values from it substituents. The variable ranges over its values but its occurrences are replaced by occurrences of its substituents. In arithmetic the values are numbers not numerals but the substituents are numerals not numbers. See https://www.academia.edu/s/1eddee0c62?source=link -/- Raymond Boute tries to criticize Daniel Velleman for mistakes in this area. However, Corcoran finds mistakes in Boute’s handling of the material. The reader is invited to find mistakes in Corcoran’s handling of this tricky material. -/- The paper and the review treat other issues as well. -/- Acknowledgements: Raymond Boute, Joaquin Miller, Daniel Velleman, George Weaver, and others. (shrink)

It appears that spouses have less reason to hold each other to a norm of monogamy than to reject the norm. The norm of monogamy involves a restriction of spouses' aeeess to two things of value: sex and erotic love. This restriction initially appears unwarranted but can be justified. There is reason for spouses to aeeept the norm of monogamy if their marriage satisfies three conditions. Otherwise, there is reason to permit non-monogamy. Some spouses have reason to accept the norm (...) of monogamy because this will avoid reasonable hurt and prevent diversion of resourees needed to sustain the marriage. Other spouses have reason to permit non-monogamy to allow the spouses access to aspects of a well-rounded life. The choice to be either monogamous or non-monogamous ean also be non-instrumentally valuable if chosen for the right reasons. (shrink)

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

The essay “Was ist der Mensch?” appeared for the first time in December 1944 in the German magazine with a hundred years of tradition edited by the publisher J. J. Weber Illustrierte Zeitung Leipzig [Illustrated Magazine Leipzig]. This special cultural edition, entitled Der europäische Mensch [The European Man], which was distributed exclusively abroad, was to be the last volume of the magazine after its final regular issue in September 1994 (No. 5041). Only in 1947, the text was republished, with the (...) same pagination, in a compilation made by J. J. Weber, Vom Wahren, Schönen, Guten. Aus dem Schatz europäischer Kunst und Kultur [On the True, the Beautiful, the Good. From the Treasury of European Art and Culture]. The publisher was expropriated in 1948, and three years later the company was finally removed from the German commercial registry. “Was ist der Mensch?” has never been released in any of Gadamer’s books or separately published in a journal; it also does not appear within the 10 volumes of his Gesammelte Werke [Collected Works]—the only exception is an Italian translation included in a volume devoted to Gadamer’s views on education and the notion of Bildung (cf. Gadamer 2012). The aim of this translation is to make accessible this Gadamer’s quest for the occidental interpretations of human self-consciousness, which has until now been almost unknown and in which, for the first time, Gadamer shows, from a theoretical standpoint, not only his early—although implicit—keen interest in Max Scheler’s anthropology (particularly Scheler’s considerations on the basic historical types of the occidental man’s self-perception in accordance with the basic and underlying concept of human history that still have powerful effectiveness in modern times), but also—at the historical threshold of the imminent ending of World War II—his own concern regarding possible philosophical answers to the question: “What is man?” Cf. especially Scheler 1926 (GW 9, 120–144); 1928 (GW 9, 7–71); 1929 (GW 9, 145–170). All commenting annotations to Gadamer’s text are authored by the editor and translator. (shrink)

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

The phenomenology of a priori intuition is explored at length (where a priori intuition is taken to be not a form of belief but rather a form of seeming, specifically intellectual as opposed to sensory seeming). Various reductive accounts of intuition are criticized, and Humean empiricism (which, unlike radical empiricism, does admit analyticity intuitions as evidence) is shown to be epistemically self-defeating. This paper also recapitulates the defense of the thesis of the Autonomy and Authority of Philosophy given in the (...) author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1996). (shrink)

Past research has identified a number of asymmetries based on moral judgments. Beliefs about what a person values, whether a person is happy, whether a person has shown weakness of will, and whether a person deserves praise or blame seem to depend critically on whether participants themselves find the agent's behavior to be morally good or bad. To date, however, the origins of these asymmetries remain unknown. The present studies examine whether beliefs about an agent's “true self” explain these observed (...) asymmetries based on moral judgment. Using the identical materials from previous studies in this area, a series of five experiments indicate that people show a general tendency to conclude that deep inside every individual there is a “true self” calling him or her to behave in ways that are morally virtuous. In turn, this belief causes people to hold different intuitions about what the agent values, whether the agent is happy, whether he or she has shown weakness of will, and whether he or she deserves praise or blame. These results not only help to answer important questions about how people attribute various mental states to others; they also contribute to important theoretical debates regarding how moral values may shape our beliefs about phenomena that, on the surface, appear to be decidedly non-moral in nature. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less (...) vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)

Radical empiricism is the view that a person's experiences (sensory and introspective), or a person's observations, constitute the person's evidence. This view leads to epistemic self-defeat. There are three arguments, concerning respectively: (1) epistemic starting points; (2) epistemic norms; (3) terms of epistemic appraisal. The source of self-defeat is traced to the fact that empiricism does not count a priori intuition as evidence (where a priori intuition is not a form of belief but rather a form of seeming, specifically intellectual (...) as opposed to sensory). Moderate rationalism, by contrast, avoids self-defeat. (shrink)

What is it to be a woman? What is it to be a man? We start by laying out desiderata for an analysis of 'woman' and 'man': descriptively, it should link these gender categories to sex biology without reducing them to sex biology, and politically, it should help us explain and combat traditional sexism while also allowing us to make sense of the activist view that gendering should be consensual. Using a Putnam-style 'Twin Earth' example, we argue that none of (...) the existing analyses in the feminist literature succeeds in meeting all of our desiderata. Finally, we propose a positive account that we believe can satisfy all the desiderata outlined. According to our theory, the genders 'woman' and 'man' are individuated not by their contemporary connections to sex biology, but by their historical continuity with classes that were originally closely connected to sex biology. (shrink)

Scientific essentialism is the view that some necessities can be known only with the aid of empirical science. The thesis of the paper is that scientific essentialism does not extend to the central questions of philosophy and that these questions can be answered a priori. The argument is that the evidence required for the defense of scientific essentialism is reliable only if the intuitions required by philosophy to answer its central questions is also reliable. Included is an outline of a (...) modal reliabilist theory of basic evidence and a concept-possession account of the reliability of a priori intuition. (shrink)

_Socrates_ presents a compelling case for some life-changing conclusions that follow from a close reading of Socrates' arguments. Offers a highly original study of Socrates and his thought, accessible to contemporary readers Argues that through studying Socrates we can learn practical wisdom to apply to our lives Lovingly crafted with humour, thought-experiments and literary references, and with close reading sof key Socratic arguments Aids readers with diagrams to make clear complex arguments.

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

The paper elaborates upon various points and arguments in the author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1993), in which the author defends the autonomy of philosophy from the empirical sciences. It provides, for example, an extended defense of the modal reliabilist theory of basic evidence, including a new argument against evolutionary explanations of the reliability of intuitions. It also contains a fuller discussion of how to neutralize the threat of scientific essentialism to the autonomy of (...) philosophy. (shrink)

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff (...) x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the identity (...) thesis, but also the metaphysical possibility of disembodiment. (shrink)

Self-consciousness constitutes an insurmountable obstacle to functionalism. Either the standard functional definitions of mental relations wrongly require the contents of self-consciousness to be propositions involving “realizations” rather than mental properties and relations themselves. Or else these definitions are circular. The only way to save functional definitions is to expunge the standard functionalist requirement that mental properties be second-order and to accept that they are first-order. But even the resulting “ideological” functionalism, which aims only at conceptual clarification, fails unless it incorporates (...) the thesis that the mental properties are fully “natural” universals. Accordingly, mental properties are sui generis: first-order, nonphysical, natural universals. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

The paper begins with an argument against eliminativism with respect to the propositional attitudes. There follows an argument that concepts are sui generis ante rem entities. A nonreductionist view of concepts and propositions is then sketched. This provides the background for a theory of concept possession, which forms the bulk of the paper. The central idea is that concept possession is to be analyzed in terms of a certain kind of pattern of reliability in one’s intuitions regarding the behavior of (...) the concept. The challenge is to find an analysis that is at once noncircular and fully general. Environmentalism, anti-individualism, holism, analyticity, etc. provide additional hurdles. The paper closes with a discussion of the theory’s implications for the Wittgenstein-Kripke puzzle about rule-following and the Benacerraf problem concerning mathematical knowledge. (shrink)

English title: Gadamer's interpretation of the Aristotelian Protrepticus. -/- Abstract: The aim of this paper is to present and analyse the main hypotheses of Hans-Georg Gadamer in his 1928 essay Der aristotelische Protreptikos und die entwicklungsgeschichtliche Betrachtung der aristotelischen Ethik, emphasizing the Gadamerian reception of the notions of phrónēsis, hēdonḗ and, to a lesser extent, phýsis. It will be attempted to show that in this early work of Gadamer there is more than a methodological and interpretative debate regarding the Protrepticus (...) and the Aristotelian ethics. Lastly, the paper argues that it is possible to read in the main arguments of this early essay the first intellectual maturation of relevance of Gadamer, expressed in the form of a critical dialogue with his great masters (Paul Natorp, Nicolai Hartmann, Martin Heidegger, Paul Friedländer), departing from the new interpretative possibilities that philology and phenomenology opened to his studies on the ethical-political philosophy of Plato and Aristotle. The theoretical consequences of this early article would have both paved the way of Gadamer’s next theoretical interventions regarding Platonic political philosophy as well as for the future developments of philosophical hermeneutics. /// -/- Resumen: El objetivo de este artículo es presentar y analizar las principales hipótesis de Hans-Georg Gadamer en su ensayo de 1928 Der aristotelische Protreptikos und die entwicklungsgeschichtliche Betrachtung der aristotelischen Ethik, poniendo énfasis en la recuperación gadameriana de las nociones de phrónēsis, hēdonḗ y, en menor medida, phýsis. Se intenta demostrar que en este trabajo temprano de Gadamer hay, en términos metodológicos e interpretativos, más que una discusión con Werner Jaeger con relación al Protréptico y a la ética aristotélica. Finalmente, este artículo sostiene que es posible leer en las principales argumentaciones del ensayo la primera maduración intelectual de relevancia de Gadamer, expresada en forma de diálogo crítico con sus grandes maestros (Paul Natorp, Nicolai Hartmann, Martin Heidegger, Paul Friedländer), a partir de las nuevas posibilidades interpretativas que la filología y fenomenología le abrieron para el estudio de la filosofía ético-política de Platón y Aristóteles. Las consecuencias teóricas de este temprano artículo habrían signado tanto el camino de sus siguientes intervenciones teóricas en tono a la filosofía política platónica como también los futuros desarrollos de la hermenéutica filosófica. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

Modal intuitions are the primary source of modal knowledge but also of modal error. According to the theory of modal error in this paper, modal intuitions retain their evidential force in spite of their fallibility, and erroneous modal intuitions are in principle identifiable and eliminable by subjecting our intuitions to a priori dialectic. After an inventory of standard sources of modal error, two further sources are examined in detail. The first source - namely, the failure to distinguish between metaphysical possibility (...) and various kinds of epistemic possibility - turns out to be comparatively easy to untangle and poses little threat to intuition-driven philosophical investigation. The second source is the local misunderstanding of one's concepts . This pathology may be understood on analogy with a patient who is given a clean bill of health at his annual check-up, despite his having a cold at the time of the check-up: although the patient's health is locally disrupted, his overall health is sufficiently good to enable him to overcome the cold without external intervention. Even when our understanding of certain pivotal concepts has lapsed locally, our larger body of intuitions is sufficiently reliable to allow us, without intervention, to ferret out the modal errors resulting from this lapse of understanding by means of dialectic and/or a process of a priori reflection. This source of modal error, and our capacity to overcome it, has wide-ranging implications for philosophical method - including, in particular, its promise for disarming skepticism about the classical method of intuition-driven investigation itself. Indeed, it is shown that skeptical accounts of modal error are ultimately self-defeating. (shrink)

This paper demonstrates that there is an inconsistency in functionalism in psychology and philosophy of mind. Analogous inconsistencies can be expected in functionalisms in biology and social theory. (edited).

Modal intuitions are not only the primary source of modal knowledge but also the primary source of modal error. An explanation of how modal error arises — and, in particular, how erroneous modal intuitions arise — is an essential part of a comprehensive theory of knowledge and evidence. This chapter begins with a summary of certain preliminaries: the phenomenology of intuitions, their fallibility, the nature of concept-understanding and its relationship to the reliability of intuitions, and so forth. It then identifies (...) two sources of modal error: the first has to do with the failure to distinguish between metaphysical possibility and various kinds of epistemic possibility; the second, with the local misunderstanding of one's concepts. The first source of error is widely misunderstood; the second source has not been discussed in philosophical literature. This source of modal error, and the potential to overcome it, has wide-ranging implications for philosophical method. The failure to understand these sources of modal error has recently led to sceptical accounts of intuition and modal error, which are, ultimately self-defeating. (shrink)

Das deutsche Gesundheitswesen steht durch die schnell steigende Anzahl an CO- VID-19-Erkrankten vor erheblichen Herausforderungen. In dieser Krisensituation sind alle Beteiligten mit ethischen Fragen konfrontiert, beispielsweise nach gerech- ten Verteilungskriterien bei begrenzten Ressourcen und dem gesundheitlichen Schutz des Personals angesichts einer bisher nicht therapierbaren Erkrankung. Daher werden schon jetzt klinische und ambulante Ethikberatungsangebote verstärkt mit Anfragen nach Unterstützung konfrontiert. Wie können Ethikberater*innen Entscheidungen in der Krankenversorgung im Rahmen der COVID-19-Pandemie unterstützen? Welche Grenzen von Ethikberatung sind zu beachten? Bislang liegen hierzu (...) noch wenige praktische Erfahrungen vor. Angesichts der dynamischen Entwicklung erscheint es der Akademie für Ethik in der Medizin (AEM) wichtig, einen Diskurs über die angemessene Rolle der Ethikberatung bei der Bewältigung der vielfachen Heraus- forderungen durch die COVID-19-Pandemie zu führen und professionelle Hinweise zu geben. Mit dem vorliegenden Diskussionspapier möchte die AEM einen Beitrag zur Beantwortung wesentlicher Fragen leisten, die sich für die Ethikberatung in den verschiedenen Bereichen des Gesundheitswesens stellen. Sie regt an, diesen Dis- kurs weiter zu führen und hat ein Online-Forum (s. unten) eingerichtet, in dem Ethikberater*innen ihre Erfahrungen teilen und die professionelle Selbstreflexion der Ethikberatung in Pandemiezeiten mit Anregungen fördern können. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

The Twin Earth thought experiment invites us to consider a liquid that has all of the superficial properties associated with water (clear, potable, etc.) but has entirely different deeper causal properties (composed of “XYZ” rather than of H2O). Although this thought experiment was originally introduced to illuminate questions in the theory of reference, it has also played a crucial role in empirically informed debates within the philosophy of psychology about people’s ordinary natural kind concepts. Those debates have sought to accommodate (...) an apparent fact about ordinary people’s judgments: Intuitively, the Twin Earth liquid is not water. We present results from four experiments showing that people do not, in fact, have this intuition. Instead, people tend to have the intuition that there is a sense in which the liquid is not water but also a sense in which it is water. We explore the implications of this finding for debates about theories of natural kind concepts, arguing that it supports views positing two distinct criteria for membership in natural kind categories – one based on deeper causal properties, the other based on superficial, observable properties. (shrink)

The aim of the present volume is to draw the balance of naturalism's success so far.

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential (...) theorems obtained by this elimination procedure. (shrink)

Indeterminacy in its various forms has been the focus of a great deal of philosophical attention in recent years. Much of this discussion has focused on the status of vague predicates such as ‘tall’, ‘bald’, and ‘heap’. It is determinately the case that a seven-foot person is tall and that a five-foot person is not tall. However, it seems difficult to pick out any determinate height at which someone becomes tall. How best to account for this phenomenon is, of course, (...) a controversial matter. For example, some (such as Sorensen (2001) and Williamson (2002)) maintain that there is a precise height at which someone becomes tall and such apparent cases of indeterminacy merely reflects our ignorance of this fact. Others maintain that there is some genuine – and not merely epistemic – indeterminacy present is such cases and offer various accounts of how best to account for it. Supervaluationists (such as Keefe (2008)), for example, claim that the indeterminacy with respect to vague terms lies in their not having a single definite extension. Rather, each term is associated with a range of possible precise extensions or precisifications such that it is semantically unsettled which is the correct extension. One precisification of ‘tall’ might allow that anyone over five feet ten inches is tall, whereas another would only allow those over six foot to qualify; but no precisification will take someone who is five foot to be tall, and someone who is seven foot will count as tall on all precisifications. Thus – while someone who is seven foot will be determinately tall and someone who is five foot determinately not so – it will be indeterminate whether someone who stands at five foot eleven inches is tall. -/- Yet, it is important to stress that putative cases of indeterminacy are not limited to vague predicates of this kind. Philosophers have invoked indeterminacy in discussions of topics as diverse as moral responsibility (Bernstein (forthcoming)), identity over time (Williams (2014)), and the status of the future (Barnes and Cameron (2009)). In this paper, we focus on two areas where discussion of various kinds of indeterminacy has been commonplace: physics and fiction. We propose a new model for understanding indeterminacy across these domains and argue that it has some notable advantages when compared to earlier accounts. Treating physics and fiction cases univocally also indicates an interesting connection between indeterminacy in these two areas. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

We revisit the Marxist debate on the commodity form. By following the thought of Alfred Sohn-Rethel and Slavoj Žižek, we attempt to understand the commodity form through the Kantian categories a priori. Sohn-Rethel explores the proposition that there can be no cognition independent of its historical and social conditions and puts forward the daring conclusion of an ontological unity between knowledge and commodity exchange. We suggest that Sohn-Rethel’s thought finds new relevance nowadays, under the prevalence of a cognitive capitalism. We (...) discuss the reformulation of relations of production and consumption under cognitive capitalism and show how knowledge-led immaterial and affective labour adds a higher value to the commodities into which it is embodied. Above all, the commodity form in cognitive capitalism becomes biopolitical. (shrink)

In this paper we explicate the notion of a miracle and highlight a suitable ontological framework for it. Our proposal draws on insights from Aquinas’s discussion of miracles and from the modern ontology of powers. We argue that each substance possesses a characteristic set of natural powers and dispositions which are operative or become manifest in the right circumstances. In a miracle divine intervention activates the fundamental disposition inherent in each creature to be responsive to God’s call. Thus, a miracle (...) brings something about which a substance’s set of natural powers and dispositions could not bring about by itself. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

Professor Fletcher challenges the traditional account of the development of tort doctrine as a shift from an unmoral standard of strict liability for directly causing harm to a moral standard based on fault. He then sets out two paradigms of liability to serve as constructs for understanding competing ideological viewpoints about the proper role of tort sanctions. He asserts that the paradigm of reciprocity, which looks only to the degree of risk imposed by the parties to a lawsuit on each (...) other, and to the existence of possible excusing conditions, provides greater protection of individual interests than the paradigm of reasonableness, which assigns liability instrumentally on the basis of a utilitarian calculus. Finally, Professor Fletcher examines stylistic differences between the two paradigms which may explain the modern preference for the paradigm of reasonableness. (shrink)

Direct reference theory faces serious prima facie counterexamples which must be explained away (e.g., that it is possible to know a priori that Hesperus = Phosphorus). This is done by means of various forms of pragmatic explanation. But when those explanations that provisionally succeed are generalized to deal with analogous prima facie counterexamples concerning the identity of propositions, a fatal dilemma results. Either identity must be treated as a four-place relation (contradicting what just about everyone, including direct reference theorists, takes (...) to be essential to identity). Or direct reference theorists must incorporate a view that was rejected in pretty much our first lesson about identity—namely, that Hesperus at twilight is not identical to Hesperus at dawn. One way of the other, the direct reference theory is thus inconsistent with basic principles concerning the logic of identity, which nearly everyone, including direct reference theorists, take as starting points. (shrink)

Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional functions, crucial fine-grained intensional distinctions would (...) be lost. (shrink)

Usually evolutionary economists equate evolutionary theory with modern Darwinism. However the rise of evolutionary developmental biology (Evo-Devo) puts into question the monopoly of Darwinism in evolutionary biology. The major divergences between the two paradigms in evolutionary biology are drawn in the analysis of three trade-offs: population vs. typological thinking, creative role of natural selection vs. internal (inherent) change, and microevolution vs. macroevolution. It is argued here that the Evo-Devo breakthrough helps to better understand the limits to Darwinism in the social (...) realm and design the contours of an alternative paradigm in evolutionary economics privileging structural macroevolution and what Schumpeter called “change from within”. (shrink)

This paper contains replies to comments on the author's paper "A Priori Knowledge and the Scope of Philosophy." Several points in the argument of that paper are given further clarification: the notion of our standard justificatory procedure, the notion of a basic source of evidence, and the doctrine of modal reliabilism. The reliability of intuition is then defended against Lycan's skepticism and a response is given to Lycan's claim that the scope of a priori knowledge does not include philosophically central (...) topics such as the nature of consciousness. Next a counterfactual account of intuitions proposed by Sosa is criticized. Finally, in response to certain questions raised by Sosa, the explanation of the evidential status of intuition offered in the original paper receives further elaboration. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and the (...) propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

After a brief history of Brentano's thesis of intentionality, it is argued that intentionality presents a serious problem for materialism. First, it is shown that, if no general materialist analysis (or reduction) of intentionality is possible, then intentional phenomena would have in common at least one nonphysical property, namely, their intentionality. A general analysis of intentionality is then suggested. Finally, it is argued that any satisfactory general analysis of intentionality must share with this analysis a feature which entails the existence (...) of a nonphysical "level of organization". (shrink)