After more than thirty-five years of debate and discussion, versions of the functionalist theory of mind originating in the work of Hilary Putnam, Jerry Fodor, and David Lewis still remain the most popular positions among philosophers of mind on the nature of mental states and processes. Functionalism has enjoyed such popularity owing, at least in part, to its claim to offer a plausible and compelling description of the nature of the mental that is also consistent with an underlying physicalist or (...) materialist ontology. Yet despite its continued popularity, many philosophers now think that functionalism leaves something out, in particular that functional explanations and analyses fail to account for consciousness, qualia, or phenomenal states of experience or awareness.¹ If the objection is correct, then functionalism fails in its inability.. (shrink)
phenomenology and logicalanalysis. John Searle and Bert Dreyfus are for me two of the paradigm figures of contemporary philosophy, so I am extremely proud to have been offered the opportunity to engage with their work. The editors of The Harvard Review of Philosophy, it seems to me, have shown a keen sense of what is deep and important in our discipline by publishing extended interviews with these two influential thinkers. At the same time, writing this article meant (...) entering into a debate between Searle and Dreyfus about the priority of their respective philosophical methodologies, and this, I am afraid, is at best a no-win situation. My strategy, therefore, has been to try to engage as sympathetically as possible with the programs of each philosopher, and to draw from their work lessons that seem to me important for any philosophical account of intentionality and social reality. I have not shied away from criticism; indeed the whole paper is an extended series of criticisms of the work of both philosophers. But I hope they will recognize this for what it is: an engagement with the work of each that is based on the deepest respect and admiration. Before I jump into the fray, I should mention that I owe a personal debt of gratitude to Searle and Dreyfus as well. They were not only my two advisors in graduate school, but were the two main reasons I entered philosophy. Having become dissatisfied with the formal worlds of mathematics and computer science, their respective critiques of artificial intelligence and cognitivism showed me the rich possibilities of philosophy and struck me as a reason to become a philosopher. It is a difficult discipline, sometimes unforgiving; but I am glad I followed them into it. (shrink)
Russell’s theory of descriptions in “On Denoting” has long been hailed as a paradigm of the sort of analysis that is constitutiue of philosophical understanding. It is not the only model of logicalanalysis available to us, however. On Frege’s quite different view, analysis provides not a reduction of some problematic notion to other, unproblematic ones -- as Russell’s analysis does -- but instead a deeper, clearer articulation of the very notion with which we began. (...) This difference, I suggest, is grounded in their two very different conceptions of the nature of language / thought; and it grounds in turn two very different conceptions of the nature of philosophical understanding. (shrink)
It is well known that, in France, this important movement, which originated in Port-Royal, did not remain exactly on the same basis during its development. In this paper we attempt to show how a new concept (the logicalanalysis of sentence from phrase) was proposed by Du Marsais (see grammatical articles of the Encyclopédie), Beauzée (1767) and, finally, Letellier (1805, 1811).
It is well known that, in France, this important movement, which originated in Port-Royal, did not remain exactly on the same basis during its development. In this paper we attempt to show how a new concept (the logicalanalysis of sentence from ‘phrase’) was proposed by Du Marsais (see grammatical articles of the Encyclopédie ), Beauzée (1767) and, finally, Letellier (1805, 1811).
En el presente artículo se examinan algunos de los problemas suscitados por el análisis lógico de la predicación colectiva (aquella en la que un predicado se aplica colectivamente a una pluralidad de sujetos). Su tratamiento habitual en lógica de primer orden no es del todo satisfactorio, y la búsqueda de otros modos de representación abre interesantes perspectivas. Se investiga, en particular, la introducción de predicados poligraduados, señalando algunas deficiencias e insuficiencias en la literatura reciente sobre los mismos. Argumento que la (...) oposición colectivo/distributivo debe localizarse en la estructura lógica dei enunciado en cuestión. /// In this paper I investigate the logicalanalysis of statements in which a predicate applies collectively to a plurality of subjects. The standard treatment of such cases in first-order logic is not completely satisfactory, and the search for alternative modes of representation opens up interesting perspectives. I concentrate on the introduction of multigrade predicates, pointing out a number of weaknesses in the current literature on the subject. I argue that the collective/distributive opposition must be located in the logical structure of the statement in question. (shrink)
The system of sevenfold predication of the Jainas, while an invaluable tool in expounding the Jaina doctrine of "non-onesidedness" (Anekāntavāda), has also been criticized for being unsystematic and contradictory. In particular, the fourth predication has been suggested to embrace a kind of irrationality. An analysis is provided here that makes clear the logical basis underlying the seven predications. An interpretation is also offered of the problematic fourth predication that renders the system free from contradiction, and it is suggested (...) that this interpretation best captures the positive spirit of Anekāntavāda. (shrink)
This article is an extension of the author’s previous work on this subject. Primarily it outlines the main directions of this mode of analysis and possible fields to which it could be applied. The first chapter demonstrates a specific method of understanding emotions. The second chapter examines the concept of emotions as a source of the specific modes of “internal” rationality of an agent. The third chapter isdevoted to a comparison between various emotions and the two basic intentional states (...) - belief and desire. The fourth chapter will present the instrumental typology of certain emotional concepts. The final chapter represents preliminary logical schema of the meanings of emotional concepts. (shrink)
Jerónimo Pardo's analysis of the problems raised by some popular trinitarian paralogisms is studied in this paper. The purpose is to show how the notions employed by the theologians in order to solve theological problems were introduced into a textbook on logic to deal with some genuinely logical problems. First, the problem, common to all logical approaches, of achieving a fine-grained analysis of the logical form of syllogistical inferences. Second, the problem, typical of the terminist (...) approach to logic, of guaranteeing that Latin is an adequate vehicle for logicalanalysis. (shrink)
In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer's dynamic deontic logic. In the proposed formalism, an agent's commitment to goals is considered as a special kind of action which can change one's deontic preference andone's obligation to take some action is based on the preference and the effects of the action. (...) In this logic, it is shown that an agent has the obligation to take any action which is necessary for achieving as many committed goals as possible. The semantics of our logic is based on the possible world models for the dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. According to the semantics, while the preference will influence the agent's choice of action, commitment is a kind of action that will change the agent's preference. Thus we can show how obligations arise from commitments via updating of deontic preference. The integrated semantics make it possible to express and reason about the mutual relationship among these mental attitudes in a common logic. (shrink)
Abstract In this paper I am concerned with risk–benefit analysis; that is, the comparison of the risks of a situation to its related benefits. We all face such situations in our daily lives and they are very common in medicine too, where risk–benefit analysis has become an important tool for rational decision-making. This paper explores risk–benefit analysis from a logical point of view. In particular, it seeks a better understanding of the common view that decisions should (...) be made by weighing risks against benefits and that an option should be chosen if its benefits outweigh its risks. I devote a good deal of this paper scrutinizing this popular view. Specifically, I demonstrate that this mode of reasoning is logically faulty if “risk” and “benefit” are taken in their absolute sense. But I also show that arguing in favour of an action because its benefits outweigh its risks can be valid if we refer to incremental risks and benefits. Content Type Journal Article Category Original Research Pages 1-10 DOI 10.1007/s11673-012-9366-y Authors Georg Spielthenner, Department of Philosophy and Applied Ethics, The University of Zambia, P.O. Box 32379, Lusaka, Zambia Journal Journal of Bioethical Inquiry Online ISSN 1872-4353 Print ISSN 1176-7529. (shrink)
The word ‘dignity’ is used in a variety of ways in bioethics, and this ambiguity has led some to argue that the term must be expunged from the bioethical lexicon. Such a judgment is far too hasty, however. In this article, the various uses of the word are classified into three serviceable categories: intrinsic, attributed, and inflorescent dignity. It is then demonstrated that, logically and linguistically, the attributed and inflorescent meanings of the word presuppose the intrinsic meaning. Thus, one cannot (...) conclude that these meanings are arbitrary and unrelated. This categorization and logical and linguistic analysis helps to unravel what seem to be contradictions in discourse about dignity and bioethics, and provides a hierarchy of meaning that has potential normative implications. (shrink)
El propósito de este artículo es mostrar que las llamadas "teorías de la identidad psiconeural" no tienen la estructura lógica de una teoría genuina de la identidad. Un operador de identidad genuino es un operador de segundo orden, o de órdenes superiores, que convierte predicados n-ádicos en predicados n-1-ádicos. Si las teorias de la identidad psiconeural no son, en realidad, teorías de la identidad, entonces la críticas habituales que usan la Ley de Leibniz y otros rasgos que se relacionan con (...) la identidad no tienen ningún efecto. Así, dos serán las conclusiones: (i) que las llamadas "teorías de la identidad psiconeural" deben de reformularse, de manera que expresen claramente su contenido, y (ii) que las críticas utizadas hasta ahora contra ellas no consiguen su objetivo.The aim of this paper is to show that the so-called "theories of psichoneural identity" do not possess the logical structure of a genuine theory of identity. The identity operator is a second- or higher-order operator that converts n-adic predicates into n-1-ádic ones. If the so-called "theories of psichoneural identity" are not theories of identity at all, then two conclusions follow: (i) these theories of the mind-body relation should state their contents in a more appropiate way, and (ii) the usual criticisms against them, which bear on some features that all idetity theories must hold, as for instance Leibniz Law, leave them untouched. (shrink)
The perfect fit of syntactic derivability and logical consequence in first-order logic is one of the most celebrated facts of modern logic. In the present flurry of attention given to the semantics of natural language, surprisingly little effort has been focused on the problem of logical inference in natural language and the possibility of its completeness. Even the traditional theory of the syllogism does not give a thorough analysis of the restricted syntax it uses.My objective is to (...) show how a theory of inference may be formulated for a fragment of English that includes a good deal more than the classical syllogism. The syntax and semantics are made as formal and as explicit as is customary for artificial formal languages. The fragment chosen is not maximal but is restricted severely in order to provide a clear overview of the method without the cluttering details that seem to be an inevitable part of any grammar covering a substantial fragment of a natural language. (Some readers may feel the details given here are too onerous.). (shrink)
This article is an extension of the author’s previous work on this subject. Primarily it outlines the main directions of this mode of analysis and possible fields to which it could be applied. The first chapter demonstrates a specific method of understanding emotions. The second chapter examines the concept of emotions as a source of the specific modes of “internal” rationality of an agent. The third chapter isdevoted to a comparison between various emotions and the two basic intentional states (...) - belief and desire. The fourth chapter will present the instrumental typology of certain emotional concepts. The final chapter represents preliminary logical schema of the meanings of emotional concepts. (shrink)
This article deals with a set-theoretic interpretation of the Talmudic rules of General and Specific, known as Klal and Prat (KP), Prat and Klal (PK), Klal and Prat and Klal (KPK) and Prat and Klal and Prat (PKP).
Robert Cummins has recently used the program of Clark Hull to illustrate the effects of logical positivist epistemology upon psychological theory. On Cummins's account, Hull's theory is best understood as a functional analysis, rather than a nomological subsumption. Hull's commitment to the logical positivist view of explanation is said to have blinded him to this aspect of this theory, and thus restricted its scope. We will argue that this interpretation of Hull's epistemology, though common, is mistaken. Hull's (...) epistemological views were developed independently of, and in considerable contrast to, the principles of logical positivism. (shrink)
This is a contribution to construction of a research roadmap for future cognitive systems, including intelligent robots, in the context of the euCognition network, and UKCRC Grand Challenge 5: Architecture of Brain and Mind. -/- A meeting on the euCognition roadmap project was held at Munich Airport on 11th Jan 2007. This document was in part a response to discussions at that meeting. An explanation of why specifying requirements is a hard problem, and why it needs to be done, along (...) with some suggestions for making progress, can be found in this presentation: http://www.cs.bham.ac.uk/research/projects/cosy/papers/#pr0701 "What's a Research Roadmap For? Why do we need one? How can we produce one?" Working on that presentation made me realise that certain deceptively familiar words and phrases frequently used in this context (e.g. "robust". "flexible", "autonomous") appear not to need explanation because everyone understands them, whereas in fact they have obscure semantics that needs to be elucidated. Only then can we understand what the implications are for research targets. In particular, they need explanation and analysis if they are to be used to specify requirements and research goals, especially for publicly funded projects. -/- First draft analyses are presented here. In the long term I would like to expand and clarify those analyses, and to provide many different examples to illustrate the points made. This will probably have to be a collaborative research activity. (shrink)
"Testability and Meaning" is one of Carnap's best-known works. It has been usually seen as one of the main sources of the received view of the philosophy of science, and it is normally read in the hght of the tradition it originated. Nevertheless, this reading detaches the text from the philosophical project to which it belongs. This paper aims to situate Camap's article in its proper philosophical place, which is found in the programme initiated in the Logische Syntax, a programme (...) which essentially remained alive throughout the rest of Camap's career. The paper shows how this view opens up a natural way of understanding Carnap's important article in a different light, more interesting and coherent. (shrink)
Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by (...) Stig Kanger and a set theoretical statement equivalent to the axiom of choice.--Lindström, P. On characterizing elementary logic.--Scott, D. Rules and derived rules.--Hansson, B. A program for pragmatics.--Hermerén, G. Models.--Fenstad, J.E. Remarks on logic and probability.--Stenlund, S. Analytic and synthetic arithmetical statements. (shrink)
Meaning without Analyticity draws upon the author’s essays and articles, over a period of 20 years, focused on language, logic and meaning. The book explores the prospect of a non-behavioristic theory of cognitive meaning which rejects the analytic-synthetic distinction, Quinean behaviorism, and the logical and social-intellectual excesses of extreme holism. Cast in clear, perspicuous language and oriented to scientific discussions, this book takes up the challenges of philosophical communication and evaluation implicit in the recent revival of the pragmatist tradition—especially (...) those arising from its relation to prior American analytic thought. This volume continues the work of Callaway’s 1993 book, Context for Meaning and Analysis, building on the “turn toward pragmatism.” . (shrink)
This paper analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places (...) the counterfactual conditionals in an unfamiliar foundational role. (shrink)
This paper aims to explain how the Tractatus attempts to unify logic by deriving the truth-functionality of logical necessity from the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying of what is intrinsic to an expression (or a symbol). Then I argue that, according to the Tractatus, the thesis that a proposition shows its sense implies the determinacy of sense, the possibility of the complete elimination of non-primitive symbols, the (...) analyticity thesis and the strong analyticity thesis. The picture theory emerges as what provides the only acceptable account of an elementary proposition, subject to the constraint that a proposition must show its sense. The picture theory and the analyticity thesis then entail the contingency thesis (that an elementary proposition is contingent) and the independence thesis (that elementary propositions are mutually logically independent) which, together with the strong analyticity thesis, imply that all logical propositions are tautologies. (shrink)
We can distinguish different senses in which a formal language can be said to have been provided with an interpretation. We focus on two: (i) We provide a model (or structure) and a definition of satisfaction and truth in the standard way (ii) We provide a translation into a natural language. We argue that the sentences of a formal language interpreted as in (i) do not have meaning. A formal language interpreted as in (i) models the way the truth of (...) a sentence would be affected by two factors: the interpretation as in (ii) of the language, and a way the world might be. Viewing in this way the relation between interpreting a formal language as in (i) and as in (ii) allows us to justify the conceptual adequacy of the standard model-theoretic definitions of the properties of logical truth and logical consequence. (shrink)
I examine the relationship between complete analysis and clarificatory analysis and explain why Wittgenstein thought he required both in his account of how to solve the problems of philosophy. I first describe Wittgenstein’s view of how philosophical confusions arise, by explaining how it is possible to misunderstand the logic of everyday language. I argue that any method of logicalanalysis in the Tractatus will inevitably be circular, but explain why this does not threaten the prospect of (...) solving philosophical problems. I distinguish between complete and clarificatory analysis and argue that Wittgenstein’s ‘strictly correct’ philosophical method is clarificatory analysis. Finally I discuss the relationship between the two forms of analysis and claim that, although, at the time of writing the Tractatus, Wittgenstein believed that the possibility of complete analysis underpins clarificatory analysis, in fact this was a mistake. In the Philosophical Investigations complete analysis is rejected and clarificatory analysis is retained. (shrink)
A three-valued propositional logic is presented, within which the three values are read as ?true?, ?false? and ?nonsense?. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.
It is commonly held that Wittgenstein abandoned the Tractatus largely because of a problem concerning color incompatibility. My aim is to solve this problem on Wittgenstein’s behalf. First I introduce the central program of the Tractatus (§1) and the color incompatibility problem (§2). Then I solve the problem without abandoning any Tractarian ideas (§3), and show that given certain weak assumptions, the central program of the Tractatus can in fact be accomplished (§4). I conclude by distinguishing my system of (...) class='Hi'>analysis from others and by explaining the historical underpinnings of my understanding of the nature of elementary propositions (§5). (shrink)
..". an excellent collection... " -- Journal of Language Social Psychology An important collection of original essays by well-known scholars debating the questions of logical versus psychologically-based interpretations of language.
A glimpse of the new application of Buddhist logic in the seventeenth century leads us to reflect about our approach to logic in a given religious tradition: Should we isolate a logical system from the very context that has given rise to the genesis and development of such an intellectual apparatus? Methodologically, we do have the legitimate right to approach Buddhist logic from a purely logical point of view. However, when we study the actual use of Buddhist logic (...) in the seventeenth-century anti-Christian polemic, an analysis of its intentional application allows us to conclude that Buddhist logic in the context of controversy is primarily apologetic. Therefore, with a methodological concern, I suggest that philosophers and logicians should reconsider the apologetic nature of logic in any given religious tradition. (shrink)
