This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Most recently added entries found
Search inside:
(import / add options)   Sort by:
1 — 50 / 88
  1. added 2014-12-17
    Luca Incurvati & Julien Murzi (forthcoming). Maximally Consistent Sets of Instances of Naive Comprehension. Mind.
    Paul Horwich (1990) once suggested restricting the T-Schema to the maximal consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. added 2014-12-17
    Rafal Urbaniak & Paweł Siniło (2014). The Inapplicability of Paraconsistent Logics. Journal of Applied Non-Classical Logics 24 (4):368-383.
    In some cases one is provided with inconsistent information and has to reason about various consistent scenarios contained within that information. Our goal is to argue that filtered paraconsistent logics are not the right tool to handle such cases and that the problems generalise to a large class of paraconsistent logics. A wide class of paraconsistent logics is obtained by filtration: adding conditions to the classical consequence operation . We start by surveying the most promising candidates and comparing their strengths. (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. added 2014-12-17
    Thomas Macaulay Ferguson (2014). A Computational Interpretation of Conceptivism. Journal of Applied Non-Classical Logics 24 (4):333-367.
    The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. added 2014-12-17
    Gemma Robles & José M. Méndez (2014). The Non-Relevant De Morgan Minimal Logic in Routley-Meyer Semantics with No Designated Points. Journal of Applied Non-Classical Logics 24 (4):321-332.
    Sylvan and Plumwood’s is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic and some of its extensions. The logic is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. added 2014-12-17
    Gerhard Jäger And Rico Zumbrunnen (2014). Explicit Mathematics and Operational Set Theory: Some Ontological Comparisons. Bulletin of Symbolic Logic 20 (3):275-292,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  6. added 2014-12-17
    Friedrich Reinmuth, Geo Siegwart & Christian Tapp (eds.) (2014). Theory and Practice of Reconstruction: Anselm as a Model Case. Mentis.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  7. added 2014-12-17
    Erica Calardo & Antonino Rotolo (2014). Variants of Multi-Relational Semantics for Propositional Non-Normal Modal Logics. Journal of Applied Non-Classical Logics 24 (4):293-320.
    A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational structures, (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. added 2014-12-17
    Friedrich Reinmuth (2014). Hermeneutics, Logic and Reconstruction. Logical Analysis and History of Philosophy 17:152–190.
    Using a short excerpt from Anselm's Responsio as an example, this paper tries to present logical reconstruction as a special type of exegetical interpretation by paraphrase that is subject to (adapted) hermeneutic maxims and presumption rules that govern exegetical interpretation in general. As such, logical reconstruction will be distinguished from the non-interpretative enterprise of formalization and from the development of theories of logical form, which provide a framework in which formalization and reconstruction take place. Yet, even though logical reconstruction is (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  9. added 2014-12-17
    Julien Murzi & Massimiliano Carrara (2014). More Reflections on Consequence. Logique Et Analyse 227:223-258.
    This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. added 2014-12-17
    Friedrich Reinmuth, Geo Siegwart & Christian Tapp (2014). Theory and Practice of Logical Reconstruction – Anselm as a Model Case. Introduction. Logical Analysis and History of Philosophy 17:13–21.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  11. added 2014-12-17
    Julien Murzi (2011). Inferentialism Without Verificationism: Reply to Prawitz. In Emiliano Ippoliti & Carlo Cellucci (eds.), Logic and Knowledge. Cambridge Scholars. 285-90.
    I discuss Prawitz’s claim that a non-reliabilist answer to the question “What is a proof?” compels us to reject the standard Bolzano-Tarski account of validity, andto account for the meaning of a sentence in broadly verificationist terms. I sketch what I take to be a possible way of resisting Prawitz’s claim---one that concedes the anti-reliabilist assumption from which Prawitz’s argument proceeds.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. added 2014-12-17
    Andreas Dorschel (1993). Gefühl Als Argument? In Andreas Dorschel, Matthias Kettner, Wolfgang Kuhlmann & Marcel Niquet (eds.), Transzendentalpragmatik. Ein Symposion für Karl-Otto Apel. Suhrkamp. 167-186.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. added 2014-12-14
    Kevin Possin (2014). Critique of the Watson-Glaser Critical Thinking Appraisal Test: The More You Know, the Lower Your Score. Informal Logic 34 (4):393-416.
    The Watson-Glaser Critical Thinking Appraisal Test is one of the oldest, most frequently used, multiple-choice critical-thinking tests on the market in business, government, and legal settings for purposes of hiring and promotion. I demonstrate, however, that the test has serious construct-validity issues, stemming primarily from its ambiguous, unclear, misleading, and sometimes mysterious instructions, which have remained unaltered for decades. Erroneously scored items further diminish the test’s validity. As a result, having enhanced knowledge of formal and informal logic could well result (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  14. added 2014-12-14
    Mark Garrett Longaker (2014). John Locke on Inference and Fallacy, A Re-Appraisal. Informal Logic 34 (4):364-392.
    John Locke, long associated with the “standard” approach to fallacies and the “logical” approach to valid inference, had both logical and dialectical reasons for favoring certain proofs and denigrating others. While the logical approach to argumentation stands forth in Locke’s philosophical writings , a dialectical approach can be found in his contributions to public controversies regarding religion and toleration. Understanding Locke’s dialectical approach to argumentation not only makes his work more relevant to the contemporary discipline of informal logic, but this (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  15. added 2014-12-14
    Elena Musi (2014). Evidential Modals at the Semantic-Argumentative Interface: Appearance Verbs as Indicators of Defeasible Argumentation. Informal Logic 34 (4):417-442.
    This contribution aims at providing an argumentative method to account for epistemic modality and evidentiality. I claim that these two linguistic categories can work as semantic components of defeasible argumentative schemes based on classification processes. This kind of approximate reasoning is, in fact, frequently indicated by appearance verbs which signal that the inferred standpoint is conceived by the speaker as uncertain due to the deceiving nature of perceptual data . Drawing from an analysis at the semantic-argumentative interface, the way in (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  16. added 2014-12-08
    Jeremy Barris (forthcoming). Metaphysics, Deep Pluralism, and Paradoxes of Informal Logic. International Journal of Philosophical Studies:1-26.
    The paper argues that metaphysical thought, or thought in whose context our general framework of sense is under scrutiny, involves, legitimates, and requires a variety of informal analogues of the ‘true contradictions’ supported in some paraconsistent formal logics. These are what we can call informal ‘legitimate logical inadequacies’. These paradoxical logical structures also occur in deeply pluralist contexts, where more than one, conflicting general framework for sense is relevant. The paper argues further that these legitimate logical inadequacies are real or (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. added 2014-12-08
    André Bazzoni (forthcoming). Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts. Journal of Philosophical Logic:1-10.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic (IFL) is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. added 2014-12-08
    Georg Brun (2014). Reconstructing Arguments: Formalization and Reflective Equilibrium. Logical Analysis and History of Philosophy 17:94-129.
    Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a logical formalism. These tasks are guided by a multitude of partly antagonistic goals, they interact in various feedback loops, and they are intertwined with the development of theories of valid inference and adequate (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. added 2014-12-08
    Georg Brun (2012). Rival Logics, Disagreement and Reflective Equilibrium. In C. Jaeger W. Loeffler (ed.), Epistemology: Contexts, Values, Disagreements (Proceedings of the 34th International Ludwig Wittgenstein Symposium). 355-368.
    Two challenges to the method of reflective equilibrium have been developed in a dispute between Michael D. Resnik and Stewart Shapiro: because the method itself involves logical notions, it can neither be specified in a logic-neutral way nor can it allow logical pluralism. To analyse and answer these claims, an explicit distinction is introduced between judgements held prior to the process of mutual adjustments and judgements in agreement with the systematic principles, which result from the process. It is then argued (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. added 2014-12-08
    Eleonora Montuschi, Pluralism: A Curse or a Blessing for Social Order?
    There is a sense in which pluralism needs no advocate. It is enough to take a quick look at contemporary science to realise that pluralism is common currency. It is a ‘fact’ that scientific disciplines entail a plurality of approaches, methods, styles of inquiry. It is equally easy to acknowledge how the referents of scientific investigation require a concert of disciplines and a variety of explanatory strategies. So pluralism seems to have both an epistemological and an ontological backing.1 Nor is (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. added 2014-12-08
    Georg Brun (2004). Die richtige Formel. Philosophische Probleme der logischen Formalisierung. Ontos.
    Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Damit die formalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche und (...)
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. added 2014-12-05
    Review by: Dugald Macpherson (2014). Reviewed Work: Recent Developments in Model Theory, Notre Dame Journal of Formal Logic, Vol. 54, Nos. 3-4. Bulletin of Symbolic Logic 20 (3):357-359,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  23. added 2014-12-05
    Review by: Henry Towsner (2014). Review: Three Papers on the Reverse Mathematics of Jullien's Indecomposability Theorem. [REVIEW] Bulletin of Symbolic Logic 20 (3):366-368,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  24. added 2014-12-05
    Paola D'Aquino (2014). 2012 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '12: Manchester, Uk July 12–18, 2012. [REVIEW] Bulletin of Symbolic Logic 20 (3):369-410,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  25. added 2014-12-05
    Review by: Jan von Plato (2014). Reviewed Work: David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917–1933 by William Ewald; Wilfried Sieg. [REVIEW] Bulletin of Symbolic Logic 20 (3):363-365,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  26. added 2014-12-05
    Review by: Bernd Buldt (2014). Reviewed Work: Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts, History of Analytic Philosophy by Ulrich Pardey. Bulletin of Symbolic Logic 20 (3):360-362,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  27. added 2014-12-04
    Reinhard Muskens & Stefan Wintein (forthcoming). Analytic Tableaux for All of SIXTEEN 3. Journal of Philosophical Logic:1-15.
    In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t , ⊧ f , ⊧ i , and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. added 2014-12-03
    Eduardo J. Dubuc & Y. A. Poveda (forthcoming). On the Equivalence Between MV-Algebras and L-Groups with Strong Unit. Studia Logica:1-8.
    In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other . Moreover, he also show that any such group G can be recovered from its segment since \^*}\) , establishing an equivalence of categories. In “Interpretation of (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. added 2014-12-03
    Greg Restall (forthcoming). Normal Proofs, Cut Free Derivations and Structural Rules. Studia Logica:1-24.
    Different natural deduction proof systems for intuitionistic and classical logic —and related logical systems—differ in fundamental properties while sharing significant family resemblances. These differences become quite stark when it comes to the structural rules of contraction and weakening. In this paper, I show how Gentzen and Jaśkowski’s natural deduction systems differ in fine structure. I also motivate directed proof nets as another natural deduction system which shares some of the design features of Genzen and Jaśkowski’s systems, but which differs again (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. added 2014-12-03
    Jan Zygmunt & Robert Purdy (2014). Adolf Lindenbaum: Notes on His Life, with Bibliography and Selected References. Logica Universalis 8 (3-4):285-320.
    Notes on the life of Adolf Lindenbaum, a complete bibliography of his published works, and selected references to his unpublished results.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. added 2014-11-29
    Tim Kenyon & Guillaume Beaulac (2014). Critical Thinking Education and Debiasing. Informal Logic 34 (4):341-363.
    There are empirical grounds to doubt the effectiveness of a common and intuitive approach to teaching debiasing strategies in critical thinking courses. We summarize some of the grounds before suggesting a broader taxonomy of debiasing strategies. This four-level taxonomy enables a useful diagnosis of biasing factors and situations, and illuminates more strategies for more effective bias mitigation located in the shaping of situational factors and reasoning infrastructure—sometimes called “nudges” in the literature. The question, we contend, then becomes how best to (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. added 2014-11-28
    Federico Pailos & Lucas Rosenblatt (forthcoming). Non-Deterministic Conditionals and Transparent Truth. Studia Logica:1-20.
    Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and their (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. added 2014-11-28
    Petr Cintula & Carles Noguera (forthcoming). A Note on Natural Extensions in Abstract Algebraic Logic. Studia Logica:1-9.
    Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. added 2014-11-28
    Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong (forthcoming). Duality for the Logic of Quantum Actions. Studia Logica:1-25.
    In this paper we show a duality between two approaches to represent quantum structures abstractly and to model the logic and dynamics therein. One approach puts forward a “quantum dynamic frame” :2267–2282, 2005), a labelled transition system whose transition relations are intended to represent projections and unitaries on a Hilbert space. The other approach considers a “Piron lattice” , which characterizes the algebra of closed linear subspaces of a Hilbert space. We define categories of these two sorts of structures and (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. added 2014-11-28
    Bernd Buldt (2014). The Scope of Gödel’s First Incompleteness Theorem. Logica Universalis 8 (3-4):499-552.
    Guided by questions of scope, this paper provides an overview of what is known about both the scope and, consequently, the limits of Gödel’s famous first incompleteness theorem.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. added 2014-11-27
    Heinrich Wansing & Graham Priest (forthcoming). External Curries. Journal of Philosophical Logic:1-19.
    Curry’s paradox is well known. The original version employed a conditional connective, and is not forthcoming if the conditional does not satisfy contraction. A newer version uses a validity predicate, instead of a conditional, and is not forthcoming if validity does not satisfy structural contraction. But there is a variation of the paradox which uses “external validity” . And since external validity contracts, one might expect the appropriate version of the Curry paradox to be inescapable. In this paper we show (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. added 2014-11-26
    Wesley H. Holliday (2013). Response to Egré and Xu. In Johan van Benthem Fenrong Liu (ed.), Logic Across the University: Foundations and Applications. College Publications. 39-46.
    In this note, I respond to comments by Paul Egré and Xu Zhaoqing on my “Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism” (Journal of Philosophical Logic).
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  38. added 2014-11-25
    John-Michael Kuczynski, Mathematics as the Science of Pure Structure.
    A brief but rigorous description of the logical structure of mathematical truth.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  39. added 2014-11-25
    Nino B. Cocchiarella (forthcoming). Two Views of the Logic of Plurals and a Reduction of One to the Other. Studia Logica:1-24.
    There are different views of the logic of plurals that are now in circulation, two of which we will compare in this paper. One of these is based on a two-place relation of being among, as in ‘Peter is among the juveniles arrested’. This approach seems to be the one that is discussed the most in philosophical journals today. The other is based on Bertrand Russell’s early notion of a class as many, by which is meant not a class as (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. added 2014-11-25
    Juan Manuel Cornejo (forthcoming). The Semi Heyting–Brouwer Logic. Studia Logica:1-23.
    In this paper we introduce a logic that we name semi Heyting–Brouwer logic, \ , in such a way that the variety of double semi-Heyting algebras is its algebraic counterpart. We prove that, up to equivalences by translations, the Heyting–Brouwer logic \ is an axiomatic extension of \ and that the propositional calculi of intuitionistic logic \ and semi-intuitionistic logic \ turn out to be fragments of \ .
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. added 2014-11-24
    Arthur Sullivan (forthcoming). What Do Deviant Logians Show About the Epistemology of Logic? Acta Analytica:1-13.
    What I will call “the deviant logician objection” [DLO] is one line of attack against the common and compelling tenet that our justification for logical truths is grounded in our understanding of their constituent concepts. This objection seeks to undermine the possibility of any deep constitutive connection, in the epistemology of logic , between understanding and justification. I will consider varieties of the deviant logician objection developed by Horwich and by Williamson . My thesis is that while the deviant logician (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. added 2014-11-22
    Jonas Frey (forthcoming). Triposes, Q-Toposes and Toposes. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. added 2014-11-19
    N. C. A. Da Costa & C. De Ronde (2014). Non-Reflexive Logical Foundation for Quantum Mechanics. Foundations of Physics 44 (12):1369-1380.
    On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help us to analyze (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. added 2014-11-16
    Yitzhak Melamed (forthcoming). Gersonides and Spinoza on God’s Knowledge of Universals and Particulars. In Gad Freudenthal, David Wirmer & Ofer Elior (eds.), Gersonides Through the Ages.
  45. added 2014-11-16
    Xiaoping Chen (2006). Zi Ran Yan Yi Luo Ji Dao Lun. Zhongshan da Xue Chu Ban She.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  46. added 2014-11-14
    Ole Hjortland (2014). Verbal Disputes in Logic: Against Minimalism for Logical Connectives. Logique Et Analyse 227:463-486.
    Logic, Logical connectives, Verbal disputes, Proof theory, Non-classical logic.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  47. added 2014-11-13
    Jean-Yves Beziau (2014). Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum. Logica Universalis 8 (3-4):283-284.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. added 2014-11-12
    Leila Amgoud, Philippe Besnard & Srdjan Vesic (2014). Equivalence in Logic-Based Argumentation. 24 (3):181-208.
    This paper investigates when two abstract logic-based argumentation systems are equivalent. It defines various equivalence criteria, investigates the links between them, and identifies cases where two systems are equivalent with respect to each of the proposed criteria. In particular, it shows that under some reasonable conditions on the logic underlying an argumentation system, the latter has an equivalent finite subsystem, called core. This core constitutes a threshold under which arguments of the system have not yet attained their final status and (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. added 2014-11-12
    Lloyd Humberstone (2014). Prior’s OIC Nonconservativity Example Revisited. 24 (3):209-235.
    In his 1964 note, ‘Two Additions to Positive Implication’, A. N. Prior showed that standard axioms governing conjunction yield a nonconservative extension of the pure implicational intermediate logic OIC of R. A. Bull. Here, after reviewing the situation with the aid of an adapted form of the Kripke semantics for intuitionistic and intermediate logics, we proceed to illuminate this example by transposing it to the setting of modal logic, and then relate it to the propositional logic of what have been (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. added 2014-11-12
    Janardan Misra & Suman Roy (2014). A Decidable Timeout-Based Extension of Linear Temporal Logic. 24 (3):262-291.
    We develop a timeout extension of propositional linear temporal logic to specify timing properties of timeout-based models of real-time systems. A timeout is used to model the execution of an action marking the end of a delay. With a view to expressing such timeout constraints, ToLTL uses a dynamic variable to abstract the timeout behaviour in addition to a variable which captures the global clock and some static timing variables which record time instances when discrete events occur. We propose a (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 88