Frege claims that sentences of the form ‘A’ are equivalent to sentences of the form ‘it is true that A’ (The Equivalence Thesis). Frege also says that there are fictional names that fail to refer, and that sentences featuring fictional names fail to refer as a result. The thoughts such sentences express, Frege says, are also fictional, and neither true nor false. Michael Dummett argues that these claims are inconsistent. But his argument requires clarification, since there are two (...) ways The Equivalence Thesis has been formulated, according as the thesis equates the senses or the referents of the relevant sentences. -/- I have two aims in this paper. The first is to demonstrate that a sameness of sense thesis is inconsistent with Frege’s other theses. The second is to argue that a sameness of reference thesis is consistent with them. Thus, all else being equal, Frege ought to endorse a sameness of reference, rather than a sameness of sense thesis. (shrink)

This paper deals with Austinian ifs of every stripe within classical logic. It is argued that they are truth-functional and the theory of conditional elements is used. Ellipsis is key. Corrects an error in Fulda (2010) in translation and therefore scope. -/- The PDF is made available gratis by the Publisher.

For many years I have maintained that I learned to philosophize by translating Francisco Suárez’s Metaphysical Disputation V from Latin into English. This surely is a claim that must sound extraordinary to the members of this audience or even to most twentieth century philosophers. Who reads Suárez these days? And what could I learn from a sixteenth century scholastic writer that would help me in the twentieth century? I would certainly be surprised if one were to find any references to (...) some of Suárez’s works in any of the works of twentieth-century major philosophers. One of the reasons for my claim is the great difficulty I had in figuring out what Suárez’s text means and how to render it understandable to English readers. Translating the text forced me to think in ways that were quite different from those I was used to think in Spanish, my native tongue, or English, my adoptive tongue. In fact, the translation I produced after having completed many drafts continued, and still continues to this day, to appear to me unsatisfactory, and that dissatisfaction was the key to understanding things I had understood very differently before. I hope to make clear why in what follows. The thesis that I defend is that semantic equivalence between texts of philosophy in different languages is difficult, if not impossible in some cases, to achieve and, therefore, that it is a mistake to restrict doing analytic philosophy to English, as Gustavo Rodríguez-Pereyra argues we should do in a recent article (2013). (shrink)

What is the quantum state of the universe? Although there have been several interesting suggestions, the question remains open. In this paper, I consider a natural choice for the universal quantum state arising from the Past Hypothesis, a boundary condition that accounts for the time-asymmetry of the universe. The natural choice is given not by a wave function but by a density matrix. I begin by classifying quantum theories into two types: theories with a fundamental wave function and theories with (...) a fundamental density matrix. The Past Hypothesis is compatible with infinitely many initial wave functions, none of which seems to be particularly natural. However, once we turn to density matrices, the Past Hypothesis provides a natural choice---the normalized projection onto the Past Hypothesis subspace in the Hilbert space. Nevertheless, the two types of theories can be empirically equivalent. To provide a concrete understanding of the empirical equivalence, I provide a novel subsystem analysis in the context of Bohmian theories. Given the empirical equivalence, it seems empirically underdetermined whether the universe is in a pure state or a mixed state. Finally, I discuss some theoretical payoffs of the density-matrix theories and present some open problems for future research. (Bibliographic note: the thesis was submitted for the Master of Science in mathematics at Rutgers University.). (shrink)

Do carbon-offsetting schemes morally offset emissions? The moral equivalence thesis is the claim that the combination of emitting greenhouse gasses and offsetting those emissions is morally equivalent to not emitting at all. This thesis implies that in response to climate change, we need not make any lifestyle changes to reduce our emissions as long as we offset them. An influential argument in favor of this thesis is premised on two claims, one empirical and the other normative: (...) (1) When you emit + offset, the net result is the same as that of not emitting. (2) With emissions, the net result is what matters morally. I argue against both premises. The net result of emitting + offsetting is never equivalent to that of not emitting, and even if it were equivalent, the net result is not the only thing that matters morally. My conclusion is that although we should offset our emissions, avoiding emissions is morally preferable. This conclusion supports a stronger claim: that carbon offsets cannot relieve us of our duty to make significant lifestyle changes so as to reduce emissions and thus lesson our contribution to the harms of climate change. (shrink)

Like Bennett's account of ‘even’, my analysis incorporates the following plausible and widespread intuitions. (a) The word ‘even’ does not make a truth-functional difference; it makes a difference only in conventional implicature. In particular, ‘even’ functions neither as a universal quantifier, nor a most or many quantifier. The only quantified statement that ‘Even A is F’ implies is the existential claim ‘There is an x (namely, A) that is F’, but this implication is nothing more than what the Equivalence (...) Thesis already demands. (b) ‘Even’ is epistemic in character, implying some type of unexpectedness, surprise, or unlikelihood. Moreover, despite Kay's arguments to the contrary, this implication is part of the meaning of ‘even’. (c) ‘Even’ is a scalar term, since unexpectedness comes in degrees. And, finally, (d) the felicity of an ‘even’-sentence S requires that S* be sufficiently surprising in comparison to its true neighbors. However,pace Bennett, being more surprising than just one true neighbor will not suffice. At the same time, being more surprising than all true neighbors is unnecessary. Suffice it that S* is more surprising than most true neighbors. (shrink)

According to some philosophers, if moral agency is understood in behaviourist terms, robots could become moral agents that are as good as or even better than humans. Given the behaviourist conception, it is natural to think that there is no interesting moral difference between robots and humans in terms of moral agency (call it the _equivalence thesis_). However, such moral differences exist: based on Strawson’s account of participant reactive attitude and Scanlon’s relational account of blame, I argue that a distinct (...) kind of reason available to humans—call it _human-relative reason_—is not available to robots. The difference in moral reason entails that sometimes an action is morally permissible for humans, but not for robots. Therefore, when developing moral robots, we cannot consider only what humans can or cannot do. I use examples of paternalism to illustrate my argument. (shrink)

Realism about quantum theory naturally leads to realism about the quantum state of the universe. It leaves open whether it is a pure state represented by a wave function, or an impure one represented by a density matrix. I characterize and elaborate on Density Matrix Realism, the thesis that the universal quantum state is objective but can be impure. To clarify the thesis, I compare it with Wave Function Realism, explain the conditions under which they are empirically equivalent, (...) consider two generalizations of Density Matrix Realism, and answer some frequently asked questions. I end by highlighting an implication for scientific realism. (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective (...) but contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

Philosophers sometimes give arguments that presuppose the following principle: two theories can fail to be empirically equivalent on the sole basis that they present different “thick” metaphysical pictures of the world. Recently, a version of this principle has been invoked to respond to the argument that composite objects are dispensable to our best scientific theories. This response claims that our empirical evidence distinguishes between ordinary and composite-free theories, and it empirically favors the ordinary ones. In this paper, I ask whether (...) this response to the dispensability argument is tenable. I claim that it is not. This is because it presupposes an indefensible thesis about when two empirical consequences are distinct or the same. My argument provides some insight into what our empirical consequences are, and I conclude that empirical evidence is radically metaphysically neutral. This gives us some insight into the significant content of our scientific theories—the content that a scientific realist is committed to—and I show how this insight relates to questions about theoretical equivalence more broadly. (shrink)

The thesis of methodological individualism in social science is commonly divided into two different claims—explanatory individualism and ontological individualism. Ontological individualism is the thesis that facts about individuals exhaustively determine social facts. Initially taken to be a claim about the identity of groups with sets of individuals or their properties, ontological individualism has more recently been understood as a global supervenience claim. While explanatory individualism has remained controversial, ontological individualism thus understood is almost universally accepted. In this paper (...) I argue that ontological individualism is false. Only if the thesis is weakened to the point that it is equivalent to physicalism can it be true, but then it fails to be a thesis about the determination of social facts by facts about individual persons. Even when individualistic facts are expanded to include people’s local environments and practices, I shall argue, those still underdetermine the social facts that obtain. If true, this has implications for explanation as well as ontology. I first consider arguments against the local supervenience of social facts on facts about individuals, correcting some flaws in existing arguments and affirming that local supervenience fails for a broad set of social properties. I subsequently apply a similar approach to defeat a particularly weak form of global supervenience, and consider potential responses. Finally, I explore why it is that people have taken ontological individualism to be true. (shrink)

This thesis develops a detailed account of the emergence of for all practical purposes continuous, quasi-classical world histories from the discontinuous, stochastic micro dynamics of Minimal Bohmian Mechanics (MBM). MBM is a non-relativistic quantum theory. It results from excising the guiding equation from standard Bohmian Mechanics (BM) and reinterpreting the quantum equilibrium hypothesis as a stochastic guidance law for the random actualization of configurations of Bohmian particles. On MBM, there are no continuous trajectories linking up individual configurations. Instead, individual (...) configurations are actualized independently of each other, carving out the decoherence-induced branching structure of the universal wave function. Yet, by contrast to the Everett interpretation, branches of the universal wave function are not actualized in parallel, i.e. all at the same time. Rather, world branches, on MBM, are actualized sequentially. -/- For an introduction to MBM, the transition from BM to MBM is described, and their empirical equivalence is established. I present the conditions under which MBM can be classified as a primitive ontology (PO) theory, regarded as crucial for the acceptance of a theory as Bohmian by many proponents of BM. While rendering MBM compatible with the PO approach, it must not fall prey to the problem of communication, arising from the two-space reading of BM. -/- The issue of temporal solipsism, identified by Bell as a serious problem for his “Everett (?) theory” – the historic predecessor of MBM – is discussed. I argue that Barbour’s time capsule approach does not provide a satisfactory solution. In particular, his adopting a more than minimal psychophysical parallelism between brain processes and experience of macroscopic change is argued to be reasonable in light of our current best neuroscience, yet problematic for theories relying solely on time capsules, understood as highly structured, individual, internally static configurations. As a solution, I introduce worlds, and world histories, as key concepts in providing a link between MBM’s micro dynamics and macroscopic phenomena. Worlds, other than time capsules, are coarse-grained regions in phase- or configuration space, defined as sets of possible micro states satisfying a relation of sufficient similarity from a macroscopic perspective, with respect to a given micro state. Hence, worlds may overlap. -/- I argue that worlds thus construed are a reasonable option for replacing the disjoint macro regions of phase space, resulting from the usual way of partitioning phase space in the standard framework of Boltzmannian statistical mechanics. This move solves the issue of discontinuous change of macro variables upon the micro state crossing the boundary between different macro regions. -/- I adapt this move for MBM’s discontinuous micro dynamics in configuration space. Issues revolving around the microscopic-macroscopic distinction, particle identity, impenetrability and haecceity in light of the desideratum of particle number conservation, etc., are discussed. I provide a detailed explanation of how overlapping worlds in MBM form world histories, thereby linking up macroscopically distinct worlds. Thus, the problem of temporal solipsism is resolved in a way that is compatible with a more than minimal psychophysical parallelism. (shrink)

One of the objections against the thesis of underdetermination of theories by observations is that it is unintelligible. Any two empirically equivalent theories — so the argument goes—are in principle intertranslatable, hence cannot count as rivals in any non-trivial sense. Against that objection, this paper shows that empirically equivalent theories may contain theoretical sentences that are not intertranslatable. Examples are drawn from a related discussion about incommensurability that shows that theoretical non-intertranslatability is possible.

Kant famously claims that there is only a single supreme principle of morality: the Categorical Imperative. This claim is often treated with skepticism. After all, Kant proceeds to provide no fewer than six formulations of this purportedly single supreme principle—formulations which appear to differ significantly. But appearances can be deceptive. In this paper, I argue that Kant was right. There is only a single Categorical Imperative, and each of its formulations expresses the very same moral principle.

The thesis is: the “periodic table” of “dark matter” is equivalent to the standard periodic table of the visible matter being entangled. Thus, it is to consist of all possible entangled states of the atoms of chemical elements as quantum systems. In other words, an atom of any chemical element and as a quantum system, i.e. as a wave function, should be represented as a non-orthogonal in general (i.e. entangled) subspace of the separable complex Hilbert space relevant to the (...) system to which the atom at issue is related as a true part of it. The paper follows previous publications of mine stating that “dark matter” and “dark energy” are projections of arbitrarily entangled states on the cognitive “screen” of Einstein’s “Mach’s principle” in general relativity postulating that gravitational field can be generated only by mass or energy. (shrink)

In this thesis, I develop a nonreductive and general conception of potentiality, and explore the prospects of a realist account of possibility based on this account of potentiality. Potentialities are properties of individual objects; they include dispositions such as fragility and abilities such as the ability to play the piano. Potentialities are individuated by their manifestation alone. In order to provide a unified account of potentialities, I argue in chapter 2 that dispositions, contrary to philosophical orthodoxy, are best understood (...) in terms only of their manifestations (as disposi- tions to ...), rather than in terms of a stimulus and a manifestation condition (as dispositions to ... if ...). Chapter 3 provides some preliminary motivation for a nonreductive and gen- eral account of potentiality, and chapter 4 develops such an account. The guiding question is how far the notion of potentiality can be extended from the initial ex- amples of familiar dispositions and abilities, and it is argued that it can be extended very far. Various features of potentialities are explored, among them extrinsicality, iterations of potentiality, and the behaviour of potentiality with regard to logical equivalence. In chapter 5, the account is set to work in providing the outlines and a defense of a potentiality-based account of possibility. The basic idea of such an account is that it is possible that p just in case some thing has a potentiality for p. The account is defended against the objection that there may not be enough potential- ities to ground all the possibilities that there are. Finally, in chapter 6, a logic of potentiality is formulated and the logic of possibility derived from it, showing that the potentiality-based account of possibility is formally adequate: it provides pos- sibility with the formal features that modal logicians have studied. I conclude that the proposed account of possibility is a promising research programme. (shrink)

Many people believe that the wrongness of killing a person does not depend on factors like her age, condition, or how much she has to lose by dying – a view Jeff McMahan calls the ‘Equal Wrongness Thesis’. This article argues that we should reject the Equal Wrongness Thesis on the basis of the moral equivalence between killing a person and knocking her unconscious.

The thesis aims to address the issue of 'philosophical topology' in Martin Heidegger's work and to identify its possible impact on contemporary architectural theory. Topology construes space and spatiality as a basic category for the constitution of meaning, in contrast to the traditionally prevalent category of Reason. This thesis argues that what is called 'reason' in Heidegger is not an a priori function of cognition, but is derived by the fundamental characteristic of human existence, which is its ability (...) to create. But the act of creation in Heidegger, as will be demonstrated, is always a creation of what he calls “place" (or in German: “Ort”), thereby making topology equivalent to ontology. The most basic space-creating practice is architecture, which beget sense and creates meanings, and in doing so is directly related to the 'question of being'. It is therefore crucial to elaborate on the relationship between Heideggerian topology and architectural theory. (shrink)

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

Two main theses of scientific realism —the epistemic thesis and the ontological thesis— are challenged by the underdetermination argument. Scientific realists deny the truth of the premises of this argument —particularly the thesis of the empirical equivalence among theories. But it can be shown that, even if that particular thesis were false, it is reasonable to be skeptic about the likelihood of the realistic theses. -/- .

Stephen Jay Gould argued that replaying the ‘tape of life’ would result in radically different evolutionary outcomes. Recently, biologists and philosophers of science have paid increasing attention to the theoretical importance of convergent evolution—the independent origination of similar biological forms and functions—which many interpret as evidence against Gould’s thesis. In this paper, we examine the evidentiary relevance of convergent evolution for the radical contingency debate. We show that under the right conditions, episodes of convergent evolution can constitute valid natural (...) experiments that support inferences regarding the deep counterfactual stability of macroevolutionary outcomes. However, we argue that proponents of convergence have problematically lumped causally heterogeneous phenomena into a single evidentiary basket, in effect treating all convergent events as if they are of equivalent theoretical import. As a result, the ‘critique from convergent evolution’ fails to engage with key claims of the radical contingency thesis. To remedy this, we develop ways to break down the heterogeneous set of convergent events based on the nature of the generalizations they support. Adopting this more nuanced approach to convergent evolution allows us to differentiate iterated evolutionary outcomes that are probably common among alternative evolutionary histories and subject to law-like generalizations, from those that do little to undermine and may even support, the Gouldian view of life. (shrink)

In this thesis, we will study the embedding of classical first-order logic in first-order S4, which is based on the translation originally introduced in Fitting (1970). The initial main part is dedicated to a detailed model-theoretic proof of the soundness of the embedding. This will follow the proof sketch in Fitting (1970). We will then outline a proof procedure for a proof-theoretic replication of the soundness result. Afterwards, a potential proof of faithfulness of the embedding, read in terms of (...) soundness and completeness, will be discussed. We will particularly highlight the many difficulties coming with it. In the final section, we will relate this discussion to the debate on notational variance in French (2019). We will do this by showing how a weaker version of French's notion of ‘expressive equivalence’ conforms to the model-theoretic soundness result. We will then conclude that the soundness result without completeness might contain rather little overall insight by relating it to the extensibility of classical logic to S4. (shrink)

Abstract -/- The indistinction between repose and uniform movement exposed in the principle of inertia marks one of the most famous dissertations: the discussion between Newton and Leibniz. Through their respective conceptions of space, both seek to solve the problem of indistinction. The relational space of Leibniz, supported by the principle of sufficient reason and the identity of indiscernibles leads to the kinematic solution of the problem of inertia. The objective of this paper is to show the contribution of Leibniz, (...) in terms of relations of order, by distinguishing between equality by identity and equality by equivalence. Under a philosophical approach we link identity, equivalence and equality as relations of order with the indiscernibility between different states of movement. We expose first the principle of sufficient reason and the identity of indiscernibles. Under Bernoulli's principle of indifference, we argue that we distinguish between equality in abstract and equality in concrete. As a third part, we present the relationship between the identity of the indiscernibles and the predicate of equality under logical analysis. Finally we present the conclusions. -/- . (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists (...) cannot express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...) n°1000 will lose” are equivalent to soritical premises of the form “~(the winning ticket is in {…, (tn)}) ⊃ ~(the winning ticket is in {…, tn, (tn + 1)})” (where “⊃” is the material conditional, “~” is the negation symbol, “tn” and “tn + 1” are “ticket n°n” and “ticket n°n + 1” respectively, and “{}” identify the elements of the lottery tickets’ set. The brackets in “(tn)” and “(tn + 1)” are meant to point out that in the antecedent of the conditional we do not always have a “tn” (and, as a result, a “tn + 1” in the consequent): consider the conditional “~(the winning ticket is in {}) ⊃ ~(the winning ticket is in {t1})”). As a result, failing to believe, for some ticket, that it will lose comes down to introducing a cut-off point in a chain of soritical premises. In this paper I explore the consequences of the different ways of blocking the Lottery Paradox with respect to the Cut-off Point Problem. A heap variant of the Lottery Paradox is especially relevant for evaluating the different solutions. One important result is that the most popular way out of the puzzle, i.e., denying the Lockean Thesis, becomes less attractive. Moreover, I show that, along with the debate on whether rational belief is closed under classical logic, the debate on the validity of modus ponens should play an important role in discussions on the Lottery Paradox. -/- . (shrink)

According to the Self-Location Thesis, certain types of visual experiences have self-locating and so first-person, spatial contents. Such self-locating contents are typically specified in relational egocentric terms. So understood, visual experiences provide support for the claim that there is a kind of self-consciousness found in experiential states. This paper critically examines the Self-Location Thesis with respect to dynamic-reflexive visual experiences, which involve the movement of an object toward the location of the perceiving subject. The main aim of this (...) paper is to offer an alternative interpretation of these cases which resists attributing them self-locating content, arguing for a replacement of the de se component with a non-conceptual equivalent of the indexical ‘here’. In its final section, the paper also considers an extension of the h-replacement account to cases of visual kinesthesis. (shrink)

The field of the philosophy of biology is flourishing in its aim to evaluate and rethink the view inherited from the previous century ---the Modern Synthesis. Different research areas and theories have come to the fore in the last decades in order to account for different biological phenomena that, in the first instance, fall beyond the explanatory scope of the Modern Synthesis. This thesis is anchored and motivated by this revolt in the philosophy of biology. -/- The central target (...) in this context is the possibility of naturalizing teleology, a classical nightmare for the history of biology itself. This requires, principally, understanding the causes of teleological explanations without assuming an unfashioned backward causation of sorts. As the riddles of teleological explanations are about their temporal dimension, I analyze different temporal scales of biological processes: evolutionary, developmental, and physiological. -/- The first one is the one defended in the context of the Modern Synthesis. As expected, one of the aims of this thesis is to evaluate the adequacy of an evolutionary account of teleological explanation. The scrutiny is negative. Evolutionary explanations in the context of the Modern Synthesis lack the necessary causal roots to naturalize teleology. Concerning the physiological scale, a long tradition pushed up by Kant and the organicist movement in the 20th century allows us to better understand how teleological explanations can be naturalized in physiological process. The key notions in this temporal scale are self-organization and the recursive, looped character of physiological process. While the physiological scale may be suitably accounted by contemporaries views, such as Autonomous Systems Theory, different central teleological phenomena remain unexplained from a purely physiological perspective. In particular, different issues concerning the (adaptive) construction of organism ---such as plasticity, robustness, variation, novelty, inheritance--- deserve an ontogenetic analysis. -/- The principal aim of this thesis is to provide a theory of teleological development that falls beyond the Modern Synthesis' framework and is prompted by different insights from the history of biology. I call it Agential Teleosemantics. It rests on two central pillars. First, that developmental processes, beyond any gene-centered stance, can be understood in informational terms; i.e. developmental processes are about the interaction of developmental resources conveying biological information. The second ingredient is agentivity, namely the idea that development is regulated by an agentive system according to the adaptiveness of the phenotypic outcomes produced. The role of agency in Agential Teleosemantic is equivalent to the role of genes in the Modern Synthesis: it is responsible for explaining the order and the adaptive complexity in the living realm. -/- The second target of this thesis regards the possibility of naturalizing intentional explanations in cognitive science. The central project involved in such an aim is known as teleosemantics. Classical teleosemantics however is etiological: it explains the teleofunctions of representational systems in terms of evolutionary processes. The different disputes in the contemporary philosophy of biology provide two insights to analyze teleosemantics in cognitive science. First, the challenges against the Modern Synthesis must be extended to the evolutionary approach of etiological teleosemantics. Second, as Agential Teleosemantics suggests an alternative source for teleofunctions ---ontogeny, I offer an attempt to integrate Agential Teleosemantics into cognitive science in order to provide an alternative teleosemantic project to understand intentional explanations in cognitive science. (shrink)

The Duhem-Quine Thesis is the claim that it is impossible to test a scientific hypothesis in isolation because any empirical test requires assuming the truth of one or more auxiliary hypotheses. This is taken by many philosophers, and is assumed here, to support the further thesis that theory choice is underdetermined by empirical evidence. This inquiry is focused strictly on the axiological commitments engendered in solutions to underdetermination, specifically those of Pierre Duhem and W. V. Quine. Duhem resolves (...) underdetermination by appealing to a cluster of virtues called 'good sense', and it has recently been argued by Stump (Stud Hist Philos Biol Biomed Sei, 18(1):149-159,2007) that good sense is a form of virtue epistemology. This paper considers whether Quine, who's philosophy is heavily influenced by the very thesis that led Duhem to the virtues, is also led to a virtue epistemology in the face of underdetermination. Various sources of Quinian epistemic normativity are considered, and it is argued that, in conjunction with other normative commitments, Quine's sectarian solution to underdetermination amounts to a skills based virtue epistemology. The paper also sketches formal features of the novel form of virtue epistemology common to Duhem and Quine that challenges the adequacy of epistemic value truth-monism and blocks any imperialist naturalization of virtue epistemology, as the epistemic virtues are essential to the success of the sciences themselves. (shrink)

There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, there is a principle that lies between these two (...) theses in terms of its relative strength: strong atomism, the claim that every maximal proper parthood chain terminates. Although strong atomism is equivalent to superatomism in classical extensional mereology, it is strictly weaker than it in strictly weaker systems in which parthood is a partial order. And it is strictly stronger than standard atomism in classical extensional mereology and, given the axiom of choice, in such strictly weaker systems as well. Though strong atomism has not, to my knowledge, been explicitly identified, Shiver appears to have it in mind, though it is unclear whether he recognizes that it is not equivalent to standard atomism in each of the mereologies he considers. I prove these logical relationships which hold amongst these three atomistic principles, and argue that, whether one adopts classical extensional mereology or a system strictly weaker than it in which parthood is a partial order, standard atomism is a more defensible addition to one’s mereology than either of the other two principles, and it should be regarded as the best formulation of the atomistic thesis. (shrink)

There is a current debate about the grammar of intention: do I intend to φ, or that I φ? The equivalent question in Aristotle relates especially to choice. I argue that, in the context of practical reasoning, choice, as also wish, has as its object an act. I then explore the role that this plays within his account of the relation of thought to action. In particular, I discuss the relation of deliberation to the practical syllogism, and the thesis (...) that the conclusion of the second is an action. (shrink)

In recent decades, behavioral sciences have introduced into economic theories of choice the image of weak willed individuals with limited rationality, whose decisions are affected by systematic errors. From here, theorists of libertarian paternalism originate the thesis of the possibility of State interventions that promote citizens’ welfare by conditioning their choices while, at the same time, safeguarding their freedom. The Author asserts that such a public promotion of individual welfare is equivalent to the transformation of the welfare State into (...) a paternalistic State and that its theorists aim to avoid the debate about the conflict between exercising liberty and containing the public expenditure which is necessary to protect social rights. (shrink)

This chapter considers the ‘hosting question’ of how immanent universals, in contrast to transcendent universals, are ‘brought down to earth’ from ‘Plato’s heaven’. It explores the thesis that the hosting amounts to their being constituents of the states of affairs that result from their instantiations. These states of affairs are concrete complexes consisting of particulars and universals, and perhaps something that links them together. The traditional view that immanent universals are concrete is briefly defended against a recent prominent objection. (...) On relationalism, states of affairs are unified by a relation of some sort; on non-relationalism they are unified non-relationally. Roughly, these two conceptions of states of affairs are equivalent to Armstrong’s relational and non-relational versions of immanent realism, respectively. Armstrong mostly criticises the former and defends the latter. It is argued, however, that relationalism, at least potentially, answers the hosting question, whereas non-relationalism realism does not. (shrink)

This chapter introduces the rationalist model of delusions. It begins by presenting John Campbell’s seminal proposal that delusions are caused top-down by pathological Wittgensteinian framework or hinge beliefs. After presenting Campbell’s rationalist account of delusions, the chapter raises and examines prominent objections by Tim Bayne & Elisabeth Pacherie as well as by Tim Thornton. The former make an important distinction between the aetiological top-down cognitive part and the epistemological rationalist framework part of Campbell’s account. The thesis that delusions are (...) caused top-down by pathological beliefs is not equivalent to the thesis that delusions are Wittgensteinian framework certainties. This chapter endorses this distinction. While the arguments against the top-down aspect are found to be more convincing – which motivates popular two-factor theories – the rationalist framework model of delusions is defended as an epistemologically promising account of delusion. Finally, this chapter examines a range of developments that have been made taking Campbell’s rationalism as a starting point. Most prominently the section examines Eilan’s early development of rationalism and Rhodes and Gipps’ proposal that delusions are not framework propositions but a product of their absence. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The validity (...) predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy (...) of mind, Bayesian perceptual psychology, and the program of natural language semantics in linguistics, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

In a recent paper, Brandon and Nijhout argue against genic selectionism—the thesis, roughly, that evolutionary processes are best understood from the gene’s-eye point of view—by presenting a case in which genic models of selection allegedly make predictions that conflict with the (correct) predictions of higher-level genotypic selection models. Their argument, if successful, would refute the widely held belief that genic models and higher-level models are predictively equivalent. Here, I argue that Brandon and Nijhout fail to demonstrate that the models (...) make incompatible predictions. (shrink)

Peter Milne has tried to refure Truthmaker Maximalism. the thesis that every truth has a truthmaker, by producing a simple and direct counterexample to it, the sentence M: This sentence has no truthmaker. I argue that, contrary to what Milne argues, on Truthmaker Maximalism M is equivalent to the Liar, which gives the truthmaker maximalist a way to defend his position from Milne's counterexample: to argue that M expresses no proposition.

The paper seeks to show that the period between the years 756 and 1031, a period officially recognized as the domination of the Umayyad dynasty in the Iberian Peninsula, saw the emergence of the most important movement for the recovery of classical Greek works known, and offered the foundations for the second Renaissance, the Italian. It also shows that translation is a process that can fundamentally alter original works, as they depend on the translator's interpretation, as well as the existence (...) of equivalent words and concepts in the language to be translated. Both problems were identified in the recovery of classical Greek works by the Toledo School of Translators. The result was that Italian Renaissance was, in fact based on what had been made available by the Toledo School of Translators, which confirms the thesis that the first Renaissance was the Islamic one and that the Italian Renaissance was a later movement. (shrink)

"Why are there 'transsexuals' but not 'transracials'?" "Why is there an accepted way to change sex, but not to change race?" I have repeatedly heard these questions from theorists puzzled by the phenomenon of transsexuality. Feminist thinkers, in particular, often seem taken aback that in the case of category switching the possibilities appear to be so different. Behind the question is sometimes an implicit concern: Does not the (hypothetical or real) example of individual “transracialism” seem politically troubling? And, if it (...) is, does not the case of transsexuality merit equivalent critique? Or, conversely, if one accepts transsexuals as people with legitimate demands (e.g., on medical resources or single-sex spaces), then would one not also be committed to accepting the putative transracial in analogous ways? Understanding the ontological constraints and possibilities with regard to transforming one’s identity is, I suggest, a project that should accompany ethical evaluation of those transformations. Under what circumstances is it (un)ethical to leave behind a gender or racial group with which one has once been affiliated? This question is, again, especially pressing for radical thinkers who endorse the claims that race and gender taxonomies are internally hierarchical and constituted through relations of oppression, domination, and normalization. Changing one’s identity under these circumstances will surely always be linked, however tenuously, to consideration of the larger political and cultural milieu in which such changes are advantageous or disadvantageous, complicit with oppressive norms and/or resistant to them. To illuminate these larger questions, in this paper, I first provide three examples of the analogy thesis in feminist thinking about race and sex change, each of which draws ethical conclusions about individual motivation, political strategy, or public policy, premised on the assumption that race and sex change are equivalent phenomena. None of these accounts consider the genealogy of each category as significant to contemporary possibilities. I next offer a descriptive analysis that highlights different norms at play in contemporary North American understandings: Sex–gender, I argue, is essentialized as a property of the individual’s body, while race is essentialized with reference to both the body and ancestry. This analysis, I conclude, shows politically significant disanalogies between the categories, and reveals the importance of genealogical accounts of race and sex in thinking ethically about changing ourselves. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine (...) – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

This paper critically explores Timothy Williamson’s view of evidence, and it does so in light of the problem of epistemic luck. Williamson’s view of evidence is, of course, a crucially important aspect of his novel and influential “knowledge-first” epistemological project. Notoriously, one crucial thesis of this project is that one’s evidence is equivalent to what one knows. This has come to be known as the E = K thesis. This paper specifically addresses Williamson’s knowledge-first epistemology and the E (...) = K thesis in the context of anti-luck epistemology and the idea that knowledge is factive. Williamson’s views on these matters are worth investigating in some detail because he subscribes to a well-worked out anti-luck view of knowledge that incorporates what is perhaps the most common anti-luck condition. But this paper is also of more general importance because the critique of Williamson’s views on these matters reveals some important things about the nature of evidence and evidence is one of the most fundamental concepts in epistemology. (shrink)

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...) objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily equivalent proposition (...) or concept. After potential counterexamples have been explained away, the paper then extends the analysis to a general analysis of mentality. Finally, a "transcendental" argument is given for the thesis that at least some mental relations must be logically and metaphysically basic. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s (...) class='Hi'>thesis. For this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

The monograph is an English, expanded and revised version of the book Cheshko, V. T., Ivanitskaya, L.V., & Glazko, V.I. (2018). Anthropocene. Philosophy of Biotechnology. Moscow, Course. The manuscript was completed by me on November 15, 2019. It is a study devoted to the development of the concept of a stable evolutionary human strategy as a unique phenomenon of global evolution. The name “An Evolutionary Metaphysics (Cheshko, 2012; Glazko et al., 2016). With equal rights, this study could be entitled “Biotechnology (...) as a result and factor of the evolutionary processˮ. The choice in favor of used “The Evolutionary Metaphysics of Human Enhancement Technologiesˮ was made in accordance with the basic principle of modern post-academician and human-sized science, a classic example of which is biotechnology. The “Metaphysics of Evolution” and “Evolutionary Metaphysics” concepts are used in several ways in modern philosophical discourse. In any case, the values contain a logical or associative reference to the teleological nature of the evolutionary process (Hull, 1967, 1989; Apel, 1995; Faye, 2016; Dupre, 2017; Rose, 2018, etc). In our study, the “evolutionary metaphysics” serves to denote the thesis of the rationalization and technologization of global evolution and anthropogenesis, in particular. At the same time, the postulate of an open future remains relevant in relation to the results of the evolutionary process. The theory of evolution of complex, including the humans system and algorithm for its constructing are а synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern science. ln other words, natural philosophy is regaining the status bar element theoretical science in the era of technology-driven evolution. The co-evolutionary concept of 3-modal stable evolutionary strategy of Homo sapiens is developed. The concept based оn the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined bу descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot bе instrumental reduced to others ones. Resulting volume of both parameters define the vectors of blological, social, cultural and techno-rationalistic human evolution Ьу two gear mechanism genetic and cultural co-evolution and techno-humanitarian balance. The resultant each of them сап estimated Ьу the ratio of socio-psychological predispositions of humanization / dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the blological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). It is seem necessary to make three clarifications. First, logical construct, “evolutionary metaphysics” contains an internal contradiction, because it unites two alternative explanatory models. “Metaphysics”, as a subject, implies deducibility of the process from the initial general abstract principle, and, consequently, the outcome of the development of the object is uniquely determined by the initial conditions. Predicate, “evolutionary”, means stochastic mechanism of realizing the same principle by memorizing and replicating random choices in all variants of the post-Darwin paradigm. In philosophy, random choice corresponds to the category of “free will” of a reasonable agent. In evolutionary theory, the same phenomenon is reflected in the concept of “covariant replication”. Authors will attempt to synthesize both of these models in a single transdisciplinary theoretical framework. Secondly, the interpretation of the term “evolutionary (adaptive) strategyˮ is different from the classical definition. The difference is that the adaptive strategy in this context is equivalent to the survival, i.e. it includes the adaptation to the environment and the transformation (construction) of the medium in accordance with the objectives of survival. To emphasize this difference authors used verbal construction “adaptiveˮ (rather than “evolutionaryˮ) strategy as more adequate. In all other cases, the two terms may be regarded as synonymous. Thirdly, the initial two essays of this series were published in one book in 2012. Their main goal was the development of the logically consistent methodological concept of stable adaptive (evolutionary) strategy of hominines and the argumentation of its heuristic possibilities as a transdisciplinary scientific paradigm of modern anthropology. The task was to demonstrate the possibilities of the SESH concept in describing and explaining the evolutionary prospects for the interaction of social organization and technology (techno-humanitarian balance) and the associated biological and cultural mechanisms of the genesis of religion (gene-cultural co-evolution). In other words, it was related to the sphere of cultural and philosophical anthropology, i.e. to the axiological component of any theoretical constructions describing the behavior of self-organizing systems with human participation. In contrast, the present work is an attempt to introduce this concept into the sphere of biological anthropology and, consequently, its main goal is to demonstrate the possibility of verification of its main provisions by means of procedures developed by natural science, i.e. refers to the descriptive component of the same theoretical constructions. The result of this in the future should be methods for assessing, calculating and predicting the risk of loss of biological and cultural identity of a person, associated with a permanent and continuously deepening process of development of science and technology. (shrink)

Each of us is a measure. The project of advocates of change in Plato’s Theaetetus as compared with sophistic thought -/- Summary -/- One of the most intriguing motives in Plato’s Theaetetus is its historical-based division of philosophy, which revolves around the concepts of rest (represented by Parmenides and his disciples) and change (represented by Protagoras, Homer, Empedocles, and Epicharmus). This unique approach gives an opportunity to reconstruct the views of marginalized trend of early Greek philosophy - so called „the (...) sophistic movement”. Paradoxically, previous research shows little interest in sophistic thought as a source of the standpoint of advocates of change („the secret doctrine”). The roots of „the secret doctrine” were investigated in the works of Heraclitus, Aristippus, and Antisthenes or those related to “neoheracliteanism”. However, researchers did not make any significant attempt to confront this concept with the contemporary research on the sophistic movement. The conviction that sophistry was primarily humanistically oriented was one of the main reasons why researches were opposed to the fact that „the secret doctrine” could represent a true expression of Protagoras’ views. This is why J. Burnet and F. M. Cornford in their seminal works assumed that “the secret doctrine” should be attributed to Plato, who simply combined a series of loose statements into one single project. In this work, we argue that the thesis which questions the parallels between the sophists’ interests and the philosophers of nature requires a significant revision. There is ample evidence to suggest that the philosophy of nature was a part of sophists’ research. This is supported by two main arguments. First, the tutors of sophists were philosophers of nature. Second, there are numerous sources that explicitly show sophists’ interest in the physical issues. These sources include anecdotal evidence about the fact that sophists wrote works On nature. There is also information confirming that they deliberated on detailed physical issues. The analogies between the concepts attributed to the advocates of change and our knowledge about sophists from other sources is very wide and contains most elements, which are included in the project of “changeable reality” presented in Theaetetus. The deliberations on the mechanism of perception, which are close to those of flux theory of perception in Theaetetus, are present in the sources referring to Gorgias of Leontinoi, the famous sophist and rhetorician. Also, the second element of “the secret doctrine” that is the metaphysics of flux matches up with what we know about the sophists’ views from other sources. On this basis, one can deduce that – contrary to the tradition which marginalized the role of sophistic considerations on the issue of being and non-being – it was one of the major subjects of sophistic research. Its main point was the criticism of the Eleatic conception of a single and unchangeable being, which also plays a key role in the doctrine of flux in Theaetetus. The epistemological theses which are presented in Theaetetus are borne out in sophistic sources. They include the definition of knowledge as perception, the „Man-measure” formula and a number of principles, which result from these foundational theses. Sophists’ empirical preferences resonate with the theses of the advocates of change in Theaetetus. Special attention that is given to the issues of differences among people, and even to cognitive differences in one person depending on the changeable states to which a person is subject, goes well together with what we know about reciprocal influence between the sophistry and medicine. The consequences of the epistemological conception present in Theaetetus have their equivalents in sophists’ works and other testimonies. An example of these consequences may be the abolition of truth and falsehood or the abolition of contradiction, which finds its expression in the thesis ouk estin antilegein. The analogies also concern reflections on the language itself. The project of the “new language” uses categories, which were developed by sophists. These include the antithesis of nomos and physis. The general intentions of this project reflect Protagoras’ ideas, at least to the extent to which they are known from the sources reporting his thoughts on language. Plato’s Theaetetus can thus be considered a veritable treasury of sophistic motifs. Even though the problem remains unsolved and one is still not able to unambiguously decide about the author of “the secret doctrine”, one can come to a certain conclusion – even if Plato synthesized various doctrines, he must have relied in his project mostly on the elements that he borrowed from sophists. Moreover, the value of reconstructing the project of the advocates of change in Theaetetus does not consist of mere enumeration of sophistic motifs. The dialogue is key to understanding the sophistic movement, whose separate doctrines – for the lack of sources and as a result of centuries-old disregard – are usually treated as rhetorical formulae that are interpreted in many ways and have no philosophical foundations. If it is really the case that the theses attributed to Protagoras in Theaetetus were actually a part or a derivative of Protagoras’ thought, or – speaking more conservatively – if they constitute a synthesis of sophistic thought done by Plato, they could represent philosophical foundations for the most important sophistic theses: the “Man-measure” formula, the ouk estin antilegein principle, the concept of language as a tool, the idea of the relativity of good and the whole practical sphere of sophists’ activity. Contrary to the views of many researchers, we are certain that the representatives of the sophistic movement did not limit themselves only to the application of practical rules, which determined the extent of their educational or rhetorical-political activity. They were capable of creating – indeed, they did create comprehensive projects that embraced the whole thematic scope subject to philosophical reflection. (shrink)

It seems that there is a general principle in Aristotle’s philosophy that ‘all things are referred to that which is primary (πὰντα πρὸς τὸ πρῶτον ἀναφέρεται).’ (Met., Γ, 1004a25-26) This referring relation, however, may be in a different way for each thing: ‘After distinguishing the various senses of each, we must then explain by reference to what is primary in each term, saying how they are related to it; some in the sense that they possess it, others in the sense (...) that they produce it…’ (Met., Γ, 1004a28-31) This general principle is asserted about: a) One: ‘All things which are one are referred to the primary one.’ (Met., Γ, 1004a26-27; 1005a6-7) As Aristotle always makes ‘one’ and ‘being’ close to each other subject of the same rules and attributes, he makes the subject of referring interchangeable as well: ‘It makes no difference whether that which is be referred to being or to unity. For even if they are not the same but different, they are convertible.’ (Met., K, 1061a15-18) b) The same. (Met., Γ, 1004a27) c) The contraries. (Met., Γ, 1004a28) d) Being, healthy and medical: It is a crucial thesis of Aristotle’s Metaphysics that being (τὸ ὄν) is said in referring to a primary being, that is substance. And to do this, he repeatedly takes ‘healthy’ and ‘medical’ as examples: ‘There are many ways in which a thing is said ‘being’ but they are referred to some one and unitary nature (πρὸς ἓν καὶ μίαν τινὰ φύσιν) but not homonymously. Everything which is healthy is related to health, one thing in the sense that it preserves health, another in the sense that it produces it, another in the sense that it is a symptom of health, another because it is capable of it. And that which is medical is relative to the medical art, one thing in the sense that it possesses it, another in the sense that it is naturally adopted to it, another in the sense that it is a function of medical art. So, too, there are many senses in which a thing is said to be, but all refer to one starting point; some things are said to be because they are substances, others because they are affections of substances, others because they are a process towards substances, or destructions or privations …’ (Met., Γ, 1003a33-b10; cf. K, 1060b36-1061a6; Z, 1030b2-3) Thus, all of the categories refer to the primary being, i.e. substance because ‘it is in virtue of the formation of substance that the others are said to be quantity and quality and the like; for all will be found to contain the formula of substance.’ (Met., Θ, 1045b27-30) Also, Aristotle speaks of becoming of all things referring to one common: ‘Everything that is may become referring to some one common nature.’ (Met., K, 1061a10-11) e) Contraries: all contraries refer to the primary differences and contraries: ‘Since everything that is may become referring to some one common nature, each of the contraries also may become referring to primary differences and contraries of being, whether the first differences of being are plurality any unity or likeness and unlikeness, or some other differences.’ (Met., K, 1061a10-15; cf Met., K, 1061b11-15; Met., Γ, 1005a6-8) f) Potentialities: ‘All potentialities that conform to the same type are starting points, and are called potentialities in reference to one primary kind. (Met., Θ, 1046a9-14) g) Soul and body refer to the same thing. (Met., H, 1043a35-37) 1) Referral unity versus universal unity Aristotle distinguishes referral (πρὸς ἓν) unity from the unity that is found in universal, which is the same in all of its instances: ‘If being or unity is not a universal and the same in every instance … the unity is in some cases that of referring to one (πρὸς ἓν), in some cases that of serial succession.’ (Met., Γ, 1005a8-11) Thus, we can say that the unity present in pros hen must be distinguished from the unity that is found in the instances of a universal: while in all of these instances the universal is the same, in those that are one by referring to the one, there is nothing which is the same in all. Aristotle says this also by using ‘based on one’ (καθ᾽ ἓν) and common: while in one the instances are one ‘based on one’ thing, they are one in the other by referring to one: ‘For not only in the case of things that are said based on one there is knowledge investigating one subject, but also in case of things that are said referring to one nature.’ Nonetheless, Aristotle thinks that ‘referring to one’ unity is somehow kind of ‘based on one’ unity: ‘For even that [i.e. being said ‘referring to one’] is a kind of being said based on one.’ (Met., Γ, 1003b12-15) In Nicomachean Ethics (1096b23-9) Aristotle opposes being derived from one thing to referring to one thing: ‘In what sense are different things called good? … Is it because they are all derivative of a single thing (ἀφ’ ἑνος εἶναι), or [i.e. equivalently] because they are all derived towards a single thing (πρὸς ἓν συντελεῖν) …? (See: EEt., H2, 1236a15-23) . (shrink)

In this article, I introduce the term “cognitivism” as a name for the thesis that degrees of belief are equivalent to full beliefs about truth-valued propositions. The thesis (of cognitivism) that degrees of belief are equivalent to full beliefs is equivocal, inasmuch as different sorts of equivalence may be postulated between degrees of belief and full beliefs. The simplest sort of equivalence (and the sort of equivalence that I discuss here) identifies having a given degree (...) of belief with having a full belief with a specific content. This sort of view was proposed in [C. Howson and P. Urbach, Scientific reasoning: the Bayesian approach. Chicago: Open Court (1996)].In addition to embracing a form of cognitivism about degrees of belief, Howson and Urbach argued for a brand of probabilism. I call a view, such as Howson and Urbach’s, which combines probabilism with cognitivism about degrees of belief “cognitivist probabilism”. In order to address some problems with Howson and Urbach’s view, I propose a view that incorperates several of modifications of Howson and Urbach’s version of cognitivist probabilism. The view that I finally propose upholds cognitivism about degrees of belief, but deviates from the letter of probabilism, in allowing that a rational agent’s degrees of belief need not conform to the axioms of probability, in the case where the agent’s cognitive resources are limited. (shrink)

Minimalists about truth contend that traditional inflationary theories systematically fail to explain certain facts about truth, and that this failure licenses a ‘reversal of explanatory direction’. Once reversed, they purport that their own minimal theory adequately explains all of the facts involving truth. But minimalists’ main objection to inflationism seems to misfire, and the subsequent reversal of explanatory direction, if it can be made sense of, leaves minimalism in no better explanatory position; and even if the objection were serviceable and (...) the reversal legitimate, minimalists’ adequacy thesis is still implausible. (shrink)