Tingivate väidete kasutamine põhjustab raskesti hoomatavaid keeruakusi, materiaalsete implikatsioonide ja lausearvutuse kasutamisega on võimalik süllogismide kehtivust ja kehtetust näidata mitmel ja suhteliselt lihtsal viisil: tõesustabelid, tõesuspuud jt. Kuna süllogismide kehtivuse hindamisel pole vahet, kas kasutati tingivat väidet või materiaalset implikatsiooni, siis eelistatakse tänapäeval materiaalseid implikatsioone tingivatele väidetele. Siiski ei tohiks materiaalseid implikatsioone ja tingivaid väiteid samastada sel määral, et kaduma lähevad need erinevused, mis ilmnevad väidete tõlgendamisel. Ent tõlgendamise probleemi on võimalik formaalse kehtivuse hindamise probleemist lahutada. Me võime valida käsitlusviisi, mis võimaldab kui-siis-lauseid sisaldavaid süllogisme käsitleda vaid materiaalsete implikatsioonide abil, kasutades kõiki lausearvutuse formalismi võimalusi.
Tingivate väidete kasutamine põhjustab raskesti hoomatavaid keeruakusi, materiaalsete implikatsioonide ja lausearvutuse kasutamisega on võimalik süllogismide kehtivust ja kehtetust näidata mitmel ja suhteliselt lihtsal viisil: tõesustabelid, tõesuspuud jt. Kuna süllogismide kehtivuse hindamisel pole vahet, kas kasutati tingivat väidet või materiaalset implikatsiooni, siis eelistatakse tänapäeval materiaalseid implikatsioone tingivatele väidetele. Siiski ei tohiks materiaalseid implikatsioone ja tingivaid väiteid samastada sel määral, et kaduma lähevad need erinevused, mis ilmnevad väidete tõlgendamisel. Ent tõlgendamise probleemi on võimalik formaalse kehtivuse hindamise probleemist lahutada. Me võime valida käsitlusviisi, mis võimaldab kui-siis-lauseid sisaldavaid süllogisme käsitleda vaid materiaalsete implikatsioonide abil, kasutades kõiki lausearvutuse formalismi võimalusi.
annaabi.ee 
