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 / 92
  1. added 2015-01-31
    Albert J. J. Anglberger & Jonathan Lukic (forthcoming). Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ. Studia Logica:1-19.
    This paper deals with the axiomatizability problem for the matrix-based logics RMQ − and RMQ *. We present a Hilbert-style axiom system for RMQ −, and a quasi-axiomatization based on it for RMQ *. We further compare these logics to different well-known modal logics, and assess its status as relevance logics.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. added 2015-01-31
    Hanoch Ben-Yami (2014). Why Rigidity? In J. Berg (ed.), Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke. Palgrave. 3-21.
    In Naming and Necessity Kripke argues 'intuitively' that names are rigid. Unlike Kripke, Ben-Yami first introduces and justifies the Principle of the Independence of Reference (PIR), according to which the reference of a name is independent of what is said in the rest of the sentence containing it. Ben-Yami then derives rigidity, or something close to it, from the PIR. Additional aspects of the use of names and other expressions in modal contexts, explained by the PIR but not by the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. added 2015-01-30
    John Corcoran (1999). CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION. In Robert Audi (ed.), Cambridge Dictionary of Philosophy. CAMBRIDGE UP. 65-941.
    Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  4. added 2015-01-29
    Clayton Peterson (forthcoming). Contrary-to-Duty Reasoning: A Categorical Approach. Logica Universalis:1-46.
    This paper provides an analysis of contrary-to-duty reasoning from the proof-theoretical perspective of category theory. While Chisholm’s paradox hints at the need of dyadic deontic logic by showing that monadic deontic logics are not able to adequately model conditional obligations and contrary-to-duties, other arguments can be objected to dyadic approaches in favor of non-monotonic foundations. We show that all these objections can be answered at one fell swoop by modeling conditional obligations within a deductive system defined as an instance of (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. added 2015-01-23
    Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov & Frank Stephan (2014). Graphs Realised by R.E. Equivalence Relations. Annals of Pure and Applied Logic 165 (7-8):1263-1290.
    We investigate dependence of recursively enumerable graphs on the equality relation given by a specific r.e. equivalence relation on ω. In particular we compare r.e. equivalence relations in terms of graphs they permit to represent. This defines partially ordered sets that depend on classes of graphs under consideration. We investigate some algebraic properties of these partially ordered sets. For instance, we show that some of these partial ordered sets possess atoms, minimal and maximal elements. We also fully describe the isomorphism (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  6. added 2015-01-23
    Xavier Caicedo & José Iovino (2014). Omitting Uncountable Types and the Strength of [0,1]-Valued Logics. Annals of Pure and Applied Logic 165 (6):1169-1200.
    We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  7. added 2015-01-23
    S. Cooper, Anuj Dawar, Martin Hyland & Benedikt Löwe (2014). Turing Centenary Conference: How the World Computes. Annals of Pure and Applied Logic 165 (9):1353-1354.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  8. added 2015-01-23
    José Méndez & Gemma Robles (2006). Relevance Logics, Paradoxes Of Consistency And The K Rule Ii. Logic and Logical Philosophy 15:175-191.
    The logic B+ is Routley and Meyer’s basic positive logic. Wedefine the logics BK+ and BK′+ by adding to B+ the K rule and to BK+the characteristic S4 axiom, respectively. These logics are endowed witha relatively strong non-constructive negation. We prove that all the logicsdefined lack the K axiom and the standard paradoxes of consistency.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  9. added 2015-01-23
    Uwe Scheffler (1993). On The Logic Of Event Causation. Logic and Logical Philosophy 1:129-155.
    The paper outlines an analysis of token causation. It containsreasons for the choice of event tokens and a list of properties of causal relations. After defining the notion event it is shown, in which form classicalphilosophical problems arise and how they can be solved: Causality is interpreted as an second order property of first order relations. Temporal ordercan be induced from causal order. Token causation does not involve neither any kind of necessity, nor probability. Causal laws are generalizationson sentences about (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  10. added 2015-01-22
    Christine Schurz (forthcoming). Contextual-Hierarchical Reconstructions of the Strengthened Liar Problem. Journal of Philosophical Logic:1-34.
    In this paper we shall introduce two types of contextual-hierarchical approaches to the strengthened liar problem. These approaches, which we call the ‘standard’ and the ‘alternative’ ch-reconstructions of the strengthened liar problem, differ in their philosophical view regarding the nature of truth and the relation between the truth predicates T r n and T r n+1 of different hierarchy-levels. The basic idea of the standard ch-reconstruction is that the T r n+1-schema should hold for all sentences of \ . In (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. added 2015-01-17
    Philippe Gagnon (2014). "Le paradoxe du progrès : Cournot, Stent et Ruyer". In Michel Weber Vincent Berne (ed.), Chromatikon X : Annales de la philosophie en procès – Yearbook of Philosophy in Process. 71-90.
    This text reconsiders the philosophizing into the future of mankind and futurology done by molecular biologist Gunther Stent in *The Coming of the Golden Age* in the light of Raymond Ruyer's critical notice published in the aftermath of the publication of Stent's book in French translation. For Ruyer, it is an occasion to revisit his own take on what he called in his last work a "theology of the opposition between the organic and the rational," and to restate in a (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12. added 2015-01-15
    Wolfgang Lenzen (forthcoming). Ockham’s Calculus of Strict Implication. Logica Universalis:1-11.
    In his main work Summa Logicae written around 1323, William of Ockham developed a system of propositional modal logic which contains almost all theorems of a modern calculus of strict implication. This calculus is formally reconstructed here with the help of modern symbols for the operators of conjunction, disjunction, implication, negation, possibility, and necessity.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. added 2015-01-13
    Stephen Read (forthcoming). Paradox, Closure and Indirect Speech Reports. Logica Universalis:1-15.
    Bradwardine’s solution to the the logical paradoxes depends on the idea that every sentence signifies many things, and its truth depends on things’ being wholly as it signifies. This idea is underpinned by his claim that a sentence signifies everything that follows from what it signifies. But the idea that signification is closed under entailment appears too strong, just as logical omniscience is unacceptable in the logic of knowledge. What is needed is a more restricted closure principle. A clue can (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. added 2015-01-13
    Thomas Macaulay Ferguson (2014). A Computational Interpretation of Conceptivism. Journal of Applied Non-Classical Logics 24 (4):333-367.
    The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. added 2015-01-13
    Steven W. Patterson (2012). Review of Sharon Bailin and Mark Battersby, Reason in the Balance. [REVIEW] Controvérsia 8 (1):87-91.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  16. added 2015-01-13
    Steven W. Patterson (2009). Review of Informal Logic: A Pragmatic Approach. [REVIEW] Cogency 1 (1):139-147.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. added 2015-01-12
    Jeff Ketland & Thomas Schindler (forthcoming). Arithmetic with Fusions. Logique Et Analyse.
    In this article, the relationship between second-order comprehension and unrestricted mereological fusion (over atoms) is clarified. An extension PAF of Peano arithmetic with a new binary mereological notion of “fusion”, and a scheme of unrestricted fusion, is introduced. It is shown that PAF interprets full second-order arithmetic, Z_2.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  18. added 2015-01-12
    Gabriel Uzquiano (forthcoming). Modality and Paradox. Philosophy Compass.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  19. added 2015-01-12
    Steven W. Patterson (2011). A Picture Held Us Captive: The Later Wittgenstein and Visual Argumentation. Cogency 2 (2):105-134.
    The issue of whether or not there are visual arguments has been an issue in informal logic and argumentation theory at least since 1996. In recent years, books, sections of prominent conferences and special journals issues have been devoted to it, thus significantly raising the profile of the debate. In this paper I will attempt to show how the views of the later Wittgenstein, particularly his views on images and the no- tion of “picturing”, can be brought to bear on (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. added 2015-01-10
    Michael De & Hitoshi Omori (forthcoming). Classical Negation and Expansions of Belnap–Dunn Logic. Studia Logica:1-27.
    We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal logic of Béziau and (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. added 2015-01-09
    Frédéric Goubier & Ernesto Perini-Santos (forthcoming). When the World is Not Enough: Medieval Ways to Deal with the Lack of Referents. Logica Universalis:1-23.
    According to several late medieval logicians, the use the universal quantifier ‘omnis’ creates the requirement that the sentence refers to at least three items—the principle of sufficientia appellatorum. The commitment is such that, when the quota is not fulfilled, one has to import the missing items from the realm of the nonexistent. While the central argument for this principle, whose origin is Aristotle’s De Caelo, stems from the contrast between unrestricted universal quantifiers and binary quantifiers, the discussion is often mixed (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. added 2015-01-08
    Norbert Gratzl (forthcoming). Incomplete Symbols — Definite Descriptions Revisited. Journal of Philosophical Logic:1-18.
    We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. added 2015-01-08
    Ana María Mora-Márquez (forthcoming). Boethius of Dacia and Radulphus Brito on the Universal Sign ‘Every’. Logica Universalis:1-19.
    In this article I present the analysis of the syncategorematic term ‘omnis’ in the commentaries on the Topics by the Parisian masters of Arts Boethius of Dacia and Radulphus Brito. I shall focus on the different relations between subject, predicate and particular instances that obtain in universally quantified statements, and in particular on the relations that obtain in universally quantified statements with an empty subject. I also attempt to highlight some continuities and ruptures with respect to this problem in its (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. added 2015-01-08
    Alessio Moretti (2014). Was Lewis Carroll an Amazing Oppositional Geometer? History and Philosophy of Logic 35 (4):383-409.
    Some Carrollian posthumous manuscripts reveal, in addition to his famous ‘logical diagrams’, two mysterious ‘logical charts’. The first chart, a strange network making out of fourteen logical sentences a large 2D ‘triangle’ containing three smaller ones, has been shown equivalent—modulo the rediscovery of a fourth smaller triangle implicit in Carroll's global picture—to a 3D tetrahedron, the four triangular faces of which are the 3+1 Carrollian complex triangles. As it happens, such an until now very mysterious 3D logical shape—slightly deformed—has been (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. added 2015-01-05
    Dana Goswick (forthcoming). Why Being Necessary Really Is Not the Same As Being Not Possibly Not. Acta Analytica:1-8.
    In standard modal logic, □ ≡ ∼◊ ∼ and ◊ ≡ ∼□∼. I will, first, examine why in tense-logic, Arthur Prior thinks that ∼ ◊ ∼ is weaker than □ and ∼ □ ∼ is weaker than ◊. I will, then, examine whether there are similar motivations in modal logic to take ∼ ◊ ∼ to be weaker than □ and ∼ □ ∼ to be weaker than ◊. The upshot will be that, just as certain metaphysical views within the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. added 2015-01-04
    Sergei Odintsov & Vladimir Rybakov (forthcoming). Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility. Logica Universalis:1-28.
    Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility itself – (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. added 2014-12-31
    Yann Benétreau-Dupin (forthcoming). The Bayesian Who Knew Too Much. Synthese:1-16.
    In several papers, John Norton has argued that Bayesianism cannot handle ignorance adequately due to its inability to distinguish between neutral and disconfirming evidence. He argued that this inability sows confusion in, e.g., anthropic reasoning in cosmology or the Doomsday argument, by allowing one to draw unwarranted conclusions from a lack of knowledge. Norton has suggested criteria for a candidate for representation of neutral support. Imprecise credences (families of credal probability functions) constitute a Bayesian-friendly framework that allows us to avoid (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. added 2014-12-30
    Eduardo Barrio, Lucas Rosenblatt & Diego Tajer (forthcoming). The Logics of Strict-Tolerant Logic. Journal of Philosophical Logic:1-21.
    Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. added 2014-12-28
    Anna-Maria A. Eder (forthcoming). No Match Point for the Permissibility Account. Erkenntnis.
    In the literature, one finds two accounts of the normative status of rational belief: the ought account and the permissibility account. Both have their advantages and shortcomings, making it difficult to favour one over the other. Imagine that there were two principles of rational belief or rational degrees of belief commonly considered plausible, but which, however, yielded a paradox together with one account, but not with the other. One of the accounts therefore requires us to give up one of the (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  30. added 2014-12-22
    Andrew Bacon (forthcoming). Can The Classical Logician Avoid The Revenge Paradoxes? Philosophical Review.
    Most work on the semantic paradoxes within classical logic has centred around what I call `linguistic' accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or non-paradoxical status. `No proposition' views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This paper shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly acute (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. added 2014-12-21
    Veikko Rantala & Ari Virtanen (2004). Johdatus modaalilogiikkaan. Gaudeamus.
    The book studies philosophical and mathematical-logical problems of modal notions. Its starting points are possible worlds semantics and Kripke models, and it also concentrates on proof-theoretic methods.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  32. added 2014-12-20
    Christopher Gauker (forthcoming). Presuppositions as Anaphoric Duality Enablers. Topoi:1-12.
    The key to an adequate account of presupposition projection is to accommodate the fact that the presuppositions of a sentence cannot always be read off the sentence but can often be identified only on the basis of prior utterances in the conversation in which the sentence is uttered. In addition, an account of presupposition requires a three-valued semantics of assertibility and deniability in a context. Presuppositions can be explicated as sentences that belong to the conversation and the assertibility of which (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. added 2014-12-17
    Luca Incurvati & Julien Murzi (forthcoming). Maximally Consistent Sets of Instances of Naive Comprehension. Mind.
    Paul Horwich (1990) once suggested restricting the T-Schema to the maximal consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. added 2014-12-17
    Friedrich Reinmuth (2014). Hermeneutics, Logic and Reconstruction. Logical Analysis and History of Philosophy 17:152–190.
    Using a short excerpt from Anselm's Responsio as an example, this paper tries to present logical reconstruction as a special type of exegetical interpretation by paraphrase that is subject to (adapted) hermeneutic maxims and presumption rules that govern exegetical interpretation in general. As such, logical reconstruction will be distinguished from the non-interpretative enterprise of formalization and from the development of theories of logical form, which provide a framework in which formalization and reconstruction take place. Yet, even though logical reconstruction is (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  35. added 2014-12-17
    Julien Murzi & Massimiliano Carrara (2014). More Reflections on Consequence. Logique Et Analyse 227:223-258.
    This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. added 2014-12-17
    Rafal Urbaniak & Paweł Siniło (2014). The Inapplicability of Paraconsistent Logics. Journal of Applied Non-Classical Logics 24 (4):368-383.
    In some cases one is provided with inconsistent information and has to reason about various consistent scenarios contained within that information. Our goal is to argue that filtered paraconsistent logics are not the right tool to handle such cases and that the problems generalise to a large class of paraconsistent logics. A wide class of paraconsistent logics is obtained by filtration: adding conditions to the classical consequence operation . We start by surveying the most promising candidates and comparing their strengths. (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. added 2014-12-17
    Friedrich Reinmuth, Geo Siegwart & Christian Tapp (2014). Theory and Practice of Logical Reconstruction – Anselm as a Model Case. Introduction. Logical Analysis and History of Philosophy 17:13–21.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  38. added 2014-12-17
    Erica Calardo & Antonino Rotolo (2014). Variants of Multi-Relational Semantics for Propositional Non-Normal Modal Logics. Journal of Applied Non-Classical Logics 24 (4):293-320.
    A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational structures, (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. added 2014-12-17
    Gerhard Jäger And Rico Zumbrunnen (2014). Explicit Mathematics and Operational Set Theory: Some Ontological Comparisons. Bulletin of Symbolic Logic 20 (3):275-292,.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  40. added 2014-12-17
    Gemma Robles & José M. Méndez (2014). The Non-Relevant De Morgan Minimal Logic in Routley-Meyer Semantics with No Designated Points. Journal of Applied Non-Classical Logics 24 (4):321-332.
    Sylvan and Plumwood’s is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic and some of its extensions. The logic is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. added 2014-12-17
    Friedrich Reinmuth, Geo Siegwart & Christian Tapp (eds.) (2014). Theory and Practice of Reconstruction: Anselm as a Model Case. Mentis.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  42. added 2014-12-17
    Julien Murzi (2011). Inferentialism Without Verificationism: Reply to Prawitz. In Emiliano Ippoliti & Carlo Cellucci (eds.), Logic and Knowledge. Cambridge Scholars. 285-90.
    I discuss Prawitz’s claim that a non-reliabilist answer to the question “What is a proof?” compels us to reject the standard Bolzano-Tarski account of validity, andto account for the meaning of a sentence in broadly verificationist terms. I sketch what I take to be a possible way of resisting Prawitz’s claim---one that concedes the anti-reliabilist assumption from which Prawitz’s argument proceeds.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. added 2014-12-17
    Andreas Dorschel (1993). Gefühl Als Argument? In Andreas Dorschel, Matthias Kettner, Wolfgang Kuhlmann & Marcel Niquet (eds.), Transzendentalpragmatik. Ein Symposion für Karl-Otto Apel. Suhrkamp. 167-186.
    Does having some feeling or other ever count as an argument – and, should it? As a matter of fact, not just do persons sometimes refer to their feelings to make a point in debate. Often, they even treat them as irrefutable arguments; for they are, of course, certain of their own feelings. To make a point in debate by reference to one’s feelings, one has got to articulate them. As language is the core medium of debate (though it can (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  44. added 2014-12-14
    Mark Garrett Longaker (2014). John Locke on Inference and Fallacy, A Re-Appraisal. Informal Logic 34 (4):364-392.
    John Locke, long associated with the “standard” approach to fallacies and the “logical” approach to valid inference, had both logical and dialectical reasons for favoring certain proofs and denigrating others. While the logical approach to argumentation stands forth in Locke’s philosophical writings , a dialectical approach can be found in his contributions to public controversies regarding religion and toleration. Understanding Locke’s dialectical approach to argumentation not only makes his work more relevant to the contemporary discipline of informal logic, but this (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  45. added 2014-12-14
    Kevin Possin (2014). Critique of the Watson-Glaser Critical Thinking Appraisal Test: The More You Know, the Lower Your Score. Informal Logic 34 (4):393-416.
    The Watson-Glaser Critical Thinking Appraisal Test is one of the oldest, most frequently used, multiple-choice critical-thinking tests on the market in business, government, and legal settings for purposes of hiring and promotion. I demonstrate, however, that the test has serious construct-validity issues, stemming primarily from its ambiguous, unclear, misleading, and sometimes mysterious instructions, which have remained unaltered for decades. Erroneously scored items further diminish the test’s validity. As a result, having enhanced knowledge of formal and informal logic could well result (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  46. added 2014-12-14
    Elena Musi (2014). Evidential Modals at the Semantic-Argumentative Interface: Appearance Verbs as Indicators of Defeasible Argumentation. Informal Logic 34 (4):417-442.
    This contribution aims at providing an argumentative method to account for epistemic modality and evidentiality. I claim that these two linguistic categories can work as semantic components of defeasible argumentative schemes based on classification processes. This kind of approximate reasoning is, in fact, frequently indicated by appearance verbs which signal that the inferred standpoint is conceived by the speaker as uncertain due to the deceiving nature of perceptual data . Drawing from an analysis at the semantic-argumentative interface, the way in (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  47. added 2014-12-08
    André Bazzoni (forthcoming). Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts. Journal of Philosophical Logic:1-10.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic (IFL) is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. added 2014-12-08
    Georg Brun (2014). Reconstructing Arguments: Formalization and Reflective Equilibrium. Logical Analysis and History of Philosophy 17:94-129.
    Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a logical formalism. These tasks are guided by a multitude of partly antagonistic goals, they interact in various feedback loops, and they are intertwined with the development of theories of valid inference and adequate (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. added 2014-12-08
    Georg Brun (2012). Rival Logics, Disagreement and Reflective Equilibrium. In C. Jaeger W. Loeffler (ed.), Epistemology: Contexts, Values, Disagreements (Proceedings of the 34th International Ludwig Wittgenstein Symposium). 355-368.
    Two challenges to the method of reflective equilibrium have been developed in a dispute between Michael D. Resnik and Stewart Shapiro: because the method itself involves logical notions, it can neither be specified in a logic-neutral way nor can it allow logical pluralism. To analyse and answer these claims, an explicit distinction is introduced between judgements held prior to the process of mutual adjustments and judgements in agreement with the systematic principles, which result from the process. It is then argued (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. added 2014-12-08
    Eleonora Montuschi, Pluralism: A Curse or a Blessing for Social Order?
    There is a sense in which pluralism needs no advocate. It is enough to take a quick look at contemporary science to realise that pluralism is common currency. It is a ‘fact’ that scientific disciplines entail a plurality of approaches, methods, styles of inquiry. It is equally easy to acknowledge how the referents of scientific investigation require a concert of disciplines and a variety of explanatory strategies. So pluralism seems to have both an epistemological and an ontological backing.1 Nor is (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 92