Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Boulesic-Doxastic Logic
Stockholms universitet, Humanistiska fakulteten, Filosofiska institutionen.
Rekke forfattare: 12019 (engelsk)Inngår i: Australasian Journal of Logic, ISSN 1448-5052, Vol. 16, nr 3, s. 83-132Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part. By 'boulesic logic' I mean 'the logic of the will', and by `doxastic logic' I mean 'the logic of belief'. The first part deals with 'boulesic' concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of boulesic expression: 'individual x wants it to be the case that' and 'individual x accepts that it is the case that'. The second part deals with 'doxastic' concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of doxastic expression: 'individual x believes that' and 'it is imaginable to individual x that'. Boulesic-doxastic logic investigates how these concepts are related to each other. Boulesic logic is a new kind of logic. Doxastic logic has been around for a while, but the approach to this branch of logic in this paper is new. Each system is combined with modal logic with two kinds of modal operators for historical and absolute necessity and predicate logic with necessary identity and 'possibilise quantifiers. I use a kind of possible world semantics to describe the systems semantically. I also sketch out how our basic language can be extended with propositional quantifiers. All the systems developed in this paper are new.

sted, utgiver, år, opplag, sider
2019. Vol. 16, nr 3, s. 83-132
Emneord [en]
Boulesic-doxastic logic, Boulesic logic, doxastic logic, modal logic, semantic tableaux, practical rationality
HSV kategori
Identifikatorer
URN: urn:nbn:se:su:diva-171204DOI: 10.26686/ajl.v16i3.4158ISI: 000472772600003OAI: oai:DiVA.org:su-171204DiVA, id: diva2:1339286
Tilgjengelig fra: 2019-07-28 Laget: 2019-07-28 Sist oppdatert: 2019-07-28bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Søk i DiVA

Av forfatter/redaktør
Rönnedal, Daniel
Av organisasjonen
I samme tidsskrift
Australasian Journal of Logic

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 17 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf