Formulace Leibnizova zákona identity v TIL

RACLAVSKÝ, Jiří. Formulace Leibnizova zákona identity v TIL (Formulation of Leibniz Law in TIL). Pro-Fil. Brno, 2000, vol. 1, No 4, p. 1-9, 10 pp. ISSN 1212-9097.

Basic information

• Original name: Formulace Leibnizova zákona identity v TIL
• Name in Czech: Formulace Leibnizova zákona identity v TIL
• Name (in English): Formulation of Leibniz Law in TIL
• Authors: RACLAVSKÝ, Jiří (203 Czech Republic, guarantor).
• Edition: Pro-Fil, Brno, 2000, 1212-9097.

Other information

• Original language: Czech
• Type of outcome: Article in a journal
• Field of Study: 60300 6.3 Philosophy, Ethics and Religion
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: http://profil.muni.cz/04_2000/raclavsky_leibnizuv_zakon.html
• RIV identification code: RIV/00216224:14210/00:00011280
• Organization unit: Faculty of Arts
• Keywords in English: Leibniz law; transparent intensional logic
• Tags: Leibniz law, transparent intensional logic

Abstract

Aniž bychom podrobně zkoumali genezi problematizace Leibnizova zákona identity či principu nerozlišitelnosti identických věcí, jaká např. probíhala souvislosti modálních logik, je možné a zřejmě i žádoucí navrhnout formulaci (a vyložení) tohoto Leibnizova zákona i obou principů pomocí prostředků některé intenzionální logiky. Z hlediska intenzionálních logik patrně zkoumání problému identity individuí na základě vlastností postrádala odlišení empirických vlastností od vlastnosti neempirických, proto se přikláním ke koncepci Transparentní intenzionální logiky (TIL), neboť analýzu výrazů o vlastnostech (a nejen jich) zpřesnila přidáním parametru pro temporální závislosti.

Abstract (in English)

For proper understanding of Leibniz law of identity it is necessary to formulate it explicitly in terms of suitable intensional logic because properties are concieved as intensions (functions from possible worlds). Such an apparatus one can find in Tichýs transparent intensional logic.