An intuitionistic reformulation of Mally's deontic logic (Q373016): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10992-012-9242-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2084363808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Propositional lax logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5635426 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cover semantics for quantified lax logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof of the independence of the primitive symbols of Heyting's calculus of propositions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5774415 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:54, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An intuitionistic reformulation of Mally's deontic logic |
scientific article |
Statements
An intuitionistic reformulation of Mally's deontic logic (English)
0 references
21 October 2013
0 references
\textit{E. Mally}'s [Grundgesetze des Sollens: Elemente der Logik des Willens. Graz: Leuschner und Lubensky (1926)] original axioms for a deontic logic failed because, being based on classical logic, \(OA\leftrightarrow A\) is derivable. This paper considers adding those axioms to a base of intuitionistic logic, along with another axiom (A6), \(O(A\vee\neg A)\), to form the system ID. This is equivalently axiomatized by adding just the axiom \(OA\leftrightarrow\neg\neg A\) to Heyting's H. ID too fails as a deontic logic. Although \(OA\leftrightarrow A\) is not derivable, \(OA\leftrightarrow\neg\neg A\) is, as is \(OA\leftrightarrow PA\), with \(P\) the dual of \(O\), and also \(A\to OA\), and (not mentioned by the author) \(O\neg A\leftrightarrow \neg A\). The author likewise does not consider that neither (A6) nor \(OA\leftrightarrow\neg\neg A\) would seem to have any intuitionistic credentials, if \(O\) were interpreted as a deontic operator. The author does think ID has some interest as a lax logic.
0 references
deontic logic
0 references
intuitionistic logic
0 references
lax logic
0 references
0 references