About: Formulace Leibnizova zákona identity v TIL     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • 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.
  • 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. (cs)
  • 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. (en)
Title
  • Formulace Leibnizova zákona identity v TIL
  • Formulace Leibnizova zákona identity v TIL (cs)
  • Formulation of Leibniz Law in TIL (en)
skos:prefLabel
  • Formulace Leibnizova zákona identity v TIL
  • Formulace Leibnizova zákona identity v TIL (cs)
  • Formulation of Leibniz Law in TIL (en)
skos:notation
  • RIV/00216224:14210/00:00011280!RIV08-GA0-14210___
http://linked.open.../vavai/riv/strany
  • 1-9
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA401/99/0006)
http://linked.open...iv/cisloPeriodika
  • 4
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 711454
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14210/00:00011280
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Leibniz law; transparent intensional logic (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • CZ - Česká republika
http://linked.open...ontrolniKodProRIV
  • [F398BF538AD6]
http://linked.open...i/riv/nazevZdroje
  • Pro-Fil
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 1
http://linked.open...iv/tvurceVysledku
  • Raclavský, Jiří
issn
  • 1212-9097
number of pages
http://localhost/t...ganizacniJednotka
  • 14210
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software