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 / 101
  1. added 2015-07-02
    Felice Cardone (forthcoming). Continuity in Semantic Theories of Programming. History and Philosophy of Logic:1-20.
    Continuity is perhaps the most familiar characterization of the finitary character of the operations performed in computation. We sketch the historical and conceptual development of this notion by interpreting it as a unifying theme across three main varieties of semantical theories of programming: denotational, axiomatic and event-based. Our exploration spans the development of this notion from its origins in recursion theory to the forms it takes in the context of the more recent event-based analyses of sequential and concurrent computations, touching (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. added 2015-07-01
    Caleb Dewey & Garri Hovhannisyan, Inductive Theories Are Cognitive Metaphors.
    For decades, metaphors have been known to be very important within science. Recently, Brown (2008) strengthened their importance so far as to argue that all scientific models are metaphors (in the cognitive sense). We stretch their importance even further to say that all scientific theories are cognitive metaphors as long as those theories are yielded by a coherent account of induction. Since standard induction is incoherent, as per Hume and Duhem, we primarily concern ourselves with defining a coherent account of (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  3. added 2015-07-01
    John Corcoran & Anthony Ramnauth (2013). Equality and Identity. Bulletin of Symbolic Logic 19:255-256.
    Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical point (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. added 2015-06-30
    Igal Kvart, THE CAUSAL-PROCESS-CHANCE-BASED ANALYSIS OF CONTERFACTUALS.
    Abstract In this paper I consider an easier-to-read and improved to a certain extent version of the causal chance-based analysis of counterfactuals that I proposed and argued for in my A Theory of Counterfactuals. Sections 2, 3 and 4 form Part I: In it, I survey the analysis of the core counterfactuals (in which, very roughly, the antecedent is compatible with history prior to it). In section 2 I go through the three main aspects of this analysis, which are the (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. added 2015-06-30
    Luciana Benotti (forthcoming). Book Review: Jonathan Ginzburg, The Interactive Stance: Meaning in Conversation. [REVIEW] Studia Logica:1-6.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. added 2015-06-29
    F. Berto (forthcoming). A Modality Called 'Negation. Mind:fzv026.
    I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. added 2015-06-27
    Robert J. Rovetto (forthcoming). Presentism and the Problem of Singular Propositions About Non-Present Objects – Limitations of a Proposed Solution. Polish Journal of Philosophy 8 (1).
    In “A Defense of Presentism”, Ned Markosian addresses the problem of singular propositions about non-present objects. The proposed solution uses a paraphrasing strategy that differentiates between two kinds of meaning in declarative sentences, and also distinguishes between two truth-conditions for singular propositions. The solution, however, is unsatisfactory. I demonstrate that the both truth-conditions suffer from the same problems in spite of the examples used to support the claim that one is a proper treatment for singular propositions. Part of the difficulty (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. added 2015-06-21
    Chien-Hsing Ho (forthcoming). Resolving the Ineffability Paradox. Bloomsbury Academic.
    A number of contemporary philosophers think that the unqualified statement “X is unspeakable” faces the danger of self-referential absurdity: if this statement is true, it must simultaneously be false, given that X is speakable by the predicate word “unspeakable.” This predicament is in this chapter formulated as an argument that I term the “ineffability paradox.” After examining the Buddhist semantic theory of apoha (exclusion) and an apoha solution to the issue, I resort to a few Chinese Buddhist and Hindu philosophical (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  9. added 2015-06-20
    Cristián Santibáñez Yáñéz (2015). Steps Towards an Evolutionary Account of Argumentative Competence. Informal Logic 35 (2):167-182.
    In this paper a tentative explanation of the competence of argumentation from an evolutionary point of view is offered. Because in contemporary argumentation theory and the informal logic approach the evolutionary perspective has been neglected, this paper gives an initial overview on the matter with the hope that core aspects of the argumentative faculty—such as argumentative normativity, the function of arguments, or fallacious moves, among others—can be seen differently afterwards. In order to specify the proposal, the main concepts considered are (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  10. added 2015-06-19
    Fernando Ferreira & Gilda Ferreira (forthcoming). The Faithfulness of Fat: A Proof-Theoretic Proof. Studia Logica:1-9.
    It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system F at, a predicative calculus with only two connectives: the conditional and the second-order universal quantifier. The faithfulness of the embedding was established quite recently via a model-theoretic argument based in Kripke structures. In this paper we present a purely proof-theoretic proof of faithfulness. As an application, we give a purely proof-theoretic proof of the disjunction property of the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. added 2015-06-18
    Julie Brumberg-Chaumont (2015). Erratum To: Universal Logic and Aristotelian Logic: Formality and Essence of Logic. Logica Universalis 9 (2):279-279.
    The rediscovery of Aristotle’s works on syllogisms in the Latin world, especially the Sophistici Elenchi and then the Prior Analytics, gave rise to sophisticated views on the nature of syllogistic form and syllogistic matter in the thirteenth century. It led to debates on the ontology of the syllogism as studied in the Prior Analytics, i.e. the syllogism made of letters and the four logical constants a/e/i/o, with deep consequences on the definition of logic as a universal method for all sciences (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. added 2015-06-16
    Andrew Schumann (forthcoming). P-Adic Valued Logical Calculi in Simulations of the Slime Mould Behaviour. Journal of Applied Non-Classical Logics:1-15.
    In this paper we consider possibilities for applying p-adic valued logic BL to the task of designing an unconventional computer based on the medium of slime mould , the giant amoebozoa that looks for attractants and reaches them by means of propagating complex networks. If it is assumed that at any time step t of propagation the slime mould can discover and reach not more than attractants, then this behaviour can be coded in terms of p-adic numbers. As a result, (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. added 2015-06-15
    John Corcoran (2014). Formalizing Euclid’s First Axiom. Bulletin of Symbolic Logic 20:404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  14. added 2015-06-11
    Joke Spruyt (forthcoming). Summaries of Logic. History and Philosophy of Logic:1-3.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. added 2015-06-11
    Edoardo Rivello (forthcoming). Periodicity and Reflexivity in Revision Sequences. Studia Logica:1-24.
    Revision sequences were introduced in 1982 by Herzberger and Gupta as a mathematical tool in formalising their respective theories of truth. Since then, revision has developed in a method of analysis of theoretical concepts with several applications in other areas of logic and philosophy. Revision sequences are usually formalised as ordinal-length sequences of objects of some sort. A common idea of revision process is shared by all revision theories but specific proposals can differ in the so-called limit rule, namely the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. added 2015-06-10
    Stamatios Gerogiorgakis (forthcoming). Mind the Croc! Rationality Gaps Vis-À-Vis the Crocodile Paradox. History and Philosophy of Logic:1-13.
    This article discusses rationality gaps triggered by self-referential/cyclic choice, the latter being understood as choosing according to a norm that refers to the choosing itself. The Crocodile Paradox is reformulated and analyzed as a game—named CP—whose Nash equilibrium is shown to trigger a cyclic choice and to invite a rationality gap. It is shown that choosing the Nash equilibrium of CP conforms to the principles Wolfgang Spohn and Haim Gaifman introduced to, allegedly, guarantee acyclicity but, in fact, does not prevent (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. added 2015-06-09
    Craig Warmke (forthcoming). Modal Intensionalism. Journal of Philosophy.
    I offer an alternative semantics for modal propositional logic without possible worlds, an accessibility relation, or formally similar stand-ins for either.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. added 2015-06-09
    Sean Walsh (forthcoming). Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. Journal of Philosophical Logic:1-50.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church's intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. added 2015-06-05
    John Corcoran (2006). Complete Enumerative Inductions. Bulletin of Symbolic Logic 12:465-6.
    Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case the first premise is (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  20. added 2015-06-04
    Maarten Boudry, Fabio Paglieri & Massimo Pigliucci (forthcoming). The Fake, the Flimsy, and the Fallacious: Demarcating Arguments in Real Life. Argumentation:1-26.
    Philosophers of science have given up on the quest for a silver bullet to put an end to all pseudoscience, as such a neat formal criterion to separate good science from its contenders has proven elusive. In the literature on critical thinking and in some philosophical quarters, however, this search for silver bullets lives on in the taxonomies of fallacies. The attractive idea is to have a handy list of abstract definitions or argumentation schemes, on the basis of which one (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. added 2015-06-04
    Rodrigo Guerizoli & Guy Hamelin (2015). Preface: Medieval Logic. Logica Universalis 9 (2):129-131.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. added 2015-06-04
    Guy Hamelin & Danilo Luiz Silva Maia (2015). Nominalism and Semantics in Abelard and Ockham. Logica Universalis 9 (2):155-180.
    Peter Abelard and William of Ockham represent the two main figures of the nominalism of the Middle Ages. Both share the fundamental thesis of that doctrine, according to which only individual entities exist. The repercussions of nominalism are quite evident in relation to the question of universals, which constitutes a subject that, until now, won the attention of the majority of contemporary studies on the two most important logicians of their time. Nevertheless the nominalism of each of these two protagonists (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. added 2015-06-04
    John Corcoran (2008). Subregular Tetrahedra. Bulletin of Symbolic Logic 14:411-2.
    This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined for (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  24. added 2015-06-03
    Szymon Chlebowski & Dorota Leszczyńska-Jasion (forthcoming). Dual Erotetic Calculi and the Minimal {Mathsf{LFI}}. Studia Logica:1-34.
    An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic ). In this paper, a new erotetic calculus for Classical Propositional Logic ), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic \ and its extensions \ and \. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. added 2015-06-03
    David Nicolas (2014). Review of Oliver & Smiley, Plural Logic, 2013. [REVIEW] Notre Dame Philosophical Reviews 2.
  26. added 2015-06-02
    Jan A. Bergstra & Inge Bethke (forthcoming). Note on Paraconsistency and Reasoning About Fractions. Journal of Applied Non-Classical Logics:1-5.
    We apply a paraconsistent strategy to reasoning about fractions.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. added 2015-06-01
    Julie Brumberg-Chaumont (2015). Universal Logic and Aristotelian Logic: Formality and Essence of Logic. Logica Universalis 9 (2):253-278.
    The rediscovery of Aristotle’s works on syllogisms in the Latin world, especially the Sophistici Elenchi and then the Prior Analytics, gave rise to sophisticated views on the nature of syllogistic form and syllogistic matter in the thirteenth century. It led to debates on the ontology of the syllogism as studied in the Prior Analytics, i.e. the syllogism made of letters and the four logical constants a/e/i/o, with deep consequences on the definition of logic as a universal method for all sciences (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. added 2015-05-30
    David Godden (2015). Argumentation, Rationality, and Psychology of Reasoning. Informal Logic 35 (2):135-166.
    This paper explicates an account of argumentative rationality by articulating the common, basic idea of its nature, and then identifying a collection of assumptions inherent in it. Argumentative rationality is then contrasted with dual-process theories of reasoning and rationality prevalent in the psychology of reasoning. It is argued that argumentative rationality properly corresponds only with system-2 reasoning in dual-process theories. This result challenges the prescriptive force of argumentative norms derives if they derive at all from their descriptive accuracy of our (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  29. added 2015-05-30
    Cristián Santibáñez (2015). Steps Towards an Evolutionary Account of Argumentative Competence. Informal Logic 35 (2):167-182.
    Do we know exactly what is the function of arguing? Resolving a difference of opinion as pragma-dialecticians suppose? Obtaining the favour of the audience as rhetoricians and neo-rhetoricians claim? Calculating the benefits, costs and risks of communicating a point of view as instrumentalists believe? Or it all depends as informal logicians emphasise? Because the author considers that this very basic problem in argumentation theory has not been accurately answered, this paper discusses some ideas of the main perspectives in this field. (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  30. added 2015-05-30
    Jeffrey Maynes (2015). Critical Thinking and Cognitive Bias. Informal Logic 35 (2):183-203.
    Teaching critical thinking skill is a central pedagogical aim in many courses. These skills, it is hoped, will be both portable and durable . Yet, both of these virtues are challenged by pervasive and potent cognitive biases, such as motivated reasoning, false consensus bias and hindsight bias. In this paper, I argue that a focus on the development of metacognitive skill shows promise as a means to inculcate debiasing habits in students. Such habits will help students become more critical reasoners. (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  31. added 2015-05-30
    Kunimasa Sato (2015). Sensitizing Reasons by Emulating Exemplars. Informal Logic 35 (2):204-220.
    The fostering of rationality has long been endorsed as an educational ideal by some philosophers; in recent years, whereas some have argued for this ideal, others have challenged it, particularly within debates relevant to the study of critical thinking. Harvey Siegel, who has spelled out the philosophical theory of educating for rationality, not only has defended his view from such challenges but also has been deepening his thoughts regarding how rationality can be fostered. This paper centers on the cultivating of (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  32. added 2015-05-30
    John Corcoran & Wagner Sanz (2008). Disbelief Logic Complements Belief Logic. Bulletin of Symbolic Logic 14:436.
    JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: corcoran@buffalo.edu Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: sanz@fchf.ufg.br -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. Traditional logic (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  33. added 2015-05-29
    John Corcoran, JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.
    JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  34. added 2015-05-28
    Christopher Menzel (forthcoming). Logic, Essence, and Modality — A Critical Review of Hale's Necessary Beings. Philosophia Mathematica 23.
    Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. added 2015-05-27
    Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori & Naosuke Matsuda (forthcoming). Reduction Rules for Intuitionistic {{Lambda}{Rho}}-Calculus. Studia Logica:1-20.
    The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in . In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus , but is complicated. In this paper, we introduce some reduction rules for the \-calculus, (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. added 2015-05-26
    Michèle Friend (2014). Using a Formal Theory of Logic Metaphorically. In Pluralism in Mathematics: A New Position in Philosophy of Mathematics. Springer Netherlands.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  37. added 2015-05-24
    John Corcoran & Sriram Nambiar (2014). De Morgan on Euclid’s Fourth Postulate. Journal of Symbolic Logic 20:250-1.
    This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact that, (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  38. added 2015-05-23
    John Corcoran (2006). George Boole. In Encyclopedia of Philosophy. 2nd edition. macmillan.
    2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  39. added 2015-05-23
    Gilbert E. Plumer (2000). A Review of the LSAT Using Literature on Legal Reasoning. Law School Admission Council Computerized Testing Report 97 (8):1-19.
    Research using current literature on legal reasoning was conducted with the goals of (a) determining what skills are most important in good legal reasoning according to such literature, (b) determining the extent to which existing Law School Admission Test item types and subtypes are designed to assess those skills, and (c) suggesting test specifications or new or refined item types and formats that could be developed in the future to assess any important skills that appear [by (a) and (b)] to (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. added 2015-05-23
    John Corcoran (1987). Three Rules of Distribution: One Counterexample. Journal of Symbolic Logic 52:886-887.
    This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed middle show that an argument's conclusion does (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  41. added 2015-05-22
    Massimiliano Carrara & Enrico Martino (forthcoming). The Mereological Foundation of Megethology. Journal of Philosophical Logic:1-9.
    In Mathematics is megethology . Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. added 2015-05-22
    John Corcoran (2009). Sentence, Proposition, Judgment, Statement, and Fact: Speaking About the Written English Used in Logic. In W. A. Carnielli (ed.), The Many Sides of Logic. College Publications. 71-103.
    The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  43. added 2015-05-21
    Prem Kumar Singh & Abdullah Gani (forthcoming). Fuzzy Concept Lattice Reduction Using Shannon Entropy and Huffman Coding. Journal of Applied Non-Classical Logics:1-19.
    In the last decade, formal concept analysis in a fuzzy setting has received more attention for knowledge processing tasks in various fields. The hierarchical order visualisation of generated formal concepts is a major concern for the practical application of FCA. In this process, a major issue is the huge number of formal concepts generated from ‘a large context’, and another problem is their ‘storage’ complexity. To deal with these issues a method is proposed in this paper based on Shannon entropy (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. added 2015-05-20
    Francesco Berto (2015). The Firmest of All Principles. In Channa van Dijk, Eva van der Graaf, Michiel den Haan, Rosa de Jong, Christiaan Roodenburgh, Dyane Til & Deva Waal (eds.), Under Influence - Philosophical Festival Drift (2014). 82-93.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  45. added 2015-05-18
    Matteo Bianchi & Franco Montagna (forthcoming). Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Studia Logica:1-19.
    In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. Hájek generalized this result to the first-order versions of Łukasiewicz, Gödel and Product logics, w.r.t. their standard algebras. In this paper we extend the analysis to the first-order versions of axiomatic extensions of MTL. Our main result is the following. Let \ be a class of MTL-chains. Then the set of all first-order tautologies associated to the finite models (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. added 2015-05-16
    Alfredo Storck (2015). The Meanings of ‘Logic’ in the Thirteenth Century. Logica Universalis 9 (2):133-154.
    The goal of this article is to call attention to different ways in which logic was understood in the thirteenth century. Thus, it will recall some relevant historical facts related to the problem of classifying logic among scientific disciplines. This problem involved methodological questions linked to the form of presenting both the scientific disciplines and the books by which they were transmitted. Next, it will stress the contexts that led Medievals to raise questions about the nature of logic and why (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. added 2015-05-15
    George Barmpalias, Mingzhong Cai, Steffen Lempp & Theodore A. Slaman (forthcoming). On the Existence of a Strong Minimal Pair. Journal of Mathematical Logic:150513211853004.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. added 2015-05-13
    Marcus Rossberg And Philip A. Ebert J. J. Green (2015). The Convenience of the Typesetter; Notation and Typography in Frege's "Grundgesetze der Arithmetik. Bulletin of Symbolic Logic 21 (1):15-30,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  49. added 2015-05-13
    Solomon Feferman and Vladimir Lifschitz (2015). In Memoriam: Grigori E. Mints 1939-2014. Bulletin of Symbolic Logic 21 (1):31-33,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  50. added 2015-05-13
    John Corcoran And Hassan Masoud (2015). Existential-Import Mathematics. Bulletin of Symbolic Logic 21 (1):1-14,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 101