- Inconsistent models of arithmetic part I: Finite models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.details
|
|
Book reviews. [REVIEW]Beth Preston, Ronald G. Boothe, Stanley Munsat, Daniel Reisberg, Christopher Gauker, Robert A. Morris, Phillipe Dubosq, David C. McCarty, John Heil, Harvey Mullane, Michael Tomasello & Philippe Rochat - 1994 - Philosophical Psychology 7 (4):503-538.details
|
|
Review. [REVIEW]Andrew Powell - 1992 - British Journal for the Philosophy of Science 43 (2):245-262.details
|
|
Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs.Martin Pleitz - 2010 - Studia Logica 96 (2):193-218.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.details
|
|
The "natural" and the "formal".Jaroslav Peregrin - 2000 - Journal of Philosophical Logic 29 (1):75-101.details
|
|
Missing Modes of Supposition.Terence Parsons - 1997 - Canadian Journal of Philosophy 27 (sup1):1-24.details
|
|
Validity, dialetheism and self-reference.Federico Matias Pailos - 2020 - Synthese 197 (2):773-792.details
|
|
On charitable translation.Daniel N. Osherson & Scott Weinstein - 1989 - Philosophical Studies 56 (2):127 - 134.details
|
|
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
La historia y la gramática de la recursión: una precisión desde la obra de Wittgenstein.Sergio Mota - 2014 - Pensamiento y Cultura 17 (1):20-48.details
|
|
A Cantorian argument against infinitesimals.Matthew E. Moore - 2002 - Synthese 133 (3):305 - 330.details
|
|
The Intentionality of Formal Systems.Ard Moer - 2006 - Foundations of Science 11 (1):81-119.details
|
|
On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller - 2011 - Minds and Machines 21 (1):83-96.details
|
|
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.details
|
|
Against Logicist Cognitive Science.Mike Oaksford & Nick Chater - 1991 - Mind and Language 6 (1):1-38.details
|
|
How Arithmetic is about Numbers. A Wittgenestinian Perspective.Felix Mühlhölzer - 2014 - Grazer Philosophische Studien 89 (1):39-59.details
|
|
Verificationists Versus Realists: The Battle Over Knowability.Peter Marton - 2006 - Synthese 151 (1):81-98.details
|
|
On Teaching Critical Thinking1.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56-78.details
|
|
Open problems in the philosophy of information.Luciano Floridi - 2004 - Metaphilosophy 35 (4):554-582.details
|
|
On the logic of common belief and common knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.details
|
|
Making AI Meaningful Again.Jobst Landgrebe & Barry Smith - 2021 - Synthese 198 (March):2061-2081.details
|
|
Wittgenstein and Gödel: An Attempt to Make ‘Wittgenstein’s Objection’ Reasonable†.Timm Lampert - 2018 - Philosophia Mathematica 26 (3):324-345.details
|
|
Kant's Philosophy of Geometry--On the Road to a Final Assessment.L. Kvasz - 2011 - Philosophia Mathematica 19 (2):139-166.details
|
|
Axiomatic Theories of Partial Ground I: The Base Theory.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.details
|
|
Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.details
|
|
Hanf numbers for omitting types over particular theories.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (3):583-588.details
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.details
|
|
Conservativeness and translation-dependent t-schemes.Jeffrey Ketland - 2000 - Analysis 60 (4):319–328.details
|
|
Conservativeness and translation-dependent T-schemes.Jeffrey Ketland - 2000 - Analysis 60 (4):319-328.details
|
|
Indistinguishable from magic: Computation is cognitive technology. [REVIEW]John Kadvany - 2010 - Minds and Machines 20 (1):119-143.details
|
|
Peirce, logic diagrams, and the elementary operations of reasoning.P. N. Johnson-Laird - 2002 - Thinking and Reasoning 8 (1):69 – 95.details
|
|
No future.Leon Horsten & Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (3):259-265.details
|
|
Deciding arithmetic using SAD computers.Mark Hogarth - 2004 - British Journal for the Philosophy of Science 55 (4):681-691.details
|
|
Classical Logic I: First‐Order Logic.Wilfrid Hodges - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 9–32.details
|
|
Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.details
|
|
Darwin’s Algorithm, Natural Selective History, and Intentionality Naturalized.Philip Hanson - 2001 - Canadian Journal of Philosophy 31 (sup1):53-83.details
|
|
The undecidability of the spatialized prisoner's dilemma.Patrick Grim - 1997 - Theory and Decision 42 (1):53-80.details
|
|
Everything you always wanted to know about structural realism but were afraid to ask.Roman Frigg & Ioannis Votsis - 2011 - European Journal for Philosophy of Science 1 (2):227-276.details
|
|
Church's thesis: Prelude to a proof.Janet Folina - 1998 - Philosophia Mathematica 6 (3):302-323.details
|
|
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).details
|
|
Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.Günther Eder - 2016 - History and Philosophy of Logic 37 (2):170-193.details
|
|
The Rationality of Science.W. Newton-Smith - 1981 - Boston: Routledge.details
|
|
Modeling Bounded Rationality.Ariel Rubinstein - 1998 - MIT Press.details
|
|
Quantum Information Theory & the Foundations of Quantum Mechanics.Christopher Gordon Timpson - 2004 - Oxford, GB: Oxford University Press.details
|
|
Scientific representation and the semantic view of theories.Roman Frigg - 2006 - Theoria 21 (1):49-65.details
|
|
Yesterday’s Algorithm: Penrose and the Gödel Argument.William Seager - 2003 - Croatian Journal of Philosophy 3 (9):265-273.details
|
|
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|