Naslov
Logical laws in a formalization of a Kantian concept theory

Autori
Kovač, Srećko

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Formal Methods and Science in Philosophy / Kovač, Srećko ; Świętorzecka, Kordula - Zagreb : Institut za filozofiju, 2017, 7-7

Skup
Formal Methods and Science in Philosophy II

Mjesto i datum
Dubrovnik, Hrvatska, 04.05.2017. - 06.05.2017

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
formal system, logical laws, forms of judgment, Kant, justification

Sažetak
We reconstruct the logical role of the laws of non-contradiction, sufficient reason and excluded middle for a formalized theory of concepts as it can be established and formalized on the basis of Kantian conceptions of “general” and transcendental” logic. We further develop the approaches of (Kovač 2013, 2015), and show, in particular, that features of justification logic (contained in the logic of “hypothetical judgment”) should be assumed to enable the derivability within the concept theory. A semantic labelled tree structure is used for modeling the resulting formal concept theory. The role of subject-predicate distinction is commented on with respect to its role in defining logical opposition and in the avoidance of logical and semantic antinomies.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA