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 / 8463
  1. added 2016-07-29
    Bogdan Dicher (2016). A Proof-Theoretic Defence of Meaning-Invariant Logical Pluralism. Mind 125 (499):727-757.
    In this paper I offer a proof-theoretic defence of meaning-invariant logical pluralism. I argue that there is a relation of co-determination between the operational and structural aspects of a logic. As a result, some features of the consequence relation are induced by the connectives. I propose that a connective is defined by those rules which are conservative and unique, while at the same time expressing only connective-induced structural information. This is the key to stabilizing the meaning of the connectives across (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2. added 2016-07-28
    B. Schnieder (forthcoming). In Defence of a Logic for ‘Because’. Journal of Applied Non-Classical Logics:1-12.
    The present author developed a calculus for the logic of ‘because’. In a recent paper in this journal, it has been claimed that the central inference rules for the logic are invalid and that the intuition upon which the rules are based is not accounted for. This note criticises these arguments and presents an independent argument in favour of the rules used in the logic.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3. added 2016-07-28
    Elena Ficara (2015). Treatise on Consequences. History and Philosophy of Logic 37 (4):393-396.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4. added 2016-07-27
    Ole Thomassen Hjortland (forthcoming). Anti-Exceptionalism About Logic. Philosophical Studies:1-28.
    Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. added 2016-07-27
    Madeline Muntersbjorn (forthcoming). Mathematical Knowledge and the Interplay of Practices. History and Philosophy of Logic:1-4.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6. added 2016-07-25
    Thomas M. Ward (2015). John Duns Scotus on Time and Existence: The Questions on Aristotle's ‘De Interpretatione’. History and Philosophy of Logic 37 (3):292-294.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. added 2016-07-24
    Goran Kardaš (2015). Some (Critical) Remarks on Priest's Dialetheist Reading of Nagarjuna. European Journal of Analytic Philosophy 11 (2):35--49.
    Graham Priest in collaboration with J. Garfield and Y. Deguchi (henceforth: DGP) wrote several articles and responses arguing that the Buddhist philosopher Nagarjuna was a dialetheist thinker, i.e. that he not just identified and exposed certain contradictions but that he embraced it. These contradictions, according to DGP, always occur ``at the limits of thought'' i.e. when a certain view at the same time transcends the limit (``transcendence'') and is within that limit (``closure''). In Nagarjuna's case, these limital contradictions arise at (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  8. added 2016-07-24
    Edi Pavlović (2015). Translating a Suppes-Lemmon Style Natural Deduction Into a Sequent Calculus. European Journal of Analytic Philosophy 11 (2):79--88.
    This paper presents a straightforward procedure for translating a Suppes-Lemmon style natural deduction proof into an LK sequent calculus. In doing so, it illustrates a close connection between the two, and also provides an account of redundant steps in a natural deduction proof.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  9. added 2016-07-24
    Nenad Miščević (2015). Hegel's Dialectics: Logic, Consciousness and History. European Journal of Analytic Philosophy 11 (2):21--34.
    Graham Priest has brilliantly analyzed Hegel's dialectics, as far as its logical and abstract ontological (metaphysical) structure goes, and has successfully related it to his own logically sophisticated dialethism. After briefly reminding the reader of his account, the paper turns to the other, not purely logical side of Hegel's dialectics, and points to his strategy of bringing together ontological, anthropological and historical matters together with the logical structure, in a manner quite foreign to analytic tradition. It concludes with the proposal (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  10. added 2016-07-24
    Berislav Žarnić (2015). A Social Pragmatic View on the Concept of Normative Consistency. European Journal of Analytic Philosophy 11 (2):56--78.
    The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  11. added 2016-07-24
    Graham Priest (2015). Speaking of the Ineffable, East and West. European Journal of Analytic Philosophy 11 (2):6--20.
    There is a phenomenon that often arises when a philosophy argues that there are limits to thought/language, and tries to justify this view by giving reasons as to why there are things about which one cannot think/talk---in the process appearing to give the lie to the claim. I will be concerned with that phenomenon. We will look at some of philosophies that fall into this camp (those of Wittgenstein, Heidegger, and Mahayana Buddhism). We will then see that Buddhist philosophy has (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  12. added 2016-07-23
    Zofia Kostrzycka & Yutaka Miyazaki (forthcoming). Normal Modal Logics Determined by Aligned Clusters. Studia Logica:1-11.
    We consider the family of logics from NExt which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. added 2016-07-23
    Thomas Schindler, Type-Free Truth.
    This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  14. added 2016-07-21
    Clayton Peterson (forthcoming). A Comparison Between Monoidal and Substructural Logics. Journal of Applied Non-Classical Logics:1-34.
    Monoidal logics were introduced as a foundational framework to analyse the proof theory of deontic logic. Building on Lambek’s work in categorical logic, logical systems are defined as deductive systems, that is, as collections of equivalence classes of proofs satisfying specific rules and axiom schemata. This approach enables the classification of deductive systems with respect to their categorical structure. When looking at their proof theory, however, one can see that there are similarities between monoidal and substructural logics. The purpose of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15. added 2016-07-20
    Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero (forthcoming). On Polynomial Semantics for Propositional Logics. Journal of Applied Non-Classical Logics:1-23.
    Some properties and an algorithm for solving systems of multivariate polynomial equations over finite fields are presented. It is then shown how formulas of propositional logics can be translated into polynomials over finite fields in such a way that several logic problems are expressed in terms of algebraic problems. Consequently, algebraic properties and algorithms can be used to solve the algebraically-represented logic problems. The methods described herein combine and generalise those of various previous works.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16. added 2016-07-20
    Wojciech Dzik & Piotr Wojtylak (forthcoming). Modal Consequence Relations Extending $Mathbf{S4.3}$: An Application of Projective Unification. Notre Dame Journal of Formal Logic.
    We characterize all finitary consequence relations over $\mathbf{S4.3}$, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. added 2016-07-20
    F. Pataut (forthcoming). Le Nécessaire Et L’Universel—Analyse Et Critique de Leur Corrélation. History and Philosophy of Logic:1-3.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18. added 2016-07-20
    Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt & Barbara Morawska (forthcoming). Deciding Unifiability and Computing Local Unifiers in the Description Logic $Mathcal{E!L}$ Without Top Constructor. Notre Dame Journal of Formal Logic.
    Unification in description logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The inexpressive description logic $\mathcal{E\!L}$ is of particular interest in this context since, on the one hand, several large biomedical ontologies are defined using $\mathcal{E\!L}$. On the other hand, unification in $\mathcal{E\!L}$ has been shown to be NP-complete and, thus, of considerably lower complexity than unification in other description logics of similarly restricted expressive power. However, $\mathcal{E\!L}$ allows (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. added 2016-07-18
    Ken Akiba (forthcoming). A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach. Journal of Philosophical Logic:1-23.
    The Boolean many-valued approach to vagueness is similar to the infinite-valued approach embraced by fuzzy logic in the respect in which both approaches seek to solve the problems of vagueness by assigning to the relevant sentences many values between falsity and truth, but while the fuzzy-logic approach postulates linearly-ordered values between 0 and 1, the Boolean approach assigns to sentences values in a many-element complete Boolean algebra. On the modal-precisificational approach represented by Kit Fine, if a sentence is indeterminate in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. added 2016-07-17
    Eliana Barriga & Alf Onshuus (forthcoming). Classifying Torsion Free Groups in o-Minimal Expansions of Real Closed Fields. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. added 2016-07-17
    Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi (2015). On an Intuitionistic Logic for Pragmatics. Journal of Logic and Computation:doi: 10.1093/logcom/exv036.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  22. added 2016-07-16
    Elisa Paganini (forthcoming). Vague Objects Within Classical Logic and Standard Mereology, and Without Indeterminate Identity. Journal of Philosophical Logic:1-9.
    Weatherson argues that whoever accepts classical logic, standard mereology and the difference between vague objects and any others, should conclude that there are no vague objects. Barnes and Williams claim that a supporter of vague objects who accepts classical logic and standard mereology should recognize that the existence of vague objects implies indeterminate identity. Even though it is not clearly stated, they all seem to be committed to the assumption that reality is ultimately constituted by mereological atoms. This assumption is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. added 2016-07-15
    Scott Jacobs (2016). Employing and Exploiting the Presumptions of Communication in Argumentation: An Application of Normative Pragmatics. Informal Logic 36 (2):159-191.
    Argumentation occurs through and as communicative activity. Communication is organized by pragmatic principles of expression and interpretation. Grice’s theory of conversational implicature provides a model for how people use rational principles to manage the ways in which they reason to representations of arguments, and not just reason from those representations. These principles are systematic biases that make possible reasonable decision-making and intersubjective understandings in the first place; but they also make possible all manner of errors and abuses. Much of what (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  24. added 2016-07-15
    Marcin Selinger & Marcin Koszowy (2016). Considering Carneades as a Framework for Informal Logic: A Reply to Walton and Gordon. Informal Logic 36 (2):217-237.
    The paper offers a critical analysis of the research program for formalizing informal logic proposed by Douglas Walton and Thomas Gordon. Since their proposal is based on employing the Carneades Argumentation System, this paper aims at answering two questions: what are main benefits of applying CAS as means for formalizing informal logic, and what are possible extensions of Walton and Gordon’s research program and modifications in employing CAS?
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  25. added 2016-07-15
    Eugen Octav Popa (2016). Criticism Without Fundamental Principles. Informal Logic 36 (2):192-216.
    In this paper I develop and defend a form of argumentative normativity that is not based on fundamental principles. I first argue that research agendas that aim to discover fundamental principles of ‘good’ argumentative discourse share one crucial weak spot, viz. circularity. I then argue that this weak spot can be avoided in a pancritical view of normativity.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  26. added 2016-07-15
    Susana Nuccetelli (2016). Latin American Philosophers: Some Recent Challenges to Their Intellectual Character. Informal Logic 36 (2):121-135.
    For Latin American philosophers, the quality of their own philosophy is a recurrent issue. Why hasn’t it produced any internationally recognized figure, tradition, or movement? Why is it mostly unknown inside and outside Latin America? Although skeptical answers to these questions are not new, they have recently shifted to some critical-thinking competences and dispositions deemed necessary for successful philosophical theorizing. Latin American philosophers are said to lack, for example, originality in problem-solving, problem-making, argumentation, and to some extent, interpretation. Or does (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  27. added 2016-07-15
    Markus Seidel (2016). The Real Struggle: An Objective Notion of Expertise? Informal Logic 36 (2):253-264.
    In this paper, I reply to Seidel’s objections against my argument from expert performance to the effect that arguments from expert opinion are weak arguments. I clarify what Seidel takes to be unclear points in my argument and show that it withstands Seidel’s objections.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  28. added 2016-07-15
    Mark Battersby (2016). Enhancing Rationality: Heuristics, Biases, and The Critical Thinking Project. Informal Logic 36 (2):99-120.
    : This paper develops four related claims: 1. Critical thinking should focus more on decision making, 2. the heuristics and bias literature developed by cognitive psychologists and behavioral economists provides many insights into human irrationality which can be useful in critical thinking instruction, 3. unfortunately the “rational choice” norms used by behavioral economists to identify “biased” decision making narrowly equate rational decision making with the efficient pursuit of individual satisfaction; deviations from these norms should not be treated as an irrational (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  29. added 2016-07-15
    Jens Elmelund Kjeldsen (2016). Studying Rhetorical Audiences – a Call for Qualitative Reception Studies in Argumentation and Rhetoric. Informal Logic 36 (2):136-158.
    In rhetoric and argumentation research studies of empirical audiences are rare. Most studies are speaker- or text focussed. However, new media and new forms of communication make it harder to distinguish between speaker and audience. The active involvement of users and audiences is more important than ever before. Therefore, this paper argues that rhetorical research should reconsider the understanding, conceptualization and examination of the rhetorical audience. From mostly understanding audiences as theoretical constructions that are examined textually and speculatively, we should (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  30. added 2016-07-12
    Andrew Tedder (forthcoming). On Structural Features of the Implication Fragment of Frege’s Grundgesetze. Journal of Philosophical Logic:1-14.
    We set out the implication fragment of Frege’s Grundgesetze, clarifying the implication rules and showing that this system extends Absolute Implication, or the implication fragment of Intuitionist logic. We set out a sequent calculus which naturally captures Frege’s implication proofs, and draw particular attention to the Cut-like features of his Hypothetical Syllogism rule.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. added 2016-07-12
    Marko Jurjako (forthcoming). Do Philosophical Intuitions Need Calibration? Anthropology and Philosophy.
    In his seminal paper ‘Reflection on Reflective Equilibrium’ Robert Cummins argued that if intuitions are to serve as reliable guides to philosophical truths then we should be able to check their reliability in particular cases. However, if we can check the reliability of intuitions then that means that we have an independent non-intuitive access to the domain that intuitions are supposed to disclose, which in effect makes intuitions obsolete. Overgaard, Gilbert and Burwood in their book ‘An Introduction to Metaphilosophy’ respond (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. added 2016-07-11
    Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora (forthcoming). Tableau Reductions: Towards an Optimal Decision Procedure for the Modal Necessity. Journal of Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. added 2016-07-11
    John-Michael Kuczynski (2016). The Raven Paradox. Amazon Digital Services LLC.
    "All ravens are black" is logically but not confirmationally equivalent with "all non-black things are non-ravens." But this is impossible, given that logical equivalence guarantees confirmational equivalence. In this paper, this paradox is solved.
    No categories
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  34. added 2016-07-11
    D. Borchmann, F. Distel & F. Kriegel (2016). Axiomatisation of General Concept Inclusions From Finite Interpretations. Journal of Applied Non-Classical Logics 26 (1):1-46.
    Description logic knowledge bases can be used to represent knowledge about a particular domain in a formal and unambiguous manner. Their practical relevance has been shown in many research areas, especially in biology and the Semantic Web. However, the tasks of constructing knowledge bases itself, often performed by human experts, is difficult, time-consuming and expensive. In particular the synthesis of terminological knowledge is a challenge that every expert has to face. Because human experts cannot be omitted completely from the construction (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35. added 2016-07-11
    John-Michael Kuczynski (2016). What is a Law of Logic?: A Dialogue. PHILOSOPHYPEDIA.
    It is made clear what a law of logic is and why the laws of classical logic are true.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  36. added 2016-07-11
    John-Michael Kuczynski (2016). Mathematical Logic and Formal Arithmetic: Key Definitions and Principles. Amazon Digital Services LLC.
    This books states, as clearly and concisely as possible, the most fundamental principles of set-theory and mathematical logic. Included is an original proof of the incompleteness of formal logic. Also included are clear and rigorous definitions of the primary arithmetical operations, as well as clear expositions of the arithmetic of transfinite cardinals.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  37. added 2016-07-11
    Steve Matthews (2011). Attacking Authority. Australian Journal of Professional and Applied Ethics 13 (2):59-70.
    The quality of our public discourse – think of the climate change debate for instance – is never very high. A day spent observing it reveals a litany of misrepresentation and error, argumentative fallacy, and a general lack of good will. In this paper I focus on a microcosmic aspect of these practices: the use of two types of argument – the argumentum ad hominem and appeal to authority – and a way in which they are related. Public debate is (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  38. added 2016-07-11
    Lennart Åqvist (2005). Combinations of Tense and Deontic Modality: On the R T Approach to Temporal Logic with Historical Necessity and Conditional Obligation. Journal of Applied Logic 3 (3-4):421-460.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39. added 2016-07-10
    John-Michael Kuczynski (2016). Frege, Logic, and Logicism. Amazon Digital Services LLC.
    Gottlob Frege (1848-1925) invented the discipline of mathematical logic. In this short work, it is clearly stated what Frege did and did not accomplish.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  40. added 2016-07-10
    John-Michael Kuczynski (2016). Papers on Formal Logic. reateSpace Independent Publishing Platform.
    This volume brings together some of Dr. Kuczynski's most important work on mathematical logic. The crushing power of Kuczynski's intellect is on full display in these paper, in which he introduces the neophyte to the basic principles of set theory and logic while at the very same time articulating new and important theorems of his own.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  41. added 2016-07-10
    John-Michael Kuczynski (2016). 30 Laws of Logic. JOHN-MICHAEL KUCZYNSKI.
    The most important laws of the propositional calculus are clearly and succinctly stated.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  42. added 2016-07-10
    John-Michael Kuczynski (2015). The Mathematics of the Infinite. Amazon Digital Services LLC.
    This book clearly explains what an infinite number is, how infinite numbers differ from finite numbers, and how infinite numbers differ from one another. The concept of recursivity is concisely but thoroughly covered, as are the concepts of cardinal and ordinal number. All of Cantor's key proofs are clearly stated, including his epoch-making diagonal proof, whereby he proved that that there are more reals than rationals and, more generally, that there are infinitely large, non-recursive classes. In the final section, Kurt (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  43. added 2016-07-09
    Leonid A. Levin (2016). Occam Bound on Lowest Complexity of Elements. Annals of Pure and Applied Logic 167 (10):897-900.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. added 2016-07-06
    Paul Dekker (forthcoming). Exclusively Indexical Deduction. Review of Symbolic Logic:1-35.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. added 2016-07-06
    Piotr Błaszczyk, Alexandre Borovik, Vladimir Kanovei, Mikhail G. Katz, Taras Kudryk, Semen S. Kutateladze & David Sherry (forthcoming). A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos. Logica Universalis:1-13.
    We examine Paul Halmos’ comments on category theory, Dedekind cuts, devil worship, logic, and Robinson’s infinitesimals. Halmos’ scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is “certainty” and “architecture” yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. added 2016-07-06
    S. De Bianchi & S. Gaudenzi (2013). How Far Can We Go with Fuzzy Logic? Perspectives on Model-Based Reasoning and Stochastic Resonance in Scientific Models. Logic Journal of the IGPL 21 (6):1044-1056.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. added 2016-07-06
    Francis Jeffry Pelletier (2000). Hájek Petr. Metamathematics of Fuzzy Logic. Trends in Logic, Vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, Viii + 297 Pp. [REVIEW] Bulletin of Symbolic Logic 6 (3):342-346.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. added 2016-07-06
    B. Jack Copeland (1997). Vague Identity and Fuzzy Logic. Journal of Philosophy 94 (10):514.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. added 2016-07-05
    Jared Warren (2016). Change of Logic, Change of Meaning. Philosophy and Phenomenological Research 93 (1):n/a-n/a.
    Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  50. added 2016-07-05
    Martin Hyland & Valeria de Paiva (1993). Full Intuitionistic Linear Logic 11Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science Held in Uppsala, Sweden, August 7-14, 1991. [REVIEW] Annals of Pure and Applied Logic 64 (3):273-291.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 8463