Formális logika

Meghatározás

A formális logika a logika egy ága, amely a következtetés formális struktúráit és szabályait tanulmányozza. Célja, hogy logikai érveléseket matematikai precizitással és egyértelműséggel elemezzen, függetlenül a tartalmi jelentéstől.

Szinonimák

• szimbolikus logika
• matematikai logika
• deduktív logika

Rokon értelmű szavak

• logika
• érvelés
• formális rendszer

Ellentétes értelmű szavak

• informális logika
• tartalmi érvelés
• irracionális érvelés

Példamondatok

• A formális logika segít abban, hogy az érvelésünk koherens és következetes legyen.
• Sok filozófus a formális logikára támaszkodik a gondolatok pontos kifejtéséhez.
• A programozásban a formális logika alkalmazása elengedhetetlen a hibák elkerülésében.
• A nyelvészetben a formális logika eszközei segítik a nyelvi struktúrák elemzését.