This document consists primarily of excerpts (chapters 5 and 7-9) from the author’s book From Brain to Cosmos. These excerpts address some traditional philosophical problems about temporal flux and identity through time, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).

This document consists primarily of an excerpt (chapter 6) from the author’s book From Brain to Cosmos. That excerpt presents an analysis of the problem of knowledge of other minds, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).

This document consists primarily of an excerpt (chapter 5) from the author’s book From Brain to Cosmos. That excerpt presents an analysis of personal identity through time, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).

This document consists primarily of an excerpt (chapter 4) from the author’s book From Brain to Cosmos. That excerpt presents a study of a specific problem about knowledge: the logical justification of one’s knowledge of the immediate past. (This document depends heavily upon the concept of subjective fact that the author developed in chapters 2 and 3 of From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read those chapters first. See the last page of this (...) document for details on how to obtain those chapters.). (shrink)

This document consists primarily of excerpts (chapters 5 and 10-12) from the author’s book From Brain to Cosmos. These excerpts address several traditional problems about the histories of conscious subjects, using the concept of subjective fact that the author developed earlier in the book. Topics include the persistence of conscious subjects through time, the unity or disunity of the self, and the possibility of splitting conscious subjects. (These excerpts depend heavily upon the author’s concept of subjective fact as developed in (...) From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of that book first. See the last page of this document for details on how to obtain those chapters.). (shrink)

This document consists primarily of an excerpt (chapter 13) from the author’s book From Brain to Cosmos. In that excerpt, the author presents a study of the notion of truth using the concept of subjective fact developed earlier in the book. The author argues that mind-body materialism is compatible with certain forms of metaphysical idealism. The chapter closes with some remarks on relativism with regard to truth. (This document depends heavily upon the concept of subjective fact developed in From Brain (...) to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.). (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

In the last decade the enterprise of formal semantics has been under attack from several philosophical and linguistic perspectives, and it has certainly suffered from its own scattered state, which hosts quite a variety of paradigms which may seem to be incompatible. It will not do to try and answer the arguments of the critics, because the arguments are often well-taken. The negative conclusions, however, I believe are not. The only adequate reply seems to be a constructive one, which puts (...) several pieces of formal semantics, in particular dynamic semantics, together again.In this paper I will try and sketch an overview of tasks, techniques, and results, which serves to at least suggest that it is possible to develop a coherent overall picture of undeniably important and structural phenomena in the interpretation of natural language. The idea is that the concept of meanings as truth conditions after all provides an excellent start for an integrated study of the meaning and use of natural language, and that an extended notion of goal directed pragmatics naturally complements this picture. None of the results reported here are really new, but we think it is important to re-collect them. (shrink)

The current discussion of the intentionality nature has become more sophisticated and complex. In this paper I will delineate a number of approaches to intentionality in contemporary philosophy: 1 mentalistic; 2 semantic / linguistic; 3 pragmatic; 4 somatic; 5 and naturalistic. Although philosophers identify and analyse many concepts of intentionality, from the author point of view, there is only one intentionality: mentalistic intentionality. Furthermore, there are the pre-intentionality in the physical world and the meta-intentionality in the world of culture.

We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

In this paper I argue that it’s impossible for there to be a single universal theory of meaning for a language. First, I will consider some minimal expressiveness requirements a language must meet to be able to express semantic claims. Then I will argue that in order to have a single unified theory of meaning, these expressiveness requirements must be satisfied by a language which the semantic theory itself applies to. That is, we would need a language which can express (...) its own meaning. It has been well-known since Tarski that theories of meaning whose central notion is truth can’t be expressed in a language which they apply to. Here, I develop Quine’s formulation of the Liar Paradox in grammatical terms and use this to extend Tarski’s result to all theories of meaning. This general version of the paradox can be formalised as a special case of the Lawvere Fixed-Point Theorem applied to a categorial grammar. Taken together with the initial arguments, I infer that a universal theory of meaning is impossible and conclude the paper with a brief discussion on what alternatives are available. (shrink)

In his Lectures on the History of Philosophy, Hegel develops a subtle analysis of Megarian paradoxes: the Liar, the Veiled Man and the Sorites. In this paper, we focus on Hegel's interpretation of...

Following up on its predecessor in this Journal, the article defends philosophy as a guide to making and analyzing art; identifies Cubist solutions to the Prometheus Challenge, including a novel analysis of Picasso’s Les Demoiselles d’Avignon; defines a new concept of aesthetic attitude; proves the compatibility of Prometheus Challenge artworks with logic; and explains why Plato would have welcomed such artworks in his ideal state.

This brief, largely expository book—hereafter TT—blends history and philosophy of logic with contemporary mathematical logic. Page 3 says it “is about the relation between formal theories of truth...

Theories of truthmaking have been introduced quite recently in epistemology. Having little to do with truth serums, or truths drugs, their concern is to define truth in terms of a certain relation between truthbearers and truthmakers. Those theories make an attempt to remedy what is supposed to be lacking in classical theories of truth, especially in Alfred Tarski’s semantic theory.

Linguists often sharply distinguish the different modules that support linguistics competence, e.g., syntax, semantics, pragmatics. However, recent work has identified phenomena in syntax (polarity sensitivity) and pragmatics (implicatures), which seem to rely on semantic properties (monotonicity). We propose to investigate these phenomena and their connections as a window into the modularity of our linguistic knowledge. We conducted a series of experiments to gather the relevant syntactic, semantic and pragmatic judgments within a single paradigm. The comparison between these quantitative data leads (...) us to four main results, (i) Our results support a departure from one element of the classical Gricean approach, thus helping to clarify and settle an empirical debate. This first outcome also confirms the soundness of the methodology, as the results align with standard contemporary accounts of scalar implicature (SI), (ii) We confirm that the formal semantic notion of monotonicity underlies negative polarity item (NPI) syntactic acceptability, but (iii) our results indicate that the notion needed is perceived monotonicity. We see results (ii) and (iii) as the main contribution of this study: (ii) provides an empirical interpretation and confirmation of one of the insights of the model-theoretic approach to semantics, while (iii) calls for an incremental, cognitive implementation of the current generalizations, (iv) Finally, our results do not indicate that the relationship between NPI acceptability and monotonicity is mediated by pragmatic features related to Sis: this tells against elegant attempts to unify polarity sensitivity and Sis (pioneered by Krifka and Chierchia). These results illustrate a new methodology for integrating theoretically rigorous work in formal semantics with an experimentally-grounded cognitively-oriented view of linguistic competence. (shrink)

ABSTRACTExperimental philosophy often draws its data from questionnaire-based surveys of ordinary intuitions. Its proponents are keen to identify antecedents in the work of philosophers who have referred to intuition and everyday understanding [e.g. Knobe, Joshua, and Shaun Nichols, ‘An Experimental Philosophy Manifesto’. In Experimental Philosophy, edited by Joshua Knobe and Shaun Nichols, 3–14. Oxford: Oxford University Press, 2007]. In this context, ‘Empirical Semantics’, pioneered by Arne Naess early in the twentieth century, offers striking parallels. Naess believed that much contemporary philosophy (...) was unempirical because it made no reference to ordinary understanding or use of language. In response, he attempted large-scale studies of ordinary understanding of philosophically significant terms [e.g. Naess, Arne. ‘Truth’ as Conceived by Those Who Are Not Professional Philosophers. Oslo: Jacob Dybwad, 1938]. This article will compare Empirical Semantics and experimental philosophy, and assess what su... (shrink)

This paper argues that there is a conflict between two theses held by John McDowell, namely i) the claim that we are under a standing obligation to revise our beliefs if reflection demands it; and ii) the view that veridical experience is a mode of direct access to the world. Since puts no bounds on what would constitute reasonable doubt, it invites skeptical concerns which overthrow. Conversely, since says that there are some experiences which we are entitled to trust, it (...) undermines the prescriptive scope of. Drawing on C. S. Peirce's distinction between genuine and contrived doubt, I maintain that critical revisions of beliefs should be triggered only by unwanted disruptions of habits, thereby restoring unity between McDowell's two theses. (shrink)

The theoretical system Lyell presented in 1830 was composed of three requirements or principles: 1) the Uniformity Principle which states that past geological events must be explained by the same causes now in operation; 2) the Uniformity of Rate Principle which states that geological laws operate with the same force as at present; 3) the Steady-state Principle which states that the earth does not undergo any directional change. The three principles form a single thesis called uniformitarianism which has been repeatedly (...) questioned and which has been reputed to be unable to face the competing directional synthesis based on the theory of the earth's cooling down. As a result, the significance of Lyell's system has been reduced to a simple actualism which admits the validity of the only Uniformity Principle. I believe that the only way to understand Lyell's role in the history of science is to maintain the unity of his synthesis. To show the Newtonian roots of this synthesis I will compare Lyell's principles and Newton's Rules of Reasoning. I will conclude with an analysis of the methodological function of principles in Lyell's scientific endeavour. (shrink)

Many work on flushing out what our consciousness means in cognitive and phenomenological terms, but no one has yet connected the dots on how consciousness and truth intersect, much less how our phenomenal consciousness can form the ground for most of our models of truth. Here, I connect those dots and argue that the basic structure of our phenomenal consciousness grounds the nature of truth as concordance, to harmonize in agreement, and that most extant theories on truth are well explained (...) in that grounding. Said another way, the unifying and bifurcating intentional structure of phenomenal consciousness is the non-epistemic ground of truth, such that most theories of truth can be explained as particular expressions of concordance based upon the differing aspects of that ground. (shrink)

Although to live is to face problems, the general concept of a problem has been significantly understudied. So much so, that the publication of Polya’s delightful How to Solve It caused quite a stir. And, although the concept of a conceptual problem is philosophical because it is deep and occurs across fields, from mathematics to politics, no philosophers have produced any memorable studies of it. Moreover, the word ‘problem’ is absent from most philosophical reference works. There are plenty of texts (...) on particular problems such as those of evil and induction, but none on the general concept of a conceptual problem—as if it were not a problematic concept. Worse, we are seldom told that doing original mathematics, science or technology is to wrestle with original problems. Nor have we been told that the hardest problems are likely to be inverse, in that they go from effect to cause, or from sketch to implementation, or from conclusion to premises—as in diagnosing disease from symptoms, looking for a westward passage from Europe to Asia, and designing public policies to attack social issues. The existence of this significant gap in the philosophical literature justifies the publication of the present study. (shrink)

In a number of influential papers, Hartry Fieldhas advanced an account of truth and referencethat we might dub quasi-disquotationalism. According to quasi-disquotationalism, truth and reference are to be explained in terms of disquotationand facts about what constitute a goodtranslation into our language. Field suggeststhat we might view quasi-disquotationalism aseither (a) an analysis of our ordinarytruth-theoretic concepts of reference andtruth, or (b) an account of certain otherconcepts that improve upon our ordinaryconcepts. In this paper, I argue that (i) ifthe view is (...) understood along the lines of (a)it fails, and (ii) if it is construed along thelines of (b) it is, at best, under-motivated. (shrink)

Intuitively, vagueness involves some sort of indeterminacy: if Plato is a borderline case of baldness, then there is no fact of the matter about whether or not he’s bald—he’s neither bald nor not bald. The leading formal treatments of such indeterminacy—three valued logic, supervaluationism, etc.—either fail to validate the classical theorems, or require that various classically valid inference rules be restricted. Here we show how a fully classical, yet indeterminist account of vagueness can be given within natural semantics, an alternative (...) semantics for classical proof theory. The key features of the account are: there is a single notion of truth—definite truth—and a single notion of validity; sentences can be true, false, or undetermined; all classical theorems and all classical inference rule are valid; the sorites argument is unsound; ‘definitely’ is treated as a meta-language predicate; higher-order vagueness is handled via semantic ascent. (shrink)

Paul Horwich’s Use Theory of Meaning (UTM) depends on his rejection of Paul Grice’s distinction between natural and non-natural meaning and his Univocality of Meaning Thesis, as he wishes to deflate the meaning-relation to usage. Horwich’s programme of deflating the meaning-relation (i.e. how words, sentences, etc., acquire meaning) to some basic regularity of usage cannot be carried through if the meaning-relation depends on the minds of users. Here, I first give a somewhat detailed account of the distinction between natural and (...) non-natural meaning in order to set the stage for Horwich’s critique of it. I then present Horwich’s critique of the distinction and show how that rejection accords with his overall view of meaning as use. Horwich’s rejection of the distinction between natural and non-natural meaning, I argue in the last section, is ill founded, and because UTM depends on this rejection, UTM is stillborn. (shrink)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

In this paper the truth is studied in the frame of autonomous systems theory. The method of the truth verification is worked out in its functional aspect. The verification is based on comparison of the predicted inner state of the autonomous agent, that is the cognitive subject, to the achieved inner state of the agent. The state is achieved as the result of performing the action in the real world—the agent’s environment. The action design is created on the basis of (...) the agent’s model of the world. The truth is defined as the adequacy of the model of the real world in the context of the goal that is assumed to be reached as the effect of the performed action. The concepts of the cognitive subject, the truth bearings and the knowledge are redefined. The classical problems of aletheiology and epistemology are discussed in the light of the proposed approach. The cybernetic construct of an autonomous agent allows the researcher to consider a wide class of cognitive entities, which, in the previous approaches, have been limited only to human beings as cognitive subjects. (shrink)

Contradiction is often confused with contrariety. We propose to disentangle contrariety from contradiction using the hexagon of opposition, providing a clear and distinct characterization of three notions: contrariety, contradiction, incompatibility. At the same time, this hexagonal structure describes and explains the relations between them.

Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of OSR (...) that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

Luciano Floridi’s informational structural realism takes a constructionist attitude towards the problems of epistemology and metaphysics, but the question of the nature of the semantical component of his view remains vexing. In this paper, I propose to dispense with the semantical component of ISR completely. I outline a Syntactical version of ISR. The unified entropy-based framework of information has been adopted as the groundwork of SISR. To establish its realist component, SISR should be able to dissolve the latching problem. We (...) have to be able to account for the informational structures–reality relationship in the absence of the standard semantical resources. The paper offers a pragmatic solution to the latching problem. I also take pains to account for the naturalistic plausibility of this solution by grounding it in the recent computational neuroscience of the predictive coding and the free energy principle. (shrink)

Probabilistic realism and syntactical positivism were two among outdated theories that Feigl criticised on account of their semantical poverty. In this paper, I argue that a refined version of probabilistic realism, which relies on what Feigl specified as the pragmatic description of the symbolic behaviour of scientists’ estimations and foresight, is defendable. This version of statistical realism does not need to make the plausibility of realist thesis dependent on the conventional acceptance of a constructed semantic metalanguage. I shall rely on (...) the Prediction Error Minimisation theory to support my probabilistic version of realism with a scientifically-informed and naturalistically plausible statistical account of the theories-world relationship which has a pragmatic ring to it. (shrink)

A provocative case for the inherently political nature of language In The Politics of Language, David Beaver and Jason Stanley present a radical new approach to the theory of meaning, offering an account of communication in which political and social identity, affect, and shared practices play as important a role as information. This new view of language, they argue, has dramatic consequences for free speech, democracy, and a range of other areas in which speech plays a central role. Drawing on (...) a wealth of disciplines, The Politics of Language argues that the function of speech—whether in dialogue, larger group interactions, or mass communication—is to attune people to something, be it a shared reality, emotion, or identity. Reconceptualizing the central ideas of pragmatics and semantics, Beaver and Stanley apply their account to a range of phenomena that defy standard frameworks in linguistics and philosophy of language—from dog whistles and covert persuasion to echo chambers and genocidal speech. The authors use their framework to show that speech is inevitably political because all communication is imbued with the resonances of particular ideologies and their normative perspectives on reality. At a time when democracy is under attack, authoritarianism is on the rise, and diversity and equality are being demanded, The Politics of Language offers a powerful new vision of the language of politics, ideology, and protest. (shrink)

This paper argues that there are three reasons why we should regard Wittgenstein's Tractatus as a forerunner of formal semantics: Wittgenstein is convinced that we can apply formal notions to natur...

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

Many of Tarski’s better known papers are either about or include lengthy discussions of how to properly define various concepts: truth, logical consequence, semantic concepts, or definability. In general, these papers identify two primary conditions for successful definitions: formal correctness and material adequacy. Material adequacy requires that the concept expressed by the formal definition capture the intuitive content of truth. Our primary interest in this paper is to better understand Tarski’s thinking about material adequacy, and whether components of his view (...) developed over time. More precisely, we are concerned with how Tarski’s understanding of the content of the common-sense, every-day usage of truth may have developed over time. We distinguish this concern from the character of the extensional criterion of adequacy Tarski proposes: that a materially adequate definition must entail all instances of Convention T. We will develop our reading of Tarski as follows: first, we will review the “Polemical Remarks,” focusing primarily on §§14 and 17, and Tarski’s references to Naess’ empirical research. Next, we will provide a summary and discussion of Naess’ work, especially his findings with respect to Tarski’s definition of truth and his research that suggests there is no single common or everyday concept of truth. Third, we will consider several possible objections to our interpretation of the Tarski–Naess dialectic. We will conclude that Tarski’s conception of material adequacy developed over time, potentially because of what he had learned through his interactions with Naess. (shrink)

A typical guiding principle of an account of truth is: “truth is objective,” or, to be clear, judging whether an assertion is true or false depends upon how things are in the world rather than how someone or some community believes it to be. Accordingly, whenever a claim is objectively true, its truth conditions ought not depend upon the context in which it is uttered or the utterer making the claim. Part of our ongoing empirical studies surveying people’s responses to (...) questions about truth involved prompts on objectivity. Our studies suggest the following: overall, individuals tend to endorse claims that are consistent with the objectivity of truth; not all conceptions of objectivity are equal, even people who endorse the objectivity of truth sometimes assent to one form of truth’s objectivity over other forms; philosophers and non-philosophers both endorse the objectivity of truth, but the apparent commitment of philosophers is stronger. (shrink)

The time has come to consider whether experimental philosophy’s (“x-phi”) early arguments, debates, and conceptual frameworks, that may have worn well in its early days, fit with the diverse range of projects undertaken by experimental philosophers. Our aim is to propose a novel taxonomy for x-phi that identifies four paths from empirical findings to philosophical consequences, which we call the “fourfold route.” We show how this taxonomy can be fruitfully applied even at what one might have taken to be the (...) furthest edges of possible applications of x-phi in metaphysics and formal philosophy. Ultimately, the fourfold route helps us understand a different kind of empirical fact: the development of x-phi itself. (shrink)

Philosophical theorizing about truth manifests a desire to conform to the ordinary or folk notion of truth. This practice often involves attempts to accommodate some form of correspondence. We discuss this accommodation project in light of two empirical projects intended to describe the content of the ordinary conception of truth. One, due to Arne Naess, claims that the ordinary conception of truth is not correspondence. Our more recent study is consistent with Naess’ result. Our findings suggest that contextual factors and (...) respondent gender affect whether the folk accept that correspondence is sufficient for truth. These findings seem to show that the project of accommodating the ordinary notion of truth is more difficult than philosophers had anticipated because it is fragmentary. (shrink)

In the last decade Robert Barnard and Joseph Ulatowski have conducted a number of experimental studies in order to better understand the ordinary notion of truth. In this paper I critically engage their ecological approach to the study of truth, and argue for a wider perspective on how truth should be empirically studied: in addition to the experimental data that they emphasize and collect, there should also be a substantial observational element to conceptual ecology. I then critically evaluate the conclusions (...) they draw from their data, as they relate to correspondence, pluralism, and objectivity. Along the way, I offer suggestions for future lines of research for a more expansive and effective ecological exploration of truth. (shrink)

Is there good reason to worry about celebrity involvement in democratic politics? The rise of celebrity politicians such as Donald Trump and Vladimir Zelensky has led political theorists and commentators to worry that the role of expertise in democratic politics has been undermined. According to one recent critique, celebrities possess a significant degree of epistemic power that is unconnected to appropriate expertise. This presents a problem both for deliberative and epistemic theories of democratic legitimacy, which ignore this form of power, (...) and for real existing democracies attempting to meet the standards of legitimacy set out by these theories. But do these critiques apply to democratic elitism? In this paper, we argue that recognition of celebrity epistemic power in fact represents a valuable resource for supporting the legitimacy and practice of democratic elitism, though these benefits do come with certain risks to which elite theories are particularly vulnerable. (shrink)