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 / 8447
  1. added 2016-08-23
    Derek von Barandy (2016). Definite Descriptions and Indeterminate Identity (Extended Abstract). Logiko-Filosofskie Studii 13 (2):111-112.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. added 2016-08-22
    Alexander W. Kocurek (forthcoming). On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators. Synthese:1-45.
    Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. added 2016-08-22
    Raymond Aaron Younis (forthcoming). On Recontsruction: On the Limits, Horizons and Possibilities of Critical Theory. In Harry Dahms & Eric Lybeck (eds.), On Reconstruction. Ashgate
  4. added 2016-08-21
    Peter Fritz (forthcoming). Appendix to Juhani Yli-Vakkuri’s ‘Epistemicism and Modality’. Canadian Journal of Philosophy:1-3.
    A formal result is proved which is used in Juhani Yli-Vakkuri’s ‘Epistemicism and Modality’ to argue that certain two-dimensional possible world models are inadequate for a language with operators for ‘necessarily’, ‘actually’, and ‘definitely’.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  5. added 2016-08-21
    Edward Elliott (forthcoming). A Representation Theorem for Frequently Irrational Agents. Journal of Philosophical Logic:1-40.
    The standard representation theorem for expected utility theory tells us that if a subject’s preferences conform to certain axioms, then she can be represented as maximising her expected utility given a particular set of credences and utilities—and, moreover, that having those credences and utilities is the only way that she could be maximising her expected utility. However, the kinds of agents these theorems seem apt to tell us anything about are highly idealised, being always probabilistically coherent with infinitely precise degrees (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. added 2016-08-19
    Ricardo Sousa Silvestre (forthcoming). Karma Theory, Determinism, Fatalism and Freedom of Will. Logica Universalis:1-26.
    The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. added 2016-08-17
    David P. Ellerman (forthcoming). Four Ways From Universal to Particular: How Chomsky’s Principles-and-Parameters Model is Not Selectionist. Journal of Applied Non-Classical Logics:1-15.
    Following the development of the selectionist theory of the immune system, there was an attempt to characterise many biological mechanisms as being ‘selectionist’ as juxtaposed with ‘instructionist’. However, this broad definition would group Darwinian evolution, the immune system, embryonic development, and Chomsky’s principles-and-parameters language-acquisition mechanism together under the ‘selectionist’ umbrella, even though Chomsky’s mechanism and embryonic development are significantly different from the selectionist mechanisms of biological evolution and the immune system. Surprisingly, there is an abstract way using two dual mathematical (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8. added 2016-08-16
    David Parsons (forthcoming). R. M. Martin’s Logic of Belief. History and Philosophy of Logic:1-15.
    In this paper I revisit R. M. Martin’s logic of belief. As with much of Martin’s work, his formal studies into belief and belief reports have gone largely unnoticed. However, in my article I suggest reasons for thinking that these studies warrant revisiting. One reason is that Martin adopted an account of the notion of belief which was more comprehensive than that employed by most rival theorists. Another reason is that Martin couched his theory in a formal pragmatics which utilised (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9. added 2016-08-15
    Alex Citkin (forthcoming). Algebraic Logic Perspective on Prucnal’s Substitution. Notre Dame Journal of Formal Logic.
    A term $\mathit{td}$ is called a ternary deductive term for a variety of algebras $\mathcal{V}$ if the identity $\mathit{td}\approxr$ holds in $\mathcal{V}$ and $\in\theta$ yields $\mathit{td}\approx\mathit{td}$ for any $\mathscr{A}\in\mathcal{V}$ and any principal congruence $\theta$ on $\mathscr{A}$. A connective $f$ is called $\mathit{td}$-distributive if $\mathit{td})\approx$ $f,\dots,\mathit{td})$. If $\mathsf{L}$ is a propositional logic and $\mathcal{V}$ is a corresponding variety that has a TD term $\mathit{td}$, then any admissible in $\mathsf{L}$ rule, the premises of which contain only $\mathit{td}$-distributive operations, is derivable, and the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. added 2016-08-12
    David P. Ellerman (2016). Category Theory and Set Theory as Theories About Complementary Types of Universals. Logic and Logical Philosophy 2016:1-18.
    Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of categories, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  11. added 2016-08-10
    Pierre Baumann (2015). Un punto a favor de Russell. Retorno 1 (1):35-48.
  12. added 2016-08-09
    Bogdan Dicher (2016). Weak Disharmony: Some Lessons for Proof-Theoretic Semantics. Review of Symbolic Logic:1-20.
    A logical constant is weakly disharmonious if its elimination rules are weaker than its introduction rules. Substructural weak disharmony is the weak disharmony generated by structural restrictions on the eliminations. I argue that substructural weak disharmony is not a defect of the constants which exhibit it. To the extent that it is problematic, it calls into question the structural properties of the derivability relation. This prompts us to rethink the issue of controlling the structural properties of a logic by means (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  13. added 2016-08-06
    Mark Van Atten & Göran Sundholm (forthcoming). L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction. History and Philosophy of Logic:1-24.
    We present a new English translation of L.E.J. Brouwer's paper?De onbetrouwbaarheid der logische principes? of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. We (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14. added 2016-08-03
    Berislav Žarnić (2016). Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities. In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. added 2016-08-01
    Thomas Strahm, Gerhard Jäger & Ulrik Buchholtz (2016). Theories of Proof-Theoretic Strength Ψ. In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter 115-140.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  16. added 2016-08-01
    Jan von Plato & Sara Negri (2016). Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction. In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter 269-290.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  17. 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  
  18. added 2016-07-29
    B. Schnieder (2016). In Defence of a Logic for ‘Because’. Journal of Applied Non-Classical Logics 26 (2):160-171.
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  19. added 2016-07-28
    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  
  20. 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  
  21. 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  
  22. added 2016-07-26
    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  
  23. added 2016-07-25
    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  
  24. added 2016-07-24
    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  
  25. 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  
  26. added 2016-07-24
    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  
  27. 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  
  28. 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  
  29. 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  
  30. added 2016-07-22
    Clayton Peterson (2016). A Comparison Between Monoidal and Substructural Logics. Journal of Applied Non-Classical Logics 26 (2):126-159.
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  31. added 2016-07-21
    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  
  32. 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  
  33. 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  
  34. added 2016-07-20
    Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero (2016). On Polynomial Semantics for Propositional Logics. Journal of Applied Non-Classical Logics 26 (2):103-125.
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  35. 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  
  36. 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  
  37. added 2016-07-17
    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  
  38. 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  
  39. added 2016-07-16
    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  
  40. added 2016-07-16
    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  
  41. added 2016-07-16
    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  
  42. added 2016-07-16
    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  
  43. added 2016-07-16
    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  
  44. added 2016-07-16
    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  
  45. added 2016-07-16
    Markus Seidel (2016). The Real Struggle: An Objective Notion of Expertise? Informal Logic 36 (2):253-264.
    In a paper published in this journal Martin Hinton aims to show that the struggle between Moti Mizrahi and me about whether arguments from expert opinion are weak arguments rests on misunderstandings (Hinton 2015). Let me emphasize that I generally appreciate Hinton’s intention to settle the dispute between Mizrahi and myself in this way. 1 Furthermore, I also agree with Hinton’s conclusion that if Mizrahi is interpreted in the way Hinton does, then Mizrahi’s “claim becomes far less controversial, but also (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  46. added 2016-07-13
    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  
  47. 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  
  48. added 2016-07-12
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  49. 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  
  50. 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  
1 — 50 / 8447