VYUŽITIE POJMU ZHODA V HYPERINTENZIONÁLNEJ DEDUKCII

• Autorzy: Lukáš Bielik , František Gahér

Warianty tytułu

EN

Prospects of the concept match in hyper-intensional deduction

• Języki publikacji: SK

Abstrakty

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.

Słowa kluczowe

EN

DEDUCTION; INFERENCE; MATCH; NATURAL DEDUCTION; TRANSPARENT INTENSIONAL LOGIC

• Wydawca: Institute of Philosophy of the Slovak Academy of Sciences and Institute of Philosophy of Academy of Sciences of Czech Republic
• Czasopismo: Organon F. medzinárodný časopis pre analytickú filozofiu
• Rocznik: 2013
• Tom: 20
• Numer: suppl. 2
• Strony: 98 – 111

Twórcy

autor

Lukáš Bielik

• Katedra logiky a metodológie vied, Filozofická fakulta, Univerzita Komenského v Bratislave, Šafárikovo nám. 6, 814 99 Bratislava, Slovak Republic,

autor

František Gahér