What question did this study set out to answer?

To formulate a formal logical framework for the explanatory connective 'because' by examining its interactions with standard truth-functional operators.

September 1, 2011The Review of Symbolic Logic

A Logic for ‘Because’

View Full Paper

Ask AI

Bookmark

Authors

BSBenjamin SchniederUniversity of Vienna

Discussion

Member takes

Implication

Theoretical analysis uncovers systematic logical interactions between explanatory and truth-functional connectives, indicating a framework for reasoning about causation and explanation.

Key Points

To formulate a formal logical framework for the explanatory connective 'because' by examining its interactions with standard truth-functional operators.
Logical and philosophical analysis of explanatory statements in discourse.
Formal modeling of systematic relationships between the non-truth-functional connective 'because' and classical truth-functional connectives.
Establishes a dedicated formal logic characterizing valid inference patterns involving 'because'.
Demonstrates coherent interactions between explanatory claims and standard propositional connectives.

Cite This Study

Benjamin Schnieder (2011) studied this question.

synapsesocial.com/papers/69d842937392c8ce61beeaa8 https://doi.org/10.1017/s1755020311000104

View Full Paper

Ask AI

Bookmark

Implication

Theoretical analysis uncovers systematic logical interactions between explanatory and truth-functional connectives, indicating a framework for reasoning about causation and explanation.

A Logic for ‘Because’

Discussion

Member takes

Implication

Key Points

Cite This Study

A Logic for ‘Because’

Discussion

Member takes

Implication

Key Points

Cite This Study

Also Consider

Also Consider