Logică simbolică

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Symbolic Logic

Conținutul cărții:

Această carte oferă o introducere cuprinzătoare la elementele esențiale ale logicii simbolice standard (clasice). Subiectele cheie abordate includ:

- Natura caracteristică și domeniul de aplicare al logicii ca disciplină.

- Construcția unei serii de limbaje formale cu nume distincte, potrivite pentru traducerea formală.

- Modele semantice.

- Construcția de proceduri de decizie.

- Executarea aranjamentelor de teorie a dovezilor, cum ar fi deducția naturală și sistemele de secvențe de dovezi.

Cartea acoperă atât semantica, cât și teoria dovezilor din logica sentențială (propozițională) standard și logica predicată (de ordinul întâi). Alte subiecte abordate includ: arborii de parsare, extragerea notațiilor alternative (de exemplu, notația poloneză), teoria dovezilor în stil Fitch, sistemele de dovezi secvențiale și "arborescente", comparații și contraste cu logica intuiționistă și prezentări ale modelelor logicii cu predicate. Un capitol auxiliar privind elementele teoriei seturilor este plasat în mod convenabil la sfârșit și include perspective asupra sistematizării Zermelo-Fraenkel a teoriei seturilor. Filosofia logicii este, de asemenea, explorată.

Exercițiile din text oferă instrucțiuni cu privire la inducția matematică pentru construcția formulelor, teste pentru caracterul bine formulat al notației poloneze și completitudinea funcțională.

Logica simbolică este o lectură esențială pentru toți studenții la filosofie care urmează cursuri de logică formală de nivel intermediar și va fi de asemenea atractivă pentru studenții sârguincioși din primul an de logică. Textul este plin de exerciții atât cu privire la mecanismul formal, cât și la aspectele filosofice ale logicii.