Bookmark and Share

Logic and Philosophy of Logic

Edited by Aleksandra Samonek (Jagiellonian University)
Most recently added entries found
Search inside:
(import / add options)   Order:
1 — 50 / 141
  1. added 2016-12-02
    Sebastien Vasey (forthcoming). Indiscernible Extraction and Morley Sequences. Notre Dame Journal of Formal Logic.
    We present a new proof of the existence of Morley sequences in simple theories. We avoid using the Erdős–Rado theorem and instead use only Ramsey’s theorem and compactness. The proof shows that the basic theory of forking in simple theories can be developed using only principles from “ordinary mathematics,” answering a question of Grossberg, Iovino, and Lessmann, as well as a question of Baldwin.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. added 2016-12-02
    Chrysafis Hartonas (forthcoming). Order-Dual Relational Semantics for Non-Distributive Propositional Logics: A General Framework. Journal of Philosophical Logic:1-28.
    The contribution of this paper lies with providing a systematically specified and intuitive interpretation pattern and delineating a class of relational structures and models providing a natural interpretation of logical operators on an underlying propositional calculus of Positive Lattice Logic and subsequently proving a generic completeness theorem for the related class of logics, sometimes collectively referred to as Generalized Galois Logics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. added 2016-12-02
    Wen Chean Teh (forthcoming). Ramsey Algebras and Formal Orderly Terms. Notre Dame Journal of Formal Logic.
    Hindman’s theorem says that every finite coloring of the natural numbers has a monochromatic set of finite sums. A Ramsey algebra is a structure that satisfies an analogue of Hindman’s theorem. In this paper, we present the basic notions of Ramsey algebras by using terminology from mathematical logic. We also present some results regarding classification of Ramsey algebras.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. added 2016-12-01
    Stefan Heßbrüggen-Walter (forthcoming). Thinking About Persons: Loci Personarum in Humanist Dialectic Between Agricola and Keckermann. History and Philosophy of Logic:1-23.
    Loci personarum, ‘topics for persons’ were used in Latin rhetoric for the description of persons, their external circumstances, physical attributes, or qualities of character. They stood in the way of fusing rhetoric and dialectic, the goal of sixteenth-century ‘humanistic’ logic: the project of a unified theory of invention depends on the exclusion of loci personarum from the domain of dialectic proper. But still they cannot easily be replaced in the class room. Bartholomaeus Keckermann resolved these difficulties: he proposed to abandon (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5. added 2016-12-01
    Paul-André Melliès (2017). A Micrological Study of Negation. Annals of Pure and Applied Logic 168 (2):321-372.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. added 2016-12-01
    Gilbert Plumer (2016). Can Cogency Vanish? Cogency: Journal of Reasoning and Argumentation 8 (1):89-109.
    This paper considers whether universally—for all (known) rational beings—an argument scheme or pattern can go from being cogent (well-reasoned) to fallacious. This question has previously received little attention, despite the centrality of the concepts of cogency, scheme, and fallaciousness. I argue that cogency has vanished in this way for the following scheme, a common type of impersonal means-end reasoning: X is needed as a basic necessity or protection of human lives, therefore, X ought to be secured if possible. As it (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. added 2016-12-01
    Robert John Rovetto (2016). Ontology Archtecures for the Orbital Space Environment and Space Situational Awareness Domain. In Stefano Borgo, Loris Bozzato, Chiara Del Vescovo & Martin Homola (eds.), Proceedings of the Joint Ontology Workshops with the 9th International Conference on Formal Ontology in Information Systems. CEUR
    This paper applies some ontology architectures to the space domain, specifically the orbital and near-earth space environment and the space situational awareness domain. I briefly summarize local, single and hybrid ontology architectures, and offer potential space ontology architectures for each by showing how actual space data sources and space organizations would be involved.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  8. added 2016-11-30
    Salvatore Florio & Graham Leach-Krouse (forthcoming). What Russell Should Have Said to Burali-Forti. Review of Symbolic Logic.
    The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  9. added 2016-11-29
    Laureano Luna (forthcoming). Rescuing Poincaré From Richard’s Paradox. History and Philosophy of Logic:1-15.
    Poincaré in a 1909 lecture in Göttingen proposed a solution to the apparent incompatibility of two results as viewed from a definitionist perspective: on the one hand, Richard’s proof that the definitions of real numbers form a countable set and, on the other, Cantor’s proof that the real numbers make up an uncountable class. Poincaré argues that, Richard’s result notwithstanding, there is no enumeration of all definable real numbers. We apply previous research by Luna and Taylor on Richard’s paradox, indefinite (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10. added 2016-11-27
    Ludovic Patey (forthcoming). Dominating the Erdős–Moser Theorem in Reverse Mathematics. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. added 2016-11-27
    Eric P. Astor, Damir D. Dzhafarov, Reed Solomon & Jacob Suggs (forthcoming). The Uniform Content of Partial and Linear Orders. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. added 2016-11-25
    Will Boney (forthcoming). Computing the Number of Types of Infinite Length. Notre Dame Journal of Formal Logic.
    We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of $1$-types and the length of the sequences. Specifically, if $\kappa \leq \lambda$, then \[\sup_{\Vert M\Vert =\lambda}\vert S^{\kappa}\vert =\vert )^{\kappa}.\] We show that this holds for any abstract elementary class with $\lambda$-amalgamation. No such calculation is possible for nonalgebraic types. However, we introduce a subclass of nonalgebraic types for which the same upper bound holds.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. added 2016-11-25
    Owen Griffiths (forthcoming). Inferentialism and Quantification. Notre Dame Journal of Formal Logic.
    Logical inferentialists contend that the meanings of the logical constants are given by their inference rules. Not just any rules are acceptable, however: inferentialists should demand that inference rules must reflect reasoning in natural language. By this standard, I argue, the inferentialist treatment of quantification fails. In particular, the inference rules for the universal quantifier contain free variables, which find no answer in natural language. I consider the most plausible natural language correlate to free variables—the use of variables in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. added 2016-11-24
    Leonardo Manuel Cabrer & Daniele Mundici (forthcoming). Germinal Theories in Łukasiewicz Logic. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. added 2016-11-23
    Robert Goldblatt & Ian Hodkinson (forthcoming). Spatial Logic of Tangled Closure Operators and Modal Mu-Calculus. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. added 2016-11-22
    Erica Calardo & Antonino Rotolo (forthcoming). Quantification in Some Non-Normal Modal Logics. Journal of Philosophical Logic:1-36.
    This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. added 2016-11-21
    Cheng-Chih Tsai (forthcoming). The Prisoner’s Dilemma: From a Logical Point of View. Axiomathes:1-20.
    It is generally believed that, for a one-off Prisoner’s Dilemma game, it is logical to defect. However, both players cooperating is apparently a better choice than both defecting, hence the dilemma. In this paper, by resorting to Ramsey’s Test, Kripke’s possible world semantics, and Stalnaker/Lewis-style account of conditionals, I show that the first horn of the Prisoner’s Dilemma is an unsound argument. It originates from failing to differentiate between a possible world and a possible set of possible worlds and failing (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. added 2016-11-20
    Sean Cox & Philipp Lücke (forthcoming). Characterizing Large Cardinals in Terms of Layered Posets. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. added 2016-11-19
    Ivo Pezlar (forthcoming). Proof-Theoretic Semantics, by Nissim Francez. Mind:fzw056.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. added 2016-11-19
    Francesca Poggiolesi (forthcoming). On Constructing a Logic for the Notion of Complete and Immediate Formal Grounding. Synthese:1-24.
    In Poggiolesi we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. added 2016-11-18
    Vincent Guingona, Cameron Donnay Hill & Lynn Scow (forthcoming). Characterizing Model-Theoretic Dividing Lines Via Collapse of Generalized Indiscernibles. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. added 2016-11-17
    Howard Becker (forthcoming). Strange Structures From Computable Model Theory. Notre Dame Journal of Formal Logic.
    Let $L$ be a countable language, let ${\mathcal{I}}$ be an isomorphism-type of countable $L$-structures, and let $a\in2^{\omega}$. We say that ${\mathcal{I}}$ is $a$-strange if it contains a computable-from-$a$ structure and its Scott rank is exactly $\omega_{1}^{a}$. For all $a$, $a$-strange structures exist. Theorem : If $\mathcal{C}$ is a collection of $\aleph_{1}$ isomorphism-types of countable structures, then for a Turing cone of $a$’s, no member of $\mathcal{C}$ is $a$-strange.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. added 2016-11-17
    Guram Bezhanishvili & Nick Bezhanishvili (forthcoming). Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame Journal of Formal Logic.
    The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices. The variety of bounded distributive lattices is generated by the $\to$-free reducts of Heyting algebras, while the variety of implicative semilattices is generated by the $\vee$-free reducts. Each of these reducts gives rise to canonical formulas that generalize Jankov formulas and provide an axiomatization of all superintuitionistic logics. The $\vee$-free reducts of Heyting algebras give rise to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. added 2016-11-14
    Wolfgang Schwarz (forthcoming). Subjunctive Conditional Probability. Journal of Philosophical Logic:1-20.
    There seem to be two ways of supposing a proposition: supposing “indicatively” that Shakespeare didn’t write Hamlet, it is likely that someone else did; supposing “subjunctively” that Shakespeare hadn’t written Hamlet, it is likely that nobody would have written the play. Let P be the probability of B on the subjunctive supposition that A. Is P equal to the probability of the corresponding counterfactual, A□→B? I review recent triviality arguments against this hypothesis and argue that they do not succeed. On (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. added 2016-11-13
    Paul Shafer (forthcoming). Honest Elementary Degrees and Degrees of Relative Provability Without the Cupping Property. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. added 2016-11-12
    Arun Kumar & Mohua Banerjee (forthcoming). Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics. Studia Logica:1-31.
    A structural theorem for Kleene algebras is proved, showing that an element of a Kleene algebra can be looked upon as an ordered pair of sets, and that negation with the Kleene property is describable by the set-theoretic complement. The propositional logic \ of Kleene algebras is shown to be sound and complete with respect to a 3-valued and a rough set semantics. It is also established that Kleene negation can be considered as a modal operator, due to a perp (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. added 2016-11-12
    Thomas Gilton & John Krueger (forthcoming). Mitchell's Theorem Revisited. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. added 2016-11-11
    Vicent Costa & Pilar Dellunde (forthcoming). On the Existence of Free Models in Fuzzy Universal Horn Classes. Journal of Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. added 2016-11-11
    Paulo Oliva & Thomas Powell (forthcoming). Bar Recursion Over Finite Partial Functions. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. added 2016-11-11
    Carlo Ierna (2016). The Reception of Russell’s Paradox in Early Phenomenology and the School of Brentano: The Case of Husserl’s Manuscript A I 35α. In Guillermo E. Rosado Haddock (ed.), Husserl and Analytic Philosophy. De Gruyter 119-142.
  31. added 2016-11-11
    Timo Beringer & Thomas Schindler (2016). Reference Graphs and Semantic Paradox. In Adam Arazim & Michal Dancak (eds.), Logica Yearbook 2015. College Publications 1-15.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  32. added 2016-11-10
    A. Ivanov & B. Majcher-Iwanow (forthcoming). Polish G-Spaces and Continuous Logic. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. added 2016-11-07
    Nissim Francez (forthcoming). A Proof-Theoretic Semantics for Adjectival Modification. Journal of Logic, Language and Information:1-23.
    The paper introduces a proof-theoretic semantics for adjectival modification as an alternative to the traditional model-theoretic semantics basing meaning on truth-conditions. The paper considers the proof-theoretic meaning of modification by means of the three traditional adjective classes: intersective, subsective and privative. It does so by introducing a meaning-conferring natural-deduction proof system for such modification. The PTS theory of meaning is not polluted by ontological commitments, for example, a scale for beauty and a yardstick for being beautiful. It only uses syntactic (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. added 2016-11-05
    Stanislav O. Speranski (forthcoming). Notes on the Computational Aspects of Kripke’s Theory of Truth. Studia Logica:1-23.
    The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. added 2016-11-05
    César Schirmer dos Santos (2011). Presentismo, referência ao passado e proposições. Investigação Filosófica 2 (2):1-8.
    Os presentistas nos dizem que os únicos objetos percorridos pelos quantificadoresde escopo mais amplo são aqueles que existem no presente, o que leva seus críticos aperguntarem o que torna verdadeiros os enunciados sobre o passado, como “Sócrates foi umfilósofo”. Em defesa do presentismo, e seguindo a proposta de Fiocco (2007), argumentamosque o que torna verdadeiro um enunciado sobre o passado é uma proposição, que proposiçõesnão existem no tempo, e que nada na teoria presentista compromete seus defensores com atese de que (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. added 2016-11-05
    César Schirmer dos Santos (2011). Presentismo, referência ao passado e proposições. Investigação Filosófica 2 (2):1-8.
    Os presentistas nos dizem que os únicos objetos percorridos pelos quantificadoresde escopo mais amplo são aqueles que existem no presente, o que leva seus críticos aperguntarem o que torna verdadeiros os enunciados sobre o passado, como “Sócrates foi umfilósofo”. Em defesa do presentismo, e seguindo a proposta de Fiocco (2007), argumentamosque o que torna verdadeiro um enunciado sobre o passado é uma proposição, que proposiçõesnão existem no tempo, e que nada na teoria presentista compromete seus defensores com atese de que (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. added 2016-11-05
    César Schirmer dos Santos (2011). Presentismo, referência ao passado e proposições. Investigação Filosófica 2 (2):1-8.
    Os presentistas nos dizem que os únicos objetos percorridos pelos quantificadores de escopo mais amplo são aqueles que existem no presente, o que leva seus críticos a perguntarem o que torna verdadeiros os enunciados sobre o passado, como “Sócrates foi um filósofo”. Em defesa do presentismo, e seguindo a proposta de Fiocco (2007), argumentamos que o que torna verdadeiro um enunciado sobre o passado é uma proposição, que proposições não existem no tempo, e que nada na teoria presentista compromete seus (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. added 2016-11-05
    César Schirmer dos Santos (2011). Presentismo, referência ao passado e proposições. Investigação Filosófica 2 (2):1-8.
    Os presentistas nos dizem que os únicos objetos percorridos pelos quantificadoresde escopo mais amplo são aqueles que existem no presente, o que leva seus críticos aperguntarem o que torna verdadeiros os enunciados sobre o passado, como “Sócrates foi umfilósofo”. Em defesa do presentismo, e seguindo a proposta de Fiocco (2007), argumentamosque o que torna verdadeiro um enunciado sobre o passado é uma proposição, que proposiçõesnão existem no tempo, e que nada na teoria presentista compromete seus defensores com atese de que (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. added 2016-11-05
    César Schirmer dos Santos (2011). Presentismo, referência ao passado e proposições. Investigação Filosófica 2 (2):1-8.
    Os presentistas nos dizem que os únicos objetos percorridos pelos quantificadoresde escopo mais amplo são aqueles que existem no presente, o que leva seus críticos aperguntarem o que torna verdadeiros os enunciados sobre o passado, como “Sócrates foi umfilósofo”. Em defesa do presentismo, e seguindo a proposta de Fiocco (2007), argumentamosque o que torna verdadeiro um enunciado sobre o passado é uma proposição, que proposiçõesnão existem no tempo, e que nada na teoria presentista compromete seus defensores com atese de que (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. added 2016-11-04
    Andrew Bacon (forthcoming). Tense and Relativity. Noûs.
    Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  41. added 2016-11-04
    Constantin C. Brîncuș & Iulian D. Toader (2013). A Carnapian Approach to Counterexamples to Modus Ponens. Romanian Journal of Analytic Philosophy 7:78-85.
    This paper defends a Carnapian approach to known counterexamples to Modus Ponens (MP). More specifically, it proposes that instead of rejecting MP as invalid in certain interpretations, one should regard the interpretations themselves as non-normal, in Carnap’s sense.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  42. added 2016-11-01
    Pierre Baumann (2016). Un problema lógico con la tesis Kripke-Putnam. Ideação 34:275-296.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  43. added 2016-11-01
    Greg Restall (2007). Proofnets for S5: Sequents and Circuits for Modal Logic. In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge 151-172.
    In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is directly motivated in terms (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. added 2016-10-30
    Tszyuen Lau & Yanjing Wang (2016). Knowing Your Ability. Philosophical Forum 47 (3-4):415-423.
    In this article, we present an attempt to reconcile intellectualism and the anti-intellectualist ability account of knowledge-how by reducing “S knows how to F” to, roughly speaking, “S knows that she has the ability to F demonstrated by a concrete way w.” More precisely, “S has a certain ability” is further formalized as the proposition that S can guarantee a certain goal by a concrete way w of some method under some precondition. Having the knowledge of our own ability, we (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45. added 2016-10-29
    Massimiliano Carrara & Enrico Martino (forthcoming). DLEAC: A Dialetheic Logic with Exclusive Assumptions and Conclusions. Topoi:1-10.
    This paper proposes a new dialetheic logic, a Dialetheic Logic with Exclusive Assumptions and Conclusions ), including classical logic as a particular case. In \, exclusivity is expressed via the speech acts of assuming and concluding. In the paper we adopt the semantics of the logic of paradox extended with a generalized notion of model and we modify its proof theory by refining the notions of assumption and conclusion. The paper starts with an explanation of the adopted philosophical perspective, then (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. added 2016-10-29
    Bjørn Kjos-Hanssen, Frank Stephan & Sebastiaan A. Terwijn (forthcoming). Covering the Recursive Sets. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. added 2016-10-29
    Stephen Flood (forthcoming). Ordinals and Graph Decompositions. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. added 2016-10-28
    Nils Kürbis (forthcoming). Bilateralist Detours: From Intuitionist to Classical Logic and Back. Logique Et Analyse.
    There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. added 2016-10-27
    M. Garapa, E. Fermé & M. D. L. Reis (forthcoming). Studies on Brutal Contraction and Severe Withdrawal. Studia Logica:1-30.
    In this paper we present an axiomatic characterization for brutal contractions. Then we consider the particular case of the brutal contractions that are based on a bounded ensconcement and also the class of severe withdrawals which are based on bounded epistemic entrenchment relations that are defined by means of bounded ensconcements. We present axiomatic characterizations for each one of those classes of functions and investigate the interrelation among them.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. added 2016-10-27
    Pantelis E. Eleftheriou (2013). Non-Standard Lattices and o-Minimal Groups. Bulletin of Symbolic Logic 19 (1):56-76.
    We describe a recent program from the study of definable groups in certain o-minimal structures. A central notion of this program is that of a lattice. We propose a definition of a lattice in an arbitrary first-order structure. We then use it to describe, uniformly, various structure theorems for o-minimal groups, each time recovering a lattice that captures some significant invariant of the group at hand. The analysis first goes through a local level, where a pertinent notion of pregeometry and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 141