7 found
Order:
  1.  64
    Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
    In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  60
    Bolzano’s Concept of Grounding Against the Background of Normal Proofs.Antje Rumberg - 2013 - Review of Symbolic Logic 6 (3):424-459.
    In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  36
    Simplicity and Economy in Bolzano's Theory of Grounding.Stefan Roski & Antje Rumberg - 2016 - Journal of the History of Philosophy 54 (3):469-496.
    This paper is devoted to Bolzano’s theory of grounding (Abfolge) in his Wissenschaftslehre. Bolzanian grounding is an explanatory consequence relation that is frequently considered an ancestor of the notion of metaphysical grounding. The paper focuses on two principles that concern grounding in the realm of conceptual sciences and relate to traditionally widespread ideas on explanations: the principles, namely, that grounding orders conceptual truths from simple to more complex ones (Simplicity), and that it comes along with a certain theoretical economy among (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  73
    An Introduction to Real Possibilities, Indeterminism, and Free Will: Three Contingencies of the Debate.Thomas Müller, Antje Rumberg & Verena Wagner - 2019 - Synthese 196 (1):1-10.
  5.  6
    First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.
    The transition semantics presented in Rumberg :77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language \ are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves \-validity w.r.t. transition structures. As a consequence, for a certain fragment of \, validity w.r.t. transition structures turns (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  15
    First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.
    The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language L_t are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves L_t-validity w.r.t. transition structures. As a consequence, for a certain fragment of L_t, validity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  19
    Bernard Bolzano. Theory of Science. Translated by Paul Rusnock and Rolf George. Four Volumes. Liii + 2,044 Pp., Figs., Bibl., Index. Oxford: Oxford University Press, 2014. £300. [REVIEW]Antje Rumberg - 2016 - Isis 107 (4):854-856.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark