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

Language

Czech

Type of outcome

Článek v odborném periodiku

Field of Study

60300 6.3 Philosophy, Ethics and Religion

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

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

V originále

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.

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.