PL EN


2013 | 20 | suppl. 2 | 98 – 111
Article title

VYUŽITIE POJMU ZHODA V HYPERINTENZIONÁLNEJ DEDUKCII

Content
Title variants
EN
Prospects of the concept match in hyper-intensional deduction
Languages of publication
SK
Abstracts
EN
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 hyper-intensional framework of Transparent Intensional Logic.
Contributors
  • Katedra logiky a metodológie vied, Filozofická fakulta, Univerzita Komenského v Bratislave, Šafárikovo nám. 6, 814 99 Bratislava, Slovak Republic
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-19d3db91-20f3-4f5b-9a6c-df049a9cf471
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.