The paper focuses on the problem of identification of laws of nature and their demarcation from other kinds of regularities. The problem is approached from the viewpoint of several metaphysical, epistemological, logical and methodological criteria. Firstly, several dominant approaches to the problem are introduced. Secondly, the logical and semantic explicatory framework - Transparent Intensional Logic - is presented for the sake of clarification of logical forms of sentences that are supposed to express the laws of nature. Finally, a complementary strategy to the demarcation problem is proposed, including reconsideration of relevant metaphysical, epistemological, logical and methodological requirements and principles behind the former conceptions., Příspěvek je zaměřen na problematiku identifikace přírodních zákonů a jejich vymezení od jiných druhů zákonitostí. K problému je přistupováno z hlediska několika metafyzických, epistemologických, logických a metodologických kritérií. Nejprve je představeno několik dominantních přístupů k problému. Za druhé, logický a sémantický vysvětlující rámec - Transparent Intensional Logic - je prezentován pro objasnění logických forem vět, které mají vyjadřovat přírodní zákony. V neposlední řadě je navržena komplementární strategie k demarkačnímu problému, včetně přehodnocení relevantních metafyzických, epistemologických, logických a metodických požadavků a principů, které jsou v pozadí dřívějších koncepcí., and Lukáš Bielik
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., Příspěvek se zabývá užitečností konceptu shody mezi dvěma (nebo více) konstrukcemi Pavla Tichého pro úvahy dedukce a inference. Tichý preferenci dvojrozměrného pohledu na odvození namísto jednorozměrného pohledu je kritizován. Jsou vysvětleny důvody pro realizaci konceptu shody . Logická expresivita konceptu zápasu je demonstrována jeho implementací do systému přirozeného odpočtu, který je vysvětlen v hyperintenzionálním rámci transparentní intenzivní logiky., and František Gahér ; Lukáš Bielik