Matches in DBpedia 2014 for { <http://dbpedia.org/resource/John_Corcoran_(logician)> ?p ?o. }
- John_Corcoran_(logician) abstract "John Corcoran (born 1937) is a logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Eight of Corcoran’s papers have been translated into Spanish, Portuguese, and Persian; his 1989 "signature" essay was translated into all three languages. Fourteen of his papers have been reprinted; one was reprinted twice.His workon Aristotle’s logic of the Prior Analytics is regarded as being highly faithful both to the Greek text and to the historical context. It is the basis for many subsequent investigations. It was adopted for the 1989 translation of the Prior Analytics by Robin Smith and for the 2009 translation of the Prior Analytics Book A by Gisela Striker. His mathematical results on definitional equivalence of formal string theories, sciences of strings of characters over finite alphabets, are foundational for logic, formal linguistics, and computer science. A current list of Corcoran’s publications is available at ResearchGate.https://www.researchgate.net/profile/John_Corcoran2/".
- John_Corcoran_(logician) almaMater Johns_Hopkins_University.
- John_Corcoran_(logician) birthDate "1937".
- John_Corcoran_(logician) birthPlace Baltimore.
- John_Corcoran_(logician) birthPlace United_States.
- John_Corcoran_(logician) birthYear "1937".
- John_Corcoran_(logician) field Epistemology.
- John_Corcoran_(logician) field History_of_logic.
- John_Corcoran_(logician) field Linguistics.
- John_Corcoran_(logician) field Logic.
- John_Corcoran_(logician) field Mathematical_logic.
- John_Corcoran_(logician) field Ontology.
- John_Corcoran_(logician) field Philosophy_of_logic.
- John_Corcoran_(logician) field Philosophy_of_mathematics.
- John_Corcoran_(logician) knownFor Aristotle.
- John_Corcoran_(logician) knownFor George_Boole.
- John_Corcoran_(logician) knownFor Logic.
- John_Corcoran_(logician) knownFor Mathematical_logic.
- John_Corcoran_(logician) knownFor String_theory.
- John_Corcoran_(logician) thumbnail John_Corcoran_Logician2.jpg?width=300.
- John_Corcoran_(logician) viafId "109554366".
- John_Corcoran_(logician) wikiPageExternalLink thpl.
- John_Corcoran_(logician) wikiPageExternalLink review.cfm?id=18787.
- John_Corcoran_(logician) wikiPageExternalLink buffalo_logic.
- John_Corcoran_(logician) wikiPageExternalLink ~corcoran.
- John_Corcoran_(logician) wikiPageExternalLink 13183.
- John_Corcoran_(logician) wikiPageExternalLink 01445340.html.
- John_Corcoran_(logician) wikiPageExternalLink .UksmOD_-kQs.
- John_Corcoran_(logician) wikiPageExternalLink John_Corcoran2.
- John_Corcoran_(logician) wikiPageID "23686234".
- John_Corcoran_(logician) wikiPageRevisionID "596197025".
- John_Corcoran_(logician) almaMater Johns_Hopkins_University.
- John_Corcoran_(logician) birthDate "1937".
- John_Corcoran_(logician) birthPlace Baltimore.
- John_Corcoran_(logician) birthPlace United_States.
- John_Corcoran_(logician) dateOfBirth "1937".
- John_Corcoran_(logician) doctoralAdvisor "Robert McNaughton".
- John_Corcoran_(logician) fields Epistemology.
- John_Corcoran_(logician) fields History_of_logic.
- John_Corcoran_(logician) fields Linguistics.
- John_Corcoran_(logician) fields Logic.
- John_Corcoran_(logician) fields Mathematical_logic.
- John_Corcoran_(logician) fields Ontology.
- John_Corcoran_(logician) fields Philosophy_of_logic.
- John_Corcoran_(logician) fields Philosophy_of_mathematics.
- John_Corcoran_(logician) hasPhotoCollection John_Corcoran_(logician).
- John_Corcoran_(logician) knownFor "Interpretation of Aristotle’s Prior Analytics, reconstruction of Boole’s original works, work on logic, work on mathematical logic, string theory, subregular polyhedra.".
- John_Corcoran_(logician) name "Corcoran, John".
- John_Corcoran_(logician) name "John Corcoran".
- John_Corcoran_(logician) placeOfBirth Baltimore.
- John_Corcoran_(logician) placeOfBirth United_States.
- John_Corcoran_(logician) shortDescription "American logician".
- John_Corcoran_(logician) workplaces University_at_Buffalo,_The_State_University_of_New_York.
- John_Corcoran_(logician) description "American logician".
- John_Corcoran_(logician) description "American logician".
- John_Corcoran_(logician) subject Category:1937_births.
- John_Corcoran_(logician) subject Category:American_logicians.
- John_Corcoran_(logician) subject Category:American_philosophy_academics.
- John_Corcoran_(logician) subject Category:Contemporary_philosophers.
- John_Corcoran_(logician) subject Category:History_of_logic.
- John_Corcoran_(logician) subject Category:Johns_Hopkins_University_alumni.
- John_Corcoran_(logician) subject Category:Living_people.
- John_Corcoran_(logician) subject Category:Mathematical_logicians.
- John_Corcoran_(logician) subject Category:People_from_Baltimore,_Maryland.
- John_Corcoran_(logician) subject Category:University_at_Buffalo_faculty.
- John_Corcoran_(logician) type Academician109759069.
- John_Corcoran_(logician) type Adult109605289.
- John_Corcoran_(logician) type Alumnus109786338.
- John_Corcoran_(logician) type AmericanLogicians.
- John_Corcoran_(logician) type AmericanPhilosophyAcademics.
- John_Corcoran_(logician) type CausalAgent100007347.
- John_Corcoran_(logician) type ContemporaryPhilosophers.
- John_Corcoran_(logician) type Educator110045713.
- John_Corcoran_(logician) type Expert109617867.
- John_Corcoran_(logician) type Intellectual109621545.
- John_Corcoran_(logician) type JohnsHopkinsUniversityAlumni.
- John_Corcoran_(logician) type LivingPeople.
- John_Corcoran_(logician) type LivingThing100004258.
- John_Corcoran_(logician) type Logician110269785.
- John_Corcoran_(logician) type MathematicalLogicians.
- John_Corcoran_(logician) type Object100002684.
- John_Corcoran_(logician) type Organism100004475.
- John_Corcoran_(logician) type PeopleFromBaltimore,Maryland.
- John_Corcoran_(logician) type Person100007846.
- John_Corcoran_(logician) type Philosopher110423589.
- John_Corcoran_(logician) type PhysicalEntity100001930.
- John_Corcoran_(logician) type Professional110480253.
- John_Corcoran_(logician) type Scholar110557854.
- John_Corcoran_(logician) type Scientist110560637.
- John_Corcoran_(logician) type Whole100003553.
- John_Corcoran_(logician) type YagoLegalActor.
- John_Corcoran_(logician) type YagoLegalActorGeo.
- John_Corcoran_(logician) type Agent.
- John_Corcoran_(logician) type Person.
- John_Corcoran_(logician) type Scientist.
- John_Corcoran_(logician) type Person.
- John_Corcoran_(logician) type Scientist.
- John_Corcoran_(logician) type Q215627.
- John_Corcoran_(logician) type Q5.
- John_Corcoran_(logician) type Agent.