- 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
|
|
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.details
|
|
Universality, Invariance, and the Foundations of Computational Complexity in the light of the Quantum Computer.Michael Cuffaro - 2018 - In Hansson Sven Ove (ed.), Technology and Mathematics: Philosophical and Historical Investigations. Cham, Switzerland: Springer Verlag. pp. 253-282.details
|
|
On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.details
|
|
(1 other version)The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Tarski on truth and logical consequence.John Etchemendy - 1988 - Journal of Symbolic Logic 53 (1):51-79.details
|
|
(1 other version)On Tarski on models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.details
|
|
Issues in the foundations of science, I: Languages, structures, and models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - unknowndetails
|
|
Identity, indiscernibility, and philosophical claims.Décio Krause & Antonio Mariano Nogueira Coelho - 2005 - Axiomathes 15 (2):191-210.details
|
|
Fregean grammar: A formal outline.Timothy C. Potts - 1978 - Studia Logica 37 (1):7 - 26.details
|
|
(1 other version)On truth and multiple denotation.R. M. Martin - 1953 - Journal of Symbolic Logic 18 (1):11-18.details
|
|
(1 other version)Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8-10):141-162.details
|
|
Functions of propositions.M. J. Cresswell - 1966 - Journal of Symbolic Logic 31 (4):545-560.details
|
|
New axiomatizations of s3 and S.Leo Simons - 1953 - Journal of Symbolic Logic 18 (4):309-316.details
|
|
(1 other version)The t-variable method in gentzen-style automatic theorem proving.Tryggvi Edwald - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):253-261.details
|
|
The Normal-Form Decision Method in the Combined Calculus.Lei Ma - 2018 - Axiomathes 28 (4):461-489.details
|
|
(1 other version)Remarks on identity and description in first-order axiom systems.Theodore Hailperin - 1954 - Journal of Symbolic Logic 19 (1):14-20.details
|
|
El enfoque epistemológico de David Hilbert: el a priori del conocimiento y el papel de la lógica en la fundamentación de la ciencia.Rodrigo Lopez-Orellana - 2019 - Principia: An International Journal of Epistemology 23 (2):279-308.details
|
|
Finite Partitions and Their Generators.George Weaver - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):255-260.details
|
|