Roberta Ballarin
Biographic Data
| ID | 4281659 |
|---|---|
| NAME | Roberta Ballarin |
| GIVEN NAMES | Roberta |
| FAMILY NAME | Ballarin |
| SIGNATURE | BALLARIN R |
| AFFILIATIONS | University of British Columbia |
| ORCID | 0000-0001-7204-1192 |
| VERIFIED | Yes |
| TOTAL WORKS | 4 |
| TOTAL CITATIONS | 1 |
| WORKS AS AUTHOR | 4 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2014 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 1 |
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
In this paper, I examine Ruth Barcan Marcus's early formal work on modal systems and the deduction theorem, both for the material and the strict conditional. Marcus proved that the deduction theorem for the material conditional does not hold for system S2 but holds for S4. This last result is at odds with the recent claim that without proper restrictions the deduction theorem fails also for S4. I explain where the contrast stems from. For the str…
On the Genealogy of Modality
In this article I contrast two opposing forms of essentialism, definitional and transcendental versus productivist and historical, and trace both forms back to Kripke's Naming and Necessity (1980) . Definitional essentialism, as developed by Fine, centers on kind-membership. Historical essentialism, as anticipated by Prior and developed by Almog, puts origin at its center. The article focuses on the fundamentally distinct manners in which these t…
Pursuing Meaning
Eight years after her first monograph on minimal semantics, in Pursuing Meaning Borg returns to the topic and presents a systematic defence of semantic minimalism against competing semantic theories. The two main defining features of Borg's minimalism characterize it as a formal semantics. They are the theses that the semantic content of a well-formed declarative sentence is both (i) propositional, i.e., truth evaluable, and (ii) dependent solely…
Disjunctive Effects and the Logic of Causation
We argue in favor of merely disjunctive effects, namely cases in which an event or fact, C, is not a cause of an effect, E1, and is also not a cause of a distinct effect, E2, and yet C is a cause of the disjunctive effect (E1 or E2). Disjunctive effects let us retain the additivity and the distributivity of causation. According to additivity, if C is a cause of E1 and C is a cause of E2, then C is a cause of E1 and E2. According to distributivity…
Disjunctive Effects and the Logic of Causation
We argue in favor of merely disjunctive effects, namely cases in which an event or fact, C, is not a cause of an effect, E1, and is also not a cause of a distinct effect, E2, and yet C is a cause of the disjunctive effect (E1 or E2). Disjunctive effects let us retain the additivity and the distributivity of causation. According to additivity, if C is a cause of E1 and C is a cause of E2, then C is a cause of E1 and E2. According to distributivity…
Disjunctive Effects and the Logic of Causation
We argue in favor of merely disjunctive effects, namely cases in which an event or fact, C, is not a cause of an effect, E1, and is also not a cause of a distinct effect, E2, and yet C is a cause of the disjunctive effect (E1 or E2). Disjunctive effects let us retain the additivity and the distributivity of causation. According to additivity, if C is a cause of E1 and C is a cause of E2, then C is a cause of E1 and E2. According to distributivity…
Pursuing Meaning
Eight years after her first monograph on minimal semantics, in Pursuing Meaning Borg returns to the topic and presents a systematic defence of semantic minimalism against competing semantic theories. The two main defining features of Borg's minimalism characterize it as a formal semantics. They are the theses that the semantic content of a well-formed declarative sentence is both (i) propositional, i.e., truth evaluable, and (ii) dependent solely…
On the Genealogy of Modality
In this article I contrast two opposing forms of essentialism, definitional and transcendental versus productivist and historical, and trace both forms back to Kripke's Naming and Necessity (1980) . Definitional essentialism, as developed by Fine, centers on kind-membership. Historical essentialism, as anticipated by Prior and developed by Almog, puts origin at its center. The article focuses on the fundamentally distinct manners in which these t…
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
In this paper, I examine Ruth Barcan Marcus's early formal work on modal systems and the deduction theorem, both for the material and the strict conditional. Marcus proved that the deduction theorem for the material conditional does not hold for system S2 but holds for S4. This last result is at odds with the recent claim that without proper restrictions the deduction theorem fails also for S4. I explain where the contrast stems from. For the str…
Philosophy (4 works) · Epistemology (3 works) · Philosophy and Theoretical Science (3 works) · Computer Science (2 works) · Linguistics (2 works) · Logic, Reasoning, and Knowledge (2 works) · Mathematics (2 works) · Action (physics) (1 work) · Advanced Algebra and Logic (1 work) · Analogy (1 work)