The Practical Turn in Logic

The great advances in logic in the last century and a half saw a turn from its historical preoccupation with arguing and reasoning to a preoccupation with mathematics. It was a re-orientation that made possible important gains in both the foundations and the methodology of mathematics. The foundational contribution was largely of philosophical interest. It sought to establish a basis for logicism, for the reduction of mathematics to logic. 1 The methodological contribution also has its philosophical significance, but it threw its net more widely, capturing the interest of those who thought that mathematics could benefit deeply from the rigour and the standards of exact proof that the new logic was in process of articulating. It is difficult to overestimate the significance of the mathematical turn in logic. Not only did the new logic narrow logic’s former range of interests, it was able to do so only after determining that the traditional syllogistic approach to logic was inadequate for logic’s new ambitions. Ever since its inception 2500 years thence, logic had been in all essentials the logic of the syllogism. The mathematical turn brought an abrupt end to Aristotle’s hegemony. Given the venerability and persistence of that long-lived influence, it is perhaps not wholly inexplicable that mathematical logicians did not entirely break with the traditional line that logic is about reasoning and arguing. There are plenty of textbooks on mathematical logic, including some of the best and most senior, in which we find it said, without a shred of irony or embarrassment, that mathematical logic is the most general, or the basic, theory of reasoning. Those of greater circumspection would claim that the new symbolic logic is the root theory of mathematical reasoning. It would be a mistake to overlook the fact that mathematical logicians have been quick to recognize various respects in which even the claim of logic to be a theory of (mathematical) reasoning is implausible. To that end, various distinctions have been invoked:

[1]  Victor Sánchez Valencia,et al.  The algebra of logic , 2004, The Rise of Modern Logic: From Leibniz to Frege.

[2]  T. Gelder,et al.  Mind as Motion: Explorations in the Dynamics of Cognition , 1995 .

[3]  R. Selten,et al.  Bounded rationality: The adaptive toolbox , 2000 .

[4]  D. O’Keefe.  Persuasion , 1990, The Handbook of Communication Skills.

[5]  Brian Ellis,et al.  Rational Belief Systems. , 1980 .

[6]  L. Daston.  Classical Probability in the Enlightenment , 1988 .

[7]  A. Treisman.  Contextual Cues in Selective Listening , 1960 .

[8]  Dov M. Gabbay,et al.  Non-Cooperation In Dialogue Logic , 2001, Synthese.

[9]  T. Honderich.  The Oxford Companion to Philosophy , 1995 .

[10]  John E. Woods,et al.  The death of argument - fallacies in agent based reasoning , 2004, Applied logic series.

[11]  T. Fine,et al.  The Emergence of Probability , 1976 .

[12]  T. Horgan,et al.  Connectionism and the Philosophy of Psychology , 1996 .

[13]  T. Horgan,et al.  Representations without Rules , 1989 .

[14]  Douglas Walton,et al.  Plausible argument in everyday conversation , 1992 .

[15]  Paul Thagard,et al.  From the Descriptive to the Normative in Psychology and Logic , 1982, Philosophy of Science.

[16]  Richard Sylvan,et al.  Directions in relevant logic , 1989 .

[17]  A. Treisman.  SELECTIVE ATTENTION IN MAN. , 1964, British medical bulletin.

[18]  R. S. Corteen,et al.  Autonomic responses to shock-associated words in an unattended channel. , 1972, Journal of Experimental Psychology.

[19]  Jan Jaspars,et al.  Logic in action , 1991 .

[20]  John Hayden Woods,et al.  Paradox and paraconsistency - conflict resolution in the abstract sciences , 2002 .

[21]  Linda B. Smith,et al.  A Dynamic Systems Approach to the Development of Cognition and Action , 2007, Journal of Cognitive Neuroscience.

[22]  Stephen Read,et al.  Relevant Logic: A Philosophical Examination of Inference , 1989 .

[23]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[24]  P. Carruthers,et al.  The Philosophy of Psychology: Consciousness: the final frontier? , 1999 .

[25]  P. Churchland.  A Neurocomputational Perspective: The Nature of Mind and the Structure of Science , 1989 .

[26]  J. Heijenoort.  Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought GOTTLOB FREGE(1879) , 1970 .

[27]  M. Dawson,et al.  Electrodermal responses to attended and nonattended significant stimuli during dichotic listening. , 1982, Journal of experimental psychology. Human perception and performance.

[28]  Kenneth Aizawa.  Connectionist rules: A rejoinder to Horgan and Tienson's connectionism and the philosophy of psychology , 1999 .

[29]  Edward E. Smith,et al.  Categories and concepts , 1984 .

[30]  G. Stigler.  The Economics of Information , 1961, Journal of Political Economy.

[31]  M. Zimmermann,et al.  The Nervous System in the Context of Information Theory , 1989 .

[32]  D. Davidson.  Actions, Reasons, And Causes , 1980 .

[33]  A. Mele,et al.  The Oxford Handbook of Rationality , 2004 .

[34]  H. Frankfurt.  The importance of what we care about , 2004, Synthese.

[35]  W. Wimsatt.  Forms of Aggregativity , 1986 .

[36]  D. Sperber,et al.  Relevance: Communication and Cognition , 1989 .

[37]  R. Tallis.  The Explicit Animal: A Defence of Human Consciousness , 1991 .

[38]  Willard Van Orman Quine,et al.  Word and Object , 1960 .

[39]  Jonathan W. Schooler,et al.  Scientific Approaches to Consciousness , 1997 .

[40]  Stephen Wolfram,et al.  Computer Software in Science and Mathematics. , 1984 .

[41]  G. Harman,et al.  Practical Aspects of Theoretical Reasoning , 2004 .

[42]  Per Roland,et al.  The engine of reason, the seat of the soul , 1996 .

[43]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[44]  Francis Jeffry Pelletier,et al.  The Generic book , 1997 .

[45]  Michael E. Bratman,et al.  Faces of Intention: Contents , 1999 .

[46]  S. Chaiken,et al.  Audience response as a heuristic cue in persuasion. , 1987, Journal of personality and social psychology.

[47]  S. Chaiken,et al.  The psychology of attitudes. , 1993 .

[48]  Roger C. Schank,et al.  Scripts, plans, goals and understanding: an inquiry into human knowledge structures , 1978 .

[49]  Terence E Horgan,et al.  Cognitive systems as dynamical systems , 1992 .

[50]  Michael Wheeler,et al.  Two Threats To Representation , 2001, Synthese.

[51]  W. Quine.  The two dogmas of empiricism , 1951 .

[52]  Barbara Webb,et al.  Robotic experiments in cricket phonotaxis , 1994 .

[53]  William S. Cooper,et al.  Book reviews-the evolution of reason. Logic as a branch of biology , 2001 .

[54]  Randall D. Beer,et al.  Computational and dynamical languages for autonomous agents , 1996 .

[55]  Robert G. Burton,et al.  A Neurocomputational Approach to Abduction , 1999, Minds and Machines.

[56]  John Hayden Woods,et al.  Aristotle's early logic , 2004, Greek, Indian and Arabic Logic.

[57]  A Treisman,et al.  Semantic processing in dichotic listening? A replication , 1974, Memory & cognition.

[58]  John Woods,et al.  Standard logics as theories of argument and inference: Induction , 2002 .

[59]  C. Cherry,et al.  On human communication , 1966 .

[60]  Theodore Hailperin,et al.  Algebraical logic 1685-1900 , 2004, The Rise of Modern Logic: From Leibniz to Frege.

[61]  N. Rescher.  Methodological Pragmatism: A Systems-Theoretic Approach to the Theory of Knowledge , 1977 .

[62]  Raja Parasuraman,et al.  Varieties of attention , 1984 .

[63]  J. L. Austin,et al.  The foundations of arithmetic : a logico-mathematical enquiry into the concept of number , 1951 .

[64]  S. B. Sells,et al.  An atmosphere effect in formal syllogistic reasoning. , 1935 .

[65]  E. Byrne.  Probability and Opinion , 1968 .

[66]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

[67]  Tony Storey,et al.  Criminal Law [2nd edition] , 2002 .

[68]  A. Clark.  Being There: Putting Brain, Body, and World Together Again , 1996 .

[69]  G. Globus.  Toward a Noncomputational Cognitive Neuroscience , 1992, Journal of Cognitive Neuroscience.

[70]  P. Thagard,et al.  Computational Philosophy of Science , 1988 .

[71]  Timothy O'Connor,et al.  Persons and Causes , 2000 .

[72]  Eleanor Rosch,et al.  Principles of Categorization , 1978 .

[73]  James Franklin,et al.  The Science of Conjecture: Evidence and Probability before Pascal , 2001 .

[74]  J. Fodor.  The Modularity of mind. An essay on faculty psychology , 1986 .

[75]  D. Sperber,et al.  Précis of Relevance: Communication and Cognition , 1987 .

[76]  Ronald A. Rensink.  Seeing, sensing, and scrutinizing , 2000, Vision Research.

[77]  Gerald J. Massey.  The Fallacy behind Fallacies , 1981 .

[78]  J. David Velleman,et al.  The Possibility of Practical Reason , 1996, Ethics.

[79]  H. Hendriks-Jansen.  Catching Ourselves in the Act: Situated Activity, Interactive Emergence, Evolution, and Human Thought , 1996 .

[80]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[81]  Marco Schaerf,et al.  Tractable Reasoning via Approximation , 1995, Artif. Intell..

[82]  John Woods,et al.  Argument: Critical Thinking, Logic and the Fallacies , 2002 .

[83]  John E. Woods.  The Death of Argument , 2004 .

[84]  Richard M. Shiffrin,et al.  Attention, automatism, and consciousness. , 1997 .

[85]  H. Simon,et al.  Models of Man. , 1957 .

[86]  Dov M. Gabbay,et al.  Greek, Indian and Arabic Logic , 2004, Handbook of the History of Logic.

[87]  E. Rosch,et al.  Cognition and Categorization , 1980 .

[88]  A. Clark,et al.  Genic Representation: Reconciling Content and Causal Complexity , 1999, The British Journal for the Philosophy of Science.

[89]  Michael E. Bratman,et al.  Faces of Intention: Selected Essays on Intention and Agency , 1999 .

[90]  Robert T. Craig,et al.  Conversational coherence : form, structure, and strategy , 1983 .

[91]  I. Dennis.  The Law of Evidence , 1999 .

[92]  Michael V. Wedin,et al.  Human Nature and Natural Knowledge , 1985 .

[93]  Marcello Guarini,et al.  A Defence Of Connectionism Against The "Syntactic'' Argument , 2001, Synthese.

[94]  Gerald J. Massey.  In Defense of the Asymmetry , 1975 .

[95]  J. Benthem,et al.  Logic and Argumentation , 1996 .

[96]  Ivor Grattan-Guinness.  The mathematical turns in logic , 2004, The Rise of Modern Logic: From Leibniz to Frege.

[97]  Gerald J. Massey.  Are There Any Good Arguments That Bad Arguments Are Bad , 1975 .

[98]  Kenneth Aizawa,et al.  Representations without rules, connectionism and the syntactic argument , 1994, Synthese.

[99]  Neil MacCormick.  Argumentation and interpretation in law , 1993 .

[100]  H. Frankfurt.  The importance of what we care about: The importance of what we care about , 1988 .

[101]  J. Fodor,et al.  The Language of Thought , 1980 .

[102]  J. Cacioppo,et al.  Communication and persuasion , 1986 .

[103]  H. Keisler,et al.  Handbook of mathematical logic , 1977 .

[104]  S. Dornič,et al.  Attention and performance V , 1976 .

[105]  Marcelo Finger,et al.  Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control , 2004, J. Log. Comput..

[106]  Dov M. Gabbay,et al.  The reach of abduction : insight and trial , 2005 .