Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom (...) scheme of Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

In Emotions, Values & Agency, Christine Tappolet develops a sophisticated, perceptual theory of emotions and their role in wide range of issues in value theory and epistemology. In this paper, we raise three worries about Tappolet's proposal.

Gareth evans has proposed a type of case which shows that kripke's sketch of a causal theory of proper names is in need of modification. Kripke has himself suggested a way in which the modification might proceed, But I argue that this suggestion leads in the wrong direction. I consider a development of kripke's view by michael devitt which may overcome evans' case, But which is shown false by a different sort of case. The latter kind of case (...) also shows that a view of names recently proposed by donnellan is in need of revision. (shrink)

This paper is an attempt to situate Yorùbá proverbs, names, role-expectations, aspirations and consciousness towards building and contributing to the development of a national consciousness. The paper proceeds with a critical exposition of the general nature of Yorùbá proverbs, an exploration of the dialectical relationship between Yorùbá proverbs and names, and argues that this relationship instantiates a descriptivist theory of reference of names in the philosophy of language, with concluding particulars that critically espouses the values and (...) virtues embedded in selected Yorùbá proverbs and names. (shrink)

This paper presents an objection to the theory of names according to which what a name refers to is determined by a description that the speaker or writer associates with that name. Some names are associated with paradoxical descriptions. I use the reputations of Henry Sidgwick and J.M.E. McTaggart to illustrate this problem.

In “Naming and Necessity” Saul Kripke describes some cases which, he claims, provide counterexamples both to cluster theories and, more generally, to description theories of proper names. My view of these cases is that while they do not provide counterexamples to cluster theories, they can be used to provide evidence against single-description theories. In this paper I shall defend both of the claims involved in my view.

The supposition that Wittgenstein's Tractatus advances a certain metaphysics has given rise to a controversy over the ontological status of his Tractarian objects. It has been debated, for instance, whether these objects consist only of particulars or of both particulars and universals; whether they are physical, phenomenal, or phenomenological entities; and whether they correspond to Russell's objects of acquaintance or Kant's phenomena and substance. In this essay, I endorse Ishiguro's view that these objects, being formal concepts, are ontologically neutral and (...) thus are not identifiable with any ontological kind of entities. I elaborate on the coherence of this view with the propositional dependence of the meaning of Tractarian names. After showing why some arguments for ascribing a Russellian theory of meaning to these names do not work, I demonstrate why Ishiguro's account of Tractarian objects and names provides a better explanation of the unalterability of these objects. (shrink)

This is a defence of the claim that names are predicates with a demonstrative element in their singular use.

Presentation and comparison of the main causal theories of reference for proper names, and a proposal of a new approach based on the analogy of the causal chain of reference with the block chain from blockchain technology and Paul Ricœur's narrative theory. After a brief Introduction in which the types of sentences from the concept of possible worlds are reviewed, and an overview of the theory in the Causal Theory of Reference, I present the causal (...) class='Hi'>theory of the reference proposed by Saul Kripke, then two hybrid causal theories developed by Gareth Evans and Michael Devitt. In the section Blockchain and the causal tree of reference I present my idea of developing a new causal theory of reference for proper names through a causal tree of reference. In the Conclusions I talk about the further development of the ways in which the terms of reference could refer to certain objects and individuals, the main criticisms of the causal theories, and suggestions for future development. -/- CONTENTS: -/- Abstract Introduction 1. The causal theory of reference 2. Saul Kripke 3. Gareth Evans 4. Michael Devitt 5. Blockchain and the causal tree of reference Conclusions Bibliografie -/- DOI: 10.13140/RG.2.2.26330.90562 . (shrink)

This dissertation sets out to answer the question ''What fixes the semantic values of context-sensitive referential terms—like names, demonstratives, and pronouns—in context?'' I argue that it is the speaker's intentions that play this role, as constrained by the conventions governing the use of particular sorts of referential terms. These conventions serve to filter the speaker's intentions for just those which meet these constraints on use, leaving only these filtered-for intentions as semantically relevant. By considering a wide range of cases, (...) including many involving confused and deceptive speakers, I argue that this 'constraint theory' provides a better account of linguistic reference than does any extant alternative, whether intentionalist or non-intentionalist. Along the way, I argue that semantics cannot depend on the reactions of idealized listeners, that speaker meaning is far less clear, and helpful, a notion than it is standardly taken to be, and that speakers needn't aim to be cooperative in order to fix the meaning of their terms in context. (shrink)

This paper examines to what extent Davidsonian truth-theoretic semantics can give an adequate account for empty names in natural languages. It argues that the prospect is dim because of a tension between metaphysical austerity, non-vacuousness of theorems and empirical adequacy. Sainsbury (2005) proposed a Davidsonian account of empty names called ‘Reference Without Referents’ (RWR), which explicates reference in terms of reference-condition rather than referent, thus avoiding the issue of existence. This is an inspiring account. However, it meets several (...) difficulties. First, there is no non-vacuous, interpretive truth-condition available for any T-sentence containing an empty name, because by stipulation there is no way to compose a true atomic sentence using an empty name in RWR. The absence of an interpretive truth-condition implies the absence of an interpretive reference-condition. It also entails empirical inadequacy to support an interpretation because the related propositional attitude can never be truly satisfied. These considerations cast doubt on whether truth is the proper vehicle to articulate meaning. This paper suggests that we can alleviating the problem by employing truth-conditions varying across contexts of utterance, rather than just contexts of evaluation. The result is a two-dimensional model-theoretic approach to empty names. It involves a new function coined counterfactual reference and the account is compatible with both descriptivism and Millianism. (shrink)

In this paper, I want to show that, far from being incompatible, a Predicate Theory of proper names and the Direct Reference thesis can be combined in a syncretistic account. There are at least three plausible such accounts – one which compares proper names in their referential use to referentially used proper definite descriptions, another one that compares them in this use to demonstratives, and a third one which, although it is as indexicalist as the second one, (...) conceives proper names in this use as a sui generis form of indexicals, indexinames. Finally, I will try to give both technical and substantive reasons as to why the third account is to be preferred to the other two. (shrink)

forthcoming in Philosophy and Phenomenological Research.

In this paper I argue for a syncretistic theory of depiction, which combines the merits of the main paradigms which have hitherto faced themselves on this issue, namely the perceptualist and semioticist approaches. The syncretistic theory indeed takes from the former its stress on experiential factors and from the latter its stress on conventional factors. But the theory is even more syncretistic than this, for the way it accounts for the experiential factor vindicates several claims defended by (...) different perceptualist theories. In a nutshell, according to the syncretistic theory a picture depicts its subject iff i) it is transformed into an entity-cum-meaning and ii) one has the twofold experience of seeing that subject in the picture qua noninterpreted entity, the image, just in case one consciously misrecognizes it in consciously seeing that image, for that subject resembles the image in some grouping properties (originally labelled Gestalt-qualities in psychology). By appealing to objective resemblance in grouping properties, the theory can vindicate what are nowadays taken to be the most neglected doctrines in the perceptualist camp: objective resemblance theories. By appealing, moreover, to conscious misrecognition, the theory not only squares with both the seeing-in and the recognition theories of depiction, but it also shows the grain of truth in illusion theories of depiction, since conscious misrecognition is a kind of perceptual illusion. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

Nietzsche is not known for his theory of empathy. A quick skimming of the Stanford Encyclopedia of Philosophy entry on empathy demonstrates this. Arthur Schopenhauer, Robert Vischer, and Theodor Lipps are among those whose views are considered representative, but Nietzsche has been simply forgotten in discussion of empathy. Nietzsche’s theory of empathy has not yet aroused sufficient interest among commentators. I believe that his views on this subject merit careful consideration. Nietzsche scholars have been interested in his naturalistic (...) accounts of other phenomena, but there seems to be relatively limited interest in his naturalistic account of a phenomenon that is so central to his disagreement with Schopenhauer, namely, empathic concern for others. This is surprising because Nietzsche makes a valuable contribution; he has views more in keeping with contemporary theories of empathy than others of his time. My goal here is to fill in this gap in the scholarship and provide the first thorough analysis of Nietzsche’s theory of empathy, which appears most clearly in Dawn. (shrink)

The paper seeks to develop an account of indexical phenomena based on the highly general theory of structure and dependence set forth by Husserl in his Logical Investigations. Husserl here defends an Aristotelian theory of meaning, viewing meanings as species or universals having as their instances certain sorts of concrete meaning acts. Indexical phenomena are seen to involve the combination of such acts of meaning with acts of perception, a thesis here developed in some detail and contrasted with (...) accounts of indexicals suggested by Frege, Wittgenstein and by the later Husserl himself in his Ideas I. Implications are drawn also for our understanding of the categorial grammar sketched by Husserl in his 4th Logical Investigation, as also for our understanding of the nature of proper names and other candidate indexical expressions. (shrink)

In this chapter, we defend the view that Davidson aimed not to replace the theory of meaning with the theory of truth, or to capture only certain features of the ordinary notion of meaning for certain theoretical purposes, but rather to pursue the traditional project of explaining in the broadest terms “what it is for words to mean what they do” through a clever bit of indirection, namely, by exploiting the recursive structure of a Tarskian‐style truth theory, (...) which meets certain constraints in an illuminating way, to generate theorems that give truth conditions for object language sentences that at the same time provide interpretations of them. (shrink)

The English Synopsis is after the text of the book. The book presents an original and generalizing substantive vision of the philosophy of science through the prism of a detailed analysis of the polysystem structure of scientific theories. Theories are considered, firstly, as complex specialized forms of developed scientific thinking about the realities studied by natural science, secondly, as constantly improving tools for producing new knowledge in interaction with experimental research, and thirdly, as carriers of ordered and verified knowledge. Emphasis (...) is placed on their nominal and ontic subsystems. The book develops personal and joint research of the authors (theoretical physicist and philosopher), the experience of teaching philosophy of physics at NaUKMA, philosophy of science at the Higher School of Philosophy at the H. Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine and theoretical physics at the National Technical University "Ihor Sikorsky Kyiv Polytechnic Institute". The research is based on a significant source base covering works of modern Western researchers in natural science and philosophy of science. For students, teachers, and scientists who are interested in the problems of modern philosophy of science and have a certain amount of scientific knowledge. It will also be useful for high school students who are eager to become scientists. (shrink)

Contemporary evolutionary biology comprises a plural landscape of multiple co-existent conceptual frameworks and strenuous voices that disagree on the nature and scope of evolutionary theory. Since the mid-eighties, some of these conceptual frameworks have denounced the ontologies of the Modern Synthesis and of the updated Standard Theory of Evolution as unfinished or even flawed. In this paper, we analyze and compare two of those conceptual frameworks, namely Niles Eldredge’s Hierarchy Theory of Evolution (with its extended ontology of (...) evolutionary entities) and the Extended Evolutionary Synthesis (with its proposal of an extended ontology of evolutionary processes), in an attempt to map some epistemic bridges (e.g. compatible views of causation; niche construction) and some conceptual rifts (e.g. extra-genetic inheritance; different perspectives on macroevolution; contrasting standpoints held in the “externalism–internalism” debate) that exist between them. This paper seeks to encourage theoretical, philosophical and historiographical discussions about pluralism or the possible unification of contemporary evolutionary biology. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the (...) nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

A comparison of disjunctive theories of action and perception. The development of a theory of action that warrants the name, a disjunctive theory. On this theory, there is an exclusive disjunction: either an action or an event (in one sense). It follows that in that sense basic actions do not have events intrinsic to them.

This chapter will argue that the criminal law is most compatible with a specific theory regarding the mind/body relationship: non-eliminative reductionism. Criminal responsibility rests upon mental causation: a defendant is found criminally responsible for an act where she possesses certain culpable mental states (mens rea under the law) that are causally related to criminal harm. If we assume the widely accepted position of ontological physicalism, which holds that only one sort of thing exists in the world – physical stuff (...) – non-eliminative reductive physicalism about the mind offers the most plausible account of the full-bodied mental causation criminal responsibility requires. Other theories of the mind/body relationship, including elminativism and non-reductive physicalism, threaten criminal responsibility because they do not offer satisfactory accounts of mental causation. Eliminativism, as the name implies, eliminates the mental or is skeptical that it can do the causal work necessary to responsibility; and non-reductive theories disconnect the mental from the physical/casual world such that the mental can no longer have reliable causal effects. (shrink)

The dispute between realists about color and anti-realists is actually a dispute about the nature of color properties. The disputants do not disagree over what material objects are like. Rather, they disagree over whether any of the uncontroversial facts about material objects--their powers to cause visual experiences, their dispositions to reflect incident light, their atomic makeup, and so on--amount to their having colors. The disagreement is thus about which properties colors are and, in particular, whether colors are any of the (...) properties in a particular set that is acknowledged on both sides to exhaust the properties of material objects. In a previous paper we discussed at length one attempt to identify colors with particular properties of material objects--namely, with their dispositions to cause visual experiences. Here we shall discuss a different and perhaps more influential version of realism, which says that the colors of material objects are microphysical properties of their surfaces. We shall call this theory physicalism about color (physicalism, for short). In order to evaluate this theory, however, we shall first have to clarify some methodological issues. Our hope is that we can bring some further clarity to the question of color realism, whether or not we succeed in our critique of the physicalists' answer. (shrink)

If science fiction is a genre, then attempts to think about the nature of science fiction will be affected by one’s understanding of what genres are. I shall examine two approaches to genre, one dominant but inadequate, the other better, but only occasionally making itself seen. I shall then discuss several important, interrelated issues, focusing particularly on science fiction : what it is for a work to belong to a genre, the semantics of genre names, the validity of attempts (...) to define genres, and the connections between genre and normativity. One important but neglected clue to the nature of genres lies in the kinds of disagreements they generate over the assignment of works to genres. I conclude by explaining why these disagreements tell us something about the nature of genres, and discussing in some detail two famous cases of disagreement about whether some work or works are science fiction. (shrink)

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or (...) cognizing, an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

This paper provides a brief introduction to quantum theory and the proceeds to discuss the different ways in which the relationship between quantum theory and mind/consciousness is seen in some of the main alternative interpretations of quantum theory namely by Bohr; von Neumann; Penrose: Everett; and Bohm and Hiley. It briefly considers how qualia might be explained in a quantum framework, and makes a connection to research on quantum biology, quantum cognition and quantum computation. The paper notes (...) that it is widely agreed that conscious experience has dynamical and holistic features. It asks whether these features might in some way be a reflection of the dynamic and holistic quantum physical processes associated with the brain that may underlie (and make possible) the more mechanistic neurophysiological processes that contemporary cognitive neuroscience is measuring. If so, these macroscopic processes would be a kind of shadow, or amplification of the results of quantum processes at a deeper (pre-spatial or "implicate") level where our minds and conscious experience essentially live and unfold. The macroscopic, mechanistic level is of course necessary for communication, cognition and life as we know it, including science; but perhaps the experiencing (consciousness) of that world and the initiation of our actions takes place at a more subtle, non-mechanical level of the physical world, which quantum theory has begun to discover. At the very least a quantum perspective will help a “classical” consciousness theorist to become better aware of some of the hidden assumptions in his or her approach. Given that consciousness is widely thought to be a “hard” problem, its solution may well require us to question and revise some of our assumptions that now seem to us completely obvious. This is what quantum theory is all about – learning, on the basis of scientific experiments, to question the “obvious” truths about the nature of the physical world and to come up with more coherent alternatives. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally (...) distinguishes knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Could Christians and Muslims be referring to the same God? For an account of the reference of divine names, I follow Bogardus and Urban (2017) in advocating in favour of using Gareth Evans’s causal theory of reference, on which a name refers to the dominant source of information in the name’s “dossier”. However, I argue further that information about experiences, in which God is simply the object of acquaintance, can dominate the dossier. Thus, this demonstrative use of (...) class='Hi'>names offers a promising alternative avenue by which users of the divine names can refer to the same referent despite having different conceptions of God. I also respond to Burling’s (2019) worship-worthiness view. (shrink)

In this chapter, I consider contemporary consequentialist theories of punishment. Consequentialist theories of punishment look to the consequences of punishment to justify the institution of punishment. Two types of theories fall into this category—teleology and aggregationism. I argue that teleology is implausible as it is based on a problematic assumption about the fundamental value of criminal punishment, and that aggregationism provides a more reasonable alternative. Aggregationism holds that punishment is morally justified because it is an institution that helps society to (...) aggregate important moral values. Several theories fall into this category, including general deterrence theories, specific deterrence theories, and preventionism. I critically evaluate these theories and argue that only one specific deterrence theory, namely, my rights-protection theory, provides the most reasonable consequentialist account of punishment. (shrink)

This article explores the implicit theories of morality, or the conceptions regarding the patterns of stability, continuity and change in moral dispositions, both in lay and academic discourses. The controversies surrounding these conceptions and the fragmentation of the models and perspectives in metaethics and moral psychology endangers the pursuit of adequate operationalizations of morally relevant constructs. The current debate between situationists, who deny that character is an useful concept for understanding human behavior, which is better explained by contextual factors (Doris (...) 1998; Harman 1998) and dispositionists, who advocate the cross-situational stability of traits, is also present in the lay discourse, through the existence of competing commonsense ontological assumptions regarding the mutability or alterability of moral features, namely the implicit theories perspective (Chiu, Dweck, Tong, & Fu 1997). These personal theories are primary suspects in the affective and cognitive reactions to transgressions: the type of attended information in formulating evaluative judgments, the calibration of moral responsibility and blameworthiness, the assignment of retribution or reparatory recommendations to transgressors. In the second part of the study we attempt to advance toward a more fine-grained inspection of these lay beliefs, arguing that the construct of implicit theories of morality, as it is currently treated and measured, tends to be restrictive and oversimplifying. (shrink)

In this discussion paper, I argue that no theory of consciousness can simultaneously respect four initially plausible metaphysical claims – namely, “first-person realism”, “non-solipsism”, “non-fragmentation”, and “one world” – but that any three of the four claims are mutually consistent. So, theories of consciousness face a “quadrilemma”. Since it will be hard to achieve a consensus on which of the four claims to retain and which to give up, we arrive at a landscape of competing theories, all of which (...) have pros and cons. I will briefly indicate which kinds of theories correspond to the four horns of the quadrilemma. (shrink)

Gareth Evans, in The Causal Theory of Names, states that the causal theory of reference needs to be expanded to include what he calls multiple "bases". After the initial baptism, the use of the name in the presence of the person can, under the right circumstances, be considered as reinforcing the name in its referent. For those who are in direct contact with the person, the reference for the expression of the name is solved by means of (...) a causal chain that includes people who knew him during the "baptism", or by indexing the person to the name at the time of communication. DOI: 10.13140/RG.2.2.28651.08484 . (shrink)

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need (...) an empty name in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

This paper develops an endurantist theory of persistence. The theory is built around one basic tenet, which concerns existence at a time – the relation between an object and the times at which that object is present. According to this tenet, which I call transcendentism, for an object to exist at a time is for it to participate in events that are located at that time. I argue that transcendentism is a semantically grounded and metaphysically fruitful. It is (...) semantically grounded, insofar as a semantic analysis of our temporal talk favors it over rivals. It is metaphysically fruitful, insofar as the theory of persistence that can be built around it – the transcendentist theory of persistence, to give it a name – requires neither temporal parts nor the problematic commitments to which all extant forms of endurantism are committed, such as the possibility of extended simples or multilocation. (shrink)

The entry provides an overview of current (2021) theories of reference as well as bibliographical information about the key books and/or articles that discuss each theory.

A philosophical study of the nature, types and conditions of knowledge, namely belief, truth, and justification. It discusses the most prominent theories presented by contemporary philosophers in the analysis of these conditions. It answers questions related to understanding, interpretation and scientific knowledge. The most important branches of contemporary epistemology are deepened, such as naturalistic epistemology and social epistemology. Moreover, the author addresses the concepts of knowledge through linguistic and logical analysis. He defends a vision of philosophy as a conceptual clarification (...) as well as a natural tendency. It offers an epistemological doctrine called moderate naturalism, which comes in the form of a moderate form of scientism. دراسة فلسفية لطبيعة المعرفة، وأنواعها، وشروطها وهي الاعتقاد، والصدق، والتسويغ. ويناقش أبرز النظريات التي قدمها الفلاسفة المعاصرون في تحليل هذه الشروط. ويجيب عن الأسئلة المتعلقة بالفهم والتفسير والمعرفة العلمية. ويتعمق أهم فروع الإبستمولوجيا المعاصرة مثل الإبستمولوجيا الطبيعية والإبستمولوجيا الاجتماعية زد على ذلك أن المؤلف يعالج مفاهيم المعرفة من خلال التحليل اللغوي والمنطقي. ويدافع عن رؤية للفلسفة بوصفها توضيحا مفهوميًّا بالإضافة إلى نزعة طبيعية. ويقدم مذهبًا إبستمولوجيًّا سماه المذهب الطبيعي المعتدل، يأتي فى إطار صورة معتدلة من النزعة العلمية RELATED PRODUCTS . (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an (...) alternative interpretation of first-level function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

This paper shows that several live philosophical and scientific hypotheses – including the holographic principle and multiverse theory in quantum physics, and eternalism and mind-body dualism in philosophy – jointly imply an audacious new theory of free will. This new theory, "Libertarian Compatibilism", holds that the physical world is an eternally existing array of two-dimensional information – a vast number of possible pasts, presents, and futures – and the mind a nonphysical entity or set of properties that (...) "read" that physical information off to subjective conscious awareness (in much the same way that a song written on an ordinary compact-disc is only played when read by an outside medium, i.e. a CD-player). According to this theory, every possible physical “timeline” in the multiverse may be fully physically deterministic or physically-causally closed but each person’s consciousness still entirely free to choose, ex nihilo, outside of the physical order, which physically-closed timeline is experienced by conscious observers. Although Libertarian Compatibilism is admittedly fantastic, I show that it not only follows from several live scientific and philosophical hypotheses, I also show that it (A) is a far more explanatorily powerful model of quantum mechanics than more traditional interpretations (e.g. the Copenhagen, Everett, and Bohmian interpretations), (B) makes determinate, testable empirical predictions in quantum theory, and finally, (C) predicts and explains the very existence of a number of philosophical debates and positions in the philosophy of mind, time, personal identity, and free will. First, I show that whereas traditional interpretations of quantum mechanics are all philosophically problematic and roughly as ontologically “extravagant” as Libertarian Compatibilism – in that they all posit “unseen” processes – Libertarian Compatibilism is nearly identical in structure to the only working simulation that human beings have ever constructed capable of reproducing (and so explaining) every general feature of quantum mechanics we perceive: namely, massive-multiplayer-online-roleplaying videogames (or MMORPGs). Although I am not the first to suggest that our world is akin to a computer simulation, I show that existing MMORPGs (online simulations we have already created) actually reproduce every general feature of quantum mechanics within their simulated-world reference-frames. Second, I show that existing MMORPGs also replicate (and so explain) many philosophical problems we face in the philosophy of mind, time, personal identity, and free will – all while conforming to the Libertarian Compatibilist model of reality. -/- I conclude, as such, that as fantastic and metaphysically extravagant as Libertarian Compatibilism may initially seem, it may well be true. It explains a number of features of our reality that no other physical or metaphysical theory does. (shrink)

Husserl’s early picture of explanation in the sciences has never been completely provided. This lack represents an oversight, which we here redress. In contrast to currently accepted interpretations, we demonstrate that Husserl does not adhere to the much maligned deductive-nomological (DN) model of scientific explanation. Instead, via a close reading of early Husserlian texts, we reveal that he presents a unificationist account of scientific explanation. By doing so, we disclose that Husserl’s philosophy of scientific explanation is no mere anachronism. It (...) is, instead, tenable and relevant. We discuss how Husserl and other contemporary thinkers draw theoretical inspiration from the same source—namely, Bernard Bolzano. Husserl’s theory of scientific explanation shares a common language and discusses the same themes as, for example, Phillip Kitcher and Kit Fine. To advance our novel reading, we discuss Husserl’s investigations of grounding, inter-lawful explanation, intra-mathematical explanation, and scientific unification. (shrink)

Sophocles’ Oedipus the King is an extended meditation on the limits of human intelligence, or more precisely, on how a man renowned for the power of his intellect could fail to know the most important truths. One could argue, however, that Sophocles intended for his audiences to take away a second, narrower lesson: namely that divinely inspired seers such as Tiresias have a surer claim on truth than do those who, like Oedipus, seek to gain knowledge through their own efforts. (...) Thus, the Oedipus can be seen as a defense of prophecy and a reaction against the complex of scientific and philosophical ideas known as “the 5th-century Enlightenment.” I offer some support for this reading of the Oedipus. I also argue that part of the cultural background of the Oedipus consisted of ideas about knowledge introduced into Greek thought by the outspoken critic of Greek popular religion, Xenophanes of Colophon. (shrink)

We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, namely, (...) Priest's Collapsing Lemma and Dunn's Theorem in 3-Valued Logic. (shrink)

The artefacts produced by artists during their creation of works of art are very various: paintings, writings, musical scores, and so on. I have a general thesis to offer about the relations of artefacts and artworks, but within the confines of this article I shall mainly discuss cases drawn from the art of painting, central specimens of which seem to be autographic in Nelson Goodman's sense, namely such that even the most exact duplication of them does not count as producing (...) the same work of art. My view will be that an artwork (such as a painting) and its associated artefact are not identical, and nor is the artefact in any sense part of the painting in question,2 but that nevertheless it is still possible to maintain the view that paintings are autographic (which view I shall call l the autographic thesis). I shall proceed initially through presentation of some counter-examples to common assumptions as to the relations of artefacts and artworks, and then present an alternative 'representational' theory of their relations. (shrink)

Is knowledge consistent with literally any credence in the relevant proposition, including credence 0? Of course not. But is credence 0 the only credence in p that entails that you don’t know that p? Knowledge entails belief (most epistemologists think), and it’s impossible to believe that p while having credence 0 in p. Is it true that, for every value of ‘x,’ if it’s impossible to know that p while having credence x in p, this is simply because it’s impossible (...) to believe that p while having credence x in p? If so, is it possible to believe that p while having (say) credence 0.4 in p? These questions aren’t standard epistemological fare, at least in part because many epistemologists think their answers are obvious, but they have unanticipated consequences for epistemology. Let ‘improbabilism’ name the thesis that it’s possible to know that p while having a credence in p below 0.5. Improbabilism will strike many epistemologists as absurd, but careful reflection on these questions reveals that, if improbabilism is false, then all of the most plausible theories of knowledge are also false. Or so I argue in this paper. Since improbabilism is widely rejected by epistemologists (at least implicitly), this paper reveals a tension between all of the most plausible theories of knowledge and a widespread assumption in epistemology. (shrink)

Language theorists have recently come to have an increasing appreciation for the fact that context contributes heavily in determining our interpretation of what is said. Indeed, it now seems clear that no complete understanding of a natural language is possible without some account of the way in which context affects our interpretation of discourse. In this paper, I will attempt to explore one facet of the language – context relationship, namely, the relation between conditionals and context. The first part of (...) the paper develops an account of truth for conditionals which allows them to depend on momentary features of the context in which they are uttered. In the second half of the paper, comparisons with other recent theories of the conditional will be considered. Particular attention will be given to the problem of whether the conditional really violates classical inferences such as Hypothetical Syllogism and Contraposition as has often been claimed in recent years. (shrink)

Recently, an information-theoretic structural realist theory of the self and consciousness has been put forward (Beni, M. D. 2019. Structuring the Self, Series New Directions in Philosophy and Cognitive Science. Palgrave Macmillan). The theory is presented as a form of panpsychism. I argue against this interpretation and show that Beni’s structuralist theory runs into the hard problem of consciousness, in a similar way as the Integrated Information theory of consciousness. Since both of these theories are structuralist (...) and based on the notion of information, I propose to use a solution that has been employed for Integrated Information Theory, namely introducing the distinction between extrinsic and intrinsic structure and dynamics (intrinsic information and intrinsic structure). Making these metaphysical enhancements to Beni’s structuralist theory of consciousness will give the theory a better chance of overcoming the hard problem. In terms of the metaphysics of consciousness, it takes us beyond physicalism. I then suggest that the information-theoretic structuralist theory of consciousness should, instead of panpsychism and physicalism, be combined with neutral monist ontology which is a better fit. These reworkings could lead to an improved naturalistic account of consciousness – the neutral-structuralist theory of consciousness and the self. (shrink)

This paper is a contribution to the historical roots of the analytical tradition. As Michael Dummett points out in his Origins of Analytic Philosophy, many tendencies in Central European thought contributed to the early development of analytic philosophy. Dummett himself concentrates on just one aspect of this historical complex, namely on the relationship between the theories of meaning and reference developed by Frege and by Husserl in the years around the turn of the century. It is to this specific issue (...) that the present essay is devoted, though we attempt a more sympathetic reading of Husserl's views on these matters than is to be found in Dummett’s work. Topics covered include Husserl’s theory of intentionality, his view of meanings as types or essences of mental acts, of the relation between meaning and expression, of states of affairs, and of indexicality. (shrink)

Since the 1960s, Kripke has been a central figure in several fields related to mathematical logic, language philosophy, mathematical philosophy, metaphysics, epistemology and set theory. He had influential and original contributions to logic, especially modal logic, and analytical philosophy, with a semantics of modal logic involving possible worlds, now called Kripke semantics. In Naming and Necessity, Kripke proposed a causal theory of reference, according to which a name refers to an object by virtue of a causal connection with (...) the object, mediated by the communities of speakers. DOI: 10.13140/RG.2.2.26557.20964. (shrink)

The ambiguity theory of ‘knows’ is the view that ‘knows’ and its cognates have more than one sense, and that which sense of ‘knows’ is used in a knowledge ascription or denial determines, in part, the meaning (and as a result the truth conditions) of that knowledge ascription or denial. In this paper, I argue that the ambiguity theory of ‘knows’ ought to be taken seriously by those drawn to epistemic contextualism. In doing so I first argue that (...) the ambiguity theory of ‘knows’ is a distinct view from epistemic contextualism. Second, I provide independent philosophical and linguistic considerations to motivate the ambiguity theory. Third, I argue that the ambiguity theory has the same central, generally agreed upon virtues ascribed to epistemic contextualism (namely, the ability to solve certain persistent epistemological problems relating to skeptical arguments and the ability to preserve the truth of most of our everyday, ordinary usages of ‘knows’ and its cognates). Finally, I provide an ambiguity-theory-friendly account of why contextualism may be initially appealing, and why this shouldn’t dissuade us from taking the ambiguity theory seriously nonetheless. (shrink)