Aussagen- und Pradikatenlogik

Dieses Lehrbuch vermittelt eines der wichtigsten Werkzeuge der Philosophie durch die Einf�hrung in die Grundideen einer formalen Sprache. Schrittweise werden so die relevanten Sprachstrukturen aufgedeckt, die dann in der Aussagen- und Pr�dikatenlogik formalisiert werden. Sowohl die Semantik als auch ein Kalk�l des nat�rlichen Schlie�ens werden jeweils detailliert diskutiert. In Kombination mit einer Lernplattform wird der zentrale Stoff anwendungsorientiert und plastisch vermittelt, was die auch zum Selbststudium geeignete Einf�hrung zum idealen Begleiter f�r das Philosophiestudium macht.

Acest manual invata unul dintre cele mai importante instrumente din filozofie prin introducerea ideilor de baza ale unui limbaj formal. In acest fel, structurile lingvistice relevante sunt revelate treptat, care sunt apoi formalizate in logica propozitionala si predicata.