Annotated Bibliography of Jaakko Hintikka

Total Page:16

File Type:pdf, Size:1020Kb

Annotated Bibliography of Jaakko Hintikka ANNOTATED BIBLIOGRAPHY OF JAAKKO HINTIKKA 1953 Books (a) Distributive Normal Forms in the Calculus of Predicates, Acta Philosophica Fennica 6, (1953), 71pp. By distributing quantifiers deeper and deeper into the formulas of a finite first-order language, with or without identity, at the same time as truth-functions are transformed into a propositional normal form, we obtain a simple normal form for such formulas. This refutes the conjecture of Hilbert and Bernays that “a simply characterizable normal form is not obtainable in this way in general.” The basic properties of these distributive normal forms are established, including a set of sufficient conditions of inconsistency. Papers (a) “A New Approach to Sentential Logic”, Societas Scientiarum Fennica, Commentationes Physico-Mathematicae 17, no. 3, (1953), 13pp. 1954 Papers (a) “An Application of Logic to Algebra”, Mathematica Scandinavia 2, (1954), 243-246. 1955 Books (a) Two Papers on Symbolic Logic, Acta Philosophica Fennica 8, (1955), 115pp. (Includes “Form and Content in Quantification Theory”, 11-55, and “Reductions in the Theory of Types”, 57-115.) First paper: For a finite first-order language, the concept of a model set (m.s.) of formulas is defined by means of certain simple closure and compatibility conditions. Intuitively, a m.s. is a partial description of a possible world. A set of formulas is accordingly consistent if it can be embedded in some m.s.. A simple proof procedure is obtained by considering rules for an attempt to embed the negation of a sentence S in a m.s.. If such an attempt fails in all directions, a proof is obtained for S. Second paper: For a formula S in the simple theory of types, a formula r(S) is constructed such that: (i) r(S) is satisfiable if S is satisfiable; (ii)r(S) is of the form (∃X) F(X) where “X” is a second-order formula which does not contain any second-order quantifiers. 274 Annotated Bibliography of Jaakko Hintikka Papers “Notes on Quantification Theory”, Societas Scientiarum Fennicae, Commentationes Physico-Mathematicae 17, no. 12, (1955), 13pp. 1956 Papers (a) “Identity, Variables, and Impredicative Definitions”, The Journal of Symbolic Logic 21, (1956), 225-245. (b) “Loogisen kielentutkimuksen näköaloja”, Ajatus 19, (1956), 81-96. (“Perspectives on the Logical Study of Language”.) 1957 Papers (a) “Arvokäsitteistä sosiaalitieteiden metodiopissa”, Ajatus 20, (1957), 27-47. (“On Value-Concepts in the Methodology of the Social Sciences”.) (b) “Modality as Referential Multiplicity”, Ajatus 20, (1957), 49-64. Problems of intensional context can be handled by assuming that they involve a multiplicity of different situations (worlds, models) in which the references of our singular terms can be different. (Note: This paper seems to be the first philosophical statement of the basic ideas of possible-worlds semantics in the literature. The problems of cross-identification are nevertheless overlooked in it. They make their appearance in Knowledge and Belief: An Introduction to the Logic of the Two Notions, (1962(a)).) (c) “Necessity, Universality, and Time in Aristotle”, Ajatus 20, (1957), 65-90. (d) “Quantifiers in Deontic Logic”, Societas Scientaiarum Fennicae, Commentationes Humanarum Litterarum 23, no. 4, (1957), 21 pp. (e) “Vicious Circle Principle and the Paradoxes”, The Journal of Symbolic Logic 22, (1957), 245-249. 1958 Papers (a) “On Wittgenstein’s ‘Solipsism’”, Mind 67, (1958), 88-91. (b) “Remarks on a Paradox”, Archiv für Rechts- und Sozialphilosophie 44, (1958), 514-516. (c) “Towards a Theory of Definite Descriptions”, Analysis 19, (1958), 79-85. The methods used in the new theory of descriptions illustrate the virtues of our new quantification theory which dispenses with existential presuppositions. This system is superior to Russell’s. 1959 Papers (a) “Aristotle and the Ambiguity of Ambiguity”, Inquiry 2, (1959), 137-151. Annotated Bibliography of Jaakko Hintikka 275 (b) “An Aristotelian Dilemma”, Ajatus 22, (1959), 87-92. (An expanded version under the title “On Aristotle’s Modal Syllogistic” appears in Jaakko Hintikka, Time and Necessity: Studies in Aristotle’s Theory of Modality, Clarendon Press, Oxford, 1973, 135-146.) (c) “Existential Presuppositions and Existential Commitments”, The Journal of Philosophy 56, (1959), 125-137. The usual quantification theory can be modified in such a way as to allow individual constants to be empty. What is needed is a suitable change in the quantifier rules. (Note: Together with the paper by Leblanc and Hailperin in the Philosophical Review in 1959, this paper seems to have been the first explicit treatment of a logic without existence assumptions in the literature.) (d) “Filosofian ajankohtaisista ja ajattomista tehtävistä”, Suomalainen Suomi 27, (1959), 538-542. (“On the Timely and Timeless Tasks of Philosophy”.) (e) “Kantin oppi matematiikasta: tutkimuksia sen peruskäsitteistä, rakenteesta ja esikuvista”, Ajatus 22, (1959), 5-85. (“Kant’s Theory of Mathematics: Studies in its Basic Concepts, Structure, and Precedents”.) 1960 Papers (a) “Aristotle’s Different Possibilities”, Inquiry 3, (1960), 17-28. 1961 Papers (a) “Cogito, ergo sum, 1-11”, Nya Argus 54, (1961), 143-146 and 159-162. (An early Swedish version of “Cogito ergo sum: Inference or Performance?”, Philosophical Review 71, (1962), 3-32.) (b) “Filosofia ja maailmankatsomukset”, Uusi Suomi, (22 October 1961). (“Philosophy and Weltanschauungen”.) (c) “Käsitteilläkin on kohtalonsa”, Suomalainen Suomi 29, (1961), 459-464. (“Concepts Have Their Fates, Too”.) (d) “Modality and Quantification”, Theoria 27, (1961), 119-128. (An expanded version appears in Jaakko Hintikka, Models for Modalities, D. Reidel Publishing Co., Dordrecht, 1969, 57-70.) Satisfiability may be defined for sets of formulas containing modal operators and quantifiers by means of the notion of model set (in short, m.s.; for a definition see JSL XX362): λ is satisfiable if and only if there is a model system Ω and a m.s. µ∈Ω such that λ⊆µ. Model system is defined as a set Ω of m.s.’s together with a reflexive dyadic relation (called the relation of alternativeness) on Ω which satisfies the following conditions: (1) if Mf ∈υ∈Ω, then there is in Ω at least one alternative υ1 to υ such that f ∈υ1; (2) If Nf ∈υ∈Ω and if υ1∈ Ω is an alternative to υ, then f∈υ1. 276 Annotated Bibliography of Jaakko Hintikka The resulting system corresponds to von Wright’s M in that a quantifier-free f is provable in M if and only if {~f} is not satisfiable. If the relation of alternativeness is stipulated to be transitive, the resulting system will similarly correspond to Lewis’s S4; if transitive and symmetric, to S5. Most of the usual difficulties can be avoided by specifying whether and when free individual symbols (say a, b,… are transferable from a m.s. to another in a model system. If no transfer is permitted, (2) has to be replaced by a weaker condition obtained by adding: “provided that each free individual symbol a of f occurs in some of the other formulas of υ1.” (Condition (3).) However, we may (if we choose) permit transfer from a m.s. to its alternatives (in the old deductive systems the corresponding assumption is sometimes made unwittingly). Then (2) is acceptable, but one of the defining conditions of m.s.’s has to be strengthened to read: (4) If (x)f∈µ, then f(a/x)∈µ for every a occurring in any λ∈Ω to which µ bears the ancestral of the alternativeness relation. (f(a/x) results from f by replacing x by a.) However, if empty domains are disqualified (e.g. by the condition (5): if (x)f∈µ (µ being a m.s.), then f(a/x)∈µ for at least one a), then it suffices to strengthen (3) to (2). If we also want to permit the converse transfer (thus in effect permitting arbitrary transfer), it can be done by adopting an additional condition (6) obrained from (4) by reversing the roles of λ and µ. If identities are admitted to the formalism, the conditions of their transfer must likewise be carefully defined. 1962 Books (a) Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, 1962, pp. x+179. An explicit logic is developed for knowledge and belief (knowing that and believing that), formulated by means of the author’s model set method. The problem of “logical omniscience” (one apparently necessarily knows all the logical consequences of what one knows) is dealt with by reinterpreting the metalogical notion of provability. An analysis is presented of knowing wh-constructions in terms of “knowing that” plus quantifiers, and the interplay of knowledge and quantifiers is studied. The approach is applied to selected conceptual problems, especially to Moore’s paradox of saying and disbelieving and to the notion of “knowing that one knows.” Papers (a) “Cogito, ergo sum: Inference or Performance?”, Philosophical Review 71, (1962), 3-32. Annotated Bibliography of Jaakko Hintikka 277 Descartes’ cogito ergo sum is not an inference from cogito to sum. Its special character is due to the self-defeating character of an attempt to think that I don’t exist, analogous to the self-defeating character of the assertion “I don’t exist.” Hence “cogito” does not express a premise, but refers to the act through which the self-defeating or self-verifying character of certain thought-acts is manifested. This throws light on several aspects of the cogito in Descartes, e.g., its curiously momentary character. (b) “Huomioita kreikkalaisten ajankäsityksestä”, Ajatus 24, (1962), 39-65. (“Observations on the Concept of Time in Ancient Greek Philosophy”.) (c) “Johdonmukaisen järkevyyden ihanteet: 90-vuotias Bertrand Russell”, Uusi Suomi, (18 May, 1962). (“The Ideals of Consistent Reasonableness: Bertrand Russell at Ninety”.) (d) “Kaksi Spengleriä?” Suomalainen Suomi 30, (1962), 86-92. (“Spengler Against Himself?”) (e) “Kepler ja Galilei”, Suomalainen Suomi 30, (1962), 278-281.
Recommended publications
  • EPISTEMOLOGY and PHILOSOPHY of MIND HISTORICAL Historical Dictionaries of Religions, Philosophies, and Movements, No
    PHILOSOPHY • EPISTEMOLOGY AND PHILOSOPHY OF MIND HISTORICAL Historical Dictionaries of Religions, Philosophies, and Movements, No. 70 DICTIONARY OF BAERGEN Epistemology Epistemology is the branch of philosophy that investigates our beliefs, evidence, and claims of knowledge. It is one of the core areas of philosophy and is relevant to an DICTIONARY astonishingly broad range of issues and situations. Epistemological issues arise when HISTORICAL we recognize that there is a fact of the matter but we do not know what it is; when we wonder about the future, the past, or distant places; and when we seek answers in the sciences and even in our entertainment (for example, murder mysteries and comedies of misunderstanding). OF Epistemology Historical Dictionary of Epistemology provides an overview of this field of study and its theories, concepts, and personalities. It begins with a chronology of important events (from 385 BC to AD 2005) and is followed by an introduction, which gives a historical overview. The book contains more than 500 entries covering notable concepts, theo- ries, arguments, publications, issues, and philosophers and concludes with an exten- sive bibliography of historical and contemporary epistemological works. Students and those who want to acquaint themselves with epistemology will be greatly aided by this book. RALPH BAERGEN is a professor of philosophy at Idaho State University. For orders and information please contact the publisher SCARECROW PRESS, INC. A wholly owned subsidiary of ISBN-13: 978-0-8108-5518-2 The Rowman & Littlefield Publishing Group, Inc. ISBN-10: 0-8108-5518-6 4501 Forbes Boulevard, Suite 200 Lanham, Maryland 20706 1-800-462-6420 • fax 717-794-3803 www.scarecrowpress.com RALPH BAERGEN HDEpistempologyLITH.indd 1 6/12/06 1:07:32 PM 06-236_01_Front.qxd 6/12/06 12:54 PM Page i HISTORICAL DICTIONARIES OF RELIGIONS, PHILOSOPHIES, AND MOVEMENTS Jon Woronoff, Series Editor 1.
    [Show full text]
  • The Modal Logic of Potential Infinity, with an Application to Free Choice
    The Modal Logic of Potential Infinity, With an Application to Free Choice Sequences Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Ethan Brauer, B.A. ∼6 6 Graduate Program in Philosophy The Ohio State University 2020 Dissertation Committee: Professor Stewart Shapiro, Co-adviser Professor Neil Tennant, Co-adviser Professor Chris Miller Professor Chris Pincock c Ethan Brauer, 2020 Abstract This dissertation is a study of potential infinity in mathematics and its contrast with actual infinity. Roughly, an actual infinity is a completed infinite totality. By contrast, a collection is potentially infinite when it is possible to expand it beyond any finite limit, despite not being a completed, actual infinite totality. The concept of potential infinity thus involves a notion of possibility. On this basis, recent progress has been made in giving an account of potential infinity using the resources of modal logic. Part I of this dissertation studies what the right modal logic is for reasoning about potential infinity. I begin Part I by rehearsing an argument|which is due to Linnebo and which I partially endorse|that the right modal logic is S4.2. Under this assumption, Linnebo has shown that a natural translation of non-modal first-order logic into modal first- order logic is sound and faithful. I argue that for the philosophical purposes at stake, the modal logic in question should be free and extend Linnebo's result to this setting. I then identify a limitation to the argument for S4.2 being the right modal logic for potential infinity.
    [Show full text]
  • DRAFT: Final Version in Journal of Philosophical Logic Paul Hovda
    Tensed mereology DRAFT: final version in Journal of Philosophical Logic Paul Hovda There are at least three main approaches to thinking about the way parthood logically interacts with time. Roughly: the eternalist perdurantist approach, on which the primary parthood relation is eternal and two-placed, and objects that persist persist by having temporal parts; the parameterist approach, on which the primary parthood relation is eternal and logically three-placed (x is part of y at t) and objects may or may not have temporal parts; and the tensed approach, on which the primary parthood relation is two-placed but (in many cases) temporary, in the sense that it may be that x is part of y, though x was not part of y. (These characterizations are brief; too brief, in fact, as our discussion will eventually show.) Orthogonally, there are different approaches to questions like Peter van Inwa- gen's \Special Composition Question" (SCQ): under what conditions do some objects compose something?1 (Let us, for the moment, work with an undefined notion of \compose;" we will get more precise later.) One central divide is be- tween those who answer the SCQ with \Under any conditions!" and those who disagree. In general, we can distinguish \plenitudinous" conceptions of compo- sition, that accept this answer, from \sparse" conceptions, that do not. (van Inwagen uses the term \universalist" where we use \plenitudinous.") A question closely related to the SCQ is: under what conditions do some objects compose more than one thing? We may distinguish “flat” conceptions of composition, on which the answer is \Under no conditions!" from others.
    [Show full text]
  • Forming the Mind Studies in the History of Philosophy of Mind
    FORMING THE MIND STUDIES IN THE HISTORY OF PHILOSOPHY OF MIND Volume 5 Editors Henrik Lagerlund, The University of Western Ontario, Canada Mikko Yrjönsuuri, Academy of Finland and University of Jyväskylä, Finland Board of Consulting Editors Lilli Alanen, Uppsala University, Sweden Joël Biard, University of Tours, France Michael Della Rocca, Yale University, U.S.A. Eyjólfur Emilsson, University of Oslo, Norway André Gombay, University of Toronto, Canada Patricia Kitcher, Columbia University, U.S.A. Simo Knuuttila, University of Helsinki, Finland Béatrice M. Longuenesse, New York University, U.S.A. Calvin Normore, University of California, Los Angeles, U.S.A. Aims and Scope The aim of the series is to foster historical research into the nature of thinking and the workings of the mind. The volumes address topics of intellectual history that would nowadays fall into different disciplines like philosophy of mind, philo- sophical psychology, artificial intelligence, cognitive science, etc. The monographs and collections of articles in the series are historically reliable as well as congenial to the contemporary reader. They provide original insights into central contem- porary problems by looking at them in historical contexts, addressing issues like consciousness, representation and intentionality, mind and body, the self and the emotions. In this way, the books open up new perspectives for research on these topics. FORMING THE MIND Essays on the Internal Senses and the Mind/Body Problem from Avicenna to the Medical Enlightenment Edited by HENRIK LAGERLUND The University of Western Ontario, Canada A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN 978-1-4020-6083-0 (HB) ISBN 978-1-4020-6084-7 (e-book) Published by Springer, P.O.
    [Show full text]
  • Principles of Knowledge, Belief and Conditional Belief Guillaume Aucher
    Principles of Knowledge, Belief and Conditional Belief Guillaume Aucher To cite this version: Guillaume Aucher. Principles of Knowledge, Belief and Conditional Belief. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, 10.1007/978-3-319-03044-9_5. hal-01098789 HAL Id: hal-01098789 https://hal.inria.fr/hal-01098789 Submitted on 29 Dec 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Principles of knowledge, belief and conditional belief Guillaume Aucher 1 Introduction Elucidating the nature of the relationship between knowledge and belief is an old issue in epistemology dating back at least to Plato. Two approaches to addressing this problem stand out from the rest. The first consists in providing a definition of knowledge, in terms of belief, that would somehow pin down the essential ingredient binding knowledge to belief. The second consists in providing a complete characterization of this relationship in terms of logical principles relating these two notions. The accomplishement of either of these two objectives would certainly contribute to solving this problem. The success of the first approach is hindered by the so-called ‘Gettier problem’. Until recently, the view that knowledge could be defined in terms of belief as ‘justified true belief’ was endorsed by most philosophers.
    [Show full text]
  • Probabilistic Semantics for Modal Logic
    Probabilistic Semantics for Modal Logic By Tamar Ariela Lando A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Philosophy in the Graduate Division of the University of California, Berkeley Committee in Charge: Paolo Mancosu (Co-Chair) Barry Stroud (Co-Chair) Christos Papadimitriou Spring, 2012 Abstract Probabilistic Semantics for Modal Logic by Tamar Ariela Lando Doctor of Philosophy in Philosophy University of California, Berkeley Professor Paolo Mancosu & Professor Barry Stroud, Co-Chairs We develop a probabilistic semantics for modal logic, which was introduced in recent years by Dana Scott. This semantics is intimately related to an older, topological semantics for modal logic developed by Tarski in the 1940’s. Instead of interpreting modal languages in topological spaces, as Tarski did, we interpret them in the Lebesgue measure algebra, or algebra of measurable subsets of the real interval, [0, 1], modulo sets of measure zero. In the probabilistic semantics, each formula is assigned to some element of the algebra, and acquires a corresponding probability (or measure) value. A formula is satisfed in a model over the algebra if it is assigned to the top element in the algebra—or, equivalently, has probability 1. The dissertation focuses on questions of completeness. We show that the propo- sitional modal logic, S4, is sound and complete for the probabilistic semantics (formally, S4 is sound and complete for the Lebesgue measure algebra). We then show that we can extend this semantics to more complex, multi-modal languages. In particular, we prove that the dynamic topological logic, S4C, is sound and com- plete for the probabilistic semantics (formally, S4C is sound and complete for the Lebesgue measure algebra with O-operators).
    [Show full text]
  • Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
    axioms Article Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics Lorenz Demey 1,2 1 Center for Logic and Philosophy of Science, KU Leuven, 3000 Leuven, Belgium; [email protected] 2 KU Leuven Institute for Artificial Intelligence, KU Leuven, 3000 Leuven, Belgium Abstract: Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for non-normal systems of modal logic (based on neighborhood semantics, a topologically inspired generalization of relational semantics). In particular, we investigate the phenomenon of logic-sensitivity of Aristotelian diagrams. We distin- guish between four different types of logic-sensitivity, viz. with respect to (i) Aristotelian families, (ii) logical equivalence of formulas, (iii) contingency of formulas, and (iv) Boolean subfamilies of a given Aristotelian family. We provide concrete examples of Aristotelian diagrams that illustrate these four types of logic-sensitivity in the realm of normal modal logic. Next, we discuss more subtle examples of Aristotelian diagrams, which are not sensitive with respect to normal modal logics, but which nevertheless turn out to be highly logic-sensitive once we turn to non-normal systems of modal logic. Keywords: Aristotelian diagram; non-normal modal logic; square of opposition; logical geometry; neighborhood semantics; bitstring semantics MSC: 03B45; 03A05 Citation: Demey, L. Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics. Axioms 2021, 10, 128. https://doi.org/ 1. Introduction 10.3390/axioms10030128 Aristotelian diagrams, such as the so-called square of opposition, visualize a number Academic Editor: Radko Mesiar of formulas from some logical system, as well as certain logical relations holding between them.
    [Show full text]
  • The Practical Origins of Ideas
    OUP CORRECTED AUTOPAGE PROOFS – FINAL, 19/1/2021, SPi The Practical Origins of Ideas Genealogy as Conceptual Reverse-Engineering MATTHIEU QUELOZ 1 OUP CORRECTED AUTOPAGE PROOFS – FINAL, 19/1/2021, SPi 3 Great Clarendon Street, Oxford, OX2 6DP, United Kingdom Oxford University Press is a department of the University of Oxford. It furthers the University’s objective of excellence in research, scholarship, and education by publishing worldwide. Oxford is a registered trade mark of Oxford University Press in the UK and in certain other countries © Matthieu Queloz 2021 The moral rights of the author have been asserted First Edition published in 2021 Impression: 1 Some rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, for commercial purposes, without the prior permission in writing of Oxford University Press, or as expressly permitted by law, by licence or under terms agreed with the appropriate reprographics rights organization. This is an open access publication, available online and distributed under the terms of a Creative Commons Attribution – Non Commercial – No Derivatives 4.0 International licence (CC BY-NC-ND 4.0), a copy of which is available at http://creativecommons.org/licenses/by-nc-nd/4.0/. The pre-press of this publication was supported by the Swiss National Science Foundation. Enquiries concerning reproduction outside the scope of this licence should be sent to the Rights Department, Oxford University Press, at the address above Published in the United States of America by Oxford University Press 198 Madison Avenue, New York, NY 10016, United States of America British Library Cataloguing in Publication Data Data available Library of Congress Control Number: 2020951579 ISBN 978–0–19–886870–5 DOI: 10.1093/oso/9780198868705.001.0001 Printed and bound in the UK by TJ Books Limited Links to third party websites are provided by Oxford in good faith and for information only.
    [Show full text]
  • Psychological Knowledge
    Psychological Knowledge ‘Martin Kusch’s important philosophical contribution is to demonstrate the implicit individualism running through the entire literature on folk-psychology. By exposing and challenging this, he has radically changed the terms of the debate. To understand Kusch’s thesis that psychological concepts are social institutions is to understand that there must be a Gestalt switch in the entire field of philosophical psychology. To combine such a significant philosophical contribution with a brilliant, in-depth historical case-study is an achievement indeed.’ David Bloor, University of Edinburgh ‘Psychological Knowledge is an extremely fine work. In both approach and subject matter, it is related to Martin Kusch’s earlier terrific book, Psychologism, and is a very worthy successor.’ James Robert Brown, University of Toronto ‘Martin Kusch makes a compelling case that the practices of both “academic” and “folk” psychology are best approached as social institutions. In so doing he provides us with a viable transdisciplinary approach to science studies which speaks authoritatively to philosophers, historians, sociologists, and psychologists of science alike. Psychological Knowledge is an important book.’ Paul Stenner, Bath University ‘Psychological Knowledge is a masterly and timely work. It makes accessible the results of meticulous and wide-ranging scholarship. This book is beautifully clear and well organised, complete with summaries and easily memorable labels—suitable for pedagogical purposes as well as essential reading for the research community.’ Elizabeth Valentine, University of London Martin Kusch is Lecturer in the Department of History and Philosophy of Science at the University of Cambridge. He is also the author of Psychologism, Foucault’s Strata and Fields and Language as Calculus vs.
    [Show full text]
  • Transparency and the KK Principle
    Transparency and the KK Principle Nilanjan Das (MIT) and Bernhard Salow (Trinity College Cambridge) Penultimate Draft – Please Cite Published Version Abstract An important question in epistemology is whether the KK principle is true, i.e., whether an agent who knows that p is also thereby in a position to know that she knows that p. We explain how a “transparency” account of self-knowledge, which maintains that we learn about our attitudes towards a proposition by reflecting not on ourselves but rather on that very proposition, supports an affirmative answer. In particular, we show that such an account allows us to reconcile a version of the KK principle with an “externalist” or “reliabilist” conception of knowledge commonly thought to make that principle particularly problematic. The KK principle states that someone who knows that p is in a position to know that she knows that p. In addition to an enviable pedigree of historical supporters,1 this thesis has considerable intuitive appeal. For, to put it roughly, if the KK principle is false, rational agents can be alienated from their own attitudes and actions in a counterintuitive manner. One way to bring this out is by noting that there seems something self-undermining or incoherent about someone who says (in thought or out loud) something of the form “while it is raining, I’m not willing to take a stance on whether I know that it is.” But if nothing in the vicinity of the KK principle is correct, this is hard to explain. For if there are counterexamples to KK, there are fully coherent agents who know p without being in a position to know that they know this.
    [Show full text]
  • 269 JHBS—WILEY RIGHT BATCH Short Stand Long Reviewed By
    JHBS—WILEY RIGHT BATCH Top of RH BOOK REVIEWS 269 Base of RH Vol. 1: Historiographical perspectives; vol. 2: Methodological perspectives and applications. Amsterdam and Top of text Philadelphia: John Benjamins. Base of text Koerner, E. F. K. (1972). Bibliographia Saussureana 1870–1970: An annotated, classified bibliography on the background, development, and actual relevance of Ferdinand de Saussure’s general theory of language. Me- tuchen NJ: Scarecrow Press. Koerner, E. F. K. (1973). Ferdinand de Saussure: Origin and development of his linguistic thought in Western studies of language. A contribution to the history and theory of linguistics. Braunschweig: Friedrich Vieweg & Sohn. Koerner, E. F. K. (1995). Professing linguistic historiography. Amsterdam and Philadelphia: John Benjamins. Koerner, E. F. K. (Ed.). (1991). First person singular II: Autobiographies by North American scholars in the language sciences. Amsterdam and Philadelphia: John Benjamins. Skinner, B. F. (1957). Verbal behavior. New York: Appleton-Century-Crofts. Skinner, B. F. (1976). Particulars of my life. New York: Knopf. Skinner, B. F. (1979). The shaping of a behaviorist: Part two of an autobiography. New York: Knopf. Skinner, B. F. (1983). A matter of consequences: Part three of an autobiography. New York: Knopf. Swiggers, P. (Ed.). (1999). E. F. K. Koerner: A biobibliography. Leuven: Peeters. Reviewed by JOHN E.E. JOSEPH, professor of applied linguistics, University of Edinburgh, Edinburgh EH8 9LL, UK. Journal of the History of the Behavioral Sciences, Vol. 36(3), 269–270 Summer 2000 ᭧ 2000 John Wiley & Sons, Inc. Martin Kusch. Psychological Knowledge: A Social History and Philosophy. London and New York: Routledge, 1999. 413 pp. $99.99 ISBN 0-415-19253-6.
    [Show full text]
  • A Priori Skepticism and the KK Thesis
    A Priori Skepticism and the KK Thesis James R. Beebe (University at Buffalo) International Journal for the Study of Skepticism (forthcoming) In Beebe (2011), I argued against the widespread reluctance of philosophers to treat skeptical challenges to our a priori knowledge of necessary truths with the same seriousness as skeptical challenges to our a posteriori knowledge of contingent truths. Vahid (2013) offers several reasons for thinking the unequal treatment of these two kinds of skepticism is justified, one of which is a priori skepticism’s seeming dependence upon the widely scorned KK thesis. In the present article, I defend a priori skepticism against Vahid’s criticisms. Keywords: Skepticism; a priori skepticism; second-order knowledge; KK thesis In a previous issue of this journal, Hamid Vahid (2013) offers a thorough examination of some recent non-standard approaches to philosophical skepticism (e.g., Beebe 2010; 2011; Kraft MS; Kung MS; Schaffer 2010). One non-standard form of skepticism, dubbed ‘a priori skepticism,’ challenges our ability to have a priori knowledge of necessary truths (cf. Beebe 2011). Against proponents of these approaches, Vahid argues that many non-standard skeptical challenges fail to raise any significant doubts concerning first-order knowledge claims—i.e., claims of the form ‘S knows that p,’ for some domain of propositions. Rather, Vahid maintains that these challenges at best contest our ability to have second-order knowledge—i.e., to know that we know the propositions in question. Because skepticism about second-order knowledge claims is seen as significantly less threatening to our overall view of ourselves as knowledgeable creatures, Vahid suggests that non-standard skepticism should be considered philosophically less interesting than its supporters maintain.
    [Show full text]