A book chapter exploring the potential consquences and ethical ramifications of using coercive measures within community mental healthcare. We argue that, althogh the move towards 'care in the community' may have had liberalising motivations, the subsequent reduction in inpatient or other supported residential provision, means that there has been an increasing move towards coercive measures outside of formal inpatient detention. We consider measures such as Community Treatment Orders, inducements, and other forms of leverage, explaining the underlying concepts, aims, and exploring (...) adverse consequences and ethical difficulties. (shrink)

Prof. Cohen and I answer six questions: (1) Why do we lock people up? (2) How can involuntary civil commitment be reconciled with people's constitutional right to liberty? (3) Why don't we treat homicide as a public health threat? (4) What is the difference between legal and medical approaches to mental illness? (5) Why is mental illness required for involuntary commitment? (6) Where are we in our efforts to understand the causes of mental illness?

In Processes of Knowledge, George Towner analyzes the actual ways that human knowledge is accumulated and organized, both in science and in everyday life. He places the processes of knowledge within their social context, examining the basic ways that communication lets people share ideas. Towner traces the development of language, writing, and data processing, demonstrating their different effects on theorizing. He also develops an evolutionary view of group thinking, examining the ways that human groups use specific types of theories (...) to achieve social cohesion and showing how these theories change over time. The result is a dynamic view of intellectual history, based on the inherent processes by which knowledge grows. (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)

Georges Canguilhem, A Vital Rationalist: Selected Writings from Georges Canguilhem, edited by François Delaporte and translated by Arthur Goldhammer. New York: Zone Books, 1994. Pp. 481. ISBN 0-942299-72-8. £24.25, $36.25.

2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood (...) and Sriram Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (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)

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)

Tradução para o português do verbete "George Berkeley, de Michael Ayers, retirado de "A Companion to Epistemology", ed. Jonathan Dancy e Ernest Sosa (Oxford: Blackwell, 1997), pp. 261–264. Criticanarede. ISSN 1749-8457.

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.

Draft Chapter for Chinese Philosophy and Its Thinkers: From Ancient Times to the Present Day .

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)

In this chapter we explore two important questions that we believe should be central to any discussion of the ethics and politics of cultural heritage: What are the harms associated with appropriation and commodification, specifically where the heritage of Indigenous peoples is concerned? And how can these harms best be avoided? Archaeological concerns animate this discussion; we are ultimately concerned with fostering postcolonial archaeological practices. But we situate these questions in a broader context, addressing them as they arise in connection (...) with the appropriation of Indigenous cultural heritage, both past and present. (shrink)

Das Thema des vorliegenden Aufsatzes ist Georg Simmels »relativistische[s] Weltbild« , anhand dessen die Prinzipien seiner Kulturphilosophie dargelegt werden. Im ersten Teil wird die systematische Fragestellung der Philosophie des Geldes im historischen Kontext rekonstruiert. Dabei steht der philosophiegeschichtliche Zusammenhang zwischen dem Wertproblem und der Debatte um den Relativismus im Zentrum. Im zweiten Teil wird Simmels kulturphilosophische Lösung des Wertproblems, durch die das Geld zum Paradigma seines Relativismus wird, systematisch analysiert. Der dritte Teil setzt sich mit dem Prinzip der kulturellen Formung (...) auseinander. Am Beispiel der Formwelt Erkenntnis wird die Grundlage von Simmels Kulturtheorie in toto dargelegt. Der vierte Teil wendet sich der Weiterentwicklung von Simmels Kulturtheorie in seiner späten Lebensphilosophie zu. Dabei wird einerseits seine Theorie der kulturellen Formwelten analysiert, und andererseits deren Integration in eine umfassende Dialektik des Lebens nachvollzogen. Im fünften Teil wird die Frage gestellt, ob Simmel aus heutiger Sicht als ein Relativist zu bezeichnen ist. Dabei wird argumentiert, dass Simmels kulturphilosophische Position große Ähnlichkeiten mit dem konzeptuellen Relativismus hat, der gegenwärtig von Carol Rovane vertreten wird. Deshalb plädiere ich dafür Simmel in der gegenwärtigen Debatte um den Relativismus ernster zu nehmen. (shrink)

In this article, the cosmological positions of George of Trebizond are regrouped and an attempt to evaluate his offer to the philosophy of nature in the Renaissance is presented. George of Trepizond dedicated a huge part of his work to the philosophical and scientific study of the world; he also renewed the way the Greek letters are studied and used.

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)

George Bernard Shaw did various things to make his essays readable, such as using short sections. In this paper, I raise the worry that they are at risk of being replaced by vocabulary and sayings from folk culture.

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)

In Doing Good and Ridding Evil in Ming China: The Political Career of Wang Yangming, George Israel offers an account of this influential Neo-Confucian philosopher’s official career and military campaigns. While his contribution to China’s intellectual history and the outlines of his political life are well known, the relation between his thought and what he did in his capacity as a Ming official has been given less attention. Prior writing on Wang Yangming has passed judgment on his ideas by (...) either idealizing or condemning him for how he treated those he was assigned to govern. Through a detailed reconstruction of his career in the context of issues of empire, ethnicity, and violence, George Israel demonstrates that the truth lies somewhere in the middle. (shrink)

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)

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)

Existe já uma grande quantidade de literatura dedicada à presença na filosofia inicial de Berkeley de alguns assuntos tipicamente platônicos (arquétipos, o problema da mente de Deus, a relaçáo entre ideias e coisas, etc.). Baseados em alguns desses escritos, nas próprias palavras de Berkeley, assim como no exame de alguns elementos da tradiçáo platônica num amplo sentido, sugiro que, longe de serem apenas tópicos isolados, livremente espalhados nos primeiros escritos de Berkeley, eles formam uma perfeita rede de aspectos, atitudes e (...) modos de pensar platônicos, e que, por mais alusivos ou ambíguos que esses elementos platônicos possam parecer, eles constituem um todo coerente e complexo, desempenhando um papel importante na formaçáo da própria essência do pensamento de Berkeley. Em outras palavras, sugiro que, dadas algumas das ideias apresentadas em suas primeiras obras, foi de certo modo inevitável para George Berkeley, em virtude da lógica interna do desenvolvimento de seu pensamento, chegar a uma obra táo abertamente platônica e especulativa como Siris (1744). (shrink)

The Reality of Knowledge completes a trilogy begun with The Architecture of Knowledge (1980) and Processes of Knowledge (2001). It presents a holistic analysis of knowledge and the reality that is known. The book shows how living things, including humans, construct reality in specific ways that maximize their ability to know it. Different species construct different areas of reality, but they all use the same methods: objectification, categorization, and generalization. Support for this analysis comes from examining certain logical protocols in (...) computer technology, because computer architectures have evolved to emulate human knowledge. (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)

Georg Cantor's absolute infinity, the paradoxical Burali-Forti class Ω of all ordinals, is a monstrous non-entity for which being called a "class" is an undeserved dignity. This must be the ultimate vexation for mathematical philosophers who hold on to some residual sense of realism in set theory. By careful use of Ω, we can rescue Georg Cantor's 1899 "proof" sketch of the Well-Ordering Theorem––being generous, considering his declining health. We take the contrapositive of Cantor's suggestion and add Zermelo's choice function. (...) This results in a concise and uncomplicated proof of the Well-Ordering Theorem. (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)

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)

This paper offers some brief reflections on pragmatist themes in Georg Simmel’s philosophy. §1 presents a number of assessments – by Simmel’s contemporaries, by later interpreters, and by Simmel himself – concerning his proximity to pragmatism. §2 offers a reconstruction of Simmel’s 1885-paper “The Relationship between the Theory of Selection and Epistemology,” focusing in particular on what the argument owed to von Helmholtz. It was this paper first and foremost that suggested to many that Simmel was close to pragmatism. §§3-5 (...) follow the development of the core idea of the 1885-paper in Simmel’s subsequent writings. §§6-8 compare and contrasts Simmel’s views on evolution and truth with the positions of Peirce, James, and Dewey. §9 returns to the overall question whether Simmel was a pragmatist and offers an irenic answer. (shrink)

This paper concerns metaphysical indeterminacy and, in particular, the issue of whether quantum mechanics gives motivation for thinking the world contains it. In a previous paper (Darby G, Pickup M. Synthese 198:1685–1710, 2021), we have offered one way to think about metaphysical indeterminacy which we take to avoid some issues arising from certain features of quantum mechanics (such as the Kochen-Specker theorem). This approach has recently been criticised by Corti (Synthese, forthcoming), and we take this opportunity to respond. Our paper (...) will therefore reply to Corti’s argument, but we also take it as a case study in ‘naturalistic metaphysics’ and hence to contribute to a more general discussion of the relationship between philosophy of science and analytic metaphysics. (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)

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

I contrast the Frazerian approach to rituals with an approach suggested by George Eliot in her esteemed novel Middlemarch.

L'objectiu d'aquest article és oferir un anàlisi dels arguments principals del Tractat sobre els Principis del Coneixement Humà, de G. Berkeley. Aquests arguments -que es troben a I, §4, I, §5-7 i I, §23 de l'obra de Berkeley- tenen como a objectiu demostrar la inconcebibilitat d'un món extern de caràcter físic. Argumentaré que la validesa d'aquests tres arguments depèn del anomenat «principi de semblança». La conclusió a la que arribaré és que l'acceptació del principi de semblança -i, en conseqüència, dels (...) arguments que d'ell en depenen- es problemàtica, però que, en qualsevol cas, el principi es manté com a una bona crítica reductiva al materialisme representacionalista de John Locke, en tant que aquest no pot negar les premisses que duen a la seva justificació i que la seva defensa contra dit principi presenta un seguit de problemes als quals sembla no haver-hi resposta. (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)

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)

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)

After being recalled to Beijing in 1510 for evaluation and reassignment in the wake of his two-year exile to Guizhou and his period of service as a magistrate, Wang Yangming was assigned to a succession of posts at the capital that kept him there through 1512. During that short time, he remained disillusioned with the Ming court and high politics and chose to put his energies into fostering a philosophical movement. He believed that by restoring the “way of master-disciple relations (...) and friendship,” he could help propagate the learning of the sages. To that end, he held jiangxue gatherings with colleagues and friends and carried on an active correspondence. In those venues, Wang Yangming engaged others with his ideas about the goal of sagehood, the obstacles to attaining it, and the methods for overcoming those obstacles. The following article reconstructs this critical period in Wang Yangming's philosophical development and the intellectual movement he sought to foster, as well as the status of his philosophy as of this point in time. -/- . (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)

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)

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)

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)

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)

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)