Formal Languages in Logic: A Philosophical and Cognitive Analysis

Introduction 1. Two notions of formality 2. On the very notion of a formal language 3. The history, purposes and limitations of formal languages 4. How we do reason, and the need for counterbalance in science 5. Formal languages and extended cognition 6. De-semantification 7. The debiasing effect of formalization Conclusion.

[1]  Hao Wang.  VI.—ON FORMALIZATION , 1955 .

[2]  E. W. Adams,et al.  The logic of conditionals , 1975 .

[3]  Alex Bellos,et al.  Alex's Adventures in Numberland , 2010 .

[4]  David R. Olson,et al.  The World on Paper: The Conceptual and Cognitive Implications of Writing and Reading , 1996 .

[5]  Massimo Mugnai,et al.  Logic and Mathematics in the Seventeenth Century , 2010 .

[6]  D. Lewis.  Probabilities of Conditionals and Conditional Probabilities , 1976 .

[7]  Brian Butterworth,et al.  Selective Impairment in Manipulating Arabic Numerals , 1995, Cortex.

[8]  M. Ridley,et al.  Nature via Nurture: Genes, Experience, and What Makes Us Human , 2005 .

[9]  Robert L. Goldstone,et al.  How abstract is symbolic thought? , 2007, Journal of experimental psychology. Learning, memory, and cognition.

[10]  L. T. F. Gamut.  Logic, language, and meaning , 1991 .

[11]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[12]  David Kirsh,et al.  Thinking with external representations , 2010, AI & SOCIETY.

[13]  Vinod Goel,et al.  Differential involvement of left prefrontal cortexin inductive and deductive reasoning , 2004, Cognition.

[14]  Richard A. Griggs,et al.  The elusive thematic‐materials effect in Wason's selection task , 1982 .

[15]  Olivier Houdé,et al.  Deductive reasoning and matching-bias inhibition training: Evidence from a debiasing paradigm , 2002 .

[16]  Catarina Dutilh Novaes,et al.  Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic , 2012, J. Philos. Log..

[17]  Benedikt Löwe,et al.  Logical Approaches to Computational Barriers: CiE 2006 , 2007, J. Log. Comput..

[18]  Francesco Paoli,et al.  Quine and Slater on Paraconsistency and Deviance , 2003, J. Philos. Log..

[19]  G. Keren,et al.  Two Is Not Always Better Than One , 2009, Perspectives on psychological science : a journal of the Association for Psychological Science.

[20]  L. Wittgenstein.  Tractatus Logico-Philosophicus , 2021, Nordic Wittgenstein Review.

[21]  Derek Besner,et al.  On the Myth of Automatic Semantic Activation in Reading , 1999 .

[22]  Janet E. Davidson,et al.  The psychology of problem solving , 2003 .

[23]  Frits Staal,et al.  Preface: The Generosity of Formal Languages , 2007 .

[24]  A. Clark,et al.  The Extended Mind , 1998, Analysis.

[25]  Helen De Cruz,et al.  The Innateness Hypothesis and Mathematical Concepts , 2010 .

[26]  J. S. Nairne,et al.  The nature of remembering : essays in honor of Robert G. Crowder , 2001 .

[27]  H. Barlow.  Vision: A computational investigation into the human representation and processing of visual information: David Marr. San Francisco: W. H. Freeman, 1982. pp. xvi + 397 , 1983 .

[28]  Robert L. Goldstone,et al.  Formal notations are diagrams: Evidence from a production task , 2007, Memory & cognition.

[29]  Giuseppe Primiero,et al.  Acts of Knowledge: History, Philosophy and Logic , 2009 .

[30]  G Jobard,et al.  Evaluation of the dual route theory of reading: a metanalysis of 35 neuroimaging studies , 2003, NeuroImage.

[31]  Philip N. Johnson-Laird,et al.  The Quarterly Journal of Experimental Psychology Section A: Human Experimental Psychology the Effects of Belief on the Spontaneous Production of Syllogistic Conclusions , 2022 .

[32]  L. Barsalou,et al.  Whither structured representation? , 1999, Behavioral and Brain Sciences.

[33]  Per Linell.  The Written Language Bias in Linguistics : Its Nature, Origins and Transformations , 2005 .

[34]  Volker Peckhaus,et al.  Logik, Mathesis universalis und allgemeine Wissenschaft : Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert , 1997 .

[35]  H. Whitehead,et al.  Culture in whales and dolphins , 2001, Behavioral and Brain Sciences.

[36]  D. Kimbrough Oller,et al.  How the language capacity was naturally selected: Altriciality and long immaturity , 2006 .

[37]  G. Humphreys,et al.  Basic processes in reading : visual word recognition , 1993 .

[38]  A. Clark,et al.  Books , 2004, INTR.

[39]  Francis Jeffry Pelletier.  Automated Natural Deduction in Thinker , 1998, Stud Logica.

[40]  Brian McNeil,et al.  Philosophers of the Renaissance , 2010 .

[41]  A. Damasio.  Descartes' error: emotion, reason, and the human brain. avon books , 1994 .

[42]  David Pesetsky,et al.  Evidence and argumentation: A reply to Everett (2009) , 2009 .

[43]  A. Whitehead.  An Introduction to Mathematics , 1949, Nature.

[44]  Renée Elio.  Common Sense, Reasoning, and Rationality , 2002 .

[45]  Margaret Wilson,et al.  Six views of embodied cognition , 2002, Psychonomic bulletin & review.

[46]  K. Stanovich,et al.  The domain specificity and generality of belief bias: Searching for a generalizable critical thinking skill. , 1999 .

[47]  W. Hodges.  The logical content of theories of deduction , 1993 .

[48]  Jonathan Evans,et al.  In two minds: Dual processes and beyond. , 2009 .

[49]  Laure Zago,et al.  Access to Deductive Logic Depends on a Right Ventromedial Prefrontal Area Devoted to Emotion and Feeling: Evidence from a Training Paradigm , 2001, NeuroImage.

[50]  Douglas Patterson,et al.  New essays on Tarski and philosophy , 2008 .

[51]  Bruce Edmonds,et al.  Worldviews, Science, and Us: Philosophy and Complexity. , 2007 .

[52]  Daniel L. Everett,et al.  Pirahã Culture and Grammar: A Response to Some Criticisms , 2009 .

[53]  M. Heil,et al.  Automatic Semantic Activation Is No Myth , 2004, Psychological science.

[54]  A. Gopnik,et al.  Words, thoughts, and theories , 1997 .

[55]  P. Wason,et al.  Natural and contrived experience in a reasoning problem , 1971 .

[56]  Dov M. Gabbay,et al.  Handbook of the history of logic , 2004 .

[57]  Richard Menary.  Dimensions of mind , 2010 .

[58]  Keith Frankish,et al.  Dual-Process and Dual-System Theories of Reasoning , 2010 .

[59]  Roger H. Stuewer,et al.  Historical and philosophical perspectives of science , 1970 .

[60]  V. Sloutsky,et al.  Understanding of logical necessity: developmental antecedents and cognitive consequences. , 1998, Child development.

[61]  Volker Peckhaus,et al.  Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited , 2004 .

[62]  I. Rumfitt,et al.  Making it Explicit: Reasoning, Representing, and Discursive Commitment. , 1997 .

[63]  S. Levinson,et al.  WEIRD languages have misled us, too , 2010, Behavioral and Brain Sciences.

[64]  Gottfried Wilhelm Freiherr von Leibniz,et al.  Logical Papers: A Selection , 1966 .

[65]  P. Pollard,et al.  On the conflict between logic and belief in syllogistic reasoning , 1983, Memory & cognition.

[66]  S. Stich,et al.  The cognitive basis of science , 2002 .

[67]  Lance J. Rips,et al.  Reasoning : studies of human inference and its foundations , 2008 .

[68]  Peter Milne,et al.  The simplest Lewis-style triviality proof yet? , 2003 .

[69]  Nick Chater,et al.  A rational analysis of the selection task as optimal data selection. , 1994 .

[70]  J. Maat,et al.  Philosophical Languages in the Seventeenth Century: Dalgarno, Wilkins, Leibniz , 2004 .

[71]  R. Schvaneveldt,et al.  Facilitation in recognizing pairs of words: evidence of a dependence between retrieval operations. , 1971, Journal of experimental psychology.

[72]  C. Dutilh Novaes.  He doesn't want to prove this or thaton the very young Wittgenstein , 2010 .

[73]  Ivor Grattan-Guinness.  The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel , 2011 .

[74]  Vinod Goel,et al.  Anatomy of deductive reasoning , 2007, Trends in Cognitive Sciences.

[75]  J. Morgan,et al.  The Distortion of Syllogistic Reasoning Produced by Personal Convictions , 1944 .

[76]  Keith J Holyoak,et al.  Pragmatic reasoning schemas , 1985, Cognitive Psychology.

[77]  Olivier Houdé,et al.  Syllogistic reasoning and belief-bias inhibition in school children: evidence from a negative priming paradigm. , 2006, Developmental science.

[78]  M. Donald.  Origins of the modern mind , 1991 .

[79]  S. Dehaene,et al.  How Learning to Read Changes the Cortical Networks for Vision and Language , 2010, Science.

[80]  J. Piaget,et al.  The Growth Of Logical Thinking From Childhood To Adolescence: An Essay On The Construction Of Formal Operational Structures , 1958 .

[81]  N. Tzourio-mazoyer,et al.  Neural foundations of logical and mathematical cognition , 2003, Nature Reviews Neuroscience.

[82]  Hao Wang.  Computation, Logic, Philosophy: A Collection of Essays , 1991 .

[83]  Partha Niyogi,et al.  A Dynamical Systems Model for Language Change , 1994, Complex Syst..

[84]  R. Byrne.  Suppressing valid inferences with conditionals , 1989, Cognition.

[85]  John Corcoran.  Aristotle's Prior Analytics and Boole's Laws of Thought , 2003 .

[86]  Lay Yong Lam.  The Development of Hindu-Arabic and Traditional Chinese Arithmetic , 1996 .

[87]  C. I. Lewis,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1944 .

[88]  Wim De Neys,et al.  Logic and belief across the lifespan: the rise and fall of belief inhibition during syllogistic reasoning. , 2009 .

[89]  C. B. Colby.  The weirdest people in the world , 1973 .

[90]  Richard Menary.  Cognitive integration: mind and cognition unbounded , 2007 .

[91]  Robert Stalnaker.  Probability and Conditionals , 1970, Philosophy of Science.

[92]  S. Pinker,et al.  Natural language and natural selection , 1990, Behavioral and Brain Sciences.

[93]  Dirk Schlimm.  On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others , 2009, Synthese.

[94]  Benedikt Löwe,et al.  PhiMSAMP. Philosophy of mathematics : sociological aspects and mathematical practice , 2006 .

[95]  B. Butterworth,et al.  Toward a multiroute model of number processing: Impaired number transcoding with preserved calculation skills. , 1995 .

[96]  R. Descartes,et al.  The Philosophical Writings of Descartes: Index , 1985 .

[97]  William Bechtel,et al.  Natural deduction in connectionist systems , 1994, Synthese.

[98]  Jay L. Garfield,et al.  Review: John Macnamara, A Border Dispute. The Place of Logic in Psychology , 1988 .

[99]  G. Lakoff,et al.  Where Mathematics Comes From , 2000 .

[100]  Michael Tomasello,et al.  How Are Humans Unique , 2008 .

[101]  J. Stroop.  Studies of interference in serial verbal reactions. , 1992 .

[102]  Danielle Macbeth.  Viète, descartes, and the emergence of modern mathematics , 2004 .

[103]  Ronald Loeffler,et al.  Neo‐Pragmatist (Practice‐Based) Theories of Meaning , 2009 .

[104]  Mark Steedman,et al.  Plans, Affordances, And Combinatory Grammar , 2002 .

[105]  M. Donald.  A Mind So Rare: The Evolution of Human Consciousness , 2001 .

[106]  J. Dessalles,et al.  Arguing, reasoning, and the interpersonal (cultural) functions of human consciousness , 2011, Behavioral and Brain Sciences.

[107]  G. Gigerenzer.  Gut Feelings: The Intelligence of the Unconscious , 2007 .

[108]  Kenneth M. Ford,et al.  Ramon Lull and the Infidels , 1998 .

[109]  J. Klayman.  Varieties of Confirmation Bias , 1995 .

[110]  M. Stokhof.  Hand or Hammer? On Formal and Natural Languages in Semantics , 2007 .

[111]  A. Tversky,et al.  Judgment under Uncertainty: Heuristics and Biases , 1974, Science.

[112]  F. Adams,et al.  The bounds of cognition , 2001 .

[113]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[114]  G. Cantor,et al.  Conceptions of ether : studies in the history of ether theories, 1740-1900 , 1981 .

[115]  Keith Stenning,et al.  A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning , 2004 .

[116]  R. Netz.  The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History , 1999 .

[117]  Denise Schmandt-Besserat,et al.  How Writing Came About , 1997 .

[118]  A Yamadori,et al.  Comprehension in alexia. , 1973, Brain : a journal of neurology.

[119]  Jonathan Evans,et al.  Norms for reasoning about decisions , 2011, Behavioral and Brain Sciences.

[120]  C. Novaes.  The Different Ways in which Logic is (said to be) Formal , 2011 .

[121]  Alexander George.  Mathematics and mind , 1994 .

[122]  Harry A. Whitaker,et al.  Studies in neurolinguistics , 1976 .

[123]  Jonathan St. B. T. Evans,et al.  Matching bias in conditional reasoning : Do we understand it after 25 years ? , 1998 .

[124]  K. Stenning.  Seeing Reason: Image and language in learning to think , 2002 .

[125]  M. E. Counihan,et al.  Looking for logic in all the wrong places: An investigation of language, literacy and logic in reasoning , 2008 .

[126]  David E. Over,et al.  The probability of conditionals: The psychological evidence , 2003 .

[127]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[128]  J. Heijenoort.  From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .

[129]  Willard Van Orman Quine,et al.  From a Logical Point of View , 1955 .

[130]  P. Churchland.  Neurophilosophy: Toward a unified science of the mind , 1989 .

[131]  G Gigerenzer,et al.  Reasoning the fast and frugal way: models of bounded rationality. , 1996, Psychological review.

[132]  Wilfried Sieg,et al.  Gödel on Computability , 2006 .

[133]  Noam Chomsky,et al.  The faculty of language: what is it, who has it, and how did it evolve? , 2002 .

[134]  Cordelia Fine.  Delusions of Gender , 2010 .

[135]  Jérôme Prado,et al.  Overcoming Perceptual Features in Logical Reasoning: A Parametric Functional Magnetic Resonance Imaging Study , 2007, Journal of Cognitive Neuroscience.

[136]  David Moshman Molly Geil,et al.  Collaborative Reasoning: Evidence for Collective Rationality , 1998 .

[137]  Robyn Arianrhod.  Einstein's Heroes , 2004 .

[138]  Nigel Harvey,et al.  Blackwell Handbook of Judgment and Decision Making , 2004 .

[139]  K. Manktelow,et al.  Facilitation of reasoning by realism: Effect or non‐effect? , 1979 .

[140]  Danielle Macbeth,et al.  Seeing How It Goes: Paper-and-Pencil Reasoning in Mathematical Practice , 2012 .

[141]  Keith E. Stanovich,et al.  The Robot's Rebellion: Finding Meaning in the Age of Darwin , 2004 .

[142]  Marian Counihan.  ‘if p then q’ . . . and all that: Logical Elements in Reasoning and Discourse , 2008, J. Log. Lang. Inf..

[143]  P. Pollard,et al.  Debiasing by instruction: The case of belief bias , 1994 .

[144]  Albrecht Heeffer,et al.  Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics , 2010 .

[145]  Simon Kirby,et al.  From UG to universals: Linguistic adaptation through iterated learning , 2004 .

[146]  Alonzo Church,et al.  A note on the Entscheidungsproblem , 1936, Journal of Symbolic Logic.

[147]  Paolo Mancosu,et al.  Visualization, Explanation and Reasoning Styles in Mathematics , 2005 .

[148]  Catarina Dutilh Novaes.  Reassessing logical hylomorphism and the demarcation of logical constants , 2010, Synthese.

[149]  Sybille Krämer.  Berechenbare Vernunft: Kalkül und Rationalismus im 17. Jahrhundert , 1991 .

[150]  Aristotle.  The Complete Works Of Aristotle , 1954 .

[151]  Jörgen W. Weibull,et al.  KS Language , meaning and games : a model of communication , coordination and evolution , 2007 .

[152]  Sybille Kramer,et al.  Writing, Notational Iconicity, Calculus: On Writing as a Cultural Technique , 2003 .

[153]  G. Priest.  Doubt truth to be a liar , 2006 .

[154]  Catarina Dutilh Novaes.  LESSONS ON TRUTH FROM MEDIAEVAL SOLUTIONS TO THE LIAR PARADOX , 2011 .

[155]  P. Wason,et al.  Reasoning and Mental Representation , 1984 .

[156]  Laure Zago,et al.  Shifting from the Perceptual Brain to the Logical Brain: The Neural Impact of Cognitive Inhibition Training , 2000, Journal of Cognitive Neuroscience.

[157]  A. P. Ushenko,et al.  The Logical Syntax of Language. , 1937 .

[158]  W. Fitch.  The Evolution of Language: A Comparative Review , 2005 .

[159]  George Boole,et al.  The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning , 2007 .

[160]  Minna Cheves Wilkins.  The effect of changed material on ability to do formal syllogistic reasoning , 2011 .

[161]  S. Gould,et al.  Exaptation—a Missing Term in the Science of Form , 1982, Paleobiology.

[162]  Nancy J. Nersessian,et al.  Faraday to Einstein: Constructing Meaning in Scientific Theories , 1984 .

[163]  P. Johnson-Laird,et al.  REASONING AND A SENSE OF REALITY , 1972 .

[164]  Roy Harris,et al.  Rationality and the Literate Mind , 2009 .

[165]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[166]  Bernadette Bensaude-Vincent,et al.  The Artificial and the Natural: An Evolving Polarity (Dibner Institute Studies in the History of Sci , 2007 .

[167]  E. Harmon-Jones,et al.  Alternative mechanisms for regulating racial responses according to internal vs external cues. , 2006, Social cognitive and affective neuroscience.

[168]  György Darvas,et al.  Philosophy of mathematics today , 1997 .

[169]  Glenda Andrews.  Belief-based and analytic processing in transitive inference depends on premise integration difficulty , 2010, Memory & cognition.

[170]  Dag Westerståhl,et al.  Compositionality I: Definitions and Variants , 2010 .

[171]  Catarina Dutilh Novaes.  The historical and philosophical origins of normativism , 2011, Behavioral and Brain Sciences.

[172]  Jaakko Hintikka,et al.  Is There Completeness in Mathematics after Gödel , 1989 .

[173]  Valerie A. Thompson,et al.  The role of training, alternative models, and logical necessity in determining confidence in syllogistic reasoning , 2009 .

[174]  M Ingvar,et al.  The illiterate brain. Learning to read and write during childhood influences the functional organization of the adult brain. , 1998, Brain : a journal of neurology.

[175]  Frits Staal,et al.  Artificial Languages Across Sciences and Civilizations , 2006 .

[176]  Jens Høyrup,et al.  Generosity: No Doubt, but at Times Excessive and Delusive , 2007 .

[177]  D. Dennett.  Darwin's Dangerous Idea: Evolution and the Meanings of Life , 1995 .

[178]  D. Everett.  Don't Sleep, There Are Snakes: Life and Language in the Amazonian Jungle , 2008 .

[179]  Donna Torrens.  Individual Differences and the Belief Bias Effect: Mental Models, Logical Necessity, and Abstract Reasoning , 1999 .

[180]  B. Foss.  New Horizons in Psychology 1 , 1966 .

[181]  S. Dehaene.  Reading in the Brain: The Science and Evolution of a Human Invention , 2009 .

[182]  Lewis Bott,et al.  Making disjunctions exclusive , 2008, Quarterly journal of experimental psychology.

[183]  R. Nickerson.  Confirmation Bias: A Ubiquitous Phenomenon in Many Guises , 1998 .

[184]  G. P. Henderson,et al.  An Essay in Modal Logic. , 1953 .

[185]  Roy T. Cook,et al.  Let a Thousand Flowers Bloom: A Tour of Logical Pluralism , 2010 .

[186]  Jonathan Evans.  The heuristic-analytic theory of reasoning: Extension and evaluation , 2006, Psychonomic bulletin & review.

[187]  Ramon Ferrer i Cancho,et al.  The Evolution of Language:: Proceedings of the 7th International Conference , 2008 .

[188]  A. Damasio,et al.  Troubled letters but not numbers. Domain specific cognitive impairments following focal damage in frontal cortex. , 1990, Brain : a journal of neurology.

[189]  Jonathan Evans.  Hypothetical Thinking: Dual Processes in Reasoning and Judgement , 2007 .

[190]  N. Chater,et al.  Proceedings of the fourteenth annual conference of the cognitive science society , 1992 .

[191]  Jonathan Evans,et al.  Logic and human reasoning: an assessment of the deduction paradigm. , 2002, Psychological bulletin.

[192]  Willem H. Zuidema,et al.  Simple rules can explain discrimination of putative recursive syntactic structures by a songbird species , 2009, Proceedings of the National Academy of Sciences.

[193]  G. Boole.  An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities , 2007 .

[194]  David R. Olson,et al.  Modes of thought : explorations in culture and cognition , 1996 .

[195]  Henrik Lagerlund,et al.  Encyclopedia of Medieval Philosophy: Philosophy between 500 and 1500 , 2011 .

[196]  Wilfrid Hodges,et al.  Traditional Logic, Modern Logic and Natural Language , 2009, J. Philos. Log..

[197]  D. Hilbert,et al.  Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen , 2009 .

[198]  Roy Harris,et al.  The Origin of Writing , 1986 .

[199]  G. Denes,et al.  A specific deficit for numbers in a case of dense acalculia. , 1991, Brain : a journal of neurology.

[200]  Richard Menary,et al.  Writing as thinking , 2007 .

[201]  Steve Awodey,et al.  Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic , 2002 .

[202]  Frits Staal,et al.  Artificial Languages Between Innate Faculties , 2007 .

[203]  M. Tomasello.  Constructing a Language: A Usage-Based Theory of Language Acquisition , 2003 .

[204]  Gottfried Wilhelm Leibniz.  Die Grundlagen des logischen Kalküls , 2000 .

[205]  Haskell B. Curry,et al.  A Theory Of Formal Deducibility , 1950 .

[206]  Peter Smith,et al.  An Introduction to Gödel's Theorems , 2007 .