Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
David Makinson and the Extension of Classical Logic
Philosophy and History, KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.ORCID iD: 0000-0003-0071-3919
2014 (English)Book (Refereed)
Abstract [en]

There are two major ways to deal with the limitations of classical logic. It can be replaced by systems representing alternative accounts of the laws of thought (non-classical logic), or it can be supplemented with non-inferential mechanisms. David Makinson has a leading role as proponent of the latter approach in the form of the inferential-preferential method in which classical logic is combined with representations of preference or choice. This has turned out to be a highly efficient and versatile method. Its applications in non-monotonic logic and belief revision are used as examples.

Place, publisher, year, edition, pages
Springer , 2014. p. 11-18
Keywords [en]
Belief revision, Classical logic, David Makinson, Inferential-preferential method, Input/output logic, Nonmonotonic logic
National Category
Philosophy
Identifiers
URN: urn:nbn:se:kth:diva-261540DOI: 10.1007/978-94-007-7759-0_2Scopus ID: 2-s2.0-85067944878ISBN: 978-94-007-7758-3 (print)OAI: oai:DiVA.org:kth-261540DiVA, id: diva2:1360551
Note

QC 20191014

Available from: 2019-10-14 Created: 2019-10-14 Last updated: 2020-03-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopushttps://www2.scopus.com/inward/record.uri?eid=2-s2.0-85067944878&doi=10.1007%2f978-94-007-7759-0_2&partnerID=40&md5=a1b6d27577319e652fa9f749b44abe6c

Authority records BETA

Hansson, Sven Ove

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
Philosophy
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf