Uno de los fenómenos característicos de la sociedad española, a partir del año simbólico de 1492, es la progresiva adopción de los estatutos de pureza de sangre por parte de diversas administraciones. La Compañía de Jesús, sin embargo, se negó durante casi todo el siglo XVI a aplicar estos estatutos, alegando para ello la voluntad expresada en tal sentido por el mismo Ignacio de Loyola. Sin embargo, en 1593 la Quinta Congregación General decide implantar el examen de pureza para el (...) ingreso en los Colegios de la Compañía. Este artículo describe la tenaz oposición que contra esta decisión realizó el jesuita español Pedro de Ribadeneyra, de origen judío, en una serie de cartas dirigidas al entonces General, Claudio Aquaviva. Asimismo, contextualiza la polémica jesuita en torno a los estatutos de pureza de sangre dentro del giro que la Compañía realiza tras el ascenso al generalato de Everardo Mercuriano y, después, con Aquaviva, y cuya principal característica es el alejamiento de los conversos de los puestos de poder. (shrink)
Some Contemporary Views Claudio Corradetti ... A more complete history of the relation between modern humanitarianism and human rights remains to be written, and would have to identify the points at which each arose, when they ...
It is argued, on the basis of new counterexamples, that neither knowledge nor epistemic justification (or “epistemic rationality”) can reasonably be thought to be closed under logical implication. The argument includes an attempt to reconcile the fundamental intuitions of the opposing parties in the debate.
This paper proposes a new, stronger version of the cluster theory of proper names. It introduces a meta-identifying rule that can establish a cluster's main descriptions and explain how they must be satisfied in order to allow the application of a proper name. At the same time, it preserves some main insights of the causal-historical view. With the resulting rule we can not only give a more detailed reply to the counter-examples to descriptivism, but also explain the informative contents of (...) proper names and why they are rigid designators in contrast with descriptions.1. (shrink)
On the basis of arguments showing that none of the most influential analyses of Moore’s paradox yields a successful resolution of the problem, a new analysis of it is offered. It is argued that, in attempting to render verdicts of either inconsistency or self-contradiction or self-refutation, those analyses have all failed to satisfactorily explain why a Moore-paradoxical proposition is such that it cannot be rationally believed. According to the proposed solution put forward here, a Moore-paradoxical proposition is one for which (...) the believer can have no non-overridden evidence. The arguments for this claim make use of some of Peter Klein’s views on epistemic defeasibility. It is further suggested that this proposal may have important meta-epistemological implications. (shrink)
For elite athletes seeking a winning advantage, manipulation of their own genetic code has become a realistic possibility. In Genetic Technology and Sport, experts from sports science, genetics, philosophy, ethics, and international sports administration describe the potential applications of the new technology and debate the questions surrounding its use.
In this paper an improved formulation of the classical tripartite view of knowledge is proposed and defended. This formulation solves Gettier's problem by making explicit what is concealed by the symbolic version of the tripartite definition, namely, the perspectival context in which concrete knowledge claims are evaluated.
Logic and Knowledge -/- Editor: Carlo Cellucci, Emily Grosholz and Emiliano Ippoliti Date Of Publication: Aug 2011 Isbn13: 978-1-4438-3008-9 Isbn: 1-4438-3008-9 -/- The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VI–VII of Plato’s Republic and Aristotle’s Prior and Posterior Analytics, to Kant’s Critique of Pure Reason and Mill’s A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers (...) by Bertrand Russell (Logic and Knowledge. Essays, 1901–1950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. -/- This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors. -/- Carlo Cellucci is Emeritus Professor of Philosophy at the University of Rome ‘La Sapienza,’ Italy. He is currently completing a book entitled, Remaking Logic: What is Logic Really? -/- Emily Grosholz is Professor of Philosophy at the Pennsylvania State University, USA. She is the author of Representation and Productive Ambiguity in Mathematics and the Sciences (Oxford University Press, 2007). -/- Emiliano Ippoliti is a Research Fellow at the University of Rome ‘La Sapienza,’ Italy. His main interests are heuristics, the logic of discovery, and problem-solving. He is currently working on a book, Ampliating Knowledge: Data, Hypotheses and Novelty. -/- TABLE OF CONTENTS -/- Foreword .................................................................................................... ix Acknowledgements ................................................................................. xxv -/- Section I: Logic and Knowledge -/- Chapter One................................................................................................. 3 The Cognitive Importance of Sight and Hearing in Seventeenthand Eighteenth-Century Logic (Mirella Capozzi) Discussion .............................................................................................. 26 (Chiara Fabbrizi) Chapter Two .............................................................................................. 33 Nominalistic Content (Jody Azzouni) Discussion ............................................................................................... 52 (Silvia De Bianchi) Chapter Three ............................................................................................ 57 A Garden of Grounding Trees (Göran Sundholm) Discussion.......................................................................................... .. 75 (Luca Incurvati) Chapter Four .............................................................................................. 81 Logics and Metalogics (Timothy Williamson) Discussion.......................................................................................... 101 (Cesare Cozzo) Chapter Five ............................................................................................ 109 Is Knowledge the Most General Factive Stative Attitude? (Cesare Cozzo) Discussion.......................................................................................... 117 (Timothy Williamson) Chapter Six .............................................................................................. 123 Classifying and Justifying Inference Rules (Carlo Cellucci) Discussion.......................................................................................... 143 (Norma B. Goethe) -/- Section II: Logic and Science -/- Chapter Seven.......................................................................................... 151 The Universal Generalization Problem and the Epistemic Status of Ancient Medicine: Aristotle and Galen (Riccardo Chiaradonna) Discussion.......................................................................................... 168 (Diana Quarantotto) Chapter Eight........................................................................................... 175 The Empiricist View of Logic (Donald Gillies) Discussion.......................................................................................... 191 (Paolo Pecere) Chapter Nine............................................................................................ 197 Artificial Intelligence and Evolutionary Theory: Herbert Simon’s Unifying Framework (Roberto Cordeschi) Discussion.......................................................................................... 216 (Francesca Ervas) Chapter Ten ............................................................................................. 221 Evolutionary Psychology and Morality: The Renaissance of Emotivism? (Mario De Caro) Discussion.......................................................................................... 232 (Annalisa Paese) Chapter Eleven ........................................................................................ 237 Between Data and Hypotheses (Emiliano Ippoliti) Discussion.......................................................................................... 262 (Fabio Sterpetti) -/- Section III: Logic and Mathematics -/- Chapter Twelve ....................................................................................... 273 Dedekind Against Intuition: Rigor, Scope and the Motives of his Logicism (Michael Detlefsen) Discussion.......................................................................................... 290 (Marianna Antonutti) Chapter Thirteen...................................................................................... 297 Mathematical Intuition: Poincaré, Polya, Dewey (Reuben Hersh) Discussion.......................................................................................... 324 (Claudio Bernardi) Chapter Fourteen ..................................................................................... 329 On the Finite: Kant and the Paradoxes of Knowledge (Carl Posy) Discussion.......................................................................................... 358 (Silvia Di Paolo) Chapter Fifteen ........................................................................................ 363 Assimilation: Not Only Indiscernibles are Identified (Robert Thomas) Discussion.......................................................................................... 380 (Diego De Simone) Chapter Sixteen ....................................................................................... 385 Proofs and Perfect Syllogisms (Dag Prawitz) Discussion.......................................................................................... 403 (Julien Murzi) Chapter Seventeen ................................................................................... 411 Logic, Mathematics, Heterogeneity (Emily Grosholz) Discussion.......................................................................................... 427 (Valeria Giardino) -/- Contributors........................................................................................ ..... 433 Index............................................................................................... ......... 437 -/- Price Uk Gbp: 49.99 Price Us Usd: 74.99 -/- Website: http://www.c-s-p.org/Flyers/Logic-and-Knowledge1-4438-3008-9.htm. (shrink)
This volume is based on the papers presented at the international conference Model-Based Reasoning in Science and Technology (MBR09_BRAZIL), held at the University of Campinas (UNICAMP), Campinas, Brazil, December 2009. The presentations given at the conference explored how scientific cognition, but several other kinds as well, use models, abduction, and explanatory reasoning to produce important or creative changes in theories and concepts. Some speakers addressed the problem of model-based reasoning in technology, and stressed the issue of science and technological innovation. (...) The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in logic, science, and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers. The book is divided in three parts, which cover the following main areas: part I, abduction, problem solving, and practical reasoning; part II: formal and computational aspects of model based reasoning; part III, models, mental models, representations. (shrink)
We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, and finally selecting (...) a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either. (shrink)
We review and discuss A. H. Louie’s book “More than Life Itself: A Reflexion on Formal Systems and Biology” from an interdisciplinary viewpoint, involving both biology and mathematics, taking into account new developments and related theories.
On the basis of arguments showing that none of the most influential analyses of Moore's paradox yields a successful resolution of the problem, a new analysis of it is offered. It is argued that, in attempting to render verdicts of either inconsistency or self-contradiction or self-refutation, those analyses have all failed to satisfactorily explain why a Moore-paradoxical proposition is such that it cannot be rationally believed. According to the proposed solution put forward here, a Moore-paradoxical proposition is one for which (...) the believer can have no non-overridden evidence. The arguments for this claim make use of some of Peter Klein's views on epistemic defeasibility. It is further suggested that this proposal may have important meta-epistemological implications. (shrink)
The paper studies the relation between systems of modal logic and systems of consequential implication, a non-material form of implication satisfying Aristotle's Thesis (p does not imply not p ) and Weak Boethius' Thesis (if p implies q, then p does not imply not q ). Definitions are given of consequential implication in terms of modal operators and of modal operators in terms of consequential implication. The modal equivalent of Strong Boethius' Thesis (that p implies q implies that p does (...) not imply not q) is identified. (shrink)
Presentazione del curatore italiano (C.Corradetti): È possibile conciliare il pluralismo culturale con la dimensione pubblica della deliberazione? Partendo dall’analisi critica di Rawls e Habermas, James Bohman offre una risposta innovativa alla questione dell’accordo democratico. In tale proposta, parallelamente al rigetto di soluzioni meramente strategiche, viene riabilitata la nozione di compromesso morale nel quadro di un accordo normativo. Mantenendo fede ad una prospettiva composta da elementi normativi e fattuali, l’autore si propone di ampliare le opportunità democratiche nella riconciliazione tra conflitti culturali (...) profondi propri delle società contemporanee. L’elemento civico partecipativo risulta essere dunque una componente essenziale per la produzione di una sfera pubblica vibrante. Ne emerge una ricostruzione convincente volta non solo a respingere le critiche degli scettici sulle reali possibilità d’inclusività democratica, ma diretta soprattutto a suggerire un più efficace modello deliberativo per la garanzia della stabilità sociale. Questo testo è diventato ormai un riferimento internazionale classico nella discussione sul tema della deliberazione pubblica. L’autore ha inoltre sviluppato in ambito post-nazionale il suo modello deliberativo senza tuttavia ridiscutere i fondamenti concettuali della sua proposta teorica qui enunciati.Vista la rilevanza del tema e considerata la centralità del testo proposto, sembrerebbe dunque auspicabile rendere il testo disponibile anche al lettore italiano. (shrink)
We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)
Advances in genetic technology will enable us to intervene in human biological development to prevent and cure diseases, to restore individuals' functions and capacities back to a normal level after injury and even to enhance them beyond what has hitherto been considered as normal functioning for our species. Such a power to reshape and modify the human condition raises fundamental questions that touch upon the central core of morality. One of these questions is distributive justice. Will all people have equal (...) access to the beneficial effects of genetic technology in general and medical genetics in particular? Most of the new therapeutic and enhancement techniques will probably be quite expensive. That means that, probably during a long period of time after the new genetic technology enters medical practice, its use will be practically monopolized by the rich, to the detriment of all those who are not in a position to afford genetic treatments. In this paper, I argue that the health care inequality that inevitably will follow from the adoption of genetic technology, while posing a challenge to provide as long as possible for genetic interventions for all, is hardly a reason to reject the new technology. In that case, we would have to reject any new medicine or medical technique that cannot be made available to all people at once. Finally, I also argue that the ?enhanced new world? that would follow the introduction of genetic technology, even with the kind of inequality that might then arise, poses no serious threat either to elite sports or to society and should therefore be welcome. (shrink)
In Zwicker (1987) the hypergame paradox is introduced and studied. In this paper we continue this investigation, comparing the hypergame argument with the diagonal one, in order to find a proof schema. In particular, in Theorems 9 and 10 we discuss the complexity of the set of founded elements in a recursively enumerable relation on the set N of natural numbers, in the framework of reduction between relations. We also find an application in the theory of diagonalizable algebras and construct (...) an undecidable formula. (shrink)
We forward an epistemological perspective regarding non-classical logics which restores the universality of logic in accordance with the thesis of global pluralism. In this perspective every non-classical truth-theory is actually a theory of some metalinguistic concept which does not coincide with the concept of truth (described by Tarski's truth theory). We intend to apply this point of view to Quantum Logic (QL) in order to prove that its structure properties derive from properties of the metalinguistic concept of testability in Quantum (...) Physics. To this end we construct a classical language L cand endow it with a classical effective interpretation which is partially inspired by the Ludwig approach to the foundations of Quantum Mechanics. Then we select two subsets of formulas in L cwhich can be considered testable because of their interpretation and we show that these subsets have the structure properties of Quantum Logics because of Quantum Mechanical axioms, as desired. Finally we comment on some relevant consequences of our approach (in particular, the fact that no non-classical logic is strictly needed in Quantum Physics). (shrink)
`It is a safe bet that Key Thinkers will emerge as something of a 'hit' within the undergraduate community and will rise to prominance as a 'must buy' -Environment and Planning `Key Thinkers on Space and Place is an engagingly written, well-researched and very accessible book. It will surely prove an invaluable tool for students, whom I would strongly encourage to purchase this edited collection as one of the best guides to recent geographical thought' -Claudio Minca, University of Newcastle (...) `Key Thinkers is the best encyclopedic tool for human geographers since the Dictionary of Human Geography. It takes into its orbit discussions of the lives and work of the last three decades' major thinkers on space and place. It is hugely useful for students who want an easy way to access the roots of where some major themes and debates in contemporary geography. It is organized so that each chapter details the scholar's biography, their contribution to spatial and place-based theory and the controversies that arise through their work' - Stuart Aitken, San Diego State University Key Thinkers on Space and Place is a comprehensive guide to the latest work on space. Each entry is a short interpretative essay of 2,500 words, outlining the contributions made by the key theorists, and comprises: · a concise biography, indicating disciplinary background, career trajectory and collaboration with others · an outline of the key theoretical, conceptual and methodological ideas each has introduced to human geography · an explanation of the reaction to, and uptake of, how these ideas has changed and evolved over time · an explanation of how these theories have been used and critiqued by human geographers · a selective bibliography of each thinker's key publications (and key secondary publications) The text is introduced by a contextual essay which outlines in general terms the shifting ways in which space and place have been theorised and which explains how Key Thinkers on Space and Place can be used. A glossary that defines key traditions, with cross-links to key theorists and a timeline of key article/book publication date is also included. (shrink)
In this article I pursue two aims. First I advance an internal critique of hard-core retribution as it is usually advanced by victims of human rights violations. The focus of this penal approach on submitting all the military personnel guilty of human rights violations to harsh punishments risks jeopardizing the (clearly retributive) demand of punishing all those involved in the abuses. Particularly when extensive time has elapsed after the misdeeds, the most rational policy seems to be a negotiation model that (...) offers gross human rights abusers punishment reductions in exchange for valuable information about the facts. Defending such a penal negotiation model constitutes the second aim of this article. I conclude that in order to satisfy the (hard-core) retributive demand of punishing all those (both military and civilian) guilty of human rights abuses, it is required not to submit all military personal indicted to retributive punishments. (shrink)
In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, (...) along the lines traced by Lakatos’ methodology of scientific research programs. We show how current debates in cosmology could be put into this framework, shedding light on a very controversial topic. (shrink)
Background Delusion is one of the most intriguing psychopathological phenomena and its conceptualization remains the subject of genuine debate. Claims that it is ill-defined, however, are typically grounded on essentialist expectations that a given definition should capture the core of every instance acknowledged as delusion in the clinical setting. Objective In this paper, we attempt to show the major limitations of the definition of delusion from a non-essentialist point of view. Method The problem is analyzed within the framework of constructs (...) and their translation into definitions. Different linguistic and epistemological perspectives that do concur when one deals with psychopathological phenomena are also considered. Results The 'construct of delusion', rather than its clinical instances, is the reference in which its definition appears inept. Here we claim that the broad contextual and pragmatic bases that underpin the construct of delusion tend to be either overlooked or downplayed in the quest for a satisfactory definition of this phenomenon. (shrink)
This book is about the formation and development of Latin America as name, idea and concept, as well as the wider concepts of location, knowledge and the ...
It is argued, on the basis of new counterexamples, that neither knowledge nor epistemic justification (or epistemic rationality ) can reasonably be thought to be closed under logical implication. The argument includes an attempt to reconcile the fundamental intuitions of the opposing parties in the debate.
Grodzinsky's Tree-Pruning Hypothesis can be extended to explain agrammatic comprehension disorders. Although agrammatism is evidence for syntactic modularity, there is no evidence for its anatomical modularity or for its localization in the frontal lobe. Agrammatism results from diffuse left hemisphere damage – allowing the emergence of the limited right hemisphere linguistic competence – rather than from damage to an anatomic module in the left hemisphere.
The paper introduces a contingential language extended with a propositional constant τ axiomatized in a system named KΔτ , which receives a semantical analysis via relational models. A definition of the necessity operator in terms of Δ and τ allows proving (i) that KΔτ is equivalent to a modal system named K□τ (ii) that both KΔτ and K□τ are tableau-decidable and complete with respect to the defined relational semantics (iii) that the modal τ -free fragment of KΔτ is exactly the (...) deontic system KD. In §4 it is proved that the modal τ -free fragment of a system KΔτw weaker than KΔτ is exactly the minimal normal system K. (shrink)
"You must learn first how to choose a woman" says the character Don Love to the protagonist of the Book of Good Love (fourteenth-century Castile) who has suffered a few setbacks in love. Don Love then goes on to describe in detail the ideal woman, beginning with her physical characteristics: a small head; blond hair; eyebrows set apart, long and arched; a narrow chin; large, prominent, colorful, and shining eyes, with long lashes; small, delicate ears; a long throat; a finely (...) chiseled nose; small, even, sharp and white teeth, close together; red gums; red lips finely-drawn; a small mouth; and her face white, hairless, bright and smooth.1 Formally, this description of the "beautiful woman" is typical of many works .. (shrink)
In hisStudy of War, Q. Wright considered a model for the probability of warP during a period ofn crises, and proposed the equationP=1–(1–p) n , wherep is the probability of war escalating at each individual crisis. This probability measure was formally derived recently by Cioffi-Revilla (1987), using the general theory of political reliability and an interpretation of the n-crises problem as a branching process. Two new, alternate solutions are presented here, one using D. Bernoulli''s St. Petersburg Paradox as an (...) analogue, the other based on the logic of conditional probabilities. Analysis shows that, while Wright''s solution is robust with regard to the general overall behavior ofp andn, some significant qualitative and quantitative differences emerge from the alternative solutions. In particular,P converges to 1 only in a special case (Wright''s) and not generally. (shrink)
Goldstein (1948) reported multiple cases of failure to categorise colours in patients that he termed amnesic or anomic aphasics. These patients have a particular difficulty in producing perceptual categories in the absence of other aphasic impairments. We hold that neuropsychological evidence supports the view that the task of colour categorisation is logically impossible without labels.
Facets and general categories used in bibliographic classification have been based on a disciplinary organization of knowledge. However, facets and categories of phenomena independent from disciplines can be identified similarly. Phenomena can be classified according to a series of integrative levels (layers), which in turn can be grouped into the major strata of form, matter, life, mind, society and culture, agreeing with Nicolai Hartmann’s ontology. Unlike a layer, a stratum is not constituted of elements of the lower ones; rather, it (...) represents the formal pattern of the lower ones, like the horse hoof represents the shape of the steppe. Bibliographic categories can now be seen in the light of level theory: some categories are truly general, while others only appear at a given level, being the realization of a general category in the specific context of the level: these are the facets of that level. In the notation of the Integrative Level Classification project, categories and facets are represented by digits, and displayed in a Web interface with the help of colours. (shrink)
. It is shown that the properties of so-called consequential implication allow to construct more than one aristotelian square relating implicative sentences of the consequential kind. As a result, if an aristotelian cube is an object consisting of two distinct aristotelian squares and four distinct “semiaristotelian” squares sharing corner edges, it is shown that there is a plurality of such cubes, which may also result from the composition of cubes of lower complexity.
The Principle of the Common Cause is usually understood to provide causal explanations for probabilistic correlations obtaining between causally unrelated events. In this study, an extended interpretation of the principle is proposed, according to which common causes should be invoked to explain positive correlations whose values depart from the ones that one would expect to obtain in accordance to her probabilistic expectations. In addition, a probabilistic model for common causes is tailored which satisfies the generalized version of the principle, at (...) the same time including the standard conjunctive-fork model as a special case. (shrink)
The target article by Corballis presents an interesting and novel theoretical perspective on the evolution of language, speech, and handedness. There are two specific aspects of the article that will be addressed in this commentary: (a) the link between Broca's area and gestural communication in chimpanzees, and (b) the issue of population-level handedness in great apes, notably chimpanzees.
This article advances three claims. The first is that the standard instrumentalist case for minimal age and sanity requirements for voting is weak and inconclusive in such a way that the evaluation of such requirements should be made exclusively on the basis of procedural fairness considerations. The second claim is that fairness requires the inclusion of all and only those persons who have the franchise capacity: the minimum necessary cognitive and moral powers to experience the benefits of enfranchisement. The third (...) and final claim is that current age and sanity prerequisites for voting in most places fail to comply with the demands of fairness and ought to be revised. (shrink)
We present systems of Natural Deduction based on Strict Implication for the main normal modal logics between K and S5. In this work we consider Strict Implication as the main modal operator, and establish a natural correspondence between Strict Implication and strict subproofs.
This study addresses the issue of artifact kinds from a psychological and cognitive perspective. The primary interest of the investigation lies in understanding how artifacts are categorized and what are the properties people rely on for their identification. According to a classical philosophical definition artifacts form an autonomous class of instances including all and only those objects that do not exist in nature, but are artificial, in the sense that they are made by an artĭfex. This definition suggests that artifacts (...) are classified primarily on the basis of the recognition of their artificial nature. Nevertheless, many psychological and cognitive studies maintain that artifacts are categorized mainly on the basis of the recognition of the function they have been made to accomplish. Since tools are also categorized primarily on the basis of their function, this would imply that artifacts and tools are represented in the same way. In the study participants categorized a set of objects (denoted by words) once as tools and once as artifacts. Results show that reaction times (RTs) are faster in the artifact categorization condition than in the tool categorization condition. This pattern indicates that artifacts and tools are not represented in the same way and that the identification of the members of each class is carried out in the basis of different criteria. (shrink)
Recent aphasiological findings, not mentioned in the target article, have been accounted for by Levelt et al.'s theory and have, in turn, provided it with empirical support and new leads. This interaction is especially promising in the domain of complex word retrieval. Examples of particular categories of compounds are discussed.
Transplantation continues to push the frontiers of medicine into domains that summon forth troublesome ethical questions. Looming on the frontier today is human facial transplantation. We develop criteria that, we maintain, must be satisfied in order to ethically undertake this as-yet-untried transplant procedure. We draw on the criteria advanced by Dr. Francis Moore in the late 1980s for introducing innovative procedures in transplant surgery. In addition to these we also insist that human face transplantation must meet all the ethical requirements (...) usually applied to health care research. We summarize the achievements of transplant surgery to date, focusing in particular on the safety and efficacy of immunosuppressive medications. We also emphasize the importance of risk/benefit assessments that take into account the physical, aesthetic, psychological, and social dimensions of facial disfiguration, reconstruction, and transplantation. Finally, we maintain that the time has come to move facial transplantation research into the clinical phase. (shrink)
It is well known that, in Peano arithmetic, there exists a formula Theor (x) which numerates the set of theorems. By Gödel's and Löb's results, we have that Theor (˹p˺) ≡ p implies p is a theorem ∼Theor (˹p˺) ≡ p implies p is provably equivalent to Theor (˹0 = 1˺). Therefore, the considered "equations" admit, up to provable equivalence, only one solution. In this paper we prove (Corollary 1) that, in general, if P (x) is an arbitrary formula built (...) from Theor (x), then the fixed-point of P (x) (which exists by the diagonalization lemma) is unique up to provable equivalence. This result is settled referring to the concept of diagonalizable algebra (see Introduction). (shrink)
The paper address the question of whether quantum mechanics (QM) favors Priority Monism, the view according to which the Universe is the only fundamental object. It develops formal frameworks to frame rigorously the question of fundamental mereology and its answers, namely (Priority) Pluralism and Monism. It then reconstructs the quantum mechanical argument in favor of the latter and provides a detailed and thorough criticism of it that sheds furthermore new light on the relation between parthood, composition and fundamentality in QM.
Autour d’une question ‘inédite’ de Merleau-Ponty : Proust philosophe?Le présent essai tentera d’approfondir certains des aspects les plus significatifs des pages, toutes encore inédites, que Merleau-Ponty avait écrites en vue du Cours du jeudi de 1953-1954 au Collège de France sur Le problème de la parole. Il se concentrera en particulier sur la partie du cours dans laquelle Merleau-Ponty formule une question importante concernant l’auteur de la Recherche, ou plutôt là où il se demande si Proust est un philosophe. Il (...) cherche à comprendre comment Merleau-Ponty répond à cette question, développant des aspects de sa propre pensée qu’on retrouvera de manière prépondérante dans l’oeuvre future. Les questions du «platonisme de Proust», du statut des «essences alogiques», de l’«entrelacement des choses et de notre vie» – pour en citer quelques-unes – enrichissent ces pages et contribuent à reproblématiser tant les articulations de réfl exions qui jouent un rôle décisif dans la constellation merleaupontienne que l’approche de la lecture du chef-d’oeuvre proustien. La Recherche du temps perdu, en effet, comme le suggèrent ces écrits merleau-pontiens (dix ans avant Proust et les signes) peut être vue comme une «recherche de la vérité». Une recherche de la vérité qui se décline ici, précisément pour dégager les pouvoirs de la parole, en une «reconquête de l’espace».About a Merleau-Ponty’s ‘Inedited’ Question : Is Proust a Philosopher?The present essay will attempt to deepen some of the most significant aspects of pages, still all unpublished, that Merleau-Ponty had written for the 1953-54 Thursday course at the Collège de France on The Problem of Speech. This essay will concentrate in particular on the part of the course in which Merleau-Ponty expresses an important question concerning the author of the Remembrance of Things Past (À la recherce du temps perdu), or rather where Merleau-Ponty wonders if Proust is a philosopher. This essay tries to understand how Merleau-Ponty responds to this question, developing aspects of his own thought which one will find in a predominant way in the future work. The questions of “Proust’s Platonism,” the status of “a-logical essences,” the “interlacing of things with our life” – in order to mention a few – enriches these pages and contributes to a reproblematization of the reflective articulations which play a decisive role in Merleau-Ponty’s constellation that the reading of Proust’s masterpiece approaches. Remembrance of Things Past, as indeed, these Merleau-Ponty writings suggest (ten years before Deleuze’s Proust and Signs), may be viewed as a “search (une recherche) for truth.” This is a search for truth that develops into, in order precisely to present the powers of speech, a “reconquest of space”. (shrink)
Given two (positive) equivalence relations ∼ 1 , ∼ 2 on the set ω of natural numbers, we say that ∼ 1 is m-reducible to ∼ 2 if there exists a total recursive function h such that for every x, y ∈ ω, we have $x \sim_1 y \operatorname{iff} hx \sim_2 hy$ . We prove that the equivalence relation induced in ω by a positive precomplete numeration is complete with respect to this reducibility (and, moreover, a "uniformity property" holds). This (...) result allows us to state a classification theorem for positive equivalence relations (Theorem 2). We show that there exist nonisomorphic positive equivalence relations which are complete with respect to the above reducibility; in particular, we discuss the provable equivalence of a strong enough theory: this relation is complete with respect to reducibility but it does not correspond to a precomplete numeration. From this fact we deduce that an equivalence relation on ω can be strongly represented by a formula (see Definition 8) iff it is positive. At last, we interpret the situation from a topological point of view. Among other things, we generalize a result of Visser by showing that the topological space corresponding to a partition in e.i. sets is irreducible and we prove that the set of equivalence classes of true sentences is dense in the Lindenbaum algebra of the theory. (shrink)
We generalize a well-knownSmullyan's result, by showing that any two sets of the kindC a = {x/ xa} andC b = {x/ xb} are effectively inseparable (if I b). Then we investigate logical and recursive consequences of this fact (see Introduction).
