| Birthplace
|
http://dbpedia.org/resource/Summit%2C_New_Jersey +
|
| http://dbpedia.org/ontology/abstract
|
Kai Frederick Wehmeier (born 1968) is a Ge … Kai Frederick Wehmeier (born 1968) is a German-American philosopher and logician. He is best known for proving that the fragment of Frege's inconsistent logical theory of Grundgesetze der Arithmetik becomes consistent upon restricting the complexity of comprehension formulas in the second-order comprehension schema to , for his development of a system of subjunctive modal logic and its use in rebutting Kripke's modal argument against description theories of proper names, as well as for refining and defending the thesis that there is no binary identity relation between objects. Wehmeier is currently a professor in the Department of Logic and Philosophy of Science and the Department of Philosophy at the University of California, Irvine. He is also the director of UC Irvine's Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA).ophy, History, and Applications (C-ALPHA).
, Kai Frederick Wehmeier (* 15. März 1968 in Summit, New Jersey) ist ein deutsch-amerikanischer Logiker und Philosoph. Er ist Professor für Logik und Wissenschaftsphilosophie an der University of California, Irvine.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Metaphysics +
, http://dbpedia.org/resource/Analytic_Philosophy +
, http://dbpedia.org/resource/Ludwig_Wittgenstein +
, http://dbpedia.org/resource/Philosophy_of_mathematics +
, http://dbpedia.org/resource/Philosophy_of_logic +
, http://dbpedia.org/resource/Philosophy_of_language +
, http://dbpedia.org/resource/Logic +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Ruhr_University_Bochum +
, http://dbpedia.org/resource/University_of_California%2C_Berkeley +
, http://dbpedia.org/resource/University_of_M%C3%BCnster +
|
| http://dbpedia.org/ontology/birthDate
|
"1968-03-15"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Justus_Diller +
|
| http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/United_States +
, http://dbpedia.org/resource/Germany +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://sites.google.com/site/kfwehmeier/home +
, http://www.calpha.ss.uci.edu/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
43543853
|
| http://dbpedia.org/ontology/wikiPageLength
|
3685
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1019425434
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Analytic_Philosophy +
, http://dbpedia.org/resource/Consistency +
, http://dbpedia.org/resource/University_of_M%C3%BCnster +
, http://dbpedia.org/resource/The_Journal_of_Philosophy +
, http://dbpedia.org/resource/Category:University_of_California%2C_Irvine_faculty +
, http://dbpedia.org/resource/Philosophy_of_language +
, http://dbpedia.org/resource/Ruhr_University_Bochum +
, http://dbpedia.org/resource/Australasian_Journal_of_Philosophy +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/Subjunctive_mood +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Category:20th-century_American_philosophers +
, http://dbpedia.org/resource/Summit%2C_New_Jersey +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/United_States +
, http://dbpedia.org/resource/Second-order_logic +
, http://dbpedia.org/resource/Saul_Kripke +
, http://dbpedia.org/resource/Ludwig_Wittgenstein +
, http://dbpedia.org/resource/University_of_California%2C_Irvine +
, http://dbpedia.org/resource/Journal_of_Philosophical_Logic +
, http://dbpedia.org/resource/Category:21st-century_American_philosophers +
, http://dbpedia.org/resource/Justus_Diller +
, http://dbpedia.org/resource/Philosophy_of_mathematics +
, http://dbpedia.org/resource/Synthese +
, http://dbpedia.org/resource/Category:American_logicians +
, http://dbpedia.org/resource/Identity_%28philosophy%29 +
, http://dbpedia.org/resource/Descriptivist_theory_of_names +
, http://dbpedia.org/resource/Germany +
, http://dbpedia.org/resource/University_of_California%2C_Berkeley +
, http://dbpedia.org/resource/Category:1968_births +
, http://dbpedia.org/resource/Metaphysics +
, http://dbpedia.org/resource/Philosophy_of_logic +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Hyperarithmetical_theory +
, http://dbpedia.org/resource/Property_%28philosophy%29 +
|
| http://dbpedia.org/property/almaMater
|
University of California, Berkeley ; Ruhr-Universität Bochum, Germany ; Westfälische Wilhelms-Universität Münster, Germany
|
| http://dbpedia.org/property/birthDate
|
"1968-03-15"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Summit%2C_New_Jersey +
|
| http://dbpedia.org/property/doctoralAdvisor
|
Justus Diller, Wolfram Pohlers
|
| http://dbpedia.org/property/field
|
Logic, Philosophy of logic, Philosophy of language, Philosophy of mathematics, Metaphysics, Early Analytic Philosophy
|
| http://dbpedia.org/property/imageSize
|
100
|
| http://dbpedia.org/property/name
|
Kai Wehmeier
|
| http://dbpedia.org/property/nationality
|
http://dbpedia.org/resource/United_States +
, http://dbpedia.org/resource/Germany +
|
| http://dbpedia.org/property/thesisTitle
|
Semantical Investigations in Intuitionistic First-order Arithmetic
|
| http://dbpedia.org/property/thesisYear
|
1996
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
|
| http://dbpedia.org/property/workInstitutions
|
http://dbpedia.org/resource/University_of_California%2C_Irvine +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:20th-century_American_philosophers +
, http://dbpedia.org/resource/Category:1968_births +
, http://dbpedia.org/resource/Category:21st-century_American_philosophers +
, http://dbpedia.org/resource/Category:University_of_California%2C_Irvine_faculty +
, http://dbpedia.org/resource/Category:American_logicians +
, http://dbpedia.org/resource/Category:Living_people +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/177144898745150290458 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Kai_Wehmeier?oldid=1019425434&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Kai_Wehmeier +
|
| http://xmlns.com/foaf/0.1/name
|
Kai Wehmeier
|
| owl:sameAs |
http://viaf.org/viaf/145144814486686259255 +
, http://dbpedia.org/resource/Kai_Wehmeier +
, https://global.dbpedia.org/id/gjY3 +
, http://d-nb.info/gnd/173046754 +
, http://www.wikidata.org/entity/Q1721362 +
, http://de.dbpedia.org/resource/Kai_Wehmeier +
, http://yago-knowledge.org/resource/Kai_Wehmeier +
, http://data.bibliotheken.nl/id/thes/p217813860 +
, https://dblp.org/pid/56/4299 +
, http://viaf.org/viaf/177144898745150290458 +
, http://rdf.freebase.com/ns/m.011l7gf5 +
, http://d-nb.info/gnd/186199155 +
, http://d-nb.info/gnd/114922144 +
|
| rdf:type |
http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/ontology/Species +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q215627 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
|
| rdfs:comment |
Kai Frederick Wehmeier (* 15. März 1968 in Summit, New Jersey) ist ein deutsch-amerikanischer Logiker und Philosoph. Er ist Professor für Logik und Wissenschaftsphilosophie an der University of California, Irvine.
, Kai Frederick Wehmeier (born 1968) is a Ge … Kai Frederick Wehmeier (born 1968) is a German-American philosopher and logician. He is best known for proving that the fragment of Frege's inconsistent logical theory of Grundgesetze der Arithmetik becomes consistent upon restricting the complexity of comprehension formulas in the second-order comprehension schema to , for his development of a system of subjunctive modal logic and its use in rebutting Kripke's modal argument against description theories of proper names, as well as for refining and defending the thesis that there is no binary identity relation between objects. binary identity relation between objects.
|
| rdfs:label |
Kai Wehmeier
|
