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
LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
Stockholm University, Faculty of Humanities, Department of Philosophy. University of Johannesburg, South Africa.ORCID iD: 0000-0002-0157-1644
2018 (English)In: The Review of Symbolic Logic, ISSN 1755-0203, E-ISSN 1755-0211, Vol. 11, no 3, p. 470-506Article in journal (Refereed) Published
Abstract [en]

We introduce and study formal logics for reasoning about propositional determinacy and independence. These relate naturally with the philosophical concept of supervenience, which can also be regarded as a generalisation of logical consequence. Propositional Dependence Logic D, and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics L_D and L_I, based on Kripke semantics, and propose them as alternatives for D and I, respectively. We analyse and compare the relative expressive powers of these four logics and also discuss how they relate to the natural language use and meaning of the concepts of determinacy and independence. We argue that L_D and L_I naturally resolve a range of interpretational problems that arise in D and I. We also obtain sound and complete axiomatizations for L_D and L_I and relate them with the recently studied inquisitive logics and their semantics.

Place, publisher, year, edition, pages
2018. Vol. 11, no 3, p. 470-506
Keywords [en]
determinancy, dependence, team semantics, modal logic, natural language
National Category
Philosophy, Ethics and Religion
Research subject
Philosophy
Identifiers
URN: urn:nbn:se:su:diva-155806DOI: 10.1017/S1755020317000272ISI: 000445801300003OAI: oai:DiVA.org:su-155806DiVA, id: diva2:1202579
Funder
Swedish Research Council, 2015-04388Available from: 2018-04-27 Created: 2018-04-27 Last updated: 2018-10-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Goranko, Valentin
By organisation
Department of Philosophy
In the same journal
The Review of Symbolic Logic
Philosophy, Ethics and Religion

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 9 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