In this paper we present an approach to conditional reasoning tasks based on two main ideas. The first idea is that, in contrast with what is usually assumed, an ‘if… then…’ sentence is not an adequate translation in natural language of a logical formula containing a material implication as its principal operator. The second idea is that when subjects are required to check the validity of a sentence in a task, their inferences are not driven uniquely by the content of (...) the sentence, but also by other information embedded in the task scenario and, eventually, by their knowledge about the topic (i.e. information stored in memory). Data from 30 subjects tested on six different tasks are reported as evidence for our approach. The results show that conditional tasks are significantly more complex only when they are presented with ‘if… then…’ sentences and when the subject cannot rely on any extra information, such as contextual information or knowledge about the topic. (shrink)

This book examines phenomenal conservatism, one of the most influential and promising internalist conceptions of non-inferential justification debated in current epistemology and philosophy of mind. It also explores the significance of the findings of this examination for the general debate on epistemic justification. According to phenomenal conservatism, non-inferential justification rests on seemings or appearances, conceived of as experiences provided with propositional content. Phenomenal conservatism states that if it appears to S that P, in the absence of defeaters, S thereby has (...) some justification for believing that P. This view provides the basis for foundationalism and many ordinary epistemic practices. This book sheds new light on phenomenal conservatism by assessing objections to it and examining epistemological merits and advantages attributed to it. In a nutshell, phenomenal conservatism is actually compatible with Bayesian reasoning, and it is unaffected by bootstrapping problems and challenges that appeal to the cognitive penetrability of perception. Nevertheless, appearance-based justification proves unstable or elusive and its antisceptical bite is more limited than expected. These difficulties could be surmounted if phenomenal conservatism were integrated with a theory of inferential justification. The book appeals to scholars and postgraduates in the field of epistemology and philosophy of mind who are interested in the rational roles of appearances. (shrink)

The Friedman–Stanley jump, extensively studied by descriptive set theorists, is a fundamental tool for gauging the complexity of Borel isomorphism relations. This paper focuses on a natural computable analog of this jump operator for equivalence relations on $\omega $, written ${\dotplus }$, recently introduced by Clemens, Coskey, and Krakoff. We offer a thorough analysis of the computable Friedman–Stanley jump and its connections with the hierarchy of countable equivalence relations under the computable reducibility $\leq _c$. In particular, we show that this (...) jump gives benchmark equivalence relations going up the hyperarithmetic hierarchy and we unveil the complicated highness hierarchy that arises from ${\dotplus }$. (shrink)

In the present paper we discuss a recent suggestion of Schroeder-Heister concerning the possibility of defining an intensional notion of harmony using isomorphism in second-order propositional logic. The latter is not an absolute notion, but its definition is relative to the choice of criteria for identity of proofs. In the paper, it is argued that in order to attain a satisfactory account of harmony, one has to consider a notion of identity stronger than the usual one (based on β- and (...) η-conversions) that the authors have investigated in recent work. (shrink)

Crispin Wright maintains that the architecture of perceptual justification is such that we can acquire justification for our perceptual beliefs only if we have antecedent justification for ruling out any sceptical alternative. Wright contends that this principle doesn’t elicit scepticism, for we are non-evidentially entitled to accept the negation of any sceptical alternative. Sebastiano Moruzzi has challenged Wright’s contention by arguing that since our non-evidential entitlements don’t remove the epistemic risk of our perceptual beliefs, they don’t actually enable us to (...) acquire justification for these beliefs. In this paper I show that Wright’s responses to Moruzzi are ineffective and that Moruzzi’s argument is validated by probabilistic reasoning. I also suggest that Wright cannot answer Moruzzi’s challenge without weakening the support available for his conception of the architecture of perceptual justification. (shrink)

A citizen of Early Renaissance Florence that stepped out into the streets and entered the spaces of his civic world joined a concert of creative formal behaviors in which he was at once an actor and a spectator. His problem here was to interpret the complex web of overlapping, conflicting and simultaneous meanings he would have read in the actions and images by which the community directed him and represented itself, and find his own place and set his standing. On (...) most occasions he would probably have elected for a state of suspension, a floating of multiple possibilities he was loath to precipitate in too stable a form: in ambiguity the citizen of Florence developed a richness of signification, and found a refuge. (shrink)

A citizen of Early Renaissance Florence that stepped out into the streets and entered the spaces of his civic world joined a concert of creative formal behaviors in which he was at once an actor and a spectator. His problem here was to interpret the complex web of overlapping, conflicting and simultaneous meanings he would have read in the actions and images by which the community directed him and represented itself, and find his own place and set his standing. On (...) most occasions he would probably have elected for a state of suspension, a floating of multiple possibilities he was loath to precipitate in too stable a form: in ambiguity the citizen of Florence developed a richness of signification, and found a refuge. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

How psychopaths and their capacity for moral action are viewed is not only philosophically interesting but is also important and relevant for policy. The philosophical discussion of psychopathy has focussed upon the psychological faculties that are prerequisites for moral responsibility and empirical findings regarding psychopathy that are relevant to philosophical accounts of moral understanding and motivation. However, there are legitimate worries about whether psychopathy is a robust scientific construct, and there are risks attached to reifying psychopathy or other psychiatric constructs. (...) We defend the concept of psychopathy by pointing out the relevance of empirical studies about it for our ordinary practices of ascribing moral responsibility and folk psychological accounts of moral understanding and motivation. (shrink)

The combination of panpsychism and priority monism leads to priority cosmopsychism, the view that the consciousness of individual sentient creatures is derivative of an underlying cosmic consciousness. It has been suggested that contemporary priority cosmopsychism parallels central ideas in the Advaita Vedānta tradition. The paper offers a critical evaluation of this claim. It argues that the Advaitic account of consciousness cannot be characterized as an instance of priority cosmopsychism, points out the differences between the two views, and suggests an alternative (...) positioning of the Advaitic canon within the contemporary debate on monism and panpsychism. (shrink)

Both sustainability and identity are said to be paradoxical issues in organizations. In this study we look at the paradoxes of corporate sustainability at the individual level by studying the identity work of those managers who hold sustainability-dedicated roles in organizations. Analysing 26 interviews with sustainability managers, we identify three main tensions affecting their identity construction process: the business versus values oriented, the organizational insider versus outsider and the short-term versus long-term focused identity work tensions. When dealing with these tensions, (...) some interviewees express a paradoxical perspective in attempting to accept and maintain the two poles of each of them simultaneously. It emerges in particular that metaphorical reasoning can be used by sustainability managers in varied ways to cope with the tensions of identity work. We read these findings in light of the existing literature on the relation between paradoxes and identity work, highlighting and discussing their implications for both research and practice. (shrink)

In this chapter I introduce and analyse the tenets of phenomenal conservatism, and discuss the problem of the nature of appearances. After that, I review the asserted epistemic merits phenomenal conservatism and the principal arguments adduced in support of it. Finally, I survey objections to phenomenal conservatism and responses by its advocates. Some of these objections will be scrutinised and appraised in the next chapters.

Psychopaths have emotional and rational impairments that can be expressed in persistent criminal behaviour. UK and US law has not traditionally excused disordered individuals for their crimes citing these impairments as a cause for their criminal behaviour. Until now, the discussion of whether psychopaths are morally responsible for their behaviour has usually taken place in the realm of philosophy. However, in recent years, this debate has been informed by scientific and psychiatric advancements, fundamentally so with the development of Robert Hare's (...) diagnostic tool, the Psychopathy Checklist. Responsibility and Psychopathy explores the moral responsibility of psychopaths. It engages with problems at the interface between law, psychiatry, and philosophy, and is divided into three parts offering relevant interdisciplinary background information to address this main problem. The first part discusses the public policy and legal responses to psychopathy. It offers an introduction to the central practical issue of how public policy should respond to psychopathy, providing insights for those arguing about the responsibility of psychopaths. The second part introduces recent scientific advancements in the classification, description, explanation, and treatment of psychopathy. The third part of the volume includes chapters covering the most significant dimensions of philosophical debate on the moral and criminal responsibility of psychopaths. (shrink)

The discussion of whether psychopaths are morally responsible for their behaviour has long taken place in philosophy. In recent years this has moved into scientific and psychiatric investigation. Responsibility and Psychopathy discusses this subject from both the philosophical and scientific disciplines, as well as a legal perspective.

The paper introduces what is deemed as the general epistemological problem of measurement: what characterizes measurement with respect to generic evaluation? It also analyzes the fundamental positions that have been maintained about this issue, thus presenting some sketches for a conceptual history of measurement. This characterization, in which three distinct standpoints are recognized, corresponding to a metaphysical, an anti-metaphysical, and relativistic period, allows us to introduce and briefly discuss some general issues on the current epistemological status of measurement science.

According to the perceptual view of language comprehension, listeners typically recover high-level linguistic properties such as utterance meaning without inferential work. The perceptual view is subject to the Objection from Context: since utterance meaning is massively context-sensitive, and context-sensitivity requires cognitive inference, the perceptual view is false. In recent work, Berit Brogaard provides a challenging reply to this objection. She argues that in language comprehension context-sensitivity is typically exercised not through inferences, but rather through top-down perceptual modulations or perceptual learning. (...) This paper provides a complete formulation of the Objection from Context and evaluates Brogaards reply to it. Drawing on conceptual considerations and empirical examples, we argue that the exercise of context-sensitivity in language comprehension does, in fact, typically involve inference. (shrink)

In this paper we aim to offer a balanced argument to motivate (re)thinking about the mental illness clause within the insanity defence. This is the clause that states that mental illness should have a relevant causal or explanatory role for the presence of the incapacities or limited capacities that are covered by this defence. We offer three main considerations showing the important legal and epistemological roles that the mental illness clause plays in the evaluation of legal responsibility. Although we acknowledge (...) that these advantages could be preserved without having this clause explicitly stated in the law, we resist proposals that deny the importance of mental illness in exculpation. We argue, thus, that any attempt at removing the mental illness clause from legal formulations of the insanity defence should offer alternative ways of keeping in place these advantages. (shrink)

According to constitutivism, we can justify the authority of aims and norms on the ground that they are inescapable. Constitutivist views divide between ambitious and modest ones. According to ambitious constitutivism, the inescapability of aims grounds their unconditional authority, whereas according to modest constitutivism, the inescapability of aims only grounds their conditional authority. Either way, both forms of constitutivism share the assumption that inescapability grounds authority, which in turn presupposes that at the foundation of normativity we find aims and norms (...) that can be evaluated as having or lacking authority. In this paper I shall defend a form of constitutivism that rejects this assumption. According to this view, which I shall call Hinge Constitutivism, at the foundation of epistemic normativity we find an aim, the truth-aim, that is altogether beyond the evaluation in terms of the ordinary notion of authority. Moreover, I shall argue that to aim at truth is a condition of possibility for justifying the authority of any other aims or norms. In this sense, to aim at truth is a hinge of deliberation. (shrink)

A pressing and difficult practical problem concerns the general issue of the right social response to offenders classified as having antisocial personality disorder. This paper approaches this general problem by focusing, from a philosophical perspective, on the still relevant but more approachable question whether psychopathic offenders are morally responsible. In particular, I investigate whether psychopaths possess moral understanding. A plausible way to approach the last question requires a satisfactory philosophical interpretation of the empirical evidence that appears to show that psychopaths (...) fail to draw the distinction between conventional and moral norms. Specifically, I will consider a recent philosophical debate polarized between supporters of rationalist and sentimentalist accounts of moral understanding. These opponents have discussed whether the case of psychopathy offers empirical support for their account and undermine the rival view. I will argue that the available empirical data leave the outcome of this discussion indeterminate. However, this implies that both these principal theories of moral understanding, if independently motivated, would imply that psychopaths have certain deficits that might affect their moral understanding and, consequently, their moral responsibility. (shrink)

Wright claims that “the epistemology of good abstraction principles should be assimilated to that of basic principles of logical inference”. In this paper I follow Wright’s recommendation, but I consider a different epistemology of logic, namely anti-exceptionalism. Anti-exceptionalism’s main contention is that logic is not a priori, and that the choice between rival logics should be based on abductive criteria such as simplicity, adequacy to the data, strength, fruitfulness, and consistency. This paper’s goal is to lay down the foundations for (...) an application of the anti-exceptionalist methodology to abstraction principles. In Sect. 1 I outline my strategy. I show that anti-exceptionalism has a bearing on the so-called Bad Company problem, and explore some versions of anti-exceptionalism about abstraction. I then consider new criteria for choosing between rival abstraction principles, and, in particular, between consistent revisions of Frege’s Basic Law V. I finally consider how the abstractionist can compare between competing criteria, and argue that anti-exceptionalists should be pluralists about abstraction. (shrink)

In this paper we show how Dummett-Prawitz-style proof-theoretic semantics has to be modified in order to cope with paradoxical phenomena. It will turn out that one of its basic tenets has to be given up, namely the definition of the correctness of an inference as validity preservation. As a result, the notions of an argument being valid and of an argument being constituted by correct inference rules will no more coincide. The gap between the two notions is accounted for by (...) introducing the distinction between sense and denotation in the proof-theoretic-semantic setting. (shrink)

When two or more (groups of) researchers independently investigating the same domain arrive at the same result, a multiple discovery occurs. The pervasiveness of multiple discoveries in science suggests the intuition that they are in some sense inevitable—that one should view them as results that force themselves upon us, so to speak. We argue that, despite the intuitive force of such an “inevitabilist insight,” one should reject it. More specifically, we distinguish two facets of the insight and argue that: (a) (...) the profusion of multiple discoveries in scientific practice does not support the inevitabilist side of the inevitability/contingency of science controversy; and (b) the crucial role of background knowledge in scientific inquiry complicates the attempt to interpret the pervasiveness of multiple discoveries in realist terms. (shrink)

The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic ⊨Δ associated with an infinitary variety Δ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of ⊨Δ, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic ⊢Δ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence associated (...) with ⊢Δ coincides with ⊨Δ. (shrink)

A subject S's belief that Q is well-grounded if and only if it is based on a reason of S that gives S propositional justification for Q. Depending on the nature of S's reason, the process whereby S bases her belief that Q on it can vary. If S's reason is non-doxastic––like an experience that Q or a testimony that Q––S will need to form the belief that Q as a spontaneous and immediate response to that reason. If S's reason (...) is doxastic––like a belief that P––S will need to infer her belief that Q from it. The distinction between these two ways in which S's beliefs can be based on S's reasons is widely presupposed in current epistemology but––we argue in this paper––is not exhaustive. We give examples of quite ordinary situations in which a well-grounded belief of S appears to be based on S's reasons in neither of the ways described above. To accommodate these recalcitrant cases, we introduce the notion of enthymematic inference and defend the thesis that S can base a belief that Q on doxastic reasons P1, P2, …, Pn via inferring enthymematically Q from P1, P2, …, Pn. (shrink)

In this chapter, we investigate whether psychopathy is a mental disorder. We argue that addressing this question requires engaging, at least, with three principal issues that have conceptual, empirical, and normative dimensions. First, it must be established whether current measures of psychopathy individuate a unitary class of individuals. By this we mean that persons classifed as psychopaths should share some relevant similarities that support explanation, prediction, and treatment. Second, it must be proven that psychopathy harms the person who has it. (...) Third, it must be established that the harm associated with psychopathy is relevant for the ascription of disorder status. Regarding this latter issue, we argue that psychopathy should be considered a disorder if its harmfulness derives from certain incapacities or limited capacities. These incapacities should affect basic competences that are justifably required for conducting a preferable type of life. Within this framework, we tentatively advance the hypothesis that some normatively justifed conclusions and empirical evidence about psychopathy, that needs nonetheless to be further investigated, might support the claim that people with psychopathy have a mental disorder. (shrink)

Gilead et al. present a rich account of abstraction. Though the account describes several elements which influence mental representation, it is worth also delineating how feelings, such as fluency and emotion, influence mental simulation. Additionally, though past experience can sometimes make simulations more accurate and worthwhile, many systematic prediction errors persist despite substantial experience.

A common feature of all versions of constitutivism is the “simple constitutivist move” to the effect that engagement in any enterprise requires respecting the constitutive standards of the enterpri...

One of the philosophical discussions stimulated by the recent scientific study of psychopathy concerns the mental illness status of this construct. This paper contributes to this debate by recommending a way of approaching the problem at issue. By relying on and integrating the seminal work of the philosopher of psychiatry Bill Fulford, I argue that a mental illness is a harmful unified construct that involves failures of ordinary doing. Central to the present proposal is the idea that the notion of (...) failure of ordinary doing, besides the first personal experience of the patient, has to be spelled out also by referring to a normative account of idealised conditions of agency. This account would have to state in particular the conditions which are required for moral responsibility. I maintain that psychopathy is a unified enough construct that involves some harms. The question whether the condition involves also a failure of ordinary doing, as this notion is understood in this paper, is not investigated here. (shrink)

Matthew McGrath has recently challenged all theories that allow for immediate perceptual justification. This challenge comes by way of arguing for what he calls the “Looks View” of visual justification, which entails that our visual beliefs that are allegedly immediately justified are in fact mediately justified based on our independent beliefs about the looks of things. This paper shows that McGrath’s arguments are unsound or, at the very least, that they do not cause genuine concern for the species of dogmatism (...) called “Phenomenal Explanationism”, recently introduced and defended by Kevin McCain and Luca Moretti. (shrink)

This edited volume systematically addresses the connection between Wilfrid Sellars and the history of modern philosophy, exploring both the content and method of this relationship. It intends both to analyze Sellars’s position in relation to singular thinkers of the modern tradition, and to inquire into Sellars’s understanding of philosophy as a field in reflective and constructive conversation with its past. The chapters in Part I cover Sellars’s interpretation and use of Descartes, Leibniz, Hume, Kant and Hegel. Part II features essays (...) on his relationship with Peirce, Frege, Carnap, Wittgenstein, American pragmatism, behaviorism and American realism, particularly his father, Roy Wood. Sellars and the History of Modern Philosophy features original contributions by many of the most renowned Sellars scholars throughout the world. It offers an exhaustive survey of Sellars’s views on the historical antecedents and metaphilosophical aspects of his thought. (shrink)

The analytical notions of ‘thought style’, ‘paradigm’, ‘episteme’ and ‘style of reasoning’ are some of the most popular frameworks in the history and philosophy of science. Although their proponents, Ludwik Fleck, Thomas Kuhn, Michel Foucault, and Ian Hacking, are all part of the same philosophical tradition that closely connects history and philosophy, the extent to which they share similar assumptions and objectives is still under debate. In the first part of the paper, I shall argue that, despite the fact that (...) these four thinkers disagree on certain assumptions, their frameworks have the same explanatory goal – to understand how objectivity is possible. I shall present this goal as a necessary element of a common project -- that of historicising Kant's a priori. In the second part of the paper, I shall make an instrumental use of the insights of these four thinkers to form a new model for studying objectivity. I shall also propose a layered diagram that allows the differences between the frameworks to be mapped, while acknowledging their similarities. This diagram will show that the frameworks of style of reasoning and episteme illuminate conditions of possibility that lie at a deeper level than those considered by thought styles and paradigm. (shrink)

This book explains the ethical and conceptual tensions in the use of psychopathy in different countries, including America, Canada, the UK, Croatia, Australia, and New Zealand. It offers an extensive critical analysis of how psychopathy functions within institutional and social contexts. Inside, readers will find innovative interdisciplinary analysis, written by leading international experts. The chapters explore how different countries have used this diagnosis. A central concern is whether psychopathy is a mental disorder, and this has a bearing upon whether it (...) should be used. The book’s case studies will help readers understand the problems associated with psychopathy. Academics and students working in the philosophy of psychiatry, bioethics, and moral psychology will find it a valuable resource. In addition, it will also appeal to mental health professionals working in forensic settings, psychologists with an interest in the ethical implications of the use of psychopathy as a construct and particularly those with a research interest in it. (shrink)

In the present paper, the Fregean conception of proof-theoretic semantics that I developed elsewhere will be revised so as to better reflect the different roles played by open and closed derivations. I will argue that such a conception can deliver a semantic analysis of languages containing paradoxical expressions provided some of its basic tenets are liberalized. In particular, the notion of function underlying the Brouwer–Heyting–Kolmogorov explanation of implication should be understood as admitting functions to be partial. As argued in previous (...) work, the correctness of an inference rule should not be defined in terms of transmission of provability, but rather should be grounded on weaker principles, which I show that are motivated by consideration about the content of the inversion principle. In the conclusion, I briefly address the issue of compositionality, arguing that the violation of compositionality induced by paradoxes are no worse than others that are regarded, at least by Dummett, as wholly unproblematic. (shrink)

In this paper we argue that an account of proof-theoretic harmony based on reductions and expansions delivers an inferentialist picture of meaning which should be regarded as intensional, as opposed to other approaches to harmony that will be dubbed extensional. We show how the intensional account applies to any connective whose rules obey the inversion principle first proposed by Prawitz and Schroeder-Heister. In particular, by improving previous formulations of expansions, we solve a problem with quantum-disjunction first posed by Dummett. As (...) recently observed by Schroeder-Heister, however, the specification of an inversion principle cannot yield an exhaustive account of harmony. The reason is that there are more collections of elimination rules than just the one obtained by inversion which we are willing to acknowledge as being in harmony with a given collection of introduction rules. Several authors more or less implicitly suggest that what is common to all alternative harmonious collection of rules is their being interderivable with each other. On the basis of considerations about identity of proofs and formula isomorphism, we show that this is too weak a condition for a given collection of elimination rules to be in harmony with a collection of introduction rules, at least if the intensional picture of meaning we advocate is not to collapse on an extensional one. (shrink)

The aim of this paper is to address the semantic issue of the nature of the representation I and of the transcendental designation, i.e., the self-referential apparatus involved in transcendental apperception. The I think, the bare or empty representation I, is the representational vehicle of the concept of transcendental subject; as such, it is a simple representation. The awareness of oneself as thinking is only expressed by the I: the intellectual representation which performs a referential function of the spontaneity of (...) a thinking subject. To begin with, what exactly does Kant mean when he states that I is a simple and empty representation? Secondly, can the features of the representation I and the correlative transcendental designation explain the indexical nature of the I? Thirdly, do the Kantian considerations on indexicality anticipate any of the semantic elements or, if nothing else, the spirit of the direct reference theory? (shrink)

The paper introduces and formally defines a functional concept of a measuring system, on this basis characterizing the measurement as an evaluation performed by means of a calibrated measuring system. The distinction between exact and uncertain measurement is formalized in terms of the properties of the traceability chain joining the measuring system to the primary standard. The consequence is drawn that uncertain measurements lose the property of relation-preservation, on which the very concept of measurement is founded according to the representational (...) viewpoint. Finally, from the analysis of the inter-relations between calibration and measurement the fundamental reasons of the claimed objectivity and intersubjectivity of measurement are highlighted, a valuable epistemological result to characterize measurement as a particular kind of evaluation. (shrink)

In this chapter, I shall consider a number of connections between various ideas of the theory of styles of reasoning and the issue of the contingency and inevitability of science. By ‘contingency issue’ it is meant the question as to whether the history of a particular branch of our science could have taken a different route and provided results incompatible with those of our actual science. Apart from Hacking’s recent comments, the discussions on the contingency issue have not involved the (...) notion of style of reasoning. I will fill this gap in the literature by drawing some important implications for the issue of contingency from the theory of styles of reasoning that I have developed so far. I shall address four fundamental questions. First of all, in the next section I shall discuss to which extent the emergence of styles of reasoning at a certain point of history is a contingent circumstance. In the following section I shall ask whether the endurance of styles of reasoning was inevitable by tackling the connected question as to why the styles are long lasting. Afterwards, I shall focus on the growth of knowledge by dealing with questions such as: if a certain style of reasoning continues to be employed and if Q is a ‘live question’, is science bound to converge on a single answer to Q? Finally, on the basis of my previous reflections I shall look into the question of the convergence of science in the long run. The answers to these questions will rely on some basic assumptions of the theory of style of reasoning and imply a picture of the evolution of sciences in which both contingency and inevitability play a key role. (shrink)

Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic second order logic NI\. It is however well known that the translation does not preserve the relations of identity among derivations induced by the permutative conversions and immediate expansions for the definable connectives, at least when the equational theory of NI\ is assumed to consist only of (...) \- and \-equations. On the basis of the categorial interpretation of NI\, we introduce a new class of equations expressing what in categorial terms is a naturality condition satisfied by the transformations interpreting NI\-derivations. We show that the Russell–Prawitz translation does preserve identity of proof with respect to the enriched system by highlighting the fact that naturality corresponds to a generalized permutation principle. Finally we sketch how these results could be used to investigate the properties of connectives definable in the framework of higher-level rules. (shrink)

In a 2008 paper, Justin Barrett designed a conceptual scale to measure the level of counterintuitiveness of concepts, “Barrett’s counterintuitiveness coding and quantifying scheme”. According to Barrett, the higher a concept scores in this scale, the more counterintuitive it is. The scale is meant as an auxiliary tool for one of the mainstream theories in the cognitive science of religion, namely, the Minimal Counterintuitiveness Hypothesis. For a concept to be adherent, i.e., to survive across cultures and across time, it has (...) to score points in the counterintuitiveness scale, but it has to score low. Concepts that score too high or that don’t score at all are non-adherent. In this paper the case is made that at least some varieties of religious belief involve concepts that resist accurate measuring. The case study presented here features Spiritual Oneness, the belief that “all things are one”, frequently prompted by mystical experiences and frequently described as being very adherent. We purport that the failure of Barrett’s scale to allow for an examination of the concepts at stake in Spiritual Oneness is to be explained by the fact that the background assumptions about counterintuitiveness underpinning the scale are too narrow. (shrink)

The aim of this paper is to vindicate the Cartesian quest for certainty by arguing that to aim at certainty is a constitutive feature of cognition. My argument hinges on three observations concerning the nature of doubt and judgment: first, it is always possible to have a doubt as to whether p in so far as one takes the truth of p to be uncertain; second, in so far as one takes the truth of p to be certain, one is (...) no longer able to genuinely wonder whether p is true; third, to ask the question whether p is to desire to receive a true answer. On this ground I clarify in what sense certainty is the aim of cognition. I then argue that in judging that p we commit ourselves to p’s being certain and that certainty is the constitutive norm of judgment. The paper as a whole provides a picture of the interplay between doubt and judgment that aims at vindicating the traditional insight that our ability to doubt testifies our aspiration to know with absolute certainty. (shrink)

When in classical formal logic the notions of deduction, valid inference and logical consequence are defined, causal language plays no role. The founder of western logic, Aristotle, identified ‘non-cause’, or ‘positing as cause what is not a cause’, as a logical fallacy. I argue that a systematic re-examination of Aristotle's analysis of NCF, and the related language of logical causality, in the Sophistical Refutations, Topics, Analytics and Rhetoric, helps us to understand his conception of. It reveals that Aristotle's syllogismhood is (...) non-monotonic, and thus narrower than classical validity as consisting in, or coextensive with, necessary truth-preservation. It also supports the conclusion that a syllogism is a form of relevant consequence: the premisses must be causes of the conclusion in the sense that they are not only sufficient but also necessary for the conclusion to follow. Close analysis of NCF also suggests that syllogistic relevance is not a semantic matter, but a syntactic.. (shrink)