LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
kehtivate loogiliste vormidega ja millised mitte. Sellist loogikat on alates I. Kantist nimetatud
formaalseks loogikaks, hiljem on seda nimetatud ka sümbolloogikaks, sest formaalset
loogikat on võimalik kirja panna sümbolite abil, nt G. Ryle (19001976) samastas formaalse
loogika sümbolloogikaga. Ryle võrdles formaalset loogikat rividrilliga, samas kui sõda sunnib
sõdurile peale tegelikke lahinguid. Loogika on vajalik, nii nagu väljaõppinud sõduril on
tegelikes lahingutes ka drillist kasu. Ent sellest ei piisa. Ryle kirjutas: ,,Kuid on ilmne, et
võitlemist ei saa taandada drillile, kartograafiat geomeetriale ega kauplemist arvete
tasakaalustamisele. [---] Filosoof teeb tahes-tahtmata seda, mida võiks nimetada
,,mitteformaalseks loogikaks", ja mõte, et tema probleeme, tulemusi või meetodeid tuleks
või saaks formaliseerida, on sama ekslik kui vastav mõte sõduri, kartograafi või kaupmehe
kohta