9 found
Order:
  1. Anti-Exceptionalism About Logic.Ole Thomassen Hjortland - 2017 - Philosophical Studies 174 (3):631-658.
    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, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  2.  55
    Anti-Exceptionalism About Logic.Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):186.
    Introduction to this special issue of The Australasian Journal of Logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  3. Logical Pluralism, Meaning-Variance, and Verbal Disputes.Ole Thomassen Hjortland - 2013 - Australasian Journal of Philosophy 91 (2):355-373.
    Logical pluralism has been in vogue since JC Beall and Greg Restall 2006 articulated and defended a new pluralist thesis. Recent criticisms such as Priest 2006a and Field 2009 have suggested that there is a relationship between their type of logical pluralism and the meaning-variance thesis for logic. This is the claim, often associated with Quine 1970, that a change of logic entails a change of meaning. Here we explore the connection between logical pluralism and meaning-variance, both in general and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  4.  61
    What Counts as Evidence for a Logical Theory?Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):250.
    Anti-exceptionalism about logic is the Quinean view that logical theories have no special epistemological status, in particular, they are not self-evident or justified a priori. Instead, logical theories are continuous with scientific theories, and knowledge about logic is as hard-earned as knowledge of physics, economics, and chemistry. Once we reject apriorism about logic, however, we need an alternative account of how logical theories are justified and revised. A number of authors have recently argued that logical theories are justified by abductive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Inferentialism and the Categoricity Problem: Reply to Raatikainen.Julien Murzi & Ole Thomassen Hjortland - 2009 - Analysis 69 (3):480-488.
    It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  6.  50
    Theories of Truth and the Maxim of Minimal Mutilation.Ole Thomassen Hjortland - forthcoming - Synthese:1-32.
    Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  48
    Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.
    In bilateral systems for classical logic, assertion and denial occur as primitive signs on formulas. Such systems lend themselves to an inferentialist story about how truth-conditional content of connectives can be determined by inference rules. In particular, for classical logic there is a bilateral proof system which has a property that Carnap in 1943 called categoricity. We show that categorical systems can be given for any finite many-valued logic using $n$-sided sequent calculus. These systems are understood as a further development (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  66
    Disagreement About Logic.Ole Thomassen Hjortland - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy:1-23.
    ABSTRACTWhat do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, s...
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Dynamic Consequence for Soft Information.Olivier Roy & Ole Thomassen Hjortland - forthcoming - Journal of Logic and Computation.