References of "Review of Symbolic Logic"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailConciliatory reasoning, self-defeat, and abstract argumentation
Knoks, Aleks UL

in Review of Symbolic Logic (2021), First View

According to conciliatory views on the significance of disagreement, it’s rational for you to become less confident in your take on an issue in case your epistemic peer’s take on it is different. These ... [more ▼]

According to conciliatory views on the significance of disagreement, it’s rational for you to become less confident in your take on an issue in case your epistemic peer’s take on it is different. These views are intuitively appealing, but they also face a powerful objection: in scenarios that involve disagreements over their own correctness, conciliatory views appear to self-defeat and, thereby, issue inconsistent recommendations. This paper provides a response to this objection. Drawing on the work from defeasible logics paradigm and abstract argumentation, it develops a formal model of conciliatory reasoning and explores its behavior in the troubling scenarios. The model suggests that the recommendations that conciliatory views issue in such scenarios are perfectly reasonable---even if outwardly they may look odd. [less ▲]

Detailed reference viewed: 17 (0 UL)
Full Text
Peer Reviewed
See detailLogics of Formal Inconsistency enriched with replacement: an algebraic and modal account
Carnielli, Walter; Coniglio, Marcelo; Fuenmayor Pelaez, David UL

in Review of Symbolic Logic (2021), online first

Detailed reference viewed: 51 (1 UL)
Full Text
Peer Reviewed
See detailMechanizing Principia Logico-Metaphysica in Functional Type Theory
Kirchner, Daniel; Benzmüller, Christoph UL; Zalta, Edward N.

in Review of Symbolic Logic (2019)

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical ... [more ▼]

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized by Zalta) that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics. Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. [less ▲]

Detailed reference viewed: 111 (0 UL)
Full Text
Peer Reviewed
See detailCompleteness of Aqvist's systems E and F
Parent, Xavier UL

in Review of Symbolic Logic (2015), 8(1), 164-177

This paper tackles an open problem posed by Åqvist. It is the problem of whether his dyadic deontic systems E and F are complete with respect to their intended Hanssonian preference- based semantics. It ... [more ▼]

This paper tackles an open problem posed by Åqvist. It is the problem of whether his dyadic deontic systems E and F are complete with respect to their intended Hanssonian preference- based semantics. It is known that there are two different ways of interpreting what it means for a world to be best or top-ranked among alternatives. This can be understood as saying that it is optimal among them, or maximal among them. First, it is established that, under either the maximality rule or the optimality rule, E is sound and complete with respect to the class of all preference models, the class of those in which the betterness relation is reflexive, and the class of those in which it is total. Next, an analogous result is shown to hold for F. That is, it is established that, under either rule, F is sound and complete with respect to the class of preference models in which the betterness relation is limited, the class of those in which it is limited and reflexive, and the class of those in which it is limited and total. [less ▲]

Detailed reference viewed: 134 (12 UL)
Full Text
Peer Reviewed
See detailReactive Preferential Structures and Nonmonotonic consequence
Gabbay, Dov M. UL; Schlechta, Karl

in Review of Symbolic Logic (2009), 2(2), 414450

We introduce Information Bearing Relation Systems (IBRS) a s an abstraction of many logical systems. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very ... [more ▼]

We introduce Information Bearing Relation Systems (IBRS) a s an abstraction of many logical systems. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can ”break” the strong coher ence properties of preferential structures by higher arrows, i.e. arrows, which do not go to points, but t o arrows themselves [less ▲]

Detailed reference viewed: 108 (1 UL)
Full Text
Peer Reviewed
See detailSize and Logic
Gabbay, Dov M. UL; Schlechta, Karl

in Review of Symbolic Logic (2009), 2(2), 396404

Detailed reference viewed: 29 (1 UL)
Full Text
Peer Reviewed
See detailCumulativity without closure of the domain under finite unions
Gabbay, Dov M. UL; Schlechta, K.

in Review of Symbolic Logic (2008), 1(03), 267304

For nonmonotonic logics, Cumulativity is an important logical rule. We show here that Cumulativity fans out into an infinity of different conditions, if the domain is not closed under finite unions.

Detailed reference viewed: 84 (1 UL)
Full Text
Peer Reviewed
See detailBelief Revision in Non-classical Logic II
Gabbay, Dov M. UL; Russo, Alessandra; Rodrigues, Odinaldo

in Review of Symbolic Logic (2008), 1(03), 267304

Detailed reference viewed: 46 (2 UL)