- Thought, Sign and Machine - the Idea of the Computer Reconsidered.Niels Ole Finnemann - 1999 - Copenhagen: Danish Original: Akademisk Forlag 1994. Tanke, Sprog og Maskine..details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).details
|
|
The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.details
|
|
Rules are not processes.Robert Wilensky - 1983 - Behavioral and Brain Sciences 6 (3):415.details
|
|
Complexity Level Analysis Revisited: What Can 30 Years of Hindsight Tell Us about How the Brain Might Represent Visual Information?John K. Tsotsos - 2017 - Frontiers in Psychology 8.details
|
|
Can Ai be Intelligent?Kazimierz Trzęsicki - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):103-131.details
|
|
Negation and infinity.Kazimierz Trzęsicki - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):131-148.details
|
|
Computation misrepresented: The procedural/declarative controversy exhumed.Henry Thompson - 1983 - Behavioral and Brain Sciences 6 (3):415.details
|
|
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.details
|
|
On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.details
|
|
How are grammers represented?Edward P. Stabler - 1983 - Behavioral and Brain Sciences 6 (3):391-402.details
|
|
Computational theories and mental representation.Edward P. Stabler - 1983 - Behavioral and Brain Sciences 6 (3):416-421.details
|
|
A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem.Martin K. Solomon - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):417-421.details
|
|
Alan Turing: person of the XXth century?José M. Sánchez Ron - 2013 - Arbor 189 (764):a085.details
|
|
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.details
|
|
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.details
|
|
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.details
|
|
Cognition and the power of continuous dynamical systems.Whit Schonbein - 2004 - Minds and Machines 15 (1):57-71.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
“The boundless ocean of unlimited possibilities”: Logic in carnap'slogical syntax of language. [REVIEW]Sahotra Sarkar - 1992 - Synthese 93 (1-2):191 - 237.details
|
|
Grammars-as-programs versus grammars- as-data.Jerry Samet - 1983 - Behavioral and Brain Sciences 6 (3):414-414.details
|
|
Undefinability of truth. the problem of priority:tarski vs gödel.Roman Murawski - 1998 - History and Philosophy of Logic 19 (3):153-160.details
|
|
The relevance of the machine metaphor.Thomas Roeper - 1983 - Behavioral and Brain Sciences 6 (3):413.details
|
|
Godel, Turing, chaitin and the question of emergence as a meta-principle of modern physics. some arguments against reductionism.M. Requardt - 1991 - World Futures 32 (2):185-195.details
|
|
Philosophy of Computer Science.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.details
|
|
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.details
|
|
Computationalism in the Philosophy of Mind.Gualtiero Piccinini - 2009 - Philosophy Compass 4 (3):515-532.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
How to Make a Meaningful Comparison of Models: The Church–Turing Thesis Over the Reals.Maël Pégny - 2016 - Minds and Machines 26 (4):359-388.details
|
|
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.details
|
|
Paper machines.Daniele Mundici & Wilfried Seig - 1995 - Philosophia Mathematica 3 (1):5-30.details
|
|
¿Qué es un algoritmo? Una respuesta desde la obra de Wittgenstein.Sergio Mota - 2015 - Endoxa 36:317.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
|
|
On levels.John Morton - 1983 - Behavioral and Brain Sciences 6 (3):413.details
|
|
Execute criminals, not rules of grammer.James D. McCawley - 1983 - Behavioral and Brain Sciences 6 (3):410.details
|
|
Word processor or video game?Robert May - 1983 - Behavioral and Brain Sciences 6 (3):412.details
|
|
How could you tell how grammars are represented?John C. Marshall - 1983 - Behavioral and Brain Sciences 6 (3):411-412.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
On speculating across opaque barriers.Abe Lockman - 1983 - Behavioral and Brain Sciences 6 (3):410-410.details
|
|
Levels of grammatic representation: A tempest in a teapot.Michael R. Lipton - 1983 - Behavioral and Brain Sciences 6 (3):409-410.details
|
|
Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.details
|
|
On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.details
|
|
Thinking machines: Some fundamental confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.details
|
|
Positional value and linguistic recursion.John Kadvany - 2007 - Journal of Indian Philosophy 35 (5-6):487-520.details
|
|
Indistinguishable from magic: Computation is cognitive technology. [REVIEW]John Kadvany - 2010 - Minds and Machines 20 (1):119-143.details
|
|