TY - CHAP

T1 - Logic and Mathematics

AU - Agassi, Joseph

N1 - Publisher Copyright:
© 2018, Springer Nature Switzerland AG.

PY - 2018

Y1 - 2018

N2 - It is Frege, not Boole, who is the father of modern logic. What exactly is modern about modern logic? Why did Frege develop it? The answers given here are these. Modern logic is both comprehensive and fully formal. The comprehensiveness in question is the sufficiency for the purposes of mathematics. (Other kinds of comprehensiveness are possible.) Fully formal systems are such that computers can use them. The idea of a fully formal language is Frege’s; he offered fully formal inferences. Russell was the first to offer a formal language proper. These days, when computers are parts of everyday life, developing a formal system is hardly a challenge. At the time, Russell noted, only two formal systems were available, his and that of Wittgenstein. Most significantly, it was Frege who rendered logic unmistakably the logic of statements; analysis of concepts thus turned into (post-Wittgenstein) analysis of statements. (Regrettably, on this too many analytic philosophers are not au courant.)

AB - It is Frege, not Boole, who is the father of modern logic. What exactly is modern about modern logic? Why did Frege develop it? The answers given here are these. Modern logic is both comprehensive and fully formal. The comprehensiveness in question is the sufficiency for the purposes of mathematics. (Other kinds of comprehensiveness are possible.) Fully formal systems are such that computers can use them. The idea of a fully formal language is Frege’s; he offered fully formal inferences. Russell was the first to offer a formal language proper. These days, when computers are parts of everyday life, developing a formal system is hardly a challenge. At the time, Russell noted, only two formal systems were available, his and that of Wittgenstein. Most significantly, it was Frege who rendered logic unmistakably the logic of statements; analysis of concepts thus turned into (post-Wittgenstein) analysis of statements. (Regrettably, on this too many analytic philosophers are not au courant.)

UR - http://www.scopus.com/inward/record.url?scp=85114741833&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-00117-9_4

DO - 10.1007/978-3-030-00117-9_4

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85114741833

T3 - Synthese Library

SP - 69

EP - 89

BT - Synthese Library

PB - Springer Science and Business Media B.V.

ER -