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), 71 pp. 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 suf- ficient conditions of inconsistency. Papers (a) “A New Approach to Sentential Logic”, Societas Scientiarum Fennica, Com- mentationes Physico-Mathematicae 17, no. 3, (1953), 13 pp. 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), 115 pp. (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 © Springer International Publishing AG 2018 557 H. van Ditmarsch and G. Sandu (eds.), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, Outstanding Contributions to Logic 12, https://doi.org/10.1007/978-3-319-62864-6 558 Annotated Bibliography of Jaakko Hintikka 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. Papers “Notes on Quantification Theory”, Societas Scientiarum Fennicae, Commenta- tiones Physico-Mathematicae 17, no. 12, (1955), 13 pp. 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. (“Per- spectives on the Logical Study of Language”.) 1957 Papers (a) “Arvokasitteista 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 philo- sophical 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, Commenta- tiones 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. Annotated Bibliography of Jaakko Hintikka 559 1959 Papers (a) “Aristotle and the Ambiguity of Ambiguity”, Inquiry 2, (1959), 137–151. (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 indi- vidual 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?”, Philosoph- ical Review 71, (1962), 3–32.) (b) “Filosofia ja maailmankatsomukset”, Uusi Suomi, (22 October 1961). (“Phi- losophy 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 andam.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)IfNf ∈ υ ∈ and if υ1 ∈ is an alternative to υ, then f ∈ υ1. 560 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) obtained 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 believ- ing that), formulated by means of the author’s model set method. The problem of “log- ical omniscience” (one apparently necessarily knows all the logical consequences of what one knows) is dealt with by reinterpreting the metalogical notion of prov- ability. 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. Descartes’ cogito ergo sum is not an inference from cogito to sum. Its special char- acter 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 “cog- ito” 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. Annotated Bibliography of Jaakko Hintikka 561 (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).
Recommended publications
  • 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]
  • 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]
  • Words and Objections Essays on the Work of W.V
    springer.com D. Davidson, Jaakko Hintikka (Eds.) Words and Objections Essays on the Work of W.V. Quine Series: Synthese Library It is gratifying to see that philosophers' continued interest in Words and Objections has been so strong as to motivate a paperback edition. This is gratifying because it vindicates the editors' belief in the permanent im• portance of Quine's philosophy and in the value of the papers com• menting on it which were collected in our volume. Apart from a couple of small corrections, only one change has been made. The list of Professor Quine's writings has been brought up to date. The editors cannot claim any credit for this improvement, however. We have not tried to imitate the Library of Living Philosophers volumes and to include Professor Quine's autobiography in this volume, but we are fortunate to publish here his brand-new auto bibliography. 1975 THE EDITORS TABLE OF CONTENTS V PREFACE 1 EDITORIAL INTRODUCTION 1. 1. C. SMAR T / Quine's Philosophy of Science 3 GILBERT HARMAN / An Introduction to 'Translation and Meaning', Chapter Two of Word and Object 14 ERIK STENIUS / Beginning with Ordinary Things 27 NOAM CHOMSKY / Quine's Empirical Assumptions 53 1969, VIII, 373 p. 1AAKKO HINTIKKA / Behavioral Criteria of Radical Translation 69 BARRY STROUD / Conventionalism and the Indeterminacy of Translation 82 P. F. STRA WSON / Singular Terms Printed book and Predication 97 118 H. P. GRICE / Vacuous Names P. T. Hardcover 219,99 € | £199.99 | $279.99 [1]235,39 € (D) | 241,99 € (A) | CHF 259,50 Softcover 154,99 € | £139.99 | $199.99 [1]165,84 € (D) | 170,49 € (A) | CHF 183,00 eBook 128,39 € | £111.50 | $149.00 [2]128,39 € (D) | 128,39 € (A) | CHF 146,00 Available from your library or springer.com/shop MyCopy [3] Printed eBook for just € | $ 24.99 springer.com/mycopy Order online at springer.com / or for the Americas call (toll free) 1-800-SPRINGER / or email us at: [email protected].
    [Show full text]
  • The Oberlin Colloquium in Philosophy: Program History
    The Oberlin Colloquium in Philosophy: Program History 1960 FIRST COLLOQUIUM Wilfrid Sellars, "On Looking at Something and Seeing it" Ronald Hepburn, "God and Ambiguity" Comments: Dennis O'Brien Kurt Baier, "Itching and Scratching" Comments: David Falk/Bruce Aune Annette Baier, "Motives" Comments: Jerome Schneewind 1961 SECOND COLLOQUIUM W.D. Falk, "Hegel, Hare and the Existential Malady" Richard Cartwright, "Propositions" Comments: Ruth Barcan Marcus D.A.T. Casking, "Avowals" Comments: Martin Lean Zeno Vendler, "Consequences, Effects and Results" Comments: William Dray/Sylvan Bromberger PUBLISHED: Analytical Philosophy, First Series, R.J. Butler (ed.), Oxford, Blackwell's, 1962. 1962 THIRD COLLOQUIUM C.J. Warnock, "Truth" Arthur Prior, "Some Exercises in Epistemic Logic" Newton Garver, "Criteria" Comments: Carl Ginet/Paul Ziff Hector-Neri Castenada, "The Private Language Argument" Comments: Vere Chappell/James Thomson John Searle, "Meaning and Speech Acts" Comments: Paul Benacerraf/Zeno Vendler PUBLISHED: Knowledge and Experience, C.D. Rollins (ed.), University of Pittsburgh Press, 1964. 1963 FOURTH COLLOQUIUM Michael Scriven, "Insanity" Frederick Will, "The Preferability of Probable Beliefs" Norman Malcolm, "Criteria" Comments: Peter Geach/George Pitcher Terrence Penelhum, "Pleasure and Falsity" Comments: William Kennick/Arnold Isenberg 1964 FIFTH COLLOQUIUM Stephen Korner, "Some Remarks on Deductivism" J.J.C. Smart, "Nonsense" Joel Feinberg, "Causing Voluntary Actions" Comments: Keith Donnellan/Keith Lehrer Nicholas Rescher, "Evaluative Metaphysics" Comments: Lewis W. Beck/Thomas E. Patton Herbert Hochberg, "Qualities" Comments: Richard Severens/J.M. Shorter PUBLISHED: Metaphysics and Explanation, W.H. Capitan and D.D. Merrill (eds.), University of Pittsburgh Press, 1966. 1965 SIXTH COLLOQUIUM Patrick Nowell-Smith, "Acts and Locutions" George Nakhnikian, "St. Anselm's Four Ontological Arguments" Hilary Putnam, "Psychological Predicates" Comments: Bruce Aune/U.T.
    [Show full text]
  • Husserl and the Development of Semantics Philosophia Scientiæ, Tome 2, No 4 (1997), P
    PHILOSOPHIA SCIENTIÆ JAN WOLENSKI Husserl and the development of semantics Philosophia Scientiæ, tome 2, no 4 (1997), p. 151-158 <http://www.numdam.org/item?id=PHSC_1997__2_4_151_0> © Éditions Kimé, 1997, tous droits réservés. L’accès aux archives de la revue « Philosophia Scientiæ » (http://poincare.univ-nancy2.fr/PhilosophiaScientiae/) implique l’accord avec les conditions générales d’utilisation (http://www. numdam.org/conditions). Toute utilisation commerciale ou im- pression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la pré- sente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Husserl and the Development of Semantics Jan Wolenski Institute ofPhilosophy Jagiellonian University - Krakow - Potarid Philosophia Scientiae* 2 (4), 1997, 151-158 Jan Wolenski Abstract This paper investigates the rôle of Edmund Husserl in the development of formai or model-theoretic semantics through glasses of the distinction of language as calculus vs. language as universal médium, introduced by Jaakko Hintikka and Martin Kusch. In particular, the paper raises the question of possible Husserl's influence on the conception of language accepted in Polish philosophy, in particular by Lesniewski and Tarski. Résumé. Cet article examine le rôle d'Edmund Husserl dans le développement de la sémantique formelle ou de la sémantique fondée sur la théorie des modèles à travers la distinction, introduite par Jaakko Hintikka et Martin Kusch, du langage comme calcul et du langage comme moyen d'expression universel. L'article soulève en particulier la question d'une influence possible de Husserl sur la conception du langage partagée par la philosophie polonaise, notamment par Lesniewski et Tarski.
    [Show full text]
  • 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.
    [Show full text]
  • Review of "Bertrand Russell's Early Philosophy
    New work on Russell's early philosophy by Nicholas Griffin Bertrand Russell's Early Philosophy, Part n. Edited by Jaakko Hintikka. Synthese, vol. 46, no. 2 (Feb. 1981). Pp. 136. US$23.o0. THE SECOND PART ofSynthese's special "early Russell" number contains seven papers: by Pears ("The Function of Acquaintance in Russell's Philosophy"), Hintikka ("On Denoting What?"), Cappio ("Russell's Philosophical Development"), Lycan ("Logical Atomism and Ontologi­ cal Atoms"), Clark ("Acquaintance"), Coffa ("Russell and Kant") and Grandy ("Forms of Belief"), together with a reply to Coffa's paper by Hintikka. The papers in this volume all belong to the field of general philosophy (metaphysics, epistemology), compared with those pub­ lished in Part I, which tend to concentrate on philosophy of logic and mathematics. The concept of acquaintance figures prominently-two of the papers are explicitly on the topic and in four more it is treated inter alia. The only real exception to this wave of interest in acquaintance is Coffa's paper which deals with the nature of Russell's logicism and its alleged refutation of Kant's philosophy of mathematics. The volume is both useful and extremely interesting. Most of the papers are very well done, though some of the interpretations stray far from the texts. In this review I shall concentrate on some issues concerning semantics and acquaintance, and offer some critici3ms of Coffa's account of Russell's early (19°3) logicism. Needless to say, much of interest will have to be left unnoticed. 1. Semantics and ontology The title ofCappio's paper is seriously misleading since the paper deals essentially with the durability in Russell's thought of the semantical theory of The Principles ofMathematics.
    [Show full text]
  • Hintikka Vs. Frege on the "Logic of Being"
    1 HINTIKKA VS. FREGE ON THE "LOGIC OF BEING" Ignacio Angelelli 0. INTRODUCTION* Hintikka blames Frege and Russell for having established in the tradition of modern logic the "dogma" of the ambiguity of "is" between existence, predication, identity, and class- inclusion. The affirmation of this multiple ambiguity is called by Hintikka the "Frege-Russell thesis". Hintikka's criticism of the Frege-Russell thesis is (as emphasized by Hintikka himself in Self- Profile 1987a) twofold: theoretical (English does not have and does not need the distinction of meanings of "is") and historiographical (pre-Fregean texts, to be properly understood, do not need the retrospective projection of that distinction). Frege is the real culprit, rather than Russell. Hintikka views his dispute with Frege as pertaining to "the logic of being" (a phrase apparently coined by him; cf 1979, end of section 10: "Game-theoretical semantics is thus much closer to Aristotle's views on the logic of being than is the received view [Frege's]", emphasis mine, but the theoretical and historiographical opposition to Frege concerning the meaning of "is", is only a part of a more general "revolt against Frege" (Hintikka 1981b) undertaken by Hintikka. The aim of this paper is to evaluate the success of Hintikka's "revolt" against Frege in the particular issue of the ambiguity of "is". In section (l) I describe the thesis of the ambiguity of "is" attributed to Frege by Hintikka and Haaparanta. In (2) I examine Hintikka's reasons for rejecting the thesis of the ambiguity of "is". Section (3) is devoted to an analysis of the historiographical campaign as presented in the volume The Logic of Being.
    [Show full text]
  • Psychologism: a Case Study in the Sociology of Philosophical Knowledge/Martin Kusch
    PSYCHOLOGISM For most of this century, Western philosophy has been resolutely antinaturalist, and until recently the sharp distinction between the empirical sciences and philosophy seemed almost self-evident: the questions of why they should be separate, and of how they came to be separate, were never asked. These questions are at the heart of Martin Kusch’s groundbreaking study. Antinaturalism rose to dominance in the debate on psychologism among German academic philosophers at the turn of the century. Psychologism, according to received opinion, was decisively refuted by Frege and Husserl. Kusch therefore examines their arguments and, crucially, relates them to the context that shaped that debate and gave those arguments their persuasive force. Drawing on perspectives pioneered by the sociology of scientific knowledge, he reconstructs the dynamics of the psychologism debate; he uncovers its causes and weighs the factors that determined its outcome. What emerges is the fascinating picture of a struggle, between ‘pure’ philosophy and the newly emerging experimental psychology, for academic status, social influence and institutional power. The triumph of antinaturalism, far from being the only logical conclusion, was dependent on historical contingency. Introducing forms of analysis new to the history of philosophy, Psychologism will make fascinating reading for lecturers and students of philosophy, psychology, sociology and cognitive science; it will also stimulate renewed debate on the prospects of antinaturalism at the close of this century. Martin Kusch is Lecturer at the Science Studies Unit of the University of Edinburgh. He is the author of Language as Calculus vs. Language as Universal Medium (1989), and Foucault’s Strata and Fields (1991).
    [Show full text]
  • Philosophy and Computers
    NEWSLETTER | The American Philosophical Association Philosophy and Computers FALL 2013 VOLUME 13 | NUMBER 1 FROM THE EDITOR Peter Boltuc FROM THE CHAIR Dan Kolak FROM THE INCOMING CHAIR Thomas M. Powers ARTICLES John Barker Truth and Inconsistent Concepts Jaakko Hintikka Function Logic and the Theory of Computability Keith W. Miller and David Larson Measuring a Distance: Humans, Cyborgs, Robots John Basl The Ethics of Creating Artificial Consciousness Christophe Menant Turing Test, Chinese Room Argument, Symbol Grounding Problem: Meanings in Artificial Agents Linda Sebek Assistive Environment: The Why and What Juan M. Durán A Brief Overview of the Philosophical Study of Computer Simulations VOLUME 13 | NUMBER 1 FALL 2013 © 2013 BY THE AMERICAN PHILOSOPHICAL ASSOCIatION ISSN 2155-9708 APA NEWSLETTER ON Philosophy and Computers PETER BOLTUC, EDITOR VOLUME 13 | NUMBER 1 | FALL 2013 philosophical issues in the context of AI. We are also glad to FROM THE EDITOR have two outstanding papers created when the authors were still graduate students; both were written for a seminar by Peter Boltuc Gordana Dodig-Crnkovic. Linda Sebek provides a hands-on UNIVERSITy of illinois–springfield evaluation of various features of assistive environments while Juan Durán discusses philosophical studies of computer We are lucky, and for more than one reason. First, we simulation. I would like to encourage other educators in were able to secure an important article, one of the most the broad, and necessarily somewhat nebulous, area of serious defenses of the inconsistency theory of truth. philosophy and computers to also highlight the best work of It is so far the main paper that came out of John Barker’s their students and younger colleagues.
    [Show full text]
  • 1 the Genealogy of Relativism and Absolutism Martin Kusch, University
    1 The Genealogy of Relativism and Absolutism Martin Kusch, University of Vienna & Robin McKenna, University of Vienna1 Abstract This paper applies Edward Craig’s and Bernard Williams’ ‘genealogical’ method to the debate between relativism and its opponents in epistemology and in the philosophy of language. We explain how the central function of knowledge attributions -- to ‘flag good informants’ -- explains the intuitions behind five different positions (two forms of relativism, absolutism, contextualism, and invariantism). We also investigate the question whether genealogy is neutral in the controversy over relativism. We conclude that it is not: genealogy is most naturally taken to favour an anti-realism about epistemic norms. And anti-realism threatens absolutism. Keywords Edward Craig; Bernard Williams; Paul Boghossian; epistemic relativism; semantic relativism; epistemic antirealism; invariantism; contextualism Introduction In this paper we bring together two strands of epistemological theorizing that have lived separate lives: the controversy around epistemic relativism (e.g. Boghossian 2006) and the debate over ‘the genealogy of knowledge’. The latter refers to a method first suggested in Edward Craig’s Knowledge and the State of Nature (1990), and then further developed in Bernard Williams’ Truth and Truthfulness (2002) and Steven Reynolds’ Knowledge as Acceptable Testimony (2017). There are different ways to interpret the genealogical method. On our reading (Kusch and McKenna, forthcoming), genealogy comes into its own when used to explain intuitions underlying different epistemological theories. The explanation in question is functional: the explanans are ubiquitous human needs; and the primary explananda are social practices and institutions of gathering and sharing information about the natural and social world.
    [Show full text]