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

Property Value
dbo:abstract
  • 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 time, but actually – I believe – true." (en)
dbo:birthDate
  • 1921-08-02 (xsd:date)
dbo:birthPlace
dbo:birthYear
  • 1921-01-01 (xsd:date)
dbo:deathDate
  • 2012-02-19 (xsd:date)
dbo:deathPlace
dbo:deathYear
  • 2012-01-01 (xsd:date)
dbo:era
dbo:influenced
dbo:influencedBy
dbo:mainInterest
dbo:notableIdea
dbo:philosophicalSchool
dbo:region
dbo:thumbnail
dbo:wikiPageEditLink
dbo:wikiPageExternalLink
dbo:wikiPageExtracted
  • 2019-10-19 04:07:38Z (xsd:date)
dbo:wikiPageHistoryLink
dbo:wikiPageID
  • 369743 (xsd:integer)
dbo:wikiPageLength
  • 18719 (xsd:integer)
dbo:wikiPageModified
  • 2019-10-19 04:07:02Z (xsd:date)
dbo:wikiPageOutDegree
  • 108 (xsd:integer)
dbo:wikiPageRevisionID
  • 921986072 (xsd:integer)
dbo:wikiPageRevisionLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
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 (en)
rdfs:label
  • Ruth Barcan Marcus (en)
owl:sameAs
foaf:depiction
foaf:gender
  • female (en)
foaf:isPrimaryTopicOf
foaf:name
  • Ruth Barcan Marcus (en)
  • (en)
is dbo:influenced of
is dbo:influencedBy of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of