John Corcoran ’s “Meanings of Implication” outlines and discusses 12 distinct uses of the term “implies” while also commenting on the ways in which these different notions of implication might be confused or conflated. Readers may take special note of Corcoran ’s analysis of Russell’s truth-functional account of “implication” and its historical function as logical consequence, as well as Corcoran ’s discussion of Bolzano’s previously obscure and rarely mentioned notion of “relative implication.”.

In Tractatus 5.132 Wittgenstein argues that inferential justification depends solely on the understanding of the premises and conclusion, and is not mediated by any further act. On this basis he argues that Frege’s and Russell’s rules of inference are “senseless” and “superfluous”. This line of argument is puzzling, since it is unclear that there could be any viable account of inference according to which no such mediation takes place. I show that Wittgenstein’s rejection of rules of inference can be motivated (...) by taking account of his holistic construal of the relation between inference and understanding. (shrink)

Is imagination a source of knowledge? Timothy Williamson has recently argued that our imaginative capacities can yield knowledge of a variety of matters, spanning from everyday practical matters to logic and set theory. Furthermore, imagination for Williamson plays a similar epistemic role in cognitive processes that we would traditionally classify as either a priori or a posteriori, which he takes to indicate that the distinction itself is shallow and epistemologically fruitless. In this chapter, I aim to defend the a priori-a (...) posteriori distinction from Williamson’s challenge by questioning his account of imagination. I distinguish two notions of imagination at play in Williamson’s account – sensory vs. belief-like imagination – and show that both face empirical and normative issues. Sensory imagination seems neither necessary nor sufficient for knowledge. Whereas, belief-like imagination isn’t adequately disentangled from inference. Additionally, Williamson’s examples are ad hoc and don’t generalize. I conclude that Williamson’s case against the a priori-a posteriori distinction is unconvincing, and so is the thesis that imagination is an epistemic source. (shrink)

As artefacts, the worlds of digital games are designed and developed to fulfil certain expressive, functional, and experiential objectives. During play, players infer these purposes and aspirations from various aspects of their engagement with the gameworld. Influenced by their sociocultural backgrounds, sensitivities, gameplay preferences, and familiarity with game conventions, players construct a subjective interpretation of the intentions with which they believe the digital game in question was created. By analogy with the narratological notion of the implied author, we call (...) the figure to which players ascribe these intentions ‘the implied designer’. In this article, we introduce the notion of the implied designer and present an initial account of how appreciators ascribe meaning to interactive, fictional gameworlds and act within them based on what they perceive to be the designer’s intentions. (shrink)

An influential suggestion about the relationship between Bayesianism and inference to the best explanation holds that IBE functions as a heuristic to approximate Bayesian reasoning. While this view promises to unify Bayesianism and IBE in a very attractive manner, important elements of the view have not yet been spelled out in detail. I present and argue for a heuristic conception of IBE on which IBE serves primarily to locate the most probable available explanatory hypothesis to serve as a working hypothesis (...) in an agent’s further investigations. Along the way, I criticize what I consider to be an overly ambitious conception of the heuristic role of IBE, according to which IBE serves as a guide to absolute probability values. My own conception, by contrast, requires only that IBE can function as a guide to the comparative probability values of available hypotheses. This is shown to be a much more realistic role for IBE given the nature and limitations of the explanatory considerations with which IBE operates. (shrink)

For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by Ingarden’s (...) approach, showing how it distinguishes the properties possessed by fictional objects (for instance of having been created by such and such an author in such and such a work) from characteristics (for instance of smoking a pipe, of living in Baker Street) which are merely associated with such objects. (shrink)

The CMI Millennium “P vs NP Problem” can be resolved e.g. if one shows at least one counterexample to the "P = NP" conjecture. A certain class of problems being such counterexamples will be formulated. This implies the rejection of the hypothesis that "P = NP" for any conditions satisfying the formulation of the problem. Thus, the solution "P is different from NP" of the problem in general is proved. The class of counterexamples can be interpreted as any quantum superposition (...) of any finite set of quantum states. The Kochen-Specker theorem is involved. Any fundamentally random choice among a finite set of alternatives belong to "NP" but not to "P". The conjecture that the set complement of "P" to "NP" can be described by that kind of choice exhaustively is formulated. (shrink)

The paper addresses the phenomenology of inference. It proposes that the conscious character of conscious inferences is partly constituted by a sense of meaning; specifically, a sense of what Grice called ‘natural meaning’. In consciously drawing the (outright, categorical) conclusion that Q from a presumed fact that P, one senses the presumed fact that P as meaning that Q, where ‘meaning that’ expresses natural meaning. This sense of natural meaning is phenomenologically analogous, I suggest, to our sense of what is (...) said in fluently comprehending everyday utterances in our first language. The proposal that conscious inference involves a sense of natural meaning is compared with views according to which conscious inference involves taking the premises (i) to be good reasons for the conclusion (as defended by Thomson and Grice), (ii) to support it (as argued by Audi and, recently, Boghossian), or (iii) to imply it (as lately contended by Broome). I argue our proposal can explain certain phenomena handled by alternatives (i) and (ii), but that some further phenomena is handled by our account but not these alternatives. In relation to alternative (iii), I argue that, in so far as implicational and natural-meaning relations come apart, the latter are a better fit for what we sense or take to be so in conscious inference. (shrink)

In this paper I will take it for granted that Zagzebski's position articulates a broadly Catholic perspective, and that Plantinga's position accurately represents a broadly Calvinist one. But I will argue that so construed, the Catholic and the Calvinist are much closer than Zagzebski implies: both views are person-based in an important sense of that term; both are internalist on Zagzebski's usage and externalist on the standard usage; and Plantinga's position is consistent with the social elements that Zagzebski stresses in (...) her view. In the second part of the paper I will identify what I think is the real issue between Zagzebski and Plantinga. Namely, Zagzebski thinks that knowledge requires epistemic responsibility, in the sense that instances of knowledge must be appropriately praiseworthy. Plantinga thinks that no such condition is required for knowledge or warranted belief. I will argue that on this issue Zagzebski is right, and that her virtue approach gives us resources for seeing why. Finally, I will look at the consequences for religious knowledge. Here I will argue that the consequences are minimal. Even if knowledge requires responsibility, Plantinga can still make a good case that religious belief is properly basic. And even if religious belief is properly basic, natural theology can still have an important role in the justification of religious belief. (shrink)

We investigate the structure common to causal theories that attempt to explain a (part of) the world. Causality implies conservation of identity, itself a far from simple notion. It imposes strong demands on the universalizing power of the theories concerned. These demands are often met by the introduction of a metalevel which encompasses the notions of 'system' and 'lawful behaviour'. In classical mechanics, the division between universal and particular leaves its traces in the separate treatment of cinematics and dynamics. This (...) analysis is applied to the mechanical theories of Newton and Leibniz, with some surprising results. (shrink)

The purpose of the paper is to analyze the thesis that an agreement between representatives of two different cultures can and should be reached at a theoretical level. The author tries to verify the Theory of Communicative Action proposed by Jürgen Habermas in the light of philosophical reflections of American neopragmatist Stanley Fish. Habermas is one of the most important and widely read social theorists in the post-Second World War era. He is also one of the authors of the concept (...) of deliberative democracy, which holds that, for a democratic decision to be legitimate, it must be preceded by authentic deliberation – disinterested exchange of reasons – not merely the aggregation of preferences that occurs in voting. The foundation of deliberative democracy is, according to the German thinker, a communicative action based on communicative rationality. Stanley Fish, in turn, is one of the most eminent American philosophers of the twentieth and twenty-first centuries. The main area of his scientific activity is the theory of literature, law, and history. In the course of his reflections, Fish constructed the concept of an interpretive communities, which implies an original view on the nature of the process of cognition, status of human convictions or beliefs, nature of communication situation and capabilities of theory. The final conclusion stemming from the reflection on Fish’s philosophy explains why Habermas’ theory is not an adequate tool to reach an intercultural agreement. (shrink)

This paper seeks to defuse two claims. On the one hand, I confront the Hildebrandian claim that Thomism, by placing the principium of love in the needs and desires of the lover rather than in the beloved, denies the possibility of transcendent love; on the other, I seek to refute the Thomistic objection that Hildebrand lacks a sufficient understanding of nature and its inherent teleology. In order to accomplish this, a distinction must be made between different kinds of principium or (...) “for-its-own-sakeness.” Using St. Thomas’ theory of friendship-love, I show how every affective movement in fact has two fundamentally different principia: an “end-desired,” and an “end-for-whom” the former is desired. I next note that “value” and “bonum honestum” each encompass both of these types of “worthiness,” and that the failure to distinguish between these two has led to much of the misunderstanding between Thomists and Hildebrandians: for while the latter sometimes seem to include inanimate objects like sunsets under the higher “worthiness” (as “ends-for-whom”), the former often tend to classify even the beloved under the lower “worthiness” (as a mere “end-desired”), which are both untenable positions. It is shown, however, that for St. Thomas it is the higher, more ultimate sense of “worthiness” that is the foundation of friendship-love, and that thus love remains a truly “transcendent” or “ecstatic” phenomenon. Two objections are then addressed: 1) St. Thomas’ claim that substantial unity is the greatest cause of love, and 2) his claim that man’s primary end is Vision. In both these respects I argue that Aquinas’ position needs correction; still I maintain that neither claim should be taken to imply that, for Aquinas, man is his own center, his own chief “end-for-whom.” Finally, while Hildebrand emphatically denies that natural teleology can explain man’s transcendence (a Thomistic position), this denial seems to flow simply from confusing two ways in which “nature” can be invoked as an explanation: where he sees it invoked as the final cause, Thomists actually invoke it as simply the formal cause of our love for our true Final Cause. (shrink)

The pessimistic induction is built upon the uniformity principle that the future resembles the past. In daily scientific activities, however, scientists sometimes rely on what I call the disuniformity principle that the future differs from the past. They do not give up their research projects despite the repeated failures. They believe that they will succeed although they failed repeatedly, and as a result they achieve what they intended to achieve. Given that the disuniformity principle is useful in certain cases in (...) science, we might reasonably use it to infer that present theories are true unlike past theories. Hence, pessimists have the burden to show that our prediction about the fate of present theories is more likely to be true if we use the uniformity principle than if we use the disuniformity principle. (shrink)

I offer a meta-level analysis of realist arguments for the reliability of ampliative reasoning about the unobservable. We can distinguish form-driven and content-driven arguments for realism: form-driven arguments appeal to the form of inductive inferences, whilst content-driven arguments appeal to their specific content. After regimenting the realism debate in these terms, I will argue that the content-driven arguments are preferable. Along the way I will discuss how my analysis relates to John Norton’s recent, more general thesis that the grounds for (...) licit induction are always material. (shrink)

Tyler Burge first introduced his distinction between epistemic entitlement and epistemic justification in ‘Content Preservation’ in 1993. He has since deployed the distinction in over twenty papers, changing his formulation around 2009. His distinction and its basis, however, is not well understood in the literature. This chapter distinguishes two uses of ‘entitlement’ in Burge, and then focuses on his distinction between justification and entitlement, two forms of warrant, where warrants consists in the exercise of a reliable belief-forming competence. Since he (...) draws the distinction in terms of reasons, this chapter brings his account of reasons altogether in one place. The chapter introduces a decision-procedure for classifying warrants as justifications or entitlements. The distinction between justification and entitlement is not the same as the inferential vs. non-inferential distinction. The chapter distinguishes inference from processing, thinking, reasoning, and critically reasoning. Burge’s new formulation of the distinction was driven by the recognition of non-accessible modular reasons. Three kinds of access are distinguished. (shrink)

I first present a brief interpretation of Sosa’s virtue epistemology by showing how it is arguably better than Goldman’s process reliabilism, why Sosa distinguishes between animal knowledge and reflective knowledge, and how Sosa’s recent account of knowing full well can deal with pragmatic encroachment. Then, I raise two worries about Sosa’s account: (a) Sosa’s claim that one might have animal knowledge without knowing reflectively or knowing full well implies that one’s true belief might manifest both competence and luck, which seems (...) to pose a challenge to Sosa’s solution to the Gettier problem; (b) intellectual virtue or competence does not seem to be a necessary condition for knowledge: there are cases where one knows without possessing the relevant intellectual virtue or competence. Finally, I suggest a responsibilist account of knowledge and show how it can not only handle the cases that pose a problem for Sosa’s account but also explain our intuitions about different grades of knowledge. (shrink)

Van Fraassen explains rejections and asymmetries in science in terms of his contextual theory of explanation in the same way that scientists explain observable phenomena in the world in terms of scientific theories. I object that van Fraassen’s skeptical view regarding inference to the best explanation together with the English view of rationality jointly imply that the contextual theory is not rationally compelling, so van Fraassen and his epistemic colleagues can rationally disbelieve it. Prasetya replies that the truth of (...) the contextual theory coincides with its empirical adequacy, so the contextual theory is compelling. He also replies that the contextual theory is compelling, provided that van Fraassen’s argument for it instantiates a compelling subset of IBE. I argue that Prasetya’s replies either fail or help scientific realism. (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue that (...) when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

The present PhD thesis is concerned with the question whether good reasoning requires that the subject has some cognitive grip on the relation between premises and conclusion. One consideration in favor of such a requirement goes as follows: In order for my belief-formation to be an instance of reasoning, and not merely a causally related sequence of beliefs, the process must be guided by my endorsement of a rule of reasoning. Therefore I must have justified beliefs about the relation between (...) my premises and my conclusion. -/- The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states —the states capable of providing a reason to holding the belief in question. For instance, some rational beliefs are connected to other beliefs by being inferred from them. It is often accepted that the connection implies that the subject in some sense ‘takes the mental states in question to be reason-providing’. But views on how exactly this is to be understood differ widely. They range from interpretations according to which ‘taking a mental state to be reason-providing’ imposes a mere causal sustaining relation between belief and reason-providing state to interpretations according to which one ‘takes a mental state to be reason-providing’ only if one believes that the state is reason-providing. The most common worry about the latter view is that it faces a vicious regress. In this thesis a different but in some respects similar interpretation of ‘taking something as reason-providing’ is given. It is argued to consist of a disposition to react in certain ways to information that challenges the reason-providing capacity of the allegedly reason-providing state. For instance, that one has inferred A from B partly consists in being disposed to suspend judgment about A if one obtains a reason to believe that B does not render A probable. The account is defended against regress-objections and the suspicion of explanatory circularity. (shrink)

Psychologists and philosophers have recently argued that our concepts of ‘person’ or ‘self’ are plural. Some have argued that we should also adopt a corresponding pluralism about the metaphysics of the self. The aim of this paper is twofold. First, I sketch and motivate an approach to personal identity that supports the inference from facts about how we think about the self to facts about the nature of the self. On the proposed view, the self-concept partly determines the nature of (...) the self. This approach provides new justification for the recent empirical turn in the philosophy of personal identity. Second, I argue that closer examination reveals that the empirical evidence does not in fact support pluralism about the self. Instead, the evidence points toward a model of the self-concept as a complex web of attitudes that is disposed toward integration and unity. I ultimately suggest that this unifying disposition of the self-concept helps ground the existence of a singular self. (shrink)

The psychology and phenomenology of our knowledge of other minds is not well captured either by describing it simply as perception, nor by describing it simply as inference. A better description, I argue, is that our knowledge of other minds involves both through ‘perceptual co-presentation’, in which we experience objects as having aspects that are not revealed. This allows us to say that we perceive other minds, but perceive them as private, i.e. imperceptible, just as we routinely perceive aspects of (...) physical objects as unperceived. I discuss existing versions of this idea, particularly Joel Smith’s, on which it is taken to imply that our knowledge of other minds is, in these cases, perceptual and not inferential. Against this, I argue that perceptual co-presentation in general, and mind-perception in particular, yields knowledge that is simultaneously both perceptual and inferential. (shrink)

In this essay I consider Kaplan’s challenge to Frege’s so-called dictum: “Logic (and perhaps even truth) is immune to epithetical color”. I show that if it is to challenge anything, it rather challenges the view (attributable to Frege) that logic is immune to pejorative colour. This granted, I show that Kaplan’s inference-based challenge can be set even assuming that the pejorative doesn’t make any non-trivial truth-conditional (descriptive) contribution. This goes against the general tendency to consider the truth-conditionally inert logically irrelevant. (...) But I take it that Kaplan is right and take his examples to show that truth-conditional inertness need not entail inferential inertness. I end up assessing the Kaplan-Frege “debate” as giving edge to the former to the extent that clarity is achieved through Kaplanian inferences on what should be considered part of the explanandum. (shrink)

ABSTRACT A Third-Person-Based or Third-Personal Judgment-Dependent account of mental content implies that, as an a priori matter, facts about a subject’s mental content are precisely captured by the judgments of a second-person or an interpreter. Alex Byrne, Bill Child, and others have discussed attributing such a view to Donald Davidson. This account significantly departs from a First-Person-Based or First-Personal Judgment-Dependent account, such as Crispin Wright’s, according to which, as an a priori matter, facts about intentional content are constituted by the (...) judgments of the subject herself, formed under certain optimal or cognitively ideal conditions. I will argue for two claims: (1) Attributing a Third-Personal Judgment-Dependent account to Davidson is unjustified; Davidson’s view is much closer to a non-reductionist First-Personal Judgment-Dependent account. (2) Third-Personal accounts rest on a misconstrual of the role of an interpreter in the First-Personal accounts; the notion of an interpreter still plays an essential role in the latter ones. (shrink)

In this article, we argue that there is an essential difference between social intelligence and creative intelligence, and that they have their foundation in human sexuality. For sex differences, we refer to the vast psychological, neurological, and cognitive science research where problem-solving, verbal skills, logical reasoning, and other topics are dealt with. Intelligence tests suggest that, on average, neither sex has more general intelligence than the other. Though people are equals in general intelligence, they are different in special forms of (...) intelligence such as social intelligence and creative intelligence, the former dominant in women, the latter dominant in men. The dominance of creative intelligence in men needs to be explained. The focus of our research is on the strictly anthropological aspects, and consequently our explanation for this fact is based on the male-female polarity in the mating systems. Sexual dimorphism does not only regard bodily differences but implies different forms of sex life. Sex researchers distinguish between two levels of sexual intercourse: procreative sex and recreational sex, and to these we would add “creative sex.” On all three levels, there is a behavioral difference between men and women, including the subjective experience. These differences are as well attributed to culture as genetically founded in nature. Sexual reproduction is only possible if females cooperate. Their biological inheritance makes females play a decisive role in mate choice. Recreational sex for the purpose of pleasure rather than reproduction results from female extended sexual activity. Creative sex, on the contrary, is a specifically male performance of sexuality. We identify creative sex with eroticism. Eroticism evolved through the transformation of the sexual drive into a mental state of expectation and fantasizing. Hence, sex differences (that nowadays are covered up by cultural egalitarianism) continue to be the evolutionary origin of the difference between social and creative intelligence. (shrink)

In "Demonstratives" Kaplan claims that the occurrence of a demonstrative must be supplemented by an act of demonstration, like a pointing (a feature of the objective context). Conversely in "After-thoughts" Kaplan argues that the occurrence of a demonstrative must be supplemented by a directing intention (a feature of the intentional con-text). I present the two theories in competition and try to identify the constraints an intention must satisfy in order to have semantic rele-vance. My claim is that the analysis of (...) demonstrative reference pro-vides a reliable test for our intuitions on the relation between objective and intentional context. I argue that the speaker's intentions can play a semantic role only if they satisfy an Availability Constraint: an inten-tion must be made available or communicated to the addressee, and for that purpose the speaker can exploit any feature of the objective con-text. This thesis implies the reconciliation between "Demonstratives" and "Afterthoughts". (shrink)

There is a fallacy that is often involved in the interpretation of quantum experiments involving a certain type of separation such as the: double-slit experiments, which-way interferometer experiments, polarization analyzer experiments, Stern-Gerlach experiments, and quantum eraser experiments. The fallacy leads not only to flawed textbook accounts of these experiments but to flawed inferences about retrocausality in the context of delayed choice versions of separation experiments.

This paper reveals errors within Norwich et al.’s Entropy Theory of Perception, errors that have broad implications for our understanding of perception. What Norwich and coauthors dubbed their “informational theory of neural coding” is based on cybernetics, that is, control and communication in man and machine. The Entropy Theory uses information theory to interpret human performance in absolute judgments. There, the continuum of the intensity of a sensory stimulus is cut into categories and the subject is shown exemplar stimuli of (...) each category. The subject must then identify individual exemplars by category. The identifications are recorded in the Garner-Hake version of the Shannon “confusion matrix”. The matrix yields “H”, the entropy (degree of uncertainty) about what stimulus was presented. Hypothetically, uncertainty drops as a stimulus lengthens, i.e. a plot of H vs. stimulus duration should fall monotonically. Such “adaptation” is known for both sensation and firing rate. Hence, because “the physiological adaptation curve has the same general shape as the psychophysical adaptation curve”, Norwich et al. assumed that both have the same time course; sensation and firing rate were thus both declared proportional to H. However, a closer look reveals insurmountable contradictions. First, the peripheral neuron hypothetically cannot fire in response to a stimulus of a given intensity until after somehow computing H from its responses to stimuli of various intensities. Thus no sensation occurs until firing rate adapts, i.e. attains its spontaneous rate. But hypothetically, once adaptation is complete, certainty is reached and perception ends. Altogether, then, perception cannot occur until perception is over. Secondly, sensations, firing rates, and H’s are empirically not synchronous, contrary to assumption. In sum, the core concept of the cybernetics-based Entropy Theory of Perception, that is, that uncertainty reduction is the basis for perception, is irrational. (shrink)

As soon as you believe an imagination to be nonfictional, this imagination becomes your ontological theory of the reality. Your ontological theory (of the reality) can describe a system as the reality. However, actually this system is only a theory/conceptual-space/imagination/visual-imagery of yours, not the actual reality (i.e., the thing-in-itself). An ontological theory (of the reality) actually only describes your (subjective/mental) imagination/visual-imagery/conceptual-space. An ontological theory of the reality, is being described as a situation model (SM). There is no way to prove/disprove (...) that there is only one reality, or there are two realities (i.e., “subjective reality” and “objective reality”). So, every ontology talk/theory/imagination about the two realities is only a talk/theory/imagination – we will never know whether it is true or not. The conventionally-called “physical/objective reality/world” around my conventionally-called “physical/objective body” is actually a geometric mathematical model (being generated/mathematically-modeled by my brain) – it's actually a subset/component/part/element of my brain’s mind/consciousness/manifest-image. Our cosmos is an autonomous objective parallel computing automaton (aka state machine) which evolves by itself automatically/unintentionally – wave-particle duality and Heisenberg’s uncertainty principle can be explained under this SM of my brain. Each elementary particle (as a building block of our cosmos) is an autonomous mathematical entity itself (i.e., a thing in itself). Our cosmos has the same nature as a Game of Life system – both are autonomous objective parallel-computing automata. Cosmos (as a state machine) is indistinguishable from a digital simulation – my consciousness (as something nonphysical) is not cosmos (as a state machine). If we are happy to accept randomness/stochasticity, then it is obviously possible that all other worlds in the many-worlds interpretation (MWI) actually do not exist (objectively). As one metaphysical option, we can treat all other worlds as subjective only (even if they are actually objective). Under the context of this metaphysical option, we are only living in one world (i.e., the world we are currently living in; this world) – we are not living in many worlds at the same time parallelly. Under the context of this metaphysical option, there is only one possible future. The relationship among any number of elementary particles, is governed/described by Schrodinger equation. If (in theory) Schrodinger equation can’t be used to reliably forecast whether I will go to McDonald for dinner in this world (based on the current state of all elementary particles of the cosmos), then what can Schrodinger equation do? The conventionally-called “space” does not exist objectively. “Time” and “matter” are not physical. Consciousness is the subjective-form (aka quale) of the mathematical models (of the objective cosmos) which are intracorporeally/subjectively used by the control logic of a Turing machine’s program fatedly. A Turing machine’s mind/consciousness/manifest-image or deliberate decisions/choices should not be able to actually/objectively change/control/drive the (autonomous or fated) worldline of any elementary particle within this world (i.e., the world we are currently living in, under the context of MWI). Besides the Schrodinger equation (or another mathematical equation/function which is yet to be discovered) which is a valid/correct/factual causality of our cosmos/state-machine, every other causality (of our cosmos/state-machine) is either invalid/incorrect/counterfactual or can be proved by deductive inference based on the Schrodinger equation (or the aforementioned yet-to-be-discovered mathematical equation/function) only. Closed causality entails no causality. Consciousness plays no causal role (“epiphenomenalism”), or in other words, any cognitive/behavioural activity can in principle be carried out without consciousness (“conscious inessentialism”). If the “loop quantum gravity” theory is correct, then time/space does not actually/objectively exist in the objective-evolution of the objective cosmos, or in other words, we should not use the subjective/mental concept of “time”, “state” or “space” to describe/imagine the objective-evolution of our cosmos. (shrink)

SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

Evidentiality refers to the linguistic marking of the nature/directness of source of evidence of an asserted event. Some languages (e.g., Turkish) mark source obligatorily in their grammar, while other languages (e.g., English) provide only lexical options for conveying source. The present study examined whether or under what conditions firsthand source information is relied on more than nonfirsthand sources in establishing discourse coherence. Turkish- and English-speaking participants read a series of somewhat incongruous two-sentence narratives and were to come up with a (...) way of completing each narrative so that it would form a coherent story. Each narrative contrasted two source types (firsthand vs. hearsay, firsthand vs. inference, or inference vs. hearsay) and two information types (general vs. particular information) each presented first or second. Analysis of story completions showed greater overall reliance on firsthand information when it was presented second and referred to a particular event. When the firsthand source occurred first and the particular event occurred second, the latter was favored, especially by Turkish participants. Taken together, the findings suggest that evidentiality interacts with information type in establishing discourse coherence and that both firsthand and particular information are relied on more when presented later rather than earlier in discourse. (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...) stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

Since at least the mid-1980s claims have been made for rationality in rats. For example, that rats are capable of inferential reasoning (Blaisdell, Sawa, Leising, & Waldmann, 2006; Bunsey & Eichenbaum, 1996), or that they can make adaptive decisions about future behavior (Foote & Crystal, 2007), or that they are capable of knowledge in propositional-like form (Dickinson, 1985). The stakes are rather high, because these capacities imply concept possession and on some views (e.g., Rödl, 2007; Savanah, 2012) rationality indicates (...) self-consciousness. I evaluate the case for rat rationality by analyzing 5 key research paradigms: spatial navigation, metacognition, transitive inference, causal reasoning, and goal orientation. I conclude that the observed behaviors need not imply rationality by the subjects. Rather, the behavior can be accounted for by noncognitive processes such as hard-wired species typical predispositions or associative learning or (nonconceptual) affordance detection. These mechanisms do not necessarily require or implicate the capacity for rationality. As such there is as yet insufficient evidence that rats can reason. I end by proposing the ‘Staircase Test,’ an experiment designed to provide convincing evidence of rationality in rats. (shrink)

Evaluative judgments imply positive or negative regard. But there are different ways in which something can be positive or negative. How do we tell them apart? According to Evaluative Sentimentalism, different evaluations (e.g., dangerousness vs. offensiveness) are grounded on different emotions (e.g., fear vs. anger). If this is the case, evaluation differentiation requires emotional awareness. Here, we test this hypothesis by looking at alexithymia, a deficit in emotional awareness consisting of problems identifying, describing, and thinking about emotions. The results (...) of Study 1 suggest that high alexithymia is not only related to problems distinguishing emotions, but also to problems distinguishing evaluations. Study 2 replicated this latter effect after controlling for individual differences in attentional impulsiveness and reflective reasoning, and found that reasoning makes an independent contribution to evaluation differentiation. These results suggest that emotional sensibilities play an irreducible role in evaluative judgment while affording a role for reasoning. (shrink)

Drawing from narratology and design studies, this article makes use of the notions of the ‘implied designer’ and ‘ludic unreliability’ to understand deceptive game design as a specific sub-set of transgressive game design. More specifically, in this text we present deceptive game design as the deliberate attempt to misguide players’ inferences about the designers’ intentions. Furthermore, we argue that deceptive design should not merely be taken as a set of design choices aimed at misleading players in their efforts to understand (...) the game, but also as decisions devised to give rise to experiential and emotional effects that are in the interest of players. Finally, we propose to introduce a distinction between two varieties of deceptive design approaches based on whether they operate in an overt or a covert fashion in relation to player experience. Our analysis casts light on expressive possibilities that are not customarily part of the dominant paradigm of user-centered design, and can inform game designers in their pursuit of wider and more nuanced creative aspirations. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as Cognitive (...) Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper (...) is better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

A widely cited roadblock to bridging ecological psychology and enactivism is that the former identifies with realism and the latter identifies with constructivism, which critics charge is subjectivist. A pragmatic reading, however, suggests non-mental forms of constructivism that simultaneously fit core tenets of enactivism and ecological realism. After advancing a pragmatic version of enactive constructivism that does not obviate realism, I reinforce the position with an empirical illustration: Physarum polycephalum (a slime mold), a communal unicellular organism that leaves slime trails (...) that form chemical barriers that it avoids in foraging explorations. Here, environmental building and sensorimotor engagement are part of the same process with P. polycephalum coordinating around self-created, affordance-bearing geographies, which nonetheless exist independently in ways described by ecological realists. For ecological psychologists, affordances are values, meaning values are external to the perceiver. I argue that agent-enacted values have the same status and thus do not obviate ecological realism or generate subjectivism. The constructivist-realist debate organizes around the emphasis that enactivists and ecological theorists respectively place on the inner constitution of organisms vs. the structure of environments. Building on alimentary themes introduced in the P. polycephalum example and also in Gibson’s work, I go on to consider how environment, brain, visceral systems, and even bacteria within them enter perceptual loops. This highlights almost unfathomable degrees of mutually modulating internal and external synchronization. It also shows instances in which internal conditions alter worldly configurations and invert values, in Gibson’s sense of the term, albeit without implying subjectivism. My aim is to cut across the somatic focus of enactive constructivism and the external environment-oriented emphasis of ecological realism and show that enactivism can enrich ecological accounts of value. (shrink)

In his paper, Jakob Hohwy outlines a theory of the brain as an organ for prediction-error minimization, which he claims has the potential to profoundly alter our understanding of mind and cognition. One manner in which our understanding of the mind is altered, according to PEM, stems from the neurocentric conception of the mind that falls out of the framework, which portrays the mind as “inferentially-secluded” from its environment. This in turn leads Hohwy to reject certain theses of embodied cognition. (...) Focusing on this aspect of Hohwy’s argument, we first outline the key components of the PEM framework such as the “evidentiary boundary,” before looking at why this leads Hohwy to reject certain theses of embodied cognition. We will argue that although Hohwy may be correct to reject specific theses of embodied cognition, others are in fact implied by the PEM framework and may contribute to its development. We present the metaphor of the “body as a laboratory” in order to highlight wha... (shrink)

It is widely accepted that in fallible reasoning potential error necessarily increases with every additional step, whether inferences or premises, because it grows in the same way that the probability of a lengthening conjunction shrinks. As it stands, this is disappointing but, I will argue, not out of keeping with our experience. However, consulting an expert, proof-checking, constructing gap-free proofs, and gathering more evidence for a given conclusion also add more steps, and we think these actions have the potential to (...) improve our reliability or justifiedness. Thus, the received wisdom about the growth of error implies a skepticism about the possibility of improving our reliability and level of justification through effort. Paradoxically, and even more implausibly, taking steps to decrease your potential error necessarily increases it. I will argue that the self-help steps listed here are of a distinctive type, involving composition rather than conjunction. Error grows differently over composition than over conjunction, I argue, and this dissolves the apparent paradox. (shrink)

In philosophical thought experiments, as in ordinary discourse, our understanding of verbal case descriptions is enriched by automatic comprehension inferences. Such inferences have us routinely infer what else is also true of the cases described. We consider how such routine inferences from polysemous words can generate zombie intuitions: intuitions that are ‘killed’ (defeated) by contextual information but kept cognitively alive by the psycholinguistic phenomenon of linguistic salience bias. Extending ‘evidentiary’ experimental philosophy, this paper examines whether the ‘zombie argument’ against (...) materialism is built on zombie intuitions. We examine the hypothesis that contextually defeated stereotypical inferences from the noun ‘zombie’ influence intuitions about ‘philosophical zombies’. We document framing effects (‘zombie’ vs ‘duplicate’) predicted by the hypothesis. Findings undermine intuitions about the conceivability of ‘philosophical zombies’ and address the philosophical ‘hard problem of consciousness’. Findings support a deflationary response: The impression that principled obstacles prevent scientific explanation of how physical processes give rise to conscious experience is generated by philosophical arguments that rely on epistemically deficient intuitions. (shrink)

The idea that the brain is a representational organ has roots in the nineteenth century, when neurologists began drawing conclusions about what the brain represents from clinical and experimental studies. One of the earliest controversies surrounding representation in the brain was the “muscles versus movements” debate, which concerned whether the motor cortex represents complex movements or rather fractional components of movement. Prominent thinkers weighed in on each side: neurologists John Hughlings Jackson and F.M.R. Walshe in favor of complex movements, neurophysiologist (...) Charles Sherrington and neurosurgeon Wilder Penfield in favor of movement components. This essay examines these and other brain scientists’ evolving notions of representation during the first eighty years of the muscles versus movements debate (c. 1873–1954). Although participants agreed about many of the superficial features of representation, their inferences reveal deep-seated disagreements about its inferential role. Divergent epistemological commitments stoked conflicting conceptions of what representational attributions imply and what evidence supports them. (shrink)

Utterances of simple sentences containing taste predicates (e.g. "delicious", "fun", "frightening") typically imply that the speaker has had a particular sort of first-hand experience with the object of predication. For example, an utterance of "The carrot cake is delicious" would typically imply that the speaker had actually tasted the cake in question, and is not, for example, merely basing her judgment on the testimony of others. According to one approach, this acquaintance inference is essentially an implicature, one generated (...) by the Maxim of Quality together with a certain principle concerning the epistemology of taste (Ninan 2014). We first discuss some problems for this approach that arise in connection with disjunction and generalized quantifiers. Then, after stating a conjecture concerning which operators ‘obviate’ the acquaintance inference and which do not, we build on Anand & Korotkova (2018) and Willer & Kennedy (Forthcoming) by developing a theory that treats the acquaintance requirement as a presupposition, albeit one that can be obviated by certain operators. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

I argue that judgments of what is ‘true in a fiction’ presuppose the Reality Assumption: the assumption that everything that is true is fictionally the case, unless excluded by the work. By contrast with the more familiar Reality Principle, the Reality Assumption is not a rule for inferring implied content from what is explicit. Instead, it provides an array of real-world truths that can be used in such inferences. I claim that the Reality Assumption is essential to our ability to (...) understand stories, drawing on a range of empirical evidence that demonstrates our reliance on it in narrative comprehension. However, the Reality Assumption has several unintuitive consequences, not least that what is fictionally the case includes countless facts that neither authors nor readers could ever consider. I argue that such consequences provide no reason to reject the Reality Assumption. I conclude that we should take fictions, like non-fictions, to be about the real world. (shrink)

Reasons-responsive accounts of praiseworthiness say, roughly, that an agent is praiseworthy for an action just in case the reasons that explain why they acted are also the reasons that explain why the action is right. In this paper, we argue that reasons-responsive accounts imply that some actions of non-human animals are praiseworthy. Trying to exclude non-human animals, we argue, risks neglecting cases of inadvertent virtue in human action and undermining the anti-intellectualist commitments that are typically associated with reasons-responsive accounts. (...) Of course, this could be taken as a reason to reject reasons-responsive accounts, rather than as a reason to attribute praiseworthiness to non-human animal action. We respond to two reasons that one might resist the implication that non-human animal action can be praiseworthy. The first appeals to intuition: it’s too counterintuitive to attribute praiseworthiness to non-human animal action. In response, we argue that once the factors that determine an action’s praiseworthiness are disambiguated from the factors that determine whether an agent should be praised, the intuitive objection loses much of its force. The second appeals to empirical evidence: attributing praiseworthiness to non-human animal action involves a problematic kind of anthropomorphizing. First, we point out that this objection is mostly an _a priori_ objection in _a posteriori_ clothes: whether we give anthropomorphic vs. anthropectic explanations is a methodological choice, not an empirical one. Second, we argue that considerations from the literature on rational analysis and radical interpretation actually support anthropomorphic explanations over anthropectic explanations. (shrink)

Consider the following two (hypothetical) generic causal claims: “Living in a neighborhood with many families with children increases purchases of bicycles” and “living in an affluent neighborhood with many families with children increases purchases of bicycles.” These claims not only differ in what they suggest about how bicycle ownership is distributed across different neighborhoods (i.e., “the data”), but also have the potential to communicate something about the speakers’ values: namely, the prominence they accord to affluence in representing and making decisions (...) about the social world. Here, we examine the relationship between the level of granularity with which a cause is described in a generic causal claim (e.g., neighborhood vs. affluent neighborhood) and the value of the information contained in the causal model that generates that claim. We argue that listeners who know any two of the following can make reliable inferences about the third: 1) the level of granularity at which a speaker makes a generic causal claim, 2) the speaker’s values, and 3) the data available to the speaker. We present results of four experiments (N=1,323) in the domain of social categories that provide evidence in keeping with these predictions. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

Although there is increasing recognition that theory and practice in science are often inseparably intertwined, discussions of scientific controversies often continue to focus on theory, and not practice or methodologies. As a contribution to constructing a framework towards understanding controversies linked to scientific practices, we introduce the notion of borrowed epistemic credibility, to describe the situation in which scientists exploit fallacious similarities between accepted tenets in other fields to garner support for a given position in their own field. Our proposal (...) is based on the analysis of a recent controversy in phylogeography, a biological subdiscipline concerned with the study of the historical causes of variation in genetic diversity within species in concrete biogeographical locations. Through a review of the arguments that support the two conflicting phylogeographic schools, we show that ‘theory’ plays essentially no role as a foundation of the controversy, whereas both sides borrow epistemic credibility from sources such as formal logic, similarity of results to those in other scientific areas, the authority of prominent scientists, or the presumed superiority of quantitative vs. verbal reasoning. Our case study underscores the indivisibility of theory and practice and provide a means to re-examine important philosophical issues such as the meaning of inference, rationality, justification, and objectivity in scientific practice. (shrink)

A minimal essentialism (‘intrinsic biological essentialism’) about natural kinds is required to explain the projectability of human science terms. Human classifications that yield robust and ampliative projectable inferences refer to biological kinds. I articulate this argument with reference to an intrinsic essentialist account of HPC kinds. This account implies that human sciences (e.g., medicine, psychiatry) that aim to formulate predictive kind categories should classify biological kinds. Issues concerning psychiatric classification and pluralism are examined.