- Reply to Angius and Primiero on Software Intensive Science.Jack Horner & John Symons - 2014 - Philosophy and Technology 27 (3):491-494.details
|
|
Reflecting in epistemic arithmetic.Leon Horsten - 1996 - Journal of Symbolic Logic 61 (3):788-801.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
|
|
The Enhanced Indispensability Argument, the circularity problem, and the interpretability strategy.Jan Heylen & Lars Arthur Tump - 2019 - Synthese 198 (4):3033-3045.details
|
|
The epistemic significance of numerals.Jan Heylen - 2014 - Synthese 198 (Suppl 5):1019-1045.details
|
|
Rosenkranz’s Logic of Justification and Unprovability.Jan Heylen - 2020 - Journal of Philosophical Logic 49 (6):1243-1256.details
|
|
Modal-Epistemic Arithmetic and the problem of quantifying in.Jan Heylen - 2013 - Synthese 190 (1):89-111.details
|
|
Factive knowability and the problem of possible omniscience.Jan Heylen - 2020 - Philosophical Studies 177 (1):65-87.details
|
|
Closure of A Priori Knowability Under A Priori Knowable Material Implication.Jan Heylen - 2015 - Erkenntnis 80 (2):359-380.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, Supplementary Volume 27:53-84.details
|
|
Gödel, Tarski, Church, and the Liar.György Serény - 2003 - Bulletin of Symbolic Logic 9 (1):3-25.details
|
|
Proof verification and proof discovery for relativity.Naveen Sundar Govindarajalulu, Selmer Bringsjord & Joshua Taylor - 2015 - Synthese 192 (7):2077-2094.details
|
|
In Memoriam: George Stephen Boolos 1940–1996.Warren Goldfarb - 1996 - Bulletin of Symbolic Logic 2 (4):444-447.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
|
|
Lewis Carroll's Formal Logic.Francine Abeles - 2005 - History and Philosophy of Logic 26 (1):33-46.details
|
|
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).details
|
|
Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.details
|
|
The ineffability of God.Omar Fakhri - 2020 - International Journal for Philosophy of Religion 89 (1):25-41.details
|
|
Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.details
|
|
Conservative extensions of models of set theory and generalizations.Ali Enayat - 1986 - Journal of Symbolic Logic 51 (4):1005-1021.details
|
|
Two Fallacies in Proofs of the Liar Paradox.Peter Eldridge-Smith - 2020 - Philosophia 48 (3):947-966.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
|
|
Quantum Information Theory and the Foundations of Quantum Mechanics.Christopher Gordon Timpson - 2013 - Oxford, GB: Oxford University Press.details
|
|
Modeling Bounded Rationality.Ariel Rubinstein - 1998 - MIT Press.details
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
Electrophysiological connectivity of logical deduction: Early cortical MEG study.Anton Toro Luis F., Salto Francisco, Requena Carmen & Maestu Fernando - 2023 - Cortex 166:365-376.details
|
|
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
The notation in principia mathematica.Bernard Linsky - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Richmond Thomason, Paolo Bouquet & Luciano Serafini (eds.), Perspectives on Context. CSLI Stanford. pp. 171-188.details
|
|
The Methodological Roles of Tolerance and Conventionalism in the Philosophy of Mathematics: Reconsidering Carnap's Logic of Science.Emerson P. Doyle - 2014 - Dissertation, University of Western Ontariodetails
|
|
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.details
|
|
Concrete Causation: About the Structures of Causal Knowledge.Roland Poellinger - 2012 - Dissertation, Lmu Munichdetails
|
|
Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscriptdetails
|
|
On Compositionality.Martin Jönsson - 2008 - Dissertation, Lund Universitydetails
|
|
There is no general AI.Jobst Landgrebe & Barry Smith - 2020 - arXiv.details
|
|
Jaroslav Peregrin.Jaroslav Peregrin - unknowndetails
|
|
Sentence, Proposition, Judgment, Statement, and Fact: Speaking about the Written English Used in Logic.John Corcoran - 2009 - In W. A. Carnielli (ed.), The Many Sides of Logic. College Publications. pp. 71-103.details
|
|
How models represent.James Nguyen - 2016 - Dissertation, details
|
|
Decomposing complexity: the discovering of pathway dynamics.Adam White - unknowndetails
|
|
Searle on the Brink.Selmer Bringsjord - 1994 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 1.details
|
|
Truth via Satisfaction?Nicholas J. J. Smith - 2017 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 273-287.details
|
|
Apophatic Finitism and Infinitism.Jan Heylen - 2019 - Logique Et Analyse 62 (247):319-337.details
|
|
Was the early calculus an inconsistent theory?Peter Vickers - unknowndetails
|
|