• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Pavel Tichý     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Whole100003553, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: Thingpersonyago:WikicatCzechLogiciansyago:WikicatCzechMathematiciansyago:WikicatCzechPhilosophersyago:WikicatPeopleFromDunedinyago:CausalAgent100007347yago:Expert109617867yago:Intellectual109621545yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Person100007846yago:Philosopher110423589yago:PhysicalEntity100001930yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Whole100003553 New Facet based on Instances of this Class

Pavel Tichý (Czech: [ˈpavɛl ˈcɪxiː]; 18 February 1936, Brno, Czechoslovakia – 26 October 1994, Dunedin, New Zealand) was a Czech logician, philosopher and mathematician. He worked in the field of intensional logic and founded transparent intensional logic, an original theory of the logical analysis of natural languages – the theory is devoted to the problem of saying exactly what it is that we learn, know and can communicate when we come to understand what a sentence means. He spent roughly 25 years working on it. His main work is a book The Foundations of Frege's Logic, published by Walter de Gruyter in 1988.