Three accounts of effective realism (ER) have been advanced to solve three problems for scientific realism: Fraser and Vickers (forthcoming) develop a version of ER about non-relativistic quantum mechanics that they argue is compatible with all the main realist versions (‘interpretations’) of quantum mechanics avoiding the problem of underdetermination among them; Williams (2019) and Fraser (2020b) propose ER about quantum field theory as a response to the problems facing realist interpretations; Robertson and Wilson (forthcoming) propose ER to deal with the (...) dubious ontological status of the entities belonging to superseded theories. This paper argues for the unification of these proposals based on realism about modal structure and the idea of scale relativity of ontology developed by ontic structural realists. This solves problems some or all the accounts of ER face, especially that of making explicit in what way they are realist. Furthermore, we respond to a recent critique that has been raised against the ontic structural realist account of quantum mechanics that we employ. (shrink)

When working with garden archaeology and garden archaeobotany, the plant material is of great importance. It is important to be able to identify which plants have grown in a particular garden and which have not, which of the plants you find in the garden today that are newly introduced or have established themselves on their own, and which plants that may be remnants of earlier cultivation. During the past two years, my colleagues and I have been involved in a project (...) that deals with the latter kind of plants, that is, plants that were once actively cultivated and that have survived in their original place of cultivation until the present time(Persson, Ansebo & Solberg, this volume). When we started the project we simply called the plants we worked with ‘relict plants’. This is also the term that has been used unofficially in this field of research for some time. It was in no way an official term, however, and as it turned out, the term already had a different meaning in botany that was both older and better established. We were therefore in need of a better name for the plants we worked with. To single out the plants we were working with, we used the following working definition: “Plants that were once, but are no longer cultivated in a certain area, and where a part of the population still exists even though it is no longer actively maintained”. Although we still think this is a decent approximation, we have realized that there are several complicating factors we have had to think more about. We thus needed both a better name and a better definition. Both these tasks became important parts of the project. (shrink)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this (...) paper, I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination (...) for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

It is a common view among philosophers of science that theoretical virtues (also known as epistemic or cognitive values), such as simplicity and consistency, play an important role in scientific practice. In this article, I set out to study the role that theoretical virtues play in scientific practice empirically. I apply the methods of data science, such as text mining and corpus analysis, to study large corpora of scientific texts in order to uncover patterns of usage. These patterns (...) of usage, in turn, might shed some light on the role that theoretical virtues play in scientific practice. Overall, the results of this empirical study suggest that scientists invoke theoretical virtues explicitly, albeit rather infrequently, when they talk about models (less than 30%), theories (less than 20%), and hypotheses (less than 15%) in their published works. To the extent that they are mentioned in scientific publications, the results of this study suggest that accuracy, consistency, and simplicity are the theoretical virtues that scientists invoke more frequently than the other theoretical virtues tested in this study. Interestingly, however, depending on whether they talk about hypotheses, theories, or models, scientists may invoke one of those theoretical virtues more than the others. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

I investigate syntactic notions of theoretical equivalence between logical theories and a recent objection thereto. I show that this recent criticism of syntactic accounts, as extensionally inadequate, is unwarranted by developing an account which is plausibly extensionally adequate and more philosophically motivated. This is important for recent anti-exceptionalist treatments of logic since syntactic accounts require less theoretical baggage than semantic accounts.

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.

There are at least twelve major virtues of good theories: evidential accuracy, causal adequacy, explanatory depth, internal consistency, internal coherence, universal coherence, beauty, simplicity, unification, durability, fruitfulness, and applicability. These virtues are best classified into four classes: evidential, coherential, aesthetic, and diachronic. Each virtue class contains at least three virtues that sequentially follow a repeating pattern of progressive disclosure and expansion. Systematizing the theoretical virtues in this manner clarifies each virtue and suggests how they might have a coordinated and (...) cumulative role in theory formation and evaluation across the disciplines—with allowance for discipline specific modification. An informal and flexible logic of theory choice is in the making here. Evidential accuracy, according to my systematization, is not a largely isolated trait of good theories, as some have made it out to be. Rather, it bears multifaceted relationships, constituting significant epistemic entanglements, with other theoretical virtues. (shrink)

Mereological nihilism (henceforth just "nihilism") is the thesis that composition never occurs. Nihilism has often been defended on the basis of its theoretical simplicity, including its ontological simplicity and its ideological simplicity (roughly, nihilism's ability to do without primitive mereological predicates). In this paper I defend nihilism on the basis of the theoretical unification conferred by nihilism, which is, roughly, nihilism's capacity to allow us to take fewer phenomena as brute and inexplicable. This represents a respect in which (...) nihilism enjoys greater theoretical simplicity than its rivals which has not yet been explored, and which is immune to many of the objections which have been leveled against previous arguments for nihilism from nihilism's theoretical simplicity. Composition as identity might be thought to confer a similar degree of theoretical unification as nihilism. I end the paper by arguing that this is not the case. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Philosophers have often noted a contrast between practical and theoretical reasons when it comes to cases involving equally balanced reasons. When there are strong practical reasons for A-ing, and equally strong practical reasons for some incompatible option, B-ing, the agent is permitted to make an arbitrary choice between them, having sufficient reason to A and sufficient reason to B. But when there is strong evidence for P and equally strong evidence for ~ P, one isn’t permitted to simply believe (...) one or the other. Instead, one must withhold belief, neither believing that P nor believing that ~ P. This paper examines what explains this contrast, focusing in particular on a proposal recently developed by Mark Schroeder across several papers. Schroeder aims to explain the contrast by an appeal to non-evidential, epistemic reasons against belief. But, I argue, it’s not clear exactly what those reasons are, nor how those reasons are to be weighed against evidential reasons. Despite these challenges, I argue that there are grounds for optimism that the contrast can be explained within the broad framework Schroeder provides, and I aim to provide resources to meet the aforementioned challenges. (shrink)

Metaphysicians often claim that some metaphysical theory should (or shouldn’t) be believed because it exhibits (or fails to exhibit) theoretical virtues such as simplicity. Metaphysicians also sometimes claim that the legitimacy of these sorts of appeals to theoretical virtues are vindicated by the similar appeals to theoretical virtues which scientists make in scientific theory choice. One objection to this methodological move is to claim that the metaphysician misdescribes the role that theoretical virtues play within science. In (...) this paper I defend the metaphysician’s use of theoretical virtues against this objection. (shrink)

Within eighteenth-century debates on animal cognition we can distinguish at least three main theoretical positions: (i) Buffon’s mechanism, (ii) Reimarus’ theory of instincts, and (iii) the sensationalism of Condillac and Leroy. In this paper, I adopt a philosophical perspective on this debate and argue that in order to fully understand the justification Buffon, Reimarus, Condillac, and Leroy gave for their respective theories, we must pay special attention to the theoretical virtues these naturalists alluded to while justifying their position. (...) These theoretical virtues have received little to no attention in the literature on eighteenth-century animal cognition, but figure prominently in the justification of the mechanist, instinctive, and sensationalist theories of animal behavior. Through my philosophical study of the role of theoretical virtues in eighteenth-century debates on animal cognition, we obtain a deeper understanding of how theoretical virtues were conceptualized in eighteenth-century science and how they influenced the justification of theories of animal cognition. (shrink)

Mark Johnston (2016, 2017) has raised concerns that a worm-theoretic account of persistence through time is incompatible with ethical singularity: that within the life of any actual person, there is only one morally considerable being, namely that person. To deny ethical singularity is to deny a core feature of our ordinary ethical and prudential thinking. The worm theory, Johnston concludes, proves to be “disastrous … for our ordinary moral outlook”. This paper defends the worm theory from Johnston’s argument. Though I (...) agree that the worm theory must deny ethical singularity, it can nevertheless be squared with our ordinary ethical thinking by adopting a temporal counterpart analysis of temporal predication (‘x will be F’, ‘x was previously F’, etc.) for those morally considerable beings involved in a person’s life that are not the person. (shrink)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since we do not (...) know which criteria of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

Donald Davidson was one of the most influential philosophers of the last half of the 20th century, especially in the theory of meaning and in the philosophy of mind and action. In this paper, I concentrate on a field-shaping proposal of Davidson’s in the theory of meaning, arguably his most influential, namely, that insight into meaning may be best pursued by a bit of indirection, by showing how appropriate knowledge of a finitely axiomatized truth theory for a language can put (...) one in a position both to interpret the utterance of any sentence of the language and to see how its semantically primitive constituents together with their mode of combination determines its meaning (Davidson 1965, 1967, 1970, 1973a). This project has come to be known as truth-theoretic semantics. My aim in this paper is to render the best account I can of the goals and methods of truth-theoretic semantics, to defend it against some objections, and to identify its limitations. Although I believe that the project I describe conforms to the main idea that Davidson had, my aim is not primarily Davidson exegesis. I want to get on the table an approach to compositional semantics for natural languages, inspired by Davidson, but extended and developed, which I think does about as much along those lines as any theory could. I believe it is Davidson’s project, and I defend this in detail elsewhere (Ludwig 2015; Lepore and Ludwig 2005, 2007a, 2007b, 2011). But I want to develop and defend the project while also exploring its limitations, without getting entangled in exegetical questions. (shrink)

Some facts ground other facts. Some fact is fundamental iff there are no other facts which partially or fully ground that fact. According to metaphysical foundationalism, every non-fundamental fact is fully grounded by some fundamental fact(s). In this paper I examine and defend some neglected considerations which might be made in favor of metaphysical foundationalism. Building off of work by Ross Cameron, I suggest that foundationalist theories are more unified than, and so in one important respect simpler than, non-foundationalist theories, (...) insofar as foundationalist theories allow us to derive all non-fundamental facts from some fundamental fact(s). Non-foundationalist theories can enjoy a similar sort of theoretical unification only by taking on objectionable metaphysical laws. (shrink)

Recent discussions of how axioms are extrinsically justified have appealed to abductive considerations: on such accounts, axioms are adopted on the basis that they constitute the best explanation of some mathematical data, or phenomena. In the first part of this paper, I set out a potential problem caused by the appeal made to the notion of mathematical explanation and suggest that it can be remedied once it is noted that all the justificatory work is done by appeal to the (...) class='Hi'>theoretical virtues. In the second part of the paper, I appeal to the theoretical virtues account of axiom justification to provide an argument that judgements of theoretical virtuousness, and therefore of extrinsic justification, are subjective in a substantive sense. This tells against a recent claim by Penelope Maddy that such justification is “wholly objective”. (shrink)

The usage of Quantum Similarity through the equation Z = {∀Θ∈Z→∃s ∈ S ʌ ∃t ∈ T: Θ= (s,t)}., represents a way to analyze the way communication works in our DNA. Being able to create the object set reference for z being (s,t) in our DNA strands, we are able to set logical tags and representations of our DNA in a completely computational form. This will allow us to have a better understanding of the sequences that happen in our DNA. (...) With this approach, we can also utilize mathematical formulas such as the Euler–Mascheroni constant, regressional analysis, and computational proofs to answer important questions on Quantum biology, Quantum similarity, and Theoretical Physics. (shrink)

A prominent type of scientific realism holds that some important parts of our best current scientific theories are at least approximately true. According to such realists, radically distinct alternatives to these theories or theory-parts are unlikely to be approximately true. Thus one might be tempted to argue, as the prominent anti-realist Kyle Stanford recently did, that realists of this kind have little or no reason to encourage scientists to attempt to identify and develop theoretical alternatives that are radically distinct (...) from currently accepted theories in the relevant respects. In other words, it may seem that realists should recommend that scientists be relatively conservative in their theoretical endeavors. This paper aims to show that this argument is mistaken. While realists should indeed be less optimistic of finding radically distinct alternatives to replace current theories, realists also have greater reasons to value the outcomes of such searches. Interestingly, this holds both for successful and failed attempts to identify and develop such alternatives. (shrink)

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws (...) upon Kendall Walton’s ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Given the importance of theoretical wisdom in Aristotle’s account of the human good, it is striking that contemporary virtue ethicists have been virtually silent about this intellectual virtue and what contribution it makes – or could make – toward human flourishing. In this paper, I examine, and respond to, two main worries that account for theoretical wisdom’s current marginality. Along the way, I sketch a neo-Aristotelian conception of theoretical wisdom, and argue that this intellectual virtue is more (...) central to the concerns of contemporary virtue ethicists than it has perhaps so far seemed. (shrink)

In recent years, several philosophers have argued that the a priori/a posteriori distinction is a legitimate distinction but does not carve at the epistemological joints and is theoretically unimportant. In this paper, I do two main things. First, I respond to the most prominent recent challenge to the significance of the a priori/a posteriori distinction – the central argument in Williamson (2013). Second, I discuss the question of what the theoretical significance of the a priori/a posteriori distinction is. -/- (...) I first present the a priori/a posteriori distinction as it is typically developed. I then turn to Williamson’s challenge to the significance of the distinction. Williamson points out that we often use the same cognitive mechanisms in coming to have a priori and a posteriori knowledge. So how could it be, asks Williamson, that there is a “deep epistemological difference” between the two? In response to this challenge, I argue that there is an important disanalogy between Williamson’s central example of a case of a priori knowledge and his central example of a case of a posteriori knowledge. Although the beliefs in the two cases are formed in similar ways, the ways in which their justification can be defeated are different. This suggests that there is an important epistemological difference between the two cases, one that cannot be captured in terms of the cognitive mechanisms used to form the beliefs. -/- Although Williamson’s argument is unsuccessful, there remains the question of just what the theoretical significance of the a priori/a posteriori distinction is. I argue that the point of the distinction is not to enable us to represent some joint in nature, but rather to help us to identify epistemological problem cases. We understand – more-or-less – the epistemology of simple perceptual knowledge. The epistemology of non-perceptual knowledge is far less clear. The purpose of labeling a case of knowledge as a priori is to claim that its epistemology should not be assimilated to the epistemology of perception. Instead, it is something of a puzzle case. -/- This proposal has an important implication. There are several ways in which a case of knowledge can be different from a simple case of perceptual knowledge. Two differences are perhaps the most important: (i) the justification of the belief does not involve phenomenality, and (ii) the belief does not stand in a causal relation to what the belief is about. When beliefs about some subject matter fit either (i) or (ii), an epistemological puzzle arises. So there is more than one kind of epistemological puzzle to solve. This suggests that there is an important theoretical role for (at least) two distinctions in the ballpark of the traditional a priori/a posteriori distinction. (shrink)

Talk of ‘robustness’ remains vague, despite the fact that it is clearly an important parameter in evaluating models in general and game-theoretic results in particular. Here we want to make it a bit less vague by offering a graphic measure for a particular kind of robustness— ‘matrix robustness’— using a three dimensional display of the universe of 2 x 2 game theory. In a display of this form, familiar games such as the Prisoner’s Dilemma, Stag Hunt, Chicken and Deadlock appear (...) as volumes, making comparison easy regarding the extent of different game-theoretic effects. We illustrate such a comparison in robustness between the triumph of Tit for Tat in a spatialized environment (Grim 1995, Grim, Mar, and St. Denis 1998) and a spatialized modeling of the Contact Hypothesis regarding prejudice reduction (Grim, et. al 2005a, 2005b). The geometrical representation of relative robustness also offers a possibility for links between geometrical theorems and results regarding robustness in game theory. (shrink)

This chapter argues that the extended mind approach to cognition can be distinguished from its alternatives, such as embedded cognition and distributed cognition, not only in terms of metaphysics, but also in terms of epistemology. In other words, it cannot be understood in terms of a mere verbal redefinition of cognitive processing. This is because the extended mind approach differs in its theoretical virtues compared to competing approaches to cognition. The extended mind approach is thus evaluated in terms of (...) its theoretical virtues, both essential to empirical adequacy and those that are ideal desiderata for scientific theories. While the extended mind approach may have similar internal consistency and empirical adequacy compared to other approaches, it may be more problematic in terms of its generality and simplicity as well as unificatory properties due to the cognitive bloat and the motley crew objections. (shrink)

The world’s leading environmental advisory institutions look to ecological theory and research as an objective guide for policy and resource management decision-making. In addition to various theoretical merits of doing so, it is therefore crucially important to clear up confusions about ecology’s conceptual foundations and to make plain the basic workings of inferential methods used in the science. Through discussion of key moments in the genesis of the theoretical branch of ecology, this essay elucidates a general heuristic role (...) of teleological metaphor in ecological research and defuses certain enduring confusions and misguided criticisms of current work in ecology. (shrink)

This paper introduces a new kind of explanation that we describe as ‘purely theoretical’. We first present an example, E, of what we take to be a case of purely theoretical explanation. We then show that the explanation we have in mind does not fit neatly into any of the existing categories of explanation. We take this to give us prima facie motivation for thinking that purely theoretical explanation is a distinctive kind of explanation. We then argue (...) that it can earn its keep via application to two existing literatures: the literature on how we explain the truth of true negative existential propositions and the literature on how we explain the truth of true propositions about the past. We reply to some possible concerns regarding the introduction of purely theoretical explanations. We conclude that there is nothing obviously wrong with them and explore the ramifications for particular debates in metaphysics. (shrink)

ABSTRACT Topos quantum theory is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics.1 1 In this article, I study the extent to which TQT can really be characterized as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for a realist reformulation of quantum theory. Specifically, I show that the notion of the quantum state (...) is problematic for those who view TQT as a realist reformulation of quantum theory. 1Introduction 2Topos Quantum Theory 2.1Phase space 2.2Hilbert space 2.3Beyond Hilbert space 2.4Defining realism 2.5The spectral presheaf 2.6The logic of topos quantum theory 3Interpreting States in Topos Quantum Theory 4Interpreting Truth Values and Clopen Subobjects in Topos Quantum Theory 4.1Interpreting the truth values 4.2Interpreting Subcl 5Neo-realism 5.1The covariant approach 6Conclusion. (shrink)

Scientific realists with traditional semantic inclinations are often pressed to explain away the distinguished series of referential failures that seem to plague our best past science. As recent debates make it particularly vivid, a central challenge is to find a reliable and principled way to assess referential success at the time a theory is still a live concern. In this paper, I argue that this is best done in the case of physics by examining whether the putative referent of a (...) term is specifiable within the limited domain delineated by the range of parameters over which the theory at stake is empirically accurate. I first implement this selective principle into a general account of reference, building on Stathis Psillos's works. Then, I show that this account offers a remarkably reliable basis to assess referential success before theory change in the case of effective theories. Finally, I briefly show that this account still works well with other physical examples and explain how it helps us to handle problematic cases in the history of physical sciences. (shrink)

In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals with (...) the problem of undergeneration and Chapter 3 concerns the problem of overgeneration. Chapter 2 discusses that Tenant’s diagnosis of the counterexample which applies CR−rule and causes the undergeneration problem is not correct and presents a solution to the problem of undergeneration. Chapter 3 argues that Tennant’s diagnosis of the counterexample raising the overgeneration problem is wrong and provides a solution to the problem. Finally, Chapter 4 addresses what should be explicated in order for RND to be a proof-theoretic solution to the paradoxes. (shrink)

This chapter focuses on the responses that proponents of virtue epistemology (VE) make to radical skepticism and particularly to two related forms of it, Pyrrhonian skepticism and the “underdetermination-based” argument, both of which have been receiving widening attention in recent debate. Section 1 of the chapter briefly articulates these two skeptical arguments and their interrelationship, while section 2 explains the close connection between a virtue-theoretic and a neo-Moorean response to them. In sections 3 and 4 I advance arguments for improving (...) the prospects of virtue-theoretic responses, sketching a particular version of VE that by recasting somewhat how we understand the “externalist turn in epistemology” also suggests ways of improving the adequacy of philosophical diagnoses and responses to skepticism. (shrink)

This article suggests theoretical and methodological approach to corporate control system formation in Eastern Europe (case study of Ukraine). It considers historical and controversial aspects of corporate control implementation and suggests the systematization of subjects and objects in terms of corrective actions and outlines of corporate relations. Existing types of corporate control in Ukraine have been investigated on the basis of legal and regulatory framework and corporate practice. The article suggests measures in respect of management of the corporate control (...) system development, based on the improvement of certain components of corporate control implementation and structural peculiarities. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

Kaplan (1989) famously claimed that monsters--operators that shift the context--do not exist in English and "could not be added to it". Several recent theorists have pointed out a range of data that seem to refute Kaplan's claim, but others (most explicitly Stalnaker 2014) have offered a principled argument that monsters are impossible. This paper interprets and resolves the dispute. Contra appearances, this is no dry, technical matter: it cuts to the heart of a deep disagreement about the fundamental structure of (...) a semantic theory. We argue that: (i) the interesting notion of a monster is not an operator that shifts some formal parameter, but rather an operator that shifts parameters that play a certain theoretical role; (ii) one cannot determine whether a given semantic theory allows monsters simply by looking at the formal semantics; (iii) theories which forbid shifting the formal "context" parameter are perfectly compatible with the existence of monsters (in the interesting sense). We explain and defend these claims by contrasting two kinds of semantic theory--Kaplan's (1989) and Lewis's (1980). (shrink)

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

The mind-brain identity theory, the thesis that sensations are identical with properties or processes of the brain, was introduced into contemporary discussion by U.T. Place, Herbert Feigl, and J.J.C Smart in the 1950s. Despite its widespread rejection in the following decades, the identity theory has received several carefully articulated defenses in recent years. Aside from developing novel responses to well-known arguments against the identity theory, contemporary identity theorists have argued that the epistemological resources available to support the adoption of identities (...) are more plentiful than has often been supposed; further, they have argued that mind-brain identities allow for the resolution of otherwise intractable explanatory puzzles about the phenomenal properties of experience. From an epistemological perspective, identity theorists have thus argued that a central reason for believing theoretical identities—both mind-brain identities as well as more mundane identities such as water = H2O—stems from the explanatory power that they confer. Yet from an explanatory perspective, identity theorists have maintained that identities cannot themselves be explained; indeed, they have maintained that it is hardly intelligible to request an explanation for an identity. This paper considers these ideas draws out an important tension between them. The central claim is that insofar as identity theorists insist on the explanatorily efficacy of identities, they should concede that there is a good sense in which theoretical identities can be explained. However, it is moreover argued that this concession is not especially problematic and, indeed, ought to be welcomed by identity theorists. (shrink)

A common kind of explanation in cognitive neuroscience might be called function-theoretic: with some target cognitive capacity in view, the theorist hypothesizes that the system computes a well-defined function (in the mathematical sense) and explains how computing this function constitutes the exercise of the cognitive capacity (in the system's normal environment). Recently, proponents of the so-called ‘new mechanist’ approach in philosophy of science have argued that a model of a cognitive capacity is explanatory only to the extent that it reveals (...) the causal structure of the mechanism underlying the capacity. If they are right, then a cognitive model that resists a transparent mapping to known neural mechanisms fails to be explanatory. I argue that a function-theoretic characterization of a cognitive capacity can be genuinely explanatory even absent an account of how the capacity is realized in neural hardware. (shrink)

Cognitive Behavioral Therapy has become the dominant form of psychotherapy in North America. The CBT model is theoretically based on the idea that all external and internal stimuli are filtered through meaning-making, consciously accessible cognitive schemas. The goal of CBT is to identify dysfunctional or maladaptive thoughts and beliefs, and replace them with more adaptive cognitive interpretations. While CBT is clearly effective as a treatment, there is good reason to be skeptical that its efficacy is due to the causal mechanisms (...) posited by the CBT model. This paper will argue that the specific cognitive schemas posited by the CBT model likely do not play a direct role in the development or treatment of psychological illness. Cognitive schemas, as identified in CBT interventions, are likely to be the result of patient confabulation and epistemically under-supported practitioner-based identification. CBT interventions appear to impose coherence on patients’ psychological states, rather than identifying and modifying preexistent causally efficacious core beliefs. (shrink)

The predictive processing account of action, cognition, and perception is one of the most influential approaches to unifying research in cognitive science. However, its promises of grand unification will remain unfulfilled unless the account becomes theoretically robust. In this paper, we focus on empirical commitments of PP, since they are necessary both for its theoretical status to be established and for explanations of individual phenomena to be falsifiable. First, we argue that PP is a varied research tradition, which may (...) employ various kinds of scientific representations, differing in the scope of empirical commitments they entail. Two major perspectives on PP qua cognitive theory may then be distinguished: generalized vs. hierarchical. The first one fails to provide empirical detail, and the latter constrains possible physical implementations. However, we show that even hierarchical PP is insufficiently restrictive to disallow incorrect models and may be adjusted to explain any neurocognitive phenomenon–including non-existent or impossible ones–through flexible adjustments. This renders PP a universal modeling tool with an unrestricted number of degrees of freedom. Therefore, in contrast with declarations of its proponents, it should not be understood as a unifying theoretical perspective, but as a computational framework, possibly informing further theory development in cognitive science. (shrink)

In this article, I seek to assess the extent to which a ‘trope-theoretic’ version of Theism is a better theory than that of a theory of Atheism, as posited by Graham Oppy. This end will be achieved by utilising the systemisation of the theoretical virtues proposed by Michael Keas (as further modified by an application of the work of Jonathan Schaffer), the notion of a trope, introduced by D.C. Williams, and an aspect, proposed by Donald L.M. Baxter, which will (...) establish the basis of the trope-theoretic account of Theism that will be at the centre of our analysis. This assessment will ultimately show that Theism, rather than that of Atheism (Naturalism), can successfully achieve the trade-off between minimising theoretical commitments and maximising explanatory power. And thus, given this, the best theory of Theism—namely, that of ‘trope-theoretic Theism’—is to be privileged over that of the best theory of Atheism—namely, that of ‘Oppyian Naturalism’—and is able to provide grounds for a decisive reassessment of the cogency of Agnosticism. (shrink)

In a (2016) paper in this journal, I defuse allegations that theoretical ecological research is problematic because it relies on teleological metaphysical assumptions. Mark Sagoff offers a formal reply. In it, he concedes that I succeeded in establishing that ecologists abandoned robust teleological views long ago and that they use teleological characterizations as metaphors that aid in developing mechanistic explanations of ecological phenomena. Yet, he contends that I did not give enduring criticisms of theoretical ecology a fair shake (...) in my paper. He says this is because enduring criticisms center on concerns about the nature of ecological networks and forces, the instrumentality of ecological laws and theoretical models, and the relation between theoretical and empirical methods in ecology that that paper does not broach. Below I set apart the distinct criticisms Sagoff presents in his commentary and respond to each in turn. (shrink)

Memetics is a research approach which applies evolutionary ideas and terminology to cultural phenomena. The core idea of memetics is the existence of the units of cultural evolution which are attributed autonomous replicating goals. Of course, such a controversial concept has gained many devoted adherents as well as its determined opponents. The paper discusses the theoretical difficulties of memetics. The first part discusses the analogy of genes and memes. The theme of the second part is the ontology of a (...) cultural replicator. Finally, the third part presents the main issues related to manners of transmission and the adaptation of memes. In short, the aim of the paper is an evaluation of the explanatory potential of memetics. The explanatory potential of memetics will be evaluated in terms of its intrinsic consistency, the degree of its confirmation, the falsifiability of the theses which were elaborated on its basis and the heuristic value of this approach. (shrink)

This brief brochure is intended to present a philosophical theory known as relational materialism. We introduce the postulates and principles of the theory, articulating its ontological and epistemological content using the language of category theory. The identification of any existing entity is primarily characterized by its relational, finite, and non-static nature. Furthermore, we provide a categorical construction of particularities within the relational materialist onto-epistemology. Our objective is to address and transform a specific perspective prevalent in scientific communities into a productive (...) network of philosophical commitments. (shrink)

The theoretical foundations of climate science have received little attention from philosophers thus far, despite a number of outstanding issues. We provide a brief, non-technical overview of several of these issues – related to theorizing about climates, climate change, internal variability and more – and attempt to make preliminary progress in addressing some of them. In doing so, we hope to open a new thread of discussion in the emerging area of philosophy of climate science, focused on theoretical (...) foundations. (shrink)

The distinction between the regulative (‘practical’, ‘subjective’, ‘decision-procedural’) and the theoretical (‘objective’, ‘absolute’) pertains to the aims (the desiderata) of an account of justification. This distinction began in ethics and spread to epistemology. Each of internalism, externalism, is separately forced to draw this distinction to avoid a stock, otherwise fatal, argument levelled against them by the other. Given this situation however, we may finesse much partisan conflict in epistemology by simply seeing differing accounts of justification as answering to radically (...) distinct desiderata of adequacy. We should see knowledge as answering to the theoretical desideratum of adequacy alone; and rationality as answering to the regulative desideratum of adequacy alone. Objections to this ‘Gordian’ [knot] approach to epistemology (from virtues theorists and others) are rejected. Such an approach may make for accounts that violate our ordinary language intuitions; but in developing an epistemological axiology, any such intuitions are not to the point. (shrink)

There has been a considerable amount of research concerning Kantian hope, but focused on the perspective of Kant’s moral and religious philosophy. In this essay, I will present the Kantian theory of theoretical hope, as found in the first Critique. My argument first establishes that there is such a thing as Kantian theoretical hope. And the second part of the argument defines Kantian theoretical hope as a priori, necessary, and universal within the use of reason and understanding, (...) or, in Kantian terms, as a transcendental concept. (shrink)