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 / 51
  1. added 2014-07-21
    William B. Starr (2014). What 'If'? Philosophers' Imprint 14 (10).
    No existing conditional semantics captures the dual role of 'if' in embedded interrogatives — 'X wonders if p' — and conditionals. This paper presses the importance and extent of this challenge, linking it to cross-linguistic patterns and other phenomena involving conditionals. Among these other phenomena are conditionals with multiple 'if'-clauses in the antecedent — 'if p and if q, then r' — and relevance conditionals — 'if you are hungry, there is food in the cupboard'. Both phenomena are shown to (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. added 2014-07-17
    Fred Sommers, Natural Language and Everyday Reasoning.
  3. added 2014-07-15
    Catharine Saint Croix & Richmond Thomason (2014). Chisholm's Paradox and Conditional Oughts. Lecture Notes in Computer Science 8554:192-207.
    Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. added 2014-06-28
    Nathanael Leedom Ackerman (forthcoming). On Transferring Model Theoretic Theorems of $${\Mathcal{L}_{{\Infty},\Omega}}$$ L ∞ , Ω in the Category of Sets to a Fixed Grothendieck Topos. Logica Universalis:1-47.
    Working in a fixed Grothendieck topos Sh(C, J C ) we generalize \({\mathcal{L}_{{\infty},\omega}}\) to allow our languages and formulas to make explicit reference to Sh(C, J C ). We likewise generalize the notion of model. We then show how to encode these generalized structures by models of a related sentence of \({\mathcal{L}_{{\infty},\omega}}\) in the category of sets and functions. Using this encoding we prove analogs of several results concerning \({\mathcal{L}_{{\infty},\omega}}\) , such as the downward Löwenheim–Skolem theorem, the completeness theorem and (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. added 2014-06-28
    Andrzej Indrzejczak (forthcoming). Introduction. Studia Logica:1-4.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. added 2014-06-28
    Benno van den Berg & Ieke Moerdijk (2014). The Axiom of Multiple Choice and Models for Constructive Set Theory. Journal of Mathematical Logic 14 (1):1450005.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. added 2014-06-28
    Nam Trang (2014). Determinacy in L(ℝ, μ). Journal of Mathematical Logic 14 (1):1450006.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. added 2014-06-26
    Danny Frederick, The Contrast Between Dogmatic and Critical Arguments.
    Karl Popper lamented the prevalence of dogmatic argument in philosophy and commended the kind of critical argument that is found in the sciences. David Miller criticises the uncritical nature of so-called critical thinking because of its attachment to dogmatic arguments. I expound and clarify Popper’s distinction between critical and dogmatic arguments and the background to it. I criticise some errors in Miller’s discussion. I reaffirm the need for philosophers to eschew dogmatic arguments in favour of critical ones.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  9. added 2014-06-26
    Hartry Field (forthcoming). Disarming a Paradox of Validity. Notre Dame Journal of Formal Logic.
    Abstract. Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi (“Two Flavor's of Curry's Paradox”) call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists”. To (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  10. added 2014-06-26
    Hartry Field (forthcoming). What Is Logical Validity? In Colin Caret & Ole Hjortland (eds.), Foundations of Logical Consequence.
    What are people who disagree about logic disagreeing about? The paper argues that (in a wide range of cases) they are primarily disagreeing about how to regulate their degrees of belief. An analogy is drawn between beliefs about validity and beliefs about chance: both sorts of belief serve primarily to regulate degrees of belief about other matters, but in both cases the concepts have a kind of objectivity nonetheless.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  11. added 2014-06-25
    Jan von Plato (forthcoming). From Axiomatic Logic to Natural Deduction. Studia Logica:1-18.
    Recently discovered documents have shown how Gentzen had arrived at the final form of natural deduction, namely by trying out a great number of alternative formulations. What led him to natural deduction in the first place, other than the general idea of studying “mathematical inference as it appears in practice,” is not indicated anywhere in his publications or preserved manuscripts. It is suggested that formal work in axiomatic logic lies behind the birth of Gentzen’s natural deduction, rather than any single (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. added 2014-06-25
    Allen P. Hazen & Francis Jeffry Pelletier (forthcoming). Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Studia Logica:1-40.
    Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives (which leads to a view of semantics called ‘inferentialism’). The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. added 2014-06-25
    Peter Schroeder-Heister (forthcoming). The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony. Studia Logica:1-32.
    We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional operators and to define what it means that introductions and eliminations are in harmony with each other. This definition does not presuppose any logical system, but is formulated in terms of rules themselves. We therefore speak of a foundational (rather than reductive) account of proof-theoretic harmony. With every set of introduction rules (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. added 2014-06-25
    M. Baaz & A. Leitsch (forthcoming). Cut-Elimination: Syntax and Semantics. Studia Logica:1-28.
    In this paper we first give a survey of reductive cut-elimination methods in classical logic. In particular we describe the methods of Gentzen and Schütte-Tait from the abstract point of view of proof reduction. We also present the method CERES (cut-elimination by resolution) which we classify as a semi-semantic method. In a further section we describe the so-called semantic methods. In the second part of the paper we carry the proof analysis further by generalizing the CERES method to CERESD (this (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. added 2014-06-25
    William Young (forthcoming). From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices. Studia Logica:1-22.
    Much work has been done on specific instances of residuated lattices with modal operators (either nuclei or conuclei). In this paper, we develop a general framework that subsumes three important classes of modal residuated lattices: interior algebras, Abelian ℓ-groups with conuclei, and negative cones of ℓ-groups with nuclei. We then use this framework to obtain results about these three cases simultaneously. In particular, we show that a categorical equivalence exists in each of these cases. The approach used here emphasizes the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. added 2014-06-25
    Ermanno Bencivenga (forthcoming). Jaśkowski's Universally Free Logic. Studia Logica:1-8.
    A universally free logic is a system of quantification theory, with or without identity, whose theses remain logically true if (a) the domain of quantification is empty and (b) some of the singular terms present in the language do not denote existing objects. In the West, (inclusive) logics satisfying (a) and (free) ones satisfying (b) were developed starting in the 1950s. But Stanisław Jaśkowski preceded all this work by some twenty years: his paper “On the Rules of Supposition in Formal (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. added 2014-06-20
    Robert Laurence Gallagher (forthcoming). Antiphasis as Homonym in Aristotle. History and Philosophy of Logic.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. added 2014-06-20
    Gert-Jan C. Lokhorst (forthcoming). Mally's Deontic Logic: Reducibility and Semantics. Journal of Philosophical Logic:1-11.
    We discuss three aspects of the intuitionistic reformulation of Mally’s deontic logic that was recently proposed (Journal of Philosophical Logic 42, 635–641, (2013)). First, this reformulation is more similar to Standard Deontic Logic than appears at first sight: like Standard Deontic Logic, it is Kanger reducible and Anderson reducible to alethic logic and it has a semantical interpretation that can be read in deontic terms. Second, this reformulation has an extension that provides 100% of the theorems stated by Mally himself (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. added 2014-06-20
    Salvatore Florio (2014). Semantics and the Plural Conception of Reality. Philosophers' Imprint 14 (22):1-20.
    According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. added 2014-06-19
    David R. Gilbert & Paolo Maffezioli (forthcoming). Modular Sequent Calculi for Classical Modal Logics. Studia Logica:1-43.
    This paper develops sequent calculi for several classical modal logics. Utilizing a polymodal translation of the standard modal language, we are able to establish a base system for the minimal classical modal logic E from which we generate extensions (to include M, C, and N) in a modular manner. Our systems admit contraction and cut admissibility, and allow a systematic proof-search procedure of formal derivations.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. added 2014-06-16
    Thomas Macaulay Ferguson (forthcoming). Logics of Nonsense and Parry Systems. Journal of Philosophical Logic:1-16.
    We examine the relationship between the logics of nonsense of Bochvar and Halldén and the containment logics in the neighborhood of William Parry’s A I. We detail two strategies for manufacturing containment logics from nonsense logics—taking either connexive and paraconsistent fragments of such systems—and show how systems determined by these techniques have appeared as Frederick Johnson’s R C and Carlos Oller’s A L. In particular, we prove that Johnson’s system is precisely the intersection of Bochvar’s B 3 and Graham Priest’s (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. added 2014-06-16
    Siu-Fan Lee (2009). Fregean Free Logics. Philosophical Researches (Dec):123-129.
    This paper asks which free logic a Fregean should adopt. It examines options within the tradition including Carnap’s (1956) chosen object theory, Lehmann’s (1994, 2002) strict Fregean free logic, Woodruff’s (1970) strong table about Boolean operators and Bencivenga’s (1986, 1991) supervaluational semantics. It argues for a neutral free logic in view of its proximity towards explaining natural languages. However, disagreeing with Lehmann, it claims a Fregean should adopt the strong table based on Frege’s discussion on generality. Supervaluation uses strong table (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  23. added 2014-06-12
    Wesley H. Holliday (forthcoming). Partiality and Adjointness in Modal Logic. In Rajeev Gore & Agi Kurucz (eds.), Advances in Modal Logic, Vol. 10. College Publications.
    Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standard modal logics, we can build a canonical possibility model, wherein every logically consistent formula is satisfied, by simply taking each individual (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  24. added 2014-06-11
    Gary Ebbs (forthcoming). Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science. History and Philosophy of Logic:1-8.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. added 2014-06-11
    Andreas Kapsner (forthcoming). The Realism–Antirealism Debate in the Age of Alternative Logics. History and Philosophy of Logic:1-3.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. added 2014-06-08
    Johannes Stern & Martin Fischer (forthcoming). Paradoxes of Interaction? Journal of Philosophical Logic:1-22.
    Since Montague’s work it is well known that treating a single modality as a predicate may lead to paradox. In their paper “No Future”, Horsten and Leitgeb (2001) show that if the two temporal modalities are treated as predicates paradox might arise as well. In our paper we investigate whether paradoxes of multiple modalities, such as the No Future paradox, are genuinely new paradoxes or whether they “reduce” to the paradoxes of single modalities. In order to address this question we (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. added 2014-06-04
    Yann Benétreau-Dupin (forthcoming). Buridan's Solution to the Liar Paradox. History and Philosophy of Logic:1-11.
    Jean Buridan has offered a solution to the Liar Paradox, i.e. to the problem of assigning a truth-value to the sentence ‘What I am saying is false’. It has been argued that either (1) this solution is ad hoc since it would only apply to self-referencing sentences [Read, S. 2002. ‘The Liar Paradox from John Buridan back to Thomas Bradwardine’, Vivarium, 40 (2), 189–218] or else (2) it weakens his theory of truth, making his ‘a logic without truth’ [Klima, G. (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. added 2014-06-04
    J. Anthony Blair (2014). Meta-Argumentation, An Approach to Logic and Argumentation Theory. Informal Logic 34 (2):219-239.
    By Maurice A. Finocchiaro Studies in Logic, Logic and Argumentation, Vol. 42. London: College Publications, 2013. Pp. vii, 1-279. ISBN 978-1-84890-097-4. UK£12 US$17.10 CDN$21.12.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  29. added 2014-06-04
    Charlotte Jørgensen (2014). Rhetoric, Dialectic and Logic: The Wild-Goose Chase for an Essential Distinction. Informal Logic 34 (2):152-166.
    Taking Blair’s recent contribution to the debate about the triad as its starting point, the article discusses and challenges attempts to reduce the intricate relationship between rhetoric, dialectic and logic to a trichotomy with watertight compartments or to separate them with a single clear-cut criterion. I argue that efforts to pinpoint an essential difference, among the various typical differences partly grounded in disciplinary traditions, obscure the complexities within the fields. As a consequence, crosscutting properties of the fields as well as (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  30. added 2014-06-04
    Begoña Carrascal (2014). The Authority of Citations and Quotations in Academic Papers. Informal Logic 34 (2):167-191.
    I consider some uses of citations in academic writing and analyze them as instances of the “appeal to expert opinion” argumentative scheme to show that the critical questions commonly linked to this scheme are difficult to apply. I argue that, by considering citations as special communicative and argumentative situated acts, their use in real practice can be explained more adequately. Adaptation to the audience and to the social constraints is common and necessary in order to collaborate with others and to (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  31. added 2014-06-03
    Franz Huber (forthcoming). What Should I Believe About What Would Have Been the Case? Journal of Philosophical Logic:1-30.
    The question I am addressing in this paper is the following: how is it possible to empirically test, or confirm, counterfactuals? After motivating this question in Section 1, I will look at two approaches to counterfactuals, and at how counterfactuals can be empirically tested, or confirmed, if at all, on these accounts in Section 2. I will then digress into the philosophy of probability in Section 3. The reason for this digression is that I want to use the way observable (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. added 2014-06-03
    Markus Seidel (2014). Throwing the Baby Out with the Water: From Reasonably Scrutinizing Authorities to Rampant Scepticism About Expertise. Informal Logic 34 (2):192-218.
    In this paper, I argue that many arguments from expert opinion are strong arguments. Therefore, in many cases it is rational to rely on experts since in many cases the fact that an expert says that p makes it highly likely that p is true. I will defend this claim by providing 5 arguments that illuminate and elaborate on 5 crucial claims about expertise. In this way, I aim to undermine recent attempts to establish a rampant scepticism about arguments from (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. added 2014-06-02
    Julia Staffel (forthcoming). Disagreement and Epistemic Utility-Based Compromise. Journal of Philosophical Logic:1-14.
    Epistemic utility theory seeks to establish epistemic norms by combining principles from decision theory and social choice theory with ways of determining the epistemic utility of agents’ attitudes. Recently, Moss (Mind, 120(480), 1053–69, 2011) has applied this strategy to the problem of finding epistemic compromises between disagreeing agents. She shows that the norm “form compromises by maximizing average expected epistemic utility”, when applied to agents who share the same proper epistemic utility function, yields the result that agents must form compromises (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. added 2014-05-31
    Alexander R. Pruss (forthcoming). Popper Functions, Uniform Distributions and Infinite Sequences of Heads. Journal of Philosophical Logic:1-13.
    Popper functions allow one to take conditional probabilities as primitive instead of deriving them from unconditional probabilities via the ratio formula P(A|B)=P(A∩B)/P(B). A major advantage of this approach is it allows one to condition on events of zero probability. I will show that under plausible symmetry conditions, Popper functions often fail to do what they were supposed to do. For instance, suppose we want to define the Popper function for an isometrically invariant case in two dimensions and hence require the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. added 2014-05-24
    Saloua Chatti (forthcoming). Avicenna on Possibility and Necessity. History and Philosophy of Logic:1-22.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. added 2014-05-24
    Noam Greenberg & Saharon Shelah (forthcoming). Models of Cohen Measurability. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. added 2014-05-23
    Jean-Yves Beziau & Stephen Read (forthcoming). EditorialSquare of Opposition: A Diagram and a Theory in Historical Perspective. History and Philosophy of Logic.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. added 2014-05-23
    Rafal Urbaniak (2014). Słupecki's Generalized Mereology and Its Flaws. History and Philosophy of Logic 35 (3):289-300.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. added 2014-05-22
    Francesco Berto (2014). On Conceiving the Inconsistent. Proceedings of the Aristotelian Society 114 (1pt1):103-121.
    I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. added 2014-05-20
    Ben Blumson, The Metaphysical Significance of the Ugly-Duckling Theorem.
    According to Satosi Watanabe's "theorem of the ugly duckling", the number of (possible) predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of (possible) predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  41. added 2014-05-18
    Chris Johns (forthcoming). Leibniz and the Square: A Deontic Logic for the Vir Bonus. History and Philosophy of Logic.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. added 2014-05-17
    David Yates (2014). Dispositionalism and the Modal Operators. Philosophy and Phenomenological Research 89 (1).
    Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. added 2014-05-16
    Juan Manuel Campos Benítez (forthcoming). The Medieval Octagon of Opposition for Sentences with Quantified Predicates. History and Philosophy of Logic:1-15.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. added 2014-05-14
    Jason Megill & Tim Melvin (forthcoming). Computability and Human Symbolic Output. Logic and Logical Philosophy.
  45. added 2014-05-14
    Leone Gazziero (2013). Et quoniam est quis tertius homo. Argument, exégèse, contresens dans la littérature latine apparentée aux Sophistici elenchi d’Aristote. Archives D’Histoire Doctrinale Et Littéraire du Moyen Âge 80:7-48.
  46. added 2014-05-11
    Nissim Francez (2014). Harmony in Multiple-Conclusion Natural-Deduction. Logica Universalis 8 (2):215-259.
    The paper studies the extension of harmony and stability, major themes in proof-theoretic semantics, from single-conclusion natural-deduction systems to multiple-conclusions natural-deduction, independently of classical logic. An extension of the method of obtaining harmoniously-induced general elimination rules from given introduction rules is suggested, taking into account sub-structurality. Finally, the reductions and expansions of the multiple-conclusions natural-deduction representation of classical logic are formulated.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. added 2014-05-09
    T. Parent, Self-Reference is Sufficient for Paradox.
    This is a much less technical argument for the same conclusion from my “Paradox with just Self-Reference,” viz., that if self-reference is unconstrained, paradox will result. I first show that in classical logic, expressions must be seen as linguistic types rather than tokens. (Otherwise, ‘this very term = this very term’ is a false instance of the Law of Identity.) But then, one can derive a contradiction from the premise ‘This sentence is not derived’, or from the premise ‘ ‘this (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  48. added 2014-05-09
    Lukas M. Verburgt (2014). John Venn's Hypothetical Infinite Frequentism and Logic. History and Philosophy of Logic 35 (3):248-271.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. added 2014-05-06
    Katarzyna Pałasińska (forthcoming). Three-Element Non-Finitely Axiomatizable Matrices and Term-Equivalence. Logic and Logical Philosophy.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. added 2014-05-05
    Olivia Caramello (2014). Fraïssé's Construction From a Topos-Theoretic Perspective. Logica Universalis 8 (2):261-281.
    We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé’s construction in Model Theory, with applications to homogeneous models and countably categorical theories.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 51