About: Ruth Barcan Marcus     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatNewYorkUniversityAlumni, within Data Space : live.dbpedia.org associated with source document(s)
QRcode icon
http://live.dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRuth_Barcan_Marcus

Ruth Barcan Marcus (; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. (She would also introduce the now standard "box" operator for necessity in the process.) Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their

AttributesValues
rdf:type
rdfs:label
  • Ruth Barcan Marcus
rdfs:comment
  • Ruth Barcan Marcus (; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. (She would also introduce the now standard "box" operator for necessity in the process.) Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their
sameAs
foaf:name
  • Ruth Barcan Marcus
name
  • Ruth Barcan Marcus
foaf:depiction
  • External Image
birth place
death place
foaf:isPrimaryTopicOf
thumbnail
death place
death date
birth place
birth date
dct:subject
Faceted Search & Find service v1.17_git93 as of Oct 15 2021


Alternative Linked Data Documents: PivotViewer | 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 08.03.3322 as of Dec 15 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory, 185 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2022 OpenLink Software