Parikh and Wittgenstein

DOI10.1007/978-3-319-47843-2_1zbMath1437.03002OpenAlexW2592732235MaRDI QIDQ3299831

Juliet Floyd

Publication date: 27 July 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/2144/27133

zbMATH Keywords

common knowledgeTuringsocial softwareWittgensteinParikh

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites Work

• Conditional probability and defeasible inference
• On mind \& Turing's machines
• Wang's paradox
• Bounded arithmetic, proof complexity and two papers of Parikh
• Length and structure of proofs
• A knowledge based semantics of messages
• Relevance sensitive belief structures
• Finite information logic
• Social software
• From Dedekind to Gödel. Essays on the development of the foundations of mathematics
• Topological reasoning and the logic of knowledge
• Philosophical explorations of the legacy of Alan Turing. Turing 100
• The logic of knowledge based obligation
• Bringing Up Turing’s ‘Child-Machine’
• On Kripke’s Puzzle about Time and Thought
• Elusive Knowledge
• The Logic of Campaigning
• PROBABILISTIC CONDITIONALS ARE ALMOST MONOTONIC
• SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US?
• Knowledge, Games and Tales from the East
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences
• Prose versus Proof: Wittgenstein on Godel, Tarski and Truth
• Motivating Wittgenstein's Perspective on Mathematical Sentences as Norms
• Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing
• Church Without Dogma: Axioms for Computability
• Existence and feasibility in arithmetic
• Some Results on the Length of Proofs
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parikh and Wittgenstein