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)

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 proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (shrink)

In (Weaver 2021), I showed that Boltzmann’s H-theorem does not face a significant threat from the reversibility paradox. I argue that my defense of the H-theorem against that paradox can be used yet again for the purposes of resolving the recurrence paradox without having to endorse heavy-duty statistical assumptions outside of the hypothesis of molecular chaos. As in (Weaver 2021), lessons from the history and foundations of physics reveal precisely how such resolution is achieved.

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

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.

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)

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)

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)

Stephen Schulhofer's book, Unwanted Sex: The Culture of Intimidation and the Failure of Law, provides a carefully constructed and powerful case for rape-law reform. His effort is distinctive in three ways: (1) it takes the basic question of reform to be the moral one of determining which sexual interactions ought to be the subject of the criminal law, (2) it takes the right of sexual autonomy to serve as the basis for any successful legal reform, and (3) it makes a (...) philosophically sophisticated case for his own reform proposal. Schulhofer's efforts should be of great interest to philosophers, especially feminist legal philosophers, interested in questions that bear direct relevance to the relationships between autonomy, coercion, and consent as constrained by the requirements of due process. His careful and scrupulously fair discussion of influential reform recommendations set the stage for his own position (discussed in section VII), a critical evaluation thereof (sections VII and VIII), and sympathetic recommendations in VIII and IX. Of special value here is Schulhofer's attempt to extend his analysis of coerced consent to include certain "offers" made in contexts (e.g., the workplace) characterized by significant power differentials between persons. Section IX offers suggestions, generally friendly to Schulhofer's overall reform proposals, for identifying wrongful sexual interactions occurring in certain institutional or professional contexts. (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)

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)

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)

Mass shootings constitute a recurrent and most violent phenomenon in the U.S. and elsewhere. This paper challenges the ready-made, solipsistically contained metanarratives on offer by mainstream media and formal institutions with regard to the psychological antecedents of the perpetrating social actors, while theorizing mass shootings as acts of violence that are systemically inscribed in the foundations of communities. These foundations abide by the logic of sacrifice which is propagated in instances of collective traumatism. It is argued that the cultural trauma (...) that emanates from events of mass shootings, inasmuch as the commemorative events that are performed on regular occasions, constitute re-enactments of the death drive that sustains communities. The cultural analytic deploys against a CDA reading of longitudinal studies on mass shootings, coupled with psychoanalytic discourse analysis, prior to submitting mass shootings to a deconstructive line of reasoning as systemically necessary transcendental violence. Ultimately, it is shown that the intertextual institutional chain that informs the mediatized representation of this social phenomenon merely attains to obliterate and, hence, to propagate cultural traumatism and the sacrificial logic that underpins it. The terms micrometanarrative, parafunction and expropriating ipseity are introduced and operationalized in this context. (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)

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)

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)

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)

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)

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)

This paper examines the role of respect (specifically, the interest in having the respect of other people) in enabling blame to be effective: i.e., to achieve the desired effect of changing the blamed’s attitude and behavior. It develops an account of blame’s operations in three different cases: standard, intermediate, and proleptic. It ends by raising the worry that effective blame toward the morally distant approximates manipulation and coercion, leaving a moral residue.

This paper argues that participation in an intimate relationship can generate additional or stronger reasons for one to act paternalistically toward the intimate. Moreover, participation in such a relationship can also weaken or cancel some of the presumptive reasons of respect one would otherwise have not to interfere. The paper also reflects, more generally, on the nature of intimate relationships, the normative significance of paternalism, and the normative differences between paternalism in larger-scale institutional contexts and paternalism in closer, interpersonal ones. (...) -/- . (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)

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)

The paper investigates Ernst Cassirer’s structuralist account of geometrical knowledge developed in his Substanzbegriff und Funktionsbegriff. The aim here is twofold. First, to give a closer study of several developments in projective geometry that form the direct background for Cassirer’s philosophical remarks on geometrical concept formation. Specifically, the paper will survey different attempts to justify the principle of duality in projective geometry as well as Felix Klein’s generalization of the use of geometrical transformations in his Erlangen program. The second aim (...) is to analyze the specific character of Cassirer’s geometrical structuralism formulated in 1910 as well as in subsequent writings. As will be argued, his account of modern geometry is best described as a “methodological structuralism”, that is, as a view mainly concerned with the role of structural methods in modern mathematical practice. (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).

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

Why does scholarship on transnational labor regulation (TLR) consistently fails to search for improvements in working conditions, and instead devotes itself to relentless efforts for identifying administrative processes, semantics, and amalgamations of stakeholders? This article critiques TLR from a pro-worker perspective, through the philosophical work of Georg Lukács, and the concepts of reification and commodification. A set of theoretically grounded criteria is developed and these are applied against selected contemporary cases of TLR. In the totality that is capitalism, reification of (...) social relations of production conceals completely the experiences of workers. In TLR, managerialist and process-oriented scholarship is dominant, verifiable outcomes and positive improvements in conditions of employment are not sought, and worse, meaningless procedures are celebrated as positive achievements. (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)

(Added April 2023: This draft is superseded by Briggs, R.A., & George, B.R. (2023). 'What Even Is Gender?'. Routledge. DOI 10.4324/9781003053330, and in particular by the first three chapters thereof. While this much earlier draft remains available for archival purposes, you are encouraged to read and cite the 2023 book and to use its terminology.) -/- This paper presents a new taxonomy of sex/gender concepts based on the idea of starting with a few basic components of the sex/gender system, (...) and exhausting the possible types of simple associations and identities based on these. The resulting system is significantly more fine-grained than most competitors, and helps to clarify a number of points of confusion and conceptual tension in academic and activist conversations about feminism, transgender politics, and the social analysis of gender. (shrink)

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)

Os dois ensaios aqui traduzidos: “Uma visita a uma glândula pineal”, publicado originalmente em 21 de abril de 1713 no número 35 do Guardian e a “A glândula pineal (continuação)”, publicado no dia 25 de abril, no número 39, formam uma unidade não apenas pela referência a ideia de glândula pineal concebida por Descartes como ponto de interação entre a alma e o corpo, mas também pela forma literária e pelo pseudônimo comum. Eles fazem parte de um conjunto de quatorze (...) ensaios atribuídos a George Berkeley, reunidos e publicados pela primeira vez apenas em 1871, no volume III da edição organizada por A. C. Fraser. Os ensaios publicados no Guardian foram escritos durante a permanência de Berkeley em Londres em 1713, quando Jonathan Swift (1667-1745) e Richard Steele (1672-1729), seus conterrâneos, contribuiriam para lhe abrir caminho no ambiente literário inglês. O principal objetivo de Berkeley ao publicar os ensaios foi o de defender o teísmo cristão contra os “livre-pensadores” da época, assumidos como materialistas e ateus. A tradução aqui apresentada foi realizada com base na edição organizada por Luce e Jessop. The Works of George Berkeley Bishop of Cloyne. Luce, A. A. and Jessop, T. E. London and Edimburgh: Nelson, 1948, v. 7, 185-192. (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)

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)

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)

I develop an account of the nature and value of being supportive in interpersonal relationships. In particular, I argue that the virtue of being supportive, construed as a modally demanding value, facilitates the autonomy of one's intimate and promotes a sense of unity in one's relationship. Moreover, the practice of being supportive plays an important role with regard to the familiar need to reconcile the normative demands of one's own projects with one's responsibilities to intimates.

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)

The dominant school of logic, semantics, and the foundation of mathematics construct its theories within the framework of set theory. There are three strategies by means of which a member of this school might attempt to justify his ontology of sets. One strategy is to show that sets are already included in the naturalistic part of our everyday ontology. If they are, then one may assume that whatever justifies the everyday ontology justifies the ontology of sets. Another strategy is to (...) show that set theory is already part of logic. In this case, the ontology of sets would be justified in the sam way logic is justified. The third strategy is to show that set theory plays some unique role in theoretical work. If it does, then its ontology would be justified pragmatically. In this paper it is shown that none of these strategies is successful. One properly constructs foundations, not within set theory. bit within an intensional logic that takes properties, relations, propositions as basic. (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)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

The context for biological emergence is modular hierarchical structures; their existence is what enables functional complexity to arise. Because of the openness of organisms to their environment, complete initial data (position, momentum) of all particles making up their structure is insufficient to determine future outcomes, because unpredictable new matter, energy, and information impacts each organism from the exterior. Consequently, through Darwinian evolution, life has developed processes to handle this issue functionally on short time scales as well on longer developmental timescales. (...) Symbolism and technology are the transforming factors handling this issue at the social levels, which is where the most sophisticated outcomes of openness occur. Considering the cosmological context, the issue is, should the universe itself be regarded as an open system over time? I make the case that is indeed so, because radically new outcomes occur such as the existence of aircraft, iPads, and the internet, which could not plausibly have been encoded in some form of data on the Last Scattering Surface in the expanding universe. (shrink)