Detail príspevku/publikácie

Využitie pojmu zhoda v hyperintenzionálnej dedukcii

Organon F, 2013, vol. 20, Supplementary Issue 2, pp. 98-111.
Súbor na stiahnutie: PDF*
BibTex EndNote Tagged EndNote XML RIS

Štatistika dokumentu:

Počet prístupov: 2,874
Počet prístupov dnes: 0
Naposledy zobrazené: 05.10.2024 - 08:05
Počet stiahnutí PDF: 753

Abstrakt

The paper deals with the usefulness of Pavel Tichý’s concept of match between two (or more) constructions for the deduction and inference considerations. Tichý’s preference of the two-dimensional view on inference instead of the one-dimensional view is criticized. The reasons for the implementation of the match concept are elucidated. The logical expressiveness of the match concept is demonstrated through its implementation to the Natural Deduction System explicated in the hyperintensional framework of Transparent Intensional Logic.

Kľúčové slová

Deduction, inference, match, Natural Deduction, sequent calculus, transparent intensional logic

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).