Year:

Forthcoming articles
  1. J. Y. Beziau & Logica Universalis (forthcoming). c© 2005 Birkhäuser Verlag Basel/Switzerland. Logica Universalis:19.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Alex Citkin (forthcoming). Characteristic Inference Rules. Logica Universalis:1-20.
    The goal of this paper is to generalize a notion of quasi-characteristic inference rule in the following way: with every finite partial algebra we associate a rule, and study the properties of these rules. We prove that any equivalential logic can be axiomatized by such rules. We further discuss the correlations between characteristic rules of the finite partial algebras and canonical rules. Then, with every algebra we associate a set of characteristic rules that correspond to each finite partial subalgebra of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Nissim Francez (forthcoming). On a Distinction of Two Facets of Meaning and its Role in Proof-Theoretic Semantics. Logica Universalis:1-7.
    I show that in the context of proof-theoretic semantics, Dummett’s distinction between the assertoric meaning of a sentence and its ingredient sense can be seen as a distinction between two proof-theoretic meanings of a sentence: Meaning as a conclusion of an introduction rule in a meaning-conferring natural-deduction proof system.Meaning as a premise of an introduction rule in a meaning-conferring natural-deduction proof system. The effect of this distinction on compositionality of proof-theoretic meaning is discussed.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Frédéric Goubier & Ernesto Perini-Santos (forthcoming). When the World is Not Enough: Medieval Ways to Deal with the Lack of Referents. Logica Universalis:1-23.
    According to several late medieval logicians, the use the universal quantifier ‘omnis’ creates the requirement that the sentence refers to at least three items—the principle of sufficientia appellatorum. The commitment is such that, when the quota is not fulfilled, one has to import the missing items from the realm of the nonexistent. While the central argument for this principle, whose origin is Aristotle’s De Caelo, stems from the contrast between unrestricted universal quantifiers and binary quantifiers, the discussion is often mixed (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Wolfgang Lenzen (forthcoming). Ockham’s Calculus of Strict Implication. Logica Universalis:1-11.
    In his main work Summa Logicae written around 1323, William of Ockham developed a system of propositional modal logic which contains almost all theorems of a modern calculus of strict implication. This calculus is formally reconstructed here with the help of modern symbols for the operators of conjunction, disjunction, implication, negation, possibility, and necessity.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Ilya Makarov (forthcoming). Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions. Logica Universalis:1-26.
    The article deals with finding finite total equivalence systems for formulas based on an arbitrary closed class of functions of several variables defined on the set {0, 1, 2} and taking values in the set {0,1} with the property that the restrictions of its functions to the set {0, 1} constitutes a closed class of Boolean functions. We consider all classes whose restriction closure is either the set of all functions of two-valued logic or the set T a of functions (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Ana María Mora-Márquez (forthcoming). Boethius of Dacia and Radulphus Brito on the Universal Sign ‘Every. Logica Universalis:1-19.
    In this article I present the analysis of the syncategorematic term ‘omnis’ in the commentaries on the Topics by the Parisian masters of Arts Boethius of Dacia and Radulphus Brito. I shall focus on the different relations between subject, predicate and particular instances that obtain in universally quantified statements, and in particular on the relations that obtain in universally quantified statements with an empty subject. I also attempt to highlight some continuities and ruptures with respect to this problem in its (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Sergei Odintsov & Vladimir Rybakov (forthcoming). Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility. Logica Universalis:1-28.
    Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility itself – (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. L. I. Perlovsky (forthcoming). Logic Versus Mind. Logica Universalis.
     
    My bibliography  
     
    Export citation  
  10. Clayton Peterson (forthcoming). Contrary-to-Duty Reasoning: A Categorical Approach. Logica Universalis:1-46.
    This paper provides an analysis of contrary-to-duty reasoning from the proof-theoretical perspective of category theory. While Chisholm’s paradox hints at the need of dyadic deontic logic by showing that monadic deontic logics are not able to adequately model conditional obligations and contrary-to-duties, other arguments can be objected to dyadic approaches in favor of non-monotonic foundations. We show that all these objections can be answered at one fell swoop by modeling conditional obligations within a deductive system defined as an instance of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Stephen Read (forthcoming). Paradox, Closure and Indirect Speech Reports. Logica Universalis:1-15.
    Bradwardine’s solution to the the logical paradoxes depends on the idea that every sentence signifies many things, and its truth depends on things’ being wholly as it signifies. This idea is underpinned by his claim that a sentence signifies everything that follows from what it signifies. But the idea that signification is closed under entailment appears too strong, just as logical omniscience is unacceptable in the logic of knowledge. What is needed is a more restricted closure principle. A clue can (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation