Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  MATCH
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

VYUŽITIE POJMU ZHODA V HYPERINTENZIONÁLNEJ DEDUKCII

100%
Bielik L., Gahér F.
Organon F. medzinárodný časopis pre analytickú filozofiu
|
2013
|
vol. 20
|
issue suppl. 2
98 – 111
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.