Switch to: Citations

Add references

You must login to add references.
  1. Games and full completeness for multiplicative linear logic.Abramsky Samson & Jagadeesan Radha - 1994 - Journal of Symbolic Logic 59 (2):543-574.
    We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of history-free strategy; strong connections are made between history-free strategies and the Geometry of Interaction. Our semantics incorporates a (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Logic and coherence in the light of competitive games.Ahti-Veikko Pietarinen - 2000 - Logique Et Analyse 43:371-391.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The existential graphs of Charles S. Peirce.Don D. Roberts - 1973 - The Hague,: Mouton.
    1 INTRODUCTION Above the other titles he might justly have claimed, Charles S. Peirce prized the title 'logician'. He expressed in several places his ...
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
    Download  
     
    Export citation  
     
    Bookmark   125 citations  
  • (2 other versions)Ludwig Wittgenstein.Norman Malcolm - 1958 - New York,: Oxford University Press. Edited by G. H. von Wright & Ludwig Wittgenstein.
    Ludwig Wittgenstein, who died in Cambridge in 1951, is one of the most powerful influences on contemporary philosophy, yet he shunned publicity and was essentially a private man. His friend Norman Malcolm (himself an eminent philosopher) wrote this remarkably vivid personal memoir ofWittgenstein, which was published in 1958 and was immediately recognized as a moving and truthful portrait of this gifted, difficult man.This edition includes also the complete text of the fifty-seven letters which Wittgenstein wrote to Malcolm over a period (...)
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • (2 other versions)Ludwig Wittgenstein: A Memoir.Norman Malcolm - 1958 - Oxford, England: Clarendon Press. Edited by G. H. von Wright & Ludwig Wittgenstein.
    Wittgenstein was one of the most powerful influences on contemporary philosophy, yet he shunned publicity and was essentially a private man. This remarkable, vivid, personal memoir is written by one of his friends, the eminent philosopher Norman Malcolm. Reissued in paperback, this edition includes the complete text of fifty-seven letters which Wittgenstein wrote to Malcolm over a period of eleven years. Also included is a concise biographical sketch by another of Wittgenstein's philosopher friends, Georg Henrik von Wright. 'A reader does (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Zettel.Ludwig Wittgenstein - 1967 - Oxford,: Blackwell. Edited by G. E. M. Anscombe & G. H. von Wright.
    Zettel, an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.
    Download  
     
    Export citation  
     
    Bookmark   461 citations  
  • (2 other versions)Chance, Love, and Logic: Philosophical Essays.Charles Sanders Peirce - 1923 - London, England: Routledge. Edited by Morris R. Cohen & John Dewey.
    First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (2 other versions)Chance, Love, and Logic: Philosophical Essays.Charles Sanders Peirce - 1923 - London, England: Routledge. Edited by Morris R. Cohen & John Dewey.
    First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (2 other versions)Chance, love, and logic.Charles Sanders Peirce - 1923 - New York,: Barnes & Noble. Edited by Morris R. Cohen & John Dewey.
    CHANCE, LOVE, AND LOGIC PROEM THE RULES OF PHILOSOPHY1 DESCARTES is the father of modern philosophy, and the spirit of Cartesianism — that which principally ...
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Logic, language-games and information: Kantian themes in the philosophy of logic.Jaakko Hintikka - 1973 - Oxford,: Clarendon Press.
    I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...
    Download  
     
    Export citation  
     
    Bookmark   128 citations  
  • (1 other version)Philosophical grammar.Ludwig Wittgenstein - 1974 - Oxford [Eng.]: Blackwell. Edited by Rush Rhees.
    pt. 1. The proposition and its sense.--pt. 2. On logic and mathematics.
    Download  
     
    Export citation  
     
    Bookmark   221 citations  
  • Collected Papers of Charles Sanders Peirce: Pragmatism and pragmaticism and Scientific metaphysics.Charles Sanders Peirce - 1960 - Cambridge: Belknap Press.
    Charles Sanders Peirce has been characterized as the greatest American philosophic genius. He is the creator of pragmatism and one of the founders of modern logic. James, Royce, Schroder, and Dewey have acknowledged their great indebtedness to him. A laboratory scientist, he made notable contributions to geodesy, astronomy, psychology, induction, probability, and scientific method. He introduced into modern philosophy the doctrine of scholastic realism, developed the concepts of chance, continuity, and objective law, and showed the philosophical significance of the theory (...)
    Download  
     
    Export citation  
     
    Bookmark   515 citations  
  • (3 other versions)Remarks on the Foundations of Mathematics.Ludwig Wittgenstein - 1956 - Oxford: Macmillan. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.
    Wittgenstein's work remains, undeniably, now, that off one of those few philosophers who will be read by all future generations.
    Download  
     
    Export citation  
     
    Bookmark   217 citations  
  • (3 other versions)Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1956 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.
    Download  
     
    Export citation  
     
    Bookmark   451 citations  
  • Five topics in conversations with Wittgenstein (numbers; concept-formation; time-reactions; induction; causality).Rush Rhees - 2002 - Philosophical Investigations 25 (1):1–19.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Games as formal tools versus games as explanations in logic and science.Ahti-Veikko Pietarinen - 2003 - Foundations of Science 8 (4):317-364.
    This paper addresses the theoretical notion of a game as it arisesacross scientific inquiries, exploring its uses as a technical andformal asset in logic and science versus an explanatory mechanism. Whilegames comprise a widely used method in a broad intellectual realm(including, but not limited to, philosophy, logic, mathematics,cognitive science, artificial intelligence, computation, linguistics,physics, economics), each discipline advocates its own methodology and aunified understanding is lacking. In the first part of this paper, anumber of game theories in formal studies are critically (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Dialogue foundations: A sceptical look: Wilfrid Hodges.Wilfrid Hodges - 2001 - Aristotelian Society Supplementary Volume 75 (1):17–32.
    During the last forty or so years it has become popular to offer explanations of logical notions in terms of games. There is no doubt that many people find games helpful for understanding various logical phenomena. But we ask whether anything is really 'explained' by these accounts, and we analyse Paul Lorenzen's dialogue foundations for constructive logic as an example. The conclusion is that the value of games lies in their ability to provide helpful metaphors and representations, rather than in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On Truth: Original Manuscript Materials (1927–1929) From the Ramsey Collection at the University of Pittsburgh.Frank Plumpton Ramsey - 1990 - Dordrecht, Netherland: Springer.
    The present publication forms part of a projected book that F. P. Ramsey drafted but never completed. It survived among his papers and ultimately came into the possession of the University of Pittsburgh in the circumstances detailed in the Editor's Introduction. Our hope in issuing this work at this stage - some sixty years after Ramsey's premature death at the age of 26 - is both to provide yet another token of his amazing philosophical creativity, and also to make available (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Existential Graphs of Charles S. Peirce.Don D. Roberts - 1975 - Transactions of the Charles S. Peirce Society 11 (2):128-139.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Ludwig Wittgenstein: A Memoir.Norman Malcolm - 1959 - Philosophy 34 (130):277-278.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Peirces game-theoretic ideas in logic.Ahti Pietarinen - 2003 - Semiotica 2003 (144).
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Wittgenstein and paraconsistency.Lawrence Goldstein - 1989 - In Graham Priest, Richard Routley & Jean Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 540--62.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Investigating Wittgenstein.J. Hintikka & Hintikka - 1987 - Revue Philosophique de la France Et de l'Etranger 177 (4):530-530.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Investigating Wittgenstein.Merrill B. Hintikka & Jaakko Hintikka - 1990 - Erkenntnis 33 (2):264-267.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Wittgenstein's Nachlass the Bergen Electronic Edition.Ludwig Wittgenstein & G. H. von Wright - 1998
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Wittgenstein.Ludwig Wittgenstein & Thomas H. Macho - 1996
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Partiality and games: propositional logic.G. Sandu & A. Pietarinen - 2001 - Logic Journal of the IGPL 9 (1):101-121.
    We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined values are created by adding a four-place connective W termed transjunction to complete models which, together with the usual Boolean connectives is shown to be functionally complete for all partial functions. Transjunction is seen to be motivated from a game-theoretic perspective, emerging from a two-stage extensive form semantic game of imperfect information between two players. This game-theoretic approach yields an interpretation where partiality is generated as (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • On Truth; Original Manuscript Materials from the Ramsey Collection at the University of Pittsburgh.Frank Plumpton Ramsey, Nicholas Rescher & Ulrich Majer - 1995 - Studia Logica 54 (1):129-130.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On Truth, Original Manuscripts Materials from the Ramsey Collection at the University of Pittsburgh.Frank Plumpton Ramsey, Nicholas Rescher, Ulrich Majer & Maria Carla Galavotti - 1994 - Synthese 101 (1):121-127.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Essential Peirce, Volume 2: Selected Philosophical Writings.Peirce Edition Project (ed.) - 1992 - Indiana University Press.
    Praise for Volume 1: "... a first-rate edition, which supersedes all other portable Peirces.... all the Peirce most people will ever need." —Louis Menand, The New York Review of Books Volume 2 of this convenient two-volume chronological reader’s edition provides the first comprehensive anthology of the brilliant American thinker Charles Sanders Peirce’s mature philosophy. A central focus of Volume 2 is Peirce’s evolving theory of signs and its appplication to his pragmatism.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ludwig Wittgenstein: Half-Truths and One-and-a-Half-Truths.Jaakko Hintikka - 1996 - Springer.
    IF WITI'GENSTEIN COULD TALK, COULD WE UNDERSTAND HIM? Perusing the secondary literature on Wittgenstein, I have frequently experienced a perfect Brechtean Entfremdungseffekt. This is interesting, I have felt like saying when reading books and papers on Wittgenstein, but who is the writer talking about? Certainly not Ludwig Wittgenstein the actual person who wrote his books and notebooks and whom I happened to meet. Why is there this strange gap between the ideas of the actual philosopher and the musings of his (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Investigating Wittgenstein.Merrill Hintikka, Jaakko Hintikka & Norman Malcolm - 1987 - Philosophy 62 (242):529-533.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • A game semantics for linear logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.
    We present a game semantics in the style of Lorenzen for Girard's linear logic . Lorenzen suggested that the meaning of a proposition should be specified by telling how to conduct a debate between a proponent P who asserts and an opponent O who denies . Thus propositions are interpreted as games, connectives as operations on games, and validity as existence of a winning strategy for P. We propose that the connectives of linear logic can be naturally interpreted as the (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Dialogue Foundations.Wilfrid Hodges & Erik C. W. Krabbe - 2001 - Aristotelian Society Supplementary Volume 75:17-49.
    [Wilfrid Hodges] During the last forty or so years it has become popular to offer explanations of logical notions in terms of games. There is no doubt that many people find games helpful for understanding various logical phenomena. But we ask whether anything is really 'explained' by these accounts, and we analyse Paul Lorenzen's dialogue foundations for constructive logic as an example. The conclusion is that the value of games lies in their ability to provide helpful metaphors and representations, rather (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • I—Wilfrid Hodges: A Sceptical Look.Wilfrid Hodges - 2001 - Aristotelian Society Supplementary Volume 75 (1):17-32.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • I—Wilfrid Hodges: A Sceptical Look.Wilfrid Hodges - 2001 - Aristotelian Society Supplementary Volume 75 (1):17-32.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • I—Wilfrid Hodges: A Sceptical Look.Wilfrid Hodges - 2001 - Aristotelian Society Supplementary Volume 75 (1):17-32.
    [Wilfrid Hodges] During the last forty or so years it has become popular to offer explanations of logical notions in terms of games. There is no doubt that many people find games helpful for understanding various logical phenomena. But we ask whether anything is really 'explained' by these accounts, and we analyse Paul Lorenzen's dialogue foundations for constructive logic as an example. The conclusion is that the value of games lies in their ability to provide helpful metaphors and representations, rather (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Investigating Wittgenstein.Peter Carruthers - 1988 - Philosophical Quarterly 38 (151):244-249.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Some semantical aspects of linear logic.A. Blass - 1997 - Logic Journal of the IGPL 5 (4):487-503.
    We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard's coherence spaces and de Paiva's Dialectica-like semantics.
    Download  
     
    Export citation  
     
    Bookmark   4 citations