This paper investigates the emotive (or expressive) meaning of words commonly referred to as “loaded” or “emotive,” which include slurs, derogative or pejorative words, and ethical terms. We claim that emotive meaning can be reinterpreted from a pragmatic and argumentative perspective, which can account for distinct aspects of ethical terms, including the possibility of being modified and its cancellability. Emotive meaning is explained as a defeasible and automatic or automatized evaluative and intended inference commonly associated with the use of specific (...) terms, which can be represented and assessed considering its logical structure and its defeasibility conditions. This automatic inference is conceived as part of the connotation of an ethical term, and is not necessarily stable. By means of quasi-definitions, it is possible to modify the emotive meaning while maintaining the descriptive one, automaticizing the inferences drawn from an ethical word. Through examples drawn from the recent US presidential campaign, we show how re-contextualization and emotive contexts can affect emotive meaning. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential (...) level. Then, I point out two potential philosophical implications of these results. (i) Since the logics in the hierarchy differ from one another on the rules, I argue that each such logic maintains its own distinct identity (contrary to arguments like the one given by Dicher and Paoli in 2019). (ii) Each validity predicate need not capture “validity” at more than one metainferential level. Hence, there are reasons to deny the thesis (put forward in Barrio, E., Rosenblatt, L. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy,110(3), 143–165, 2013) has to express facts not only about what follows from what, but also about the metarules, etc. (shrink)

It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back to (...) Kant and review his understanding of practical judgments, presenting it as supported by a pluralistic semantics. From this perspective a norm of Law is a logical expression that includes as content a generic description of a possible behavior by a generality of juridical agents, and assigns to that content the assertion of its obligatory character, accompanied by a disincentive for non-compliance. From this perspective legal norms can be syntactically formalized and assigned appropriate semantic values in such terms that they can be incorporated into valid inferential schemes. The consequence is that we can put together legal logics that handle both the phenomenal and the deontic dimensions of legality. (shrink)

John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the deontic relations that are established by discursive practitioners. Noticeably, large part of this discussion is focused on empirical knowledge and observational judgments. McDowell argues that there is no role for inference in the application of observational concepts, except the paradoxical one of justifying the content (...) of an observational judgment in terms of itself. This paper examines the semantical consequences of the analysis of the content of empirical judgments in terms of their inferential role. These, it is suggested, are distinct from the epistemological paradoxes that McDowell charges the inferentialist approach with. (shrink)

The paper addresses the nature of seemings in light of their role in inquiry. Seemings are mental states or events with propositional content that have a specific phenomenology often referred to as “felt truth”. In epistemology, seemings are mainly discussed as possible (non-inferential) justifications for belief. Yet, epistemology has recently taken a zetetic turn, that is, a turn toward the study of inquiry. I will argue that the role of seemings in epistemology should be re-assessed from the perspective of (...) inquiry and deliberation. Seemings may fall short of justifying beliefs, but there is an important role for seemings in the zetetic realm, which may also explain why seemings lack direct justificatory force for beliefs. Seemings, so I will suggest, can provide normative reasons for performing certain zetetic tasks, but they cannot provide normative reasons for making up one’s mind about the inquired question. In this sense, the zetetic role of seemings can be described as guiding rational inquiry. I will suggest that a modified version of the so-called Taking Evidence View about the nature of seemings is best fitted to accommodate their zetetic role. Yet, contra existing versions of the Taking Evidence View, my modified account acknowledges that seemings are genuine experiences (of one’s evidential standing during inquiry) that are accompanied by the characteristic phenomenology of what is called a “feeling of truth”. By doing so, my modified version of the Taking Evidence View incorporates the (as I take it) most important feature of the rival Experience View of seemings. (shrink)

Many tasks in statistical and causal inference can be construed as problems of entailment in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for causal probabilistic languages than for pure probabilistic (or “associational”) languages. Despite several senses in which causal reasoning is indeed more complex—both expressively and inferentially—we show that causal entailment (or satisfiability) problems can be systematically and robustly reduced to purely probabilistic problems. Thus there is no jump in computational complexity. (...) Along the way we answer several open problems concerning the complexity of well-known probability logics, in particular demonstrating the ${\exists \mathbb {R}}$ -completeness of a polynomial probability calculus, as well as a seemingly much simpler system, the logic of comparative conditional probability. (shrink)

Evolutionary psychologists often try to “bring together” biology and psychology by making predictions about what specific psychological mechanisms exist from theories about what patterns of behaviour would have been adaptive in the EEA for humans. This paper shows that one of the deepest methodological generalities in evolutionary biology—that proximate explanations and ultimate explanations stand in a many-to-many relation—entails that this inferential strategy is unsound. Ultimate explanations almost never entail the truth of any particular proximate hypothesis. But of course it (...) does not follow that there are no other ways of “bringing together” biology and psychology. Accordingly, this paper explores one other strategy for doing just that, the pursuit of a very specific kind of consilience. However, I argue that inferences reflecting the pursuit of this kind of consilience with the best available theories in contemporary evolutionary biology indicate that psychologists should have a preference for explanations of adaptive behavior in humans that refer to learning and other similarly malleable psychological mechanisms—and not modules or instincts or any other kind of relatively innate and relatively non-malleable psychological mechanism. (shrink)

Pylyshyn restricts cognitively penetrable vision to late vision, whereas he does not make any distinction between different kinds of penetrating cognition. I argue that this approach disconnects early vision content from late vision content and blurs the distinction between the latter and the content of thought. To overcome this problem I suggest that we should not distinguish between different kinds of visual content but instead introduce a restriction on the kind of cognition that can directly penetrate visual experience. In particular, (...) I suggest that visual experience, unlike thought, is directly penetrated only by practical non-propositional knowledge. I specify this weak cognitive penetrability in anti-representational terms. In particular, I suggest that the dependence of visual content on practical non-propositional knowledge should be conceived as a rational non-inferential relation, for it is in this way that we can account for the distinctive content of visual experience. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of (...) conceptual structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

This article is a theoretical treatment of the ways in which local worldviews on wealth acquisition give rise to contemporary manifestations of spirituality in cyberspace. It unpacks spiritual (occult) economies and wealth generation through a historical perspective. The article ‘devil advocates’ the ‘sainthood’ of claimed law-abiding citizens, by highlighting that the line dividing them and the Nigerian cybercriminals (Yahoo-Boys) is blurred with regards to the use of magical means for material ends. By doing so, the article also illustrates that the (...) intersectionality of the spirit world and the acquisition of wealth (crime or otherwise) is connected with local epistemologies and worldviews, and its contemporaneity has social security benefits. Therefore, the view that the contemporary manifestations of spirituality in cyberspace signify a ‘new-danger’ and an ever-increasing outrage in the Nigerian society is misplaced. I conclude that if people believe all aspects of life are reflective of the spiritual world and determined by it, the spiritual realm, by implication, is the base of society, upon which sits the superstructure comprised of all aspects of life, especially wealth. Inferentially, this conceptual position that the spirit world is the base of society is an inversion of Orthodox Marxist’s theory of economic determinism. (shrink)

We undeniably live in an information age—as, indeed, did those who lived before us. After all, as the cultural historian Robert Darnton pointed out: ‘every age was an age of information, each in its own way’ (Darnton 2000: 1). Darnton was referring to the news media, but his insight surely also applies to the sciences. The practices of acquiring, storing, labeling, organizing, retrieving, mobilizing, and integrating data about the natural world has always been an enabling aspect of scientific work. Natural (...) history and its descendant discipline of biological taxonomy are prime examples of sciences dedicated to creating and managing systems of ordering data. In some sense, the idea of biological taxonomy as an information science is commonplace. Perhaps it is because of its self-evidence that the information science perspective on taxonomy has not been a major theme in the history and philosophy of science. The botanist Vernon Heywood once pointed out that historians of biology, in their ‘preoccupation with the development of the sciences of botany and zoology… [have] diverted attention from the role of taxonomy as an information science’ (Heywood 1985: 11). More specifically, he argued that historians had failed to appreciate how principles and practices that can be traced to Linnaeus constituted ‘a change in the nature of taxonomy from a local or limited folk communication system and later a codified folk taxonomy to a formal system of information science [that] marked a watershed in the history of biology’ (ibid.). A similar observation could be made about twentieth-century philosophy of biology, which mostly skipped over practical and epistemic questions about information management in taxonomy. The taxonomic themes that featured in the emerging philosophy of biology literature in the second half of the twentieth century were predominantly metaphysical in orientation. This is illustrated by what has become known as the ‘essentialism story’: an account about the essentialist nature of pre- Darwinian taxonomy that used to be accepted by many historians and philosophers, and which stimulated efforts to document and interpret shifts in the metaphysical understanding of species and (natural) classification (Richards 2010; Winsor 2003; Wilkins 2009). Although contemporary debates in the philosophy of taxonomy have moved on, much discussion continues to focus on conceptual and metaphysical issues surrounding the nature of species and the principles of classification. Discussions centring on whether species are individuals, classes, or kinds have sprung up as predictably as perennials. Raucous debates have arisen even with the aim of accommodating the diversity of views: is monism, pluralism, or eliminativism about the species category the best position to take? In addition to these, our disciplines continue to interrogate what is the nature of these different approaches to classification: are they representational or inferential roles of different approaches to classification (evolutionary taxonomy, phenetics, phylogenetic systematics)? While there is still much to learn from these discussions—in which we both actively participate—our aim with this topical collection has been to seek different entrypoints and address underexposed themes in the history and philosophy of taxonomy. We believe that approaching taxonomy as an information science prompts new questions and can open up new philosophical vistas worth exploring. A twenty-first century information science turn in the history and philosophy of taxonomy is already underway. In scientific practice and in daily life it is hard to escape the imaginaries of Big Data and the constant threats of being ‘flooded with data’. In the life sciences, these developments are often associated with the socalled bioinformatics crisis that can hopefully be contained by a new, interdisciplinary breed of bioinformaticians. These new concepts, narratives, and developments surrounding the centrality of data and information systems in the biological and biomedical sciences have raised important philosophical questions about their challenges and implications. But historical perspectives are just as necessary to judge what makes our information age different from those that preceded us. Indeed, as the British zoologist Charles Godfray has often pointed out, the piles of data that are being generated in contemporary systematic biology have led to a second bioinformatics crisis, the first being the one that confronted Linnaeus in the mid-18th century (Godfray 2007). Although our aim is to clear a path for new discussions of taxonomy from an information science-informed point of view, we continue where others in the history, philosophy, and sociology of science have already trod. We believe that an appreciation of biological taxonomy as an information science raises many questions about the philosophical, theoretical, material, and practical aspects of the use and revision of biological nomenclatures in different local and global communities of scientists and citizen scientists. In particular, conceiving of taxonomy as an information science directs attention to the temporalities of managing an accumulating data about classified entities that are themselves subject to revision, to the means by which revision is accomplished, and to the semantic, material, and collaborative contexts that mediate the execution of revisions. (shrink)

Recent discussions of animal communication and the evolution of language have advocated adopting a ‘pragmatics-first’ approach, according to which “a more productive framework” for primate communication research should be “pragmatics, the field of linguistics that examines the role of context in shaping the meaning of linguistic utterances”. After distinguishing two different conceptions of pragmatics that advocates of the pragmatics-first approach have implicitly relied on, I argue that neither conception adequately serves the purposes of pragmatics-first approaches to the origins of human (...) linguistic communication. My main aim in this paper is to motivate–and begin to articulate–an intermediary conception whose scope is narrower than Carnapian pragmatics but broader than Gricean pragmatics. To do so, I first spell out what I take to be the key insight offered by proponents of the Gricean approach concerning the emergence of linguistic communication, namely, its being communication ‘from a psychological point of view’. I then develop this insight using key elements from the anti-Gricean ‘biosemantic’ account of linguistic communication due to Ruth Millikan, Philosophical Perspectives 9, Ridgeview Publishing, Atascedero CA, 1995, Millikan R Varieties of Meaning. Mass.: The MIT Press, Cambridge, Millikan, Beyond concepts: unicepts, language, and natural information, Oxford University Press, Oxford UK, 2017, and elsewhere). I argue that the intermediary pragmatics-first approach that I propose, which draws on both Gricean and Millikanian resources, would be better equipped to serve the purposes of those who search for potential precursors of human linguistic communication in animal communication. (shrink)

This paper examines Heidegger’s position on a foundational distinction for Kantian and post-Kantian philosophy: that between acting ‘in the light of’ a norm and acting ‘merely in accordance with it’. In section 1, I introduce the distinction and highlight several relevant similarities between Kant and Heidegger on ontology and the first-person perspective. In section 2, I press the Kantian position further, focusing on the role of inferential commitments in perception: this provides a foil against which Heidegger’s account can be (...) In section 3, I contrast this Kantian approach with Crowell’s highly sophisticated reading of Heidegger on care: I argue that, subject to certain conditions on how we view explanation, the two approaches are compatible and indeed mutually supporting. I close in section 4 by addressing an importantly distinct dimension of normativity, that marked by critique, broadly construed. I argue that we ultimately need to locate Heidegger in a context that. (shrink)

Turkish Epistemoloji rasyonel inançların felsefi analizini konu edinmesi nedeniyle gerekçelendirme edimine merkezi bir önem atfeder. Gerekçelendirme kişinin bir önermeye inanmak için gerekçeye sahip olunmasını sağlayan koşul veya koşullar dizisinin tespit edilmesini içerir. İnançlarımızın birçoğunun çıkarımsal olmayan gerekçelerinin bulunduğu şeklindeki ılımlı/yanılırcı temelci perspektifle uyum sağlayan bir gerekçelendirme teorisi olarak Michael Huemer tarafından ortaya konan görüngüsel muhafazakarlık ilkesi, bu türden bir koşulu tanımlar. GM formülasyonuna göre eğer S’ye p olarak görünüyorsa, çürütücü etmenlerin yokluğunda S’nin p’ye inanmak için en azından bir dereceye kadar (...) gerekçesi vardır. Görüngüler ise rasyonel inanç oluşturmanın olanağına referans veren, inanç ve inanma eğilimlerinden farklı, sui generis deneyimlerdir. Bu makalede görüngülerin doğasından hareketle GM’yi tanıttım ve GM’ye yöneltilen eleştirilerin bir bölümünü tartıştım. Yer verdiğim eleştiriler, GM’nin irrasyonel/tehlikeli görüngüler ve bilişsel nüfuzdan kaynaklanan inançları dahi gerekçelendirilmiş kabul ettiği, GM teorisyenlerinin görüngülere gerekçelendirme edimi özelinde biçtiği başat rolün ve inanç ve görüngüler arasında öngörülen farklılıkların abartılı olduğu itirazlarını içerir. Bana göre sözü edilen eleştirilerin hiçbiri, GM’nin reddedilmesini gerektiren argümanlar içermez. Görüngülerin epistemik gerekçelendirmedeki rolünü tesis eden GM veya benzeri bir ilkeyi kabul etmek için temel neden ise bunun şüphecilik haricindeki olası alternatiflerinin belirsizliğidir. Çünkü eğer görüngüler, inanç oluşturmada epistemik faile rehberlik edecek göstergeler ise bu, failin ilgili göstergelerden yoksun olduğunda herhangi bir şeye rasyonel olarak inanmasının olanaksızlaşacağı anlamına gelir. English Because epistemology deals with the philosophical analysis of rational beliefs, it assigns central importance to justification. Justification involves identifying the condition or set of conditions that enables one to have grounds for believing a proposition. The principle of phenomenal conservatism, put forward by Michael Huemer as a justification theory that accords with the moderate/fallibilist foundationalist perspective that many of our beliefs have non- inferential justifications, is a principle that defines such a condition. According to the PC formulation, if it seems to S that p, then, in the absence of defeaters, S thereby has at least some degree of justification for believing that p. Seemings/appearances are sui generis experiences that refer to the possibility of rational belief formation and are different from beliefs and dispositions to believe. In this article, I introduce PC based on the nature of seemings and evaluate some of the criticisms directed at PC. The criticisms I discuss include objections that PC even justifies beliefs stemming from irrational/dangerous seemings and cognitive penetration, and that the dominant role that PC theorists assign to seemings in the act of justification and the differences envisaged between beliefs and seemings are exaggerated. In my opinion, none of these criticisms contain arguments that would lead to the rejection of PC. The main reason to accept PC or a similar principle that establishes the role of seemings in epistemic justification is the vagueness of its possible alternatives other than skepticism. For, if seemings are indicators that guide the epistemic agent in forming beliefs, this means that it is impossible for the agent to believe anything rationally when she lacks the relevant indicators. (shrink)

In order to develop his pragmatist and inferentialist framework, Robert Brandom appropriates, reconstructs and revises key themes in German Idealism such as the self-legislation of norms, the social institution of concepts and facts, a norm-oriented account of being and the critique of representationalist accounts of meaning and truth. However, these themes have an essential ethical dimension, one that Brandom has not explicitly acknowledged. For Hegel, the determination of norms and facts and the institution of normative statuses take place in the (...) context of Sittlichkeit (‘ethical life’). By engaging with some of the more ontologically and ethically substantive points raised by Hegel, I argue that, from a Hegelian perspective, Brandom’s project regarding the social determination of truth and meaning cannot be divorced from ethics, specifically, the ethical dimension of social recognition. Furthermore, I argue that, in real situations (as opposed to ideal ones), claims to normative authority cannot be considered independently from the legitimacy of those claims, a legitimacy that Brandom is unable to reasonably explain. Finally, I argue that a Hegelian solution to the problems facing Brandom’s framework calls into question the unity of reason that is at the core of Brandom’s normative pragmatics and inferential semantics. (shrink)

Prediction Error Minimization theory (PEM) is one of the most promising attempts to model perception in current science of mind, and it has recently been advocated by some prominent philosophers as Andy Clark and Jakob Hohwy. Briefly, PEM maintains that “the brain is an organ that on aver-age and over time continually minimizes the error between the sensory input it predicts on the basis of its model of the world and the actual sensory input” (Hohwy 2014, p. 2). An interesting (...) debate has arisen with regard to which is the more adequate epistemological interpretation of PEM. Indeed, Hohwy maintains that given that PEM supports an inferential view of perception and cognition, PEM has to be considered as conveying an internalist epistemological perspective. Contrary to this view, Clark maintains that it would be incorrect to interpret in such a way the indirectness of the link between the world and our inner model of it, and that PEM may well be combined with an externalist epistemological perspective. The aim of this paper is to assess those two opposite interpretations of PEM. Moreover, it will be suggested that Hohwy’s position may be considerably strengthened by adopting Carlo Cellucci’s view on knowledge (2013). (shrink)

The starting point for this paper is a critical discussion of claims of psychological reality articulated within Borg’s (forth.) minimal semantics and Carpintero’s (2007) character*-semantics. It has been proposed, for independent reasons, that their respective accounts can accommodate, or at least avoid the challenge from psychological evidence. I outline their respective motivations, suggesting various shortcomings in their efforts of preserving the virtues of an uncontaminated semantics in the face of psychological objection (I-II), and try to make the case that, at (...) least for a theory of utterance comprehension, a truth-conditional pragmatic stance is far preferable. An alternative from a relevance-theoretic perspective is offered in terms of mutual adjustment between truth-conditional content and implicature(s), arguing that many “free” pragmatic processes are needed to uncover the truth-conditional content, which can then warrant the expected implicature(s) (III). I finally illustrate the difficulties their accounts have in predicting the correct order of interpretation in cases of ironic metaphor, i.e. metaphor is computed first, as part of truth-conditional content, while irony is inferentially grounded in metaphorical content (IV). (shrink)

Objective: The study seeks to provide a thorough description of the teachers' digital literacy (DL) and digital competence (DC) and shine a light on the variables that influence the development of their digital literacies and competence. Method: Comprehensive data collection and analysis from 274 participants were completed. Descriptive and inferential statistics were conducted to accomplish the objectives of this study. Results: It came to light that teachers with less than ten years of experience have higher levels of digital literacy. (...) Pre-service education, having access to ICT resources, and a favorable attitude about using ICT were all strongly associated with DL and DC. The research's essential contribution is its findings affirming the value of DL and DC, which can be utilized to approach new technologies critically and use them as a part of digital pedagogy. Novelty: The critical contribution of the research is the result claiming the positive status of DL and DC, which can be used to approach new tools from a critical pedagogical perspective and apply them as part of digital pedagogy. -/- . (shrink)

The scenario of Homo sapiens origin/s within Africa has become increasingly complex, with a pan-African perspective currently challenging the long-established single-origin hypothesis. In this paper, we review the lines of evidence employed in support of each model, highlighting inferential limitations and possible terminological misunderstandings. We argue that the metapopulation scenario envisaged by pan-African proponents well describes a mosaic diversification among late Middle Pleistocene groups. However, this does not rule out a major contribution that emerged from a single population where (...) crucial derived features—notably, a globular braincase—appeared as the result of a punctuated, cladogenetic event. Thus, we suggest that a synthesis is possible and propose a scenario that, in our view, better reconciles with consolidated expectations in evolutionary theory. These indicate cladogenesis in allopatry as an ordinary pattern for the origin of a new species, particularly during phases of marked climatic and environmental instability. (shrink)

Progress in philosophy is difficult to achieve because our methods are evidentially and rhetorically weak. In the last two decades, experimental philosophers have begun to employ the methods of the social sciences to address philosophical questions. However, the adequacy of these methods has been called into question by repeated failures of replication. Experimental philosophers need to incorporate more robust methods to achieve a multi-modal perspective. In this chapter, we describe and showcase cutting-edge methods for data-mining and visualization. Big data is (...) a useful investigatory tool for moral psychology, and it fits well with the Ramsification method the first author advances in a series of recent papers. The guiding insight of these papers is that we can infer the meaning and structure of concepts from patterns of assertions and inferential associations in natural language. (shrink)

In this paper we propose to present from a new perspective some loci comunes of traditional logic. More exactly, we intend to show that some hypothetico-disjunctive inferences (i.e. the complex constructive dilemma, the complex destructive dilemma, the simple constructive dilemma, the simple destructive dilemma) and two hypothetico-categorical inferences (namely modus ponendo-ponens and modus tollendo-tollens) particularize two more abstract inferential structures: the constructive n-lemma and the destructive nlemma.

Empirical findings may be relevant for aesthetic evaluation in at least two ways. First — within criticism — they may help us to identify the aesthetic value of objects. Second— whithin philosophy — they may help us to decide which theory of aesthetic value and evaluation to prefer. In this paper, I address both kinds of relevance. My focus is thereby on empirical evidence gathered, not by means of first-personal experiences, but by means of third-personal scientific investigations of individual artworks (...) or, more generally, our interaction with art. The main thesis to be defended is that third-personal empirical findings are of limited significance for both critical and philosophical aesthetics. Indeed, they matter only to the extent to which they draw our attention to features or facts that we then iden- tify, from our first-personal perspective, as aesthetically relevant — for instance, as reasons counting for or against certain ascriptions of aesthetic value, or as factors that causally influence our actual as- sessments and thus render them partly inadequate or irrational. This limited significance of empirical findings is in line with the rationalist approach to the formation and justification of aesthetic judgements, that I have already started to defend elsewhere. -/- With respect to critical aesthetics, one problem is that empirical investigations cannot capture the normativity of the aesthetic relevance of lower-level features or facts: the respective studies can tell us what we take to be reason-giving or valuable, but not what is reason-giving or valuable. Furthermore, we cannot use empirically knowable principles to infer the presence of aesthetic values or reasons on the basis of recognising measurable lower-level features because the only available principles are too specific to allow for their actual application to more than one existing object, or even for their actual formulation. For their antecedents make reference to a large number of very determinate properties, as well as sometimes to particular events of creation. The only exception are conceptual principles (such as ‘something symmetrical is balanced’) or default principles (such as ‘something elegant is, by default, beautiful’). But knowledge of these principles is of little inferential use due to the holistic character of the justificatory power of aesthetic reasons and, moreover, does not allow for empirical acquisition. -/- With respect to philosophical aesthetics, I start with considering the limits of evolutionary accounts of aesthetic value. Even if it is true that humans originally came to value artworks because they recognised that artworks reveal certain skills or features of artists (such as imaginativeness or resourcefulness) that are desirable in sexual partners, it does not value that our reasons for valuing art have not changed, or at least not become much more complex. In addition, the answer to the question of why we value art from an evolutionary perspective has no obvious bearing on the issue of how we should appreciate art from an aesthetic perspective, or what such aesthetic appreciation would consist in. On the other hand, experimental studies showing that our actual aesthetic evaluations are influenced by factors (such as exposure e ects, or knowledge of the prices of objects), that undermine the good standing of our responses, just reveal that it is more difficult than perhaps expected to form sound aesthetic judgements; and that we need to improve our future aesthetic judgements by diminishing as much as possible the impact of those factors. (shrink)

In this paper, we provide an analysis of the concept of legal personality and discuss whether personality may be conferred on artificial intelligence systems (AIs). Legal personality will be presented as a doctrinal category that holds together bundles of rights and obligations; as a result, we first frame it as a node of inferential links between factual preconditions and legal effects. However, this inferentialist reading does not account for the ‘background reasons’ of legal personality, i.e., it does not explain (...) why we cluster different situations under this doctrinal category and how extra-legal information is integrated into it. We argue that one way to account for this background is to adopt a neoinstitutional perspective and to update the ontology of legal concepts with a further layer, the meta-institutional one. We finally argue that meta-institutional concepts can also support us in finding an equilibrium around the legal-policy choices that are involved in including (or not including) AIs among legal persons. (shrink)

This article analyzes whether Brandom’s ISA (inferential-substitutional-anaphoric) semantics as presented in Making It Explicit (MIE) and Articulating Reasons (AR) can cope with problems resulting from inferentialism’s near-implied meaning holism. Inferentialism and meaning holism entail a radically perspectival conception of content as significance for an individual speaker. Since thereby its basis is fixed as idiolects, holistic inferentialism engenders a communication-problem. Brandom considers the systematic difference in information among individuals as the „point“ of communication and thus doesn’t want to diminish these (...) effects of inferentialism. Instead, explains communication with a model of “navigating among perspectives without sharing contents”. The crucial element in this navigation-model is the functioning of anaphoric connections between tokens uttered in discourse that can be used by every individual speaker in their own perspectival semantic substitution-economies. The heart of Brandom’s semantics is the thesis of the purely inferential, hence non-referential nature of anaphora, coupled with the claim that anaphoric-inferential semantic mechanisms yield sufficient conditions for mutually successful “information-extraction” or interpretation. This article disputes the thesis and denies the claim. Regarding the former it is observed that all of Brandom’s plausible reconstructions of anaphoric discourse-structures rely on covert “reference-infiltrations” that can’t be eliminated. Regarding the latter, a new argument based on context-sensitive semantic phenomena in anaphoric settings shows that the crucial distinction between initiator or anaphoric antecedent and anaphoric dependent cannot be drawn according to Brandom’s own premises without overt and irreducible referential premises. The article concludes that either Brandom’s semantics can offer determinate contents, but then must accept genuinely referential semantic primitives, or else it leaves utterance-contents undeterminable and hence cannot explain communication. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of (...) working with semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of (...) these notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

Dharmakīrti argues that there is no pramāṇa (valid means of cognition or source of knowledge) for a thesis that is a self-contradiction (svavacanavirodha). That is, self-contradictions such as ‘everything said is false’ and ‘my mother is barren’ cannot be known to be true or false. The contemporary scholar Tillemans challenges Dharmakīrti by arguing that we can know that self-contradictions are false by means of a formal logical inference. The aims of the paper are to answer Tillemans’ challenge from what we (...) take to be Dharmakīrti’s or Dharmakīrtian (someone who is like Dharmakīrti) perspective and to demonstrate the unique features of Dharmakīrti’s view of inference. By so doing, we show that the epistemology in relation to the formal conception of logic that underlies Tillemans’ challenge is problematic from Dharmakīrti’s or Dharmakīrtian perspective. The paper, thus, presents Dharmakīrti’s view of inference and logical reasoning as well as a Dharmakīrtian challenge to the formal conception of logic that is the dominant contemporary conception. (shrink)

This monograph is an in-depth and engaging discourse on the deeply cognitive roots of human scientific quest. The process of making scientific inferences is continuous with the day-to-day inferential activity of individuals, and is predominantly inductive in nature. Inductive inference, which is fallible, exploratory, and open-ended, is of essential relevance in our incessant efforts at making sense of a complex and uncertain world around us, and covers a vast range of cognitive activities, among which scientific exploration constitutes the pinnacle. (...) Inductive inference has a personal aspect to it, being rooted in the cognitive unconscious of individuals, which has recently been found to be of paramount importance in a wide range of complex cognitive processes. One other major aspect of the process of inference making, including the making of scientific inferences, is the role of a vast web of beliefs lodged in the human mind, as also of a huge repertoire of heuristics, that constitute an important component of ‘unconscious intelligence’. Finally, human cognitive activity is dependent in a large measure on emotions and affects, that operate mostly at an unconscious level. Of special importance in scientific inferential activity is the process of hypothesis making, which is examined in this book, along with the above aspects of inductive inference, at considerable depth. The book focuses on the inadequacy of the viewpoint of naive realism in understanding the contextual nature of scientific theories, where a cumulative progress towards an ultimate truth about Nature appears to be too simplistic a generalization. It poses a critique to the commonly perceived image of science which is seen as the last word in logic and objectivity, the latter in the double sense of being independent of individual psychological propensities and, at the same time, approaching a correct understanding of the workings of a mind-independent nature. Adopting the naturalist point of view, it examines the essential tension between the cognitive endeavours of individuals and scientific communities, immersed in belief systems and cultures, on the one hand, and the engagement with a mind-independent reality on the other. In the end, science emerges as an interpretation of nature, which is perceived by us only contextually, as successively emerging cross-sections of limited scope and extent. Successive waves of theory building in science appear as episodic and kaleidoscopic changes in perspective as certain in-built borders are crossed, rather than as a cumulative progress towards some ultimate truth. While written in an informal and conversational style, the book raises a number of deep and intriguing questions located at the interface of cognitive psychology and philosophy of science, meant for both the general lay reader and the specialist. Of particular interest is the way it explores the role of belief (aided by emotions and affects) in making the process of inductive inference possible since belief is a subtle though all-pervasive cognitive factor not adequately investigated in the current literature. (shrink)

The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of several (...) distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development. (shrink)

This book presents a philosophical conception of logic -- "logical expressivism"-- according to which the role of logic is to make explicit reason relations, which are often neither monotonic nor transitive. It reveals new perspectives on inferential roles, sequent calculi, representation, truthmakers, and many extant logical theories.

Since Wilfrid Sellars' attack on sense-date theories, it became hard to understand the role of perceptual experience in the justification of beliefs about the world. Many philosophers have started to sustain that experience only causes beliefs, never justifies them. In this thesis, I defend that experience justifies empirical beliefs non-inferentially. I work out three senses of 'justification': basement, reason and warrant. The idea is that experience can be a reason to believe. The subject can base upon his experience in order (...) to form or hold a belief about the world. The distinction between vehicle and content has a important role in this thesis. Perceptual experience and belief are representational vehicles. Both can hold the same content. By this step I can explain the relevance of experience content to the truth of the belief. It is also necessary to explain how an experience can be a reason to believe in the first-person perspective. The inference model shows how a belief can be a reason for another belief. Nevertheless, the inference model can not be used to explain the transition from a perceptual state to a doxastic state, because experience can be a non-conceptual vehicle. Following Evans, I submit that the conceptualization act involved in the formation of a belief about the world is the key for understanding how experience can be a reason to believe, that is, how the transition from a perceptual state to a doxastic state can be rational. The empiricism defended is minimal. Although experience works as an unconditioned justifier for beliefs about the world, beliefs thus justified are not incorrigible. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...) (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

Unconscious logical inference seems to rely on the syntactic structures of mental representations (Quilty-Dunn & Mandelbaum 2018). Other transitions, such as transitions using iconic representations and associative transitions, are harder to assimilate to syntax-based theories. Here we tackle these difficulties head on in the interest of a fuller taxonomy of mental transitions. Along the way we discuss how icons can be compositional without having constituent structure, and expand and defend the “symmetry condition” on Associationism (the idea that associative links and (...) transitions are perfectly symmetric). In the end, we show how a BIT (“bare inferential transition”) theory can cohabitate with these other non-inferential mental transitions. (shrink)

ABSTRACT -/- A propositional attitude (PA) is a belief, desire, fear, etc., that x is the case. This dissertation addresses the question of the semantic content of a specific kind of PA-instance: an instance of a belief of the form all Fs are Gs. The belief that all bachelors are sports fans has this form, while the belief that Spain is a country in Eastern Europe do not. Unlike a state of viewing the color of an orange, a belief-instance is (...) semantically contentful because it has reference, a meaning, logical implications, or a truth-value. While the intrinsic semantics view holds that either concepts or abstract objects are the source of content for PAs, the extrinsic semantics view holds that symbols of a mental language provide this content. I argue that a successful theory of intentionality must explain: (1) the truth-preserving causal powers of PAs, (2) the failure of the deductive principle Substitutivity to preserve truth over sentences that ascribe PAs, and (3) the truth-evaluability of PAs. As an internalist version of the extrinsic semantics view, I first evaluate Fodor’s Computational Theory of Mind, which says the semantic ingredients of mental states are symbols governed by rules of a mental syntax. I argue that in order to meet (1), CTM would have to associate the causal patterns of each thought-type with the inferential relations of some proposition – in an arbitrary or question-begging way. I also evaluate Fodor’s causal theory, as an externalist version of the extrinsic semantics view. This view is that lawlike causal relations between mental symbols and objects determine the reference, and thus the truth-value, of a thought. I argue that Brian Loar’s circularity objection refutes the ability of this theory to meet (3); and I endorse the intrinsic semantics perspective. I evaluate Frege’s theory of abstract, mind-external, and intrinsically semantic objects (senses), as an attempt to meet condition (2). I conclude that mind-external universals are the source of the intrinsically semantic features of concepts. Finally, I put forth a theory called ‘Bare Property Intentionality’, which describes the features of intrinsically representative and semantic concepts that connect them to these universals. (shrink)

Phenomenal conservatism (PC) is the internalist view that non-inferential justification rests on appearances. PC’s advocates have recently argued that seemings are also required to explain inferential justification. The most general and developed view to this effect is Huemer (2016)’s theory of inferential seemings (ToIS). Moretti (2018) has shown that PC is affected by the problem of reflective awareness, which makes PC open to sceptical challenges. In this paper I argue that ToIS is afflicted by a version of (...) the same problem and it is thus hostage to inferential scepticism. I also suggest a possible response on behalf of ToIS’s advocates. (shrink)

In a recent paper, Erasmus et al. (2021) defend the idea that the ambiguity of the term “explanation” in explainable AI (XAI) can be solved by adopting any of four different extant accounts of explanation in the philosophy of science: the Deductive Nomological, Inductive Statistical, Causal Mechanical, and New Mechanist models. In this chapter, I show that the authors’ claim that these accounts can be applied to deep neural networks as they would to any natural phenomenon is mistaken. I also (...) provide a more general argument as to why the notion of explainability as it is currently used in the XAI literature bears little resemblance to the traditional concept of scientific explanation. It would be more fruitful to use the label “understandable AI” to avoid the confusion that surrounds the goal and purposes of XAI. In the second half of the chapter, I argue for a pragmatic conception of understanding that is better suited to play the central role attributed to explanation in XAI. Following De Regt (2017) and Kuorikoski and Ylikoski (2015), the conditions of satisfaction for understanding an ML system are fleshed out in terms of an agent’s success in using the system. (shrink)

The paper takes off from the suggestion of Jouni-Matti Kuukkanen that Kuhn’s account of science may be understood in coherentist terms. There are coherentist themes in Kuhn’s philosophy of science. But one crucial element is lacking. Kuhn does not deny the existence of basic beliefs which have a non-doxastic source of justification. Nor does he assert that epistemic justification only derives from inferential relationships between non-basic beliefs. Despite this, the coherentist interpretation is promising and I develop it further in (...) this paper. I raise the question of whether Kuhn’s account of science can deal with the input objection to coherentism. I argue that the role played by problems in Kuhn’s theory of science ensures that there is input from the external world into scientists’ belief-systems. I follow Hoyningen-Huene in pointing to the causal role played by the external world in determining perceptual states. I next turn to the question of whether Kuhn’s rejection of foundationalism implies coherentism. I argue that Kuhn’s rejection of the one-to-one relation between object and experience is compatible with a foundationalist account of justification. Nor does Kuhn’s rejection of the given entail the same coherentist implications as Sellars’ critique of the myth of the given. (shrink)

Classical acquaintance theory is any version of classical foundationalism that appeals to acquaintance in order to account for non-inferential justification. Such theories are well suited to account for a kind of infallible non-inferential justification. Why am I justified in believing that I’m in pain? An initially attractive (partial) answer is that I’m acquainted with my pain. But since I can’t be acquainted with what isn’t there, acquaintance with my pain guarantees that I’m in pain. What’s less clear is (...) whether, given classical acquaintance theory, it’s possible to have non-inferential justification to believe something false. Classical acquaintance theorists try to make room for such a possibility, but I argue that the attempts of Richard Fumerton, Ali Hasan, and Evan Fales are inadequate. I’ll focus on introspective justification, but similar issues arise for a priori justification as well. (shrink)

ABSTRACTThis paper provides a naturalistic account of inference. We posit that the core of inference is constituted by bare inferential transitions, transitions between discursive mental representations guided by rules built into the architecture of cognitive systems. In further developing the concept of BITs, we provide an account of what Boghossian [2014] calls ‘taking’—that is, the appreciation of the rule that guides an inferential transition. We argue that BITs are sufficient for implicit taking, and then, to analyse explicit taking, (...) we posit rich inferential transitions, which are transitions that the subject is disposed to endorse. (shrink)

Most of our memories are inferential, so says Sven Bernecker in Memory: A Philosophical Study. I show that his account of inferentially remembering that p is too strong. A revision of the account that avoids the difficulty is proposed. Since inferential memory that p is memory that q (a proposition distinct from p) with an admixture of inference from one’s memory that q and a true thought one has that r, its analysis presupposes an adequate account of the (...) (presumably non-inferential) memory that q. Bernecker’s account of non-inferentially remembering that is shown to be inadequate. A remedy lies in strengthening the account by requiring the rememberer to have had prima facie justification to believe that q, any defeaters of which were misleading. (shrink)

There is a felt difference between following an argument to its conclusion and keeping up with an argument in your judgments while failing to see how its conclusion follows from its premises. In the first case there’s what I’m calling an inferential seeming, in the second case there isn’t. Inferential seemings exhibit a cluster of functional and normative characteristics whose integration in one mental state is puzzling. Several recent accounts of inferring suggest inferential seemings play a significant (...) role in the process, but none provides a fully satisfactory understanding of inferential seemings themselves. In this paper I critically examine theoretical options on offer in the existing literature, then develop an alternative view. I discuss implications for recent debates about general principles governing inference, such as Fumerton’s Principle of Inferential Justification and Boghossian’s Taking Condition. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

This paper critically examines currently influential transparency accounts of our knowledge of our own beliefs that say that self-ascriptions of belief typically are arrived at by “looking outward” onto the world. For example, one version of the transparency account says that one self-ascribes beliefs via an inference from a premise to the conclusion that one believes that premise. This rule of inference reliably yields accurate self-ascriptions because you cannot infer a conclusion from a premise without believing the premise, and so (...) you cannot infer from a premise that you believe the premise unless you do believe it. I argue that this procedure cannot be a source of justification, however, because one can be justified in inferring from p that q only if p amounts to strong evidence that q is true. This is incompatible with the transparency account because p often is not very strong evidence that you believe that p. For example, unless you are a weather expert, the fact that it will rain is not very strong evidence that you believe it will rain. After showing how this intuitive problem can be made precise, I conclude with a broader lesson about the nature of inferential justification: that beliefs, when justified, must be underwritten by beliefs, when justified, must be underwritten by evidential relationships between the facts or propositions which those beliefs represent. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Reliability theories of epistemic justification face three main objections: the generality problem, the demon-world (or brain-in-a-vat) counterexample, and the clairvoyant-powers counterexample. In Perception and Basic Beliefs(Oxford 2009), Jack Lyons defends reliabilism at length against the clairvoyant powers case. He argues that the problem arises due to a laxity about the category of basic beliefs, and the difference between inferential and non-inferential justification. Lyons argues reliabilists must pay more attention to architecture. I argue this isn’t necessarily so. What really (...) matters for understanding and solving the case involves paying closer attention to the origins of our belief forming capacities, both inferential and non-inferential. Reliabilists should make origins matter more. (shrink)

Jerry Fodor and Ernie Lepore have argued that inferential roles are not compositional. It is unclear, however, whether the theories at which they aim their objection are obliged to meet the strong compositionality requirement they have in mind. But even if that requirement is accepted, the data they adduce can in fact be derived from an inferential-role theory that meets it. Technically this is trivial, but it raises some interesting objections turning on the issue of the generality of (...) inferential roles. I explain how those objections can be met. Whether Fodor’s and Lepore’s strong compositionality requirement is justified or not, then, inferential-role theories do not have the problem that they claim to have identified. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

This paper argues that new light may be shed on mathematical reasoning in its non-pathological forms by careful observation of its pathologies. The first section explores the application to mathematics of recent work on fallacy theory, specifically the concept of an ‘argumentation scheme’: a characteristic pattern under which many similar inferential steps may be subsumed. Fallacies may then be understood as argumentation schemes used inappropriately. The next section demonstrates how some specific mathematical fallacies may be characterized in terms of (...) argumentation schemes. The third section considers the phenomenon of correct answers which result from incorrect methods. This turns out to pose some deep questions concerning the nature of mathematical knowledge. In particular, it is argued that a satisfactory epistemology for mathematical practice must address the role of luck. (shrink)