The logic with independent truth and falsehood operators TFL is proposed. In TFL(→) standard truth-conditions for the implication are adopted. Nevertheless the laws of classical logic are not valid. In this language more then 107 different binary connectives can be defined. So this logic can be treated as universal logic relatively to the class of sentential logics.

Possibility of falsehood arises in the early parts of plato's "sophist". I argue that the participants in the dialogue operate with two related analogies, one which considers spoken images to be fundamentally like seen images, and another analogy which considers the objects of stating or believing to be like the objects of perceiving. (the second analogy has parallels in "theaetetus" 188c-189b). These analogies lead to confusions which plato attempts to dispel in the later portions of the "sophist".

Cappelen and Hawthorne’s Relativism and Monadic Truth (2009) offers an extended defense of a thesis they call simplicity, which, in brief, holds that propositions are true or false simpliciter. Propositions are cast in their traditional roles as the contents of assertions, and as the semantic values of declarative sentences in contexts. Simplicity stands in sharp contrast to forms of relativism including, for instance, a form that hold that our claims are true or false only relative to a judge. This applies (...) especially to claims of taste, which come out true or false only relative to the judge who finds things tasty (e.g. Glanzberg 2007, Lasersohn 2005). But simplicity also rejects the more widespread temporalist view that propositions are true or false only relative to a time, and it rejects the even more widely held view that propositions are true or false only relative to a world. One reason that has been advanced for temporalism, e.g. by Kaplan (1989), is that our languages seem to contain non-trivial temporal operators. Hence, the argument goes, the semantic values of sentences need to be temporally neutral, i.e. vary for truth or falsehood with time. The same goes for possible worlds and modal operators. Hence, Kaplan and many others think of the semantic values of sentences as sets of world-time pairs. It has been tempting to apply this sort of argument much more widely, to see the semantic values of sentences as varying not just with world and time, but perhaps with location and other parameters as well. Kaplan.. (shrink)

Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind; but we all know that the distribution of this capacity, or at any rate its development, is very unequal. Few people are able to set up a cogent argument; others are at least able to follow a logical argument and even to detect logical fallacies. Nevertheless, even among educated persons there are many who do not even attain this relatively (...) modest level of development. According to my personal observations, lack of logical ability may be due to various circumstances. In the first place, I mention lack of general intelligence, insufficient power of concentration, and absence of formal education. Secondly, however, I have noticed that many people are unable, or sometimes rather unwilling, to argue ex hypothesi; such persons cannot, or will not, start from premisses which they know or believe to be false or even from premisses whose truth is not, in their opinion, sufficient ly warranted. Or, if they agree to start from such premisses, they sooner or later stray away from the argument into attempts first to settle the truth or falsehood of the premisses. Presumably this attitude results either from lack of imagination or from undue moral rectitude. On the other hand, proficiency in logical reasoning is not in itself a guarantee for a clear theoretic insight into the principles and foundations of logic. (shrink)

We extend the ordinary logic of knowledge based on the operator K and the system of axioms S₅ by adding a new operator Uφ, standing for "the agent utters φ", and certain axioms and a rule for U, forming thus a new system KU. The main advantage of KU is that we can express in it intentions of the speaker concerning the truth or falsehood of the claims he utters and analyze them logically. Specifically we can express (...) in the new language various notions of lying, as well as of telling the truth. Consequently, as long as lying or telling the truth about a fact is an intentional mode of the speaker, we can resolve the Liar paradox, or at least some of its variants, turning it into an ordinary (false or true) sentence. Also, using Kripke structures analogous to those employed by S. Kraus and D. Lehmann in [3] for modelling the logic of knowledge and belief, we offer a sound and complete semantics for KU. (shrink)

In Malicious Deceivers, Ioana B. Jucan traces a genealogy of post-truth intimately tied to globalizing modernity and connects the production of repeatable fakeness with capitalism and Cartesian metaphysics. Through case studies that cross times and geographies, the book unpacks the notion of fakeness through the related logics of dissimulation (deception) and simulation (performativity) as seen with software/AI, television, plastics, and the internet. Specifically, Jucan shows how these (dis)simulation machines and performative objects construct impoverished pictures of the world, ensuring a repeatable (...) sameness through processes of hollowing out embodied histories and lived experience. Through both its methodology and its subjects-objects of study, the book further seeks ways to counter the abstracting mode of thinking and the processes of voiding performed by the twinning of Cartesian metaphysics and global capitalism. Enacting a model of creative scholarship rooted in the tradition of writing as performance, Jucan, a multimedia performance-maker and theatre director, uses the embodied "I" as a framing and situating device for the book and its sites of investigation. In this way, she aims to counter the Cartesian voiding of the thinking "I" and to enact a different kind of relationship between self and world from the one posited by Descartes and replayed in much Western philosophical and - more broadly - academic writing: a relationship of separation that situates the "I" on a pedestal of abstraction that voids it of its embodied histories and fails to account for its positionality within a socio-historical context and the operations of power that define it. (shrink)

It is widely asserted that we are now living in a post-truth society. What that means, this book argues, is that the contemporary global world is thoroughly infested not only with trickster figures but an entire and operational trickster logic; or, that we now live in a Trickster Land - an argument advanced by the claim that in modernity liminality has become permanent; or that modern life is patently absurd. The first part of the book presents a series of 'guides' (...) to this condition, in the form of key thinkers and writers who can help us understand and navigate our Trickster Land. Such guides include Hermann Broch, Lewis Hyde, Roberto Calasso, Michel Serres, Sándor Márai, Colin Thubron, and Albert Camus. The second part goes on to discuss five main regions of Trickster Land: art, thought, the economy, politics, and society. This last, central chapter of the book contrasts trickster logic with the basic, foundational logic of social life, presented as gift-giving by Marcel Mauss and as sociability by Georg Simmel, and which is expressed here, combining Heraclitus and Plato with the Gospel of John, by three basic terms of ancient Greek culture, as arkhé charis logos: meaningful social life originally and in its essence is animated by the power of kind benevolence. This volume will appeal to scholars of social theory, anthropology and sociology with interests in political thought and contemporary culture. (shrink)

ABSTRACT Understanding is a demanding epistemic state. It involves not just knowledge that things are thus and so, but grasping the reasons why and seeing how things hang together. Understanding, then, typically requires inquiry. Many of our inquiries are conducted online nowadays, with the help of search engines, forums, and social media platforms. In this paper, I explore the idea that online inquiry easily leads to what I will call online illusions of understanding. Both the structure of online information presentation (...) (with hyperlinks, shares, retweets, likes, etc.) and the operation of recommender systems and the like make it easy for people using them to form the impression that they are conducting inquiry responsibly, whereas they are in fact fed with irrelevant information, or, even worse, falsehoods, misinformation, disinformation, or outright conspiracy theories. (shrink)

Natural selection explains how living forms are fitted to theirconditions of life. Darwin argued that selection also explains what hecalled the gradual advancement of the organisation, i.e.evolutionary progress. Present-day selectionists disagree. In theirview, it is happenstance that sustains conditions favorable to progress,and therefore happenstance, not selection, that explains progress. Iargue that the disagreement here turns not on whether there exists aselection-based condition bias – a belief now attributed to Darwin – but on whether there needs to be such a bias (...) for selection to count as explaining progress. In Darwin''s own view, selection explained progressso far as more complex organisms have the selective advantage whenselection operates unimpeded. I show that these two explanations ofevolutionary progress, selection and happenstance, answer for theirobjectivity to different standards, and for their truth or falsehood todifferent features of the world. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

A philosopher once wrote the following words:If I examine the PTOLOMAIC and COPERNICAN systems, I endeavour only, by my enquiries, to know the real situation of the planets; that is, in other words, I endeavour to give them, in my conception, the same relations, that they bear towards each other in the heavens. To this operation of the mind, therefore, there seems to be always a real, though often an unknown standard, in the nature of things; nor is truth or (...) falsehood variable by the various apprehensions of mankind. Though all human race should for ever conclude, that the sun moves, and the earth remains at rest, the sun stirs not an inch from his place for all these reasonings; and such conclusions are eternally false and erroneous. (shrink)

In the real word, in most cases, everything (an attribute, event, proposition, theory, idea, person, object, action, etc.) is evaluated in general by many sources (called experts), not only one. The more sources evaluate a subject, the better accurate result (after fusioning all evaluations). That’s why, in this paper, we straightforwardly extend the Refined Neutrosophic Set to the MultiNeutrosophic Set, and we show that the last two are isomorphic. A MultiNeutrosophic Set is a Neutrosophic Set whose all elements’ degrees of (...) truth/indeterminacy/falsehood are evaluated by many (Multi) sources. Afterwards, we introduce a total order on the set of n-plets of the form (p, r, s), we build the operators on the (p, r, s)-plets, and show several applications of the MultiNeutrosophic Sets. Several particular cases of the MultiNeutrosophic Sets are presented: such as MultiFuzzy Set, MultiIntuitionistic Fuzzy Set, MultiPicture Fuzzy Set, and other Multi(Fuzzy Extension) Set. (shrink)

We propose a logic to reason about data collected by a num- ber of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measure- ment devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented by (...) means of a possible world, which provide a contextual view on the objects in the domain. We approach (possibly) conflicting data coming from different sources in a social choice theoretic fashion: we investigate viable opera- tors to aggregate data and we represent them in our logic by means of suitable (minimal) modal operators. (shrink)

There is no straightforward inference from there being fictional characters to any interesting form of realism. One reason is that “fictional” may be an intensional operator with wide scope, depriving the quantifier of its usual force. Another is that not all uses of “there are” are ontologically committing. A realist needs to show that neither of these phenomena are present in “There are fictional characters”. Other roads to realism run into difficulties when negotiating the role that presupposition plays when (...) we make intuitive evaluations of the truth or falsehood of sentences involving fiction, for we may presuppose things we do not believe. This means that a judgment of truth, implicitly relative to a presupposition we do not believe, can be sincerely made by someone who, from a more austere perspective, would regard the judgment as false. (shrink)

As the technological phenomenon known as the worldwide web permeates civilization, it creates some cultures and destroys others. In this pioneering book, philosopher Thomas Langan explores "virtual reality"Can inherently contradictory phrase"and the effects of technology on our very being. In our present-day high- technology environment, making simple, everyday decisions is difficult because the virtual world we've created doesn't necessarily operate according to the old "common sense." To retain our intellectual fitness, we must, Langan argues, consider these essential questions: If virtual (...) reality is, in fact, reality, what is this life that we are caught up in? What is _being_ within the context of virtual reality? How can we establish a system for distinguishing truth from fiction? Although technology minimizes distances between people and makes the information they seek more accessible, it simultaneously blurs the line dividing fact from falsehood and real from virtual. An individual's intellectual survival is threatened as technological advancement challenges our collective understanding of what reality is. Because much of the information that is presented as fact simply works to fulfill a specific agenda, we cannot accept as truth everything that appears on the internet or in the media. To survive, we must learn to manage our lives and resources despite the flood of information we are bombarded with daily. Addressing the general educated reader, _Surviving the Age of Virtual Reality_ expertly interweaves the worlds of technology and philosophy, pushing the analysis of this technological and human phenomenon to new depths. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Betrayal's FelicityJudith Butler (bio)In translation, there is always the question of fidelity and betrayal, and even Benjamin seemed to understand that fidelity, in its literalness, was one dimension of translation, a dimension, he said, that tended to make translations bad. He thought that in addition to literalness, there was the necessity of "license" understood as "the freedom of faithful reproduction." For him, license is not precisely betrayal, but another (...) kind of faithfulness. But from the point of view of fidelity, understood as being bound to the literal text, it may well be that that other order of faithfulness, the one associated with freedom and license, can only be read as betrayal.Barbara Johnson's reflections on translation carry many affective tones derived from this ambiguous scene in which faithfulness quarrels with fidelity. In fact, it is unclear whether translations can ever be other than "bad" or, at least, have some badness in them, since the original has to be crossed, if not partially mutilated, with the emergence of the translation itself. In a way, her inquiry into translation becomes, in Mother Tongues, an occasion in which an array of human emotional predicaments are explored as linguistic predicaments. One can discern in her discussion several ways in which translation operates emotionally: it can constitute a slander, a calmuny, and so an accusation. It can become bound up with a nostalgia for a lost wholeness, and so with a problematic of grief. It can refuse the idealizations of the past, and so, in its de-idealizations, release the present as a field of play; it can work the felicities of the arbitrariness of language, and so sidestep a pathos that might bind one to an elusive original. It also brings up questions of pain and damage, whether reparation is possible, and whether it should even be sought. And finally, it establishes a relationship to damage itself, as necessary, even as the means by which the afterlife of any given text is secured.Johnson introduces her discussion of translation in Mother Tongues by asking whether translation comes after, and is dependent upon, the original. She cites Kafka's The Trial, a book she happened to pick up while thinking about this question. That book begins with the following line: "Someone must have traduced Joseph K., for without having done anything wrong he was arrested one fine morning." Johnson registers her amusement and surprise: "Traduced"? She writes, "This is an English word I see only in lame attempts to translate the Italian traduttore, traditore, or the French traduire, trahir. To translate is to traduce—the betrayal of the original in the process of transmitting it is inherent in translation. In other words, 'traduce' is a bad translation of a pun on the inevitable badness of translations. Joseph K. had been betrayed in exactly the same way" [15].Johnson goes on to remind us that in the German, traduced is translated as verleumdet, implying the idea that this is a false accusation, a calumny, a slander. But Johnson is clear that to have traduced someone conveys something different from "telling lies about" someone. If the text were to read, "someone had been telling lies about Josef K.," then it would follow that there is a truth that could and should be told about him, a truth that is not being told, a truth that would, in fact, exonerate him. Traduce, however, does not allow us to set up that opposition between truth and falsehood. If the translation had read (as some do), "someone had been telling lies about him," then, according to Johnson, the translator would be "making more sense of the arrest, [and] [End Page 82] destroying its senselessness" [16]. It seems clear that someone has said something damaging about Josef K., and this damaging sort of saying is conveyed not only by the word traduced, but by the resonance that traduce maintains with translation itself. Thus Johnson writes, "only translation can betray without necessarily instating the polarity from which it deviates" [16]. The point here is not that translation must betray to communicate well, but that "the act of arresting Joseph K. cannot be better figured than by translation" [16... (shrink)

The phenomena of truth, truthfulness, veracity and “truthiness” discussed widely in logic, epistemology as theory of science and gnoseology as general theory of knowledge, have received many interpretations—and not a single one to be generally accepted. Discussions continue not only upon narrow technical, operational questions of the predicate calculus and/or propositions calculus, but also on logic-gnoseological problems, one of which casts doubt on the maxim “logic is the house of truth,” and the other highlights the laxity of the opposition of (...) “truth—falsehood” meanings as the main categories of the two-valued logic. These evaluations of proposition do not in fact oppose each other in the sense of a contradiction. Verity and falsity are controversial (opposite), but not contradictory (antithetical) concepts; it is truth and non-truth that are contradictory. Therefore, there is not only the possibility, but also the reality of the existence of a field, or zone, of transition between the values “true—false.”. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted (...) solutions to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:77 KEMP SMITH, HUME AND THE PARALLELISM BETWEEN REASON AND MORALITY In a letter to a physician written in 1734 Hume expressed a dissatisfaction with the current state of philosophy and criticism, a dissatisfaction which he said had led him to strike out on his own and "seek out some new Medium, by which Truth might be establisht." He then went on to claim success: "After much Study, & (...) Reflection on this, at last, when I was about 18 Years of Age, there seem'd to be open'd up to me a new Scene of Thought, which transported me beyond Measure, & made me, with an Ardor natural to young men, throw up every other Pleasure or Business to apply entirely to it..." The wording suggests that the new Scene of Thought was a clear revelation, but nowhere does Hume tell us what the revelation was. (A clue, perhaps, is to be found in the "Abstract," where Hume says that if anything entitles him to the name of an inventor, "it is the use he makes of 2 the principle of the association of ideas.") Kemp Smith is convinced, however, that he knows what the new Scene of Thought was. According to Kemp Smith, Hume had already discovered that morality rests on feeling alone and depends in no way on insight or evidence, and the new discovery was simply the sudden realization that belief is equally independent of these considerations. I will argue in this paper that the great difficulty in this interpretation is that in those sections of the Treatise and the second Enquiry in which Hume expounds what could be called his moral epistemology he is concerned with pointing out what he considers to be important differences between reason and taste and between understanding and morality. I am not, however, questioning the validity of Kemp Smith's naturalistic interpretation, if it is broadly construed. 78 A curiosity of Kemp Smith's exposition is his citing of passages from Hume, which at first glance anyway seem to weaken, rather than strengthen, his case for the parallelism of moral and factual judgments. I will give two examples, the first being a quotation from the Green and Grose edition of the Enquiry. That Faculty, by which we discern Truth and Falsehood, and that by which we perceive Vice and Virtue had long been confounded with each other, and all Morality was suppos'd to be built on eternal and immutable Relations, which, to every intelligent Mind, were equally invariable as any Proposition concerning Quantity or Number. But a late Philosopher [Mr. Hutcheson, added as a note] has taught us, by the most convincing Arguments, that Morality is nothing in the abstract Nature of Things, but is entirely relative to the Sentiment or mental Taste of each particular [i.e. species] of Being; in the same Manner as the distinctions of sweet and bitter, hot and cold, arise from the particular feeling of each Sense or Organ. Moral Perceptions, therefore, ought not to be class 'd with the Operations of the Understanding, but with the Tastes or Sentiments. On the next page of this book Kemp Smith refers to this passage as part of the evidence for his claim that "the view here taken of our moral judgments of approval and disapproval can be extended to our beliefs regarding matters of fact and existence, and that 'logic', morals and 'criticism' may thus be brought 4 within the scope of the same general principles." The reference to "external and immutable Relations" may have led Kemp Smith to believe that Hume's thesis in this paragraph is the contrast between demonstrative and other kinds of judgment, but the last sentence is a decisive refutation of that interpretation. Hume frequently uses the term "understanding" to refer to causal reasoning, though in this sentence he seems to be using the term in 79 the more inclusive sense that would include demonstration and relations of ideas as well. But I know of no instances in which "understanding" is restricted to what Hume calls science, i.e., demonstration. Kemp Smith also quotes from the last section of Appendix I to the second Enquiry. This passage, appearing in the Selby-Bigge... (shrink)

In 1993, the American logic S. Yablo was proposed an original infinitive formulation of the classical ≪Liar≫ paradox. It questioned the traditional notion of self-reference as the basic structure for semantic paradoxes. The article considers the arguments underlying two different approaches to analysis of proposals of the ≪Infinite Liar≫ and understanding of the genuine sources for semantic paradoxes. The first approach (V. Valpola, G.-H. von Wright, T. Bolander, etc.) imposes responsibility for the emergence of semantic paradoxes on the negation of (...) the truth predicate. It deprives the ≪Infinite Liar≫ sentences of consistent truth values. The second approach is based on a modified version of anaphoric prosententialism (D. Grover, R. Brandom, etc.). The concepts of truth and falsehood are treated as special anaphoric operators. Logical constructs similar to the ≪Infinite Liar≫ do not attribute any definite truth values to sentences from which they are composed, but only state certain types of relations between the semantic content of such sentences. (shrink)

In Metaphysics Delta 29 Aristotle distinguishes three classes of falsity and three corresponding senses of the ‘false’. The paper examines Aristotle’s arguments from a close-reading perspective, and analyses the meaning of false ‘as a thing’ , the significance of Aristotle’s dispute with Antisthenes on the subject of contradiction and verbal falsehood, and Aristotle’s conception of the false person. By paying attention to the precise order of Aristotle’s presentation, the paper raises the question about the manner in which the three (...) classes of falsity are related to one another and provides a tentative answer that could explain why the ‘false’ is included in the philosophical dictionary of the Metaphysics. On the proposed interpretation, Aristotle assumes that a fundamental difference operates in all cases of falsity , and that this difference is the outcome of the ontological determinacy of substance. Keywords: Aristotle; Metaphysics; falsity; factual falsity; propositional falsity; ethical falsity; Antisthenes; contradiction; substance; ontology; logic. (shrink)

A few years ago, believing that human thinking is nonmonotonic, I tried to reconstruct a nonmonotonic reasoning by application of two monotonic procedures. I called them “step forward” and “step backward” . The first procedure is just a consequence operation responsible for an extension of the set of beliefs. The second one, defined on the base of the logic of falsehood reconstructed for the given logic of truthfulness, is responsible for a reduction of the set of beliefs. Both procedures (...) taken together were successfully verified by using so-called AGM , postulates for expansion, contraction and revision formulated by Alchourrón, Gärdenfors and Makinson . Reasoning composed of the mutual application of both procedures seemed to be quite natural for modeling our thinking. At that time, I supposed that it should be nonmonotonic but I was wrong. It turned out impossible to satisfy a definition of the nonmonotonic inference by reasoning composed both steps. To understand why this is impossible, I began to analyze how nonmonotonicity is obtainable in some well-known cases in the literature. I analyzed the problem from two points of view: non-formal examples for nonmonotonicity and formal constructions of nonmonotonic operations/relations. The result of those investigations was astonishing: none of the considered by me cases of nonmonotonicity belonging to point and almost none belonging to satisfies the definition of nonmonotonic inference. Arguments against the nonmonotonic character of well-known examples for nonmonotonicity of human thinking are more precisely presented in [6]. I present them below an abbreviated version of them. (shrink)

This paper argues that the Einstein-Minkowski space-time of special relativity provides an adequate model for classical tense logic, including rigorous definitions of tensed becoming and of the logical priority of proper time. In addition, the extension of classical tense logic with an operator for predicate-term negation provides us with a framework for interpreting and defending the significance of future contingency in special relativity. The framework for future contingents developed here involves the dual falsehood of non-logical contraries, only one (...) of which becomes true. This has several methodological, metaphysical and physical advantages over the alternative traditional frameworks for handling future contingents. (shrink)

I argue that there is no straightforward inference from there being fictional characters to any interesting form of realism. One reason is that “fictional” may be an intensional operator with wide scope, depriving the quantifier of its usual force. Another is that not all uses of “there are” are ontologically committing. A realist needs to show that neither of these phenomena are present in “There are fictional characters”. Other roads to realism run into difficulties when negotiating the role that (...) presupposition plays when we make intuitive evaluations of the truth or falsehood of sentences involving fiction, for we may presuppose things we do not believe. This means that a judgment of truth, implicitly relative to a presupposition we do not believe, can be sincerely made by someone who, from a more austere perspective, would regard the judgment as false. (shrink)

Since last year, major initiatives have been undertaken by the chair of theoretical philosophy at the University of Tübingen in order to enhance the reception of analytic metaphysics in the European landscape. Here we review the 2013 summer workshop, intended to be the first of an annual series, on “Existence, Truth and Fundamentality”, the invited speakers being Graham Priest (Melbourne), Stephan Leuenberger (Glasgow), Dan López de Sa (Barcelona), Francesco Berto (Aberdeen), Friederike Moltmann (Paris – Pantheon Sorbonne) and Jason Turner (Leeds). (...) The workshop’s scope is fairly large, focusing on three different aspects of contemporary research in metaphysics. However, the underlying idea of organizers Thomas Sattig and Alessandro Torza consisted in exploring their interconnections and even new areas which possibly share the same problem spectrum. Also, they thought of bringing together both young and senior protagonists of the contemporary debate. In this sense, the main thread followed by the speakers consisted in enquiring the ideas of fundamentality, dependence and grounding with respect to ontology (Berto, López de Sa, Turner) and the truthmaking debate (Priest, Moltmann, Leuenberger), thus pretty much in line with some latest tendencies in metaphysics, such as, prima inter paria, the works of Kit Fine. When we say that something is more fundamental than something else, we move into a non-conventional (for the standards of 20 th century philosophy) metodological framework, hardly focusing on the question about what there is, and rather tackling the issue of how fundamentally there is what there is, or how the existence of something is required as a ground for the existence of other things. Here is how Jonathan Schaffer explains the methodological transition in his influential “On What Grounds What” (2009): -/- Among the many assumptions Quine and Carnap share is that metaphysical questions are existence questions, such as whether numbers exist. They only disagree on the further issue of whether such questions are meaningful (at least as the metaphysician might pose them). But why think that metaphysical questions are existence question of this sort? Return to Aristotle’s Metaphysics. There are virtually no existence question posed. The whole discussion is about substances (fundamental units of being). At one point Aristotle pauses to ask if numbers exist, and his answer is a brief and dismissive yes. [. . . ] For Aristotle, the question about numbers is whether they are transcendent substances or grounded in concreta. The question is not whether numbers exist, but how. (Schaffer, 2009, p. 347) -/- The conference opened with Graham Priest’s intriguing and peculiar review of Buddhist cornerstone “The Fundamental Verses of the Middle Way” (Mūlamadhyakamakārikā) by Nāgārjuna (ca. 150-ca. 250 AD), seen as a unrecognized forerunner of multi-valued semantics and dialetheism. Priest shows that Nagarjuna’s thought indeed has valuable analytic grip (contrary to the traditional mystical dismiss of his works altogether) and is even in accord to some formal schemas rejecting both the laws of excluded middle and non-contradiction. Dan López de Sa was interested in the topic of grounding, raising concerns about how to explain the kind of “reality” exemplified by what is not fundamental, but rather derivative on something else. He proposes a conceptual and non-primitive analysis of grounding as linked to fundamentality and derivation, and argues that the view can be advocated along with the acceptance that at least something is not fundamental. Subsequently, he illustrates an impressive range of applications linked to contemporary debates in meta-ontology, truthmaking and philosophy of time. Stephan Leuenberger discussed a semantics for “total logic”, a variant of first order logic which is claimed to have several applications with respect to the issue of excluding negative existentials from the scope of theories accounting for a given ’totality’ of facts. For example, materialism is the claim that everything there is can be traced back to physical facts or to truth implied by those facts. What about the claim that “There are no angels”? According to Leuenberger, ordinary logic falls prey of modal arguments (if it is possible that there are angels, by modus tollens, that it is not metaphysically necessary that everything there is is physical). So, there is space for the introduction of a new operator, the totality operator, claiming of what enters its scope that “that’s the whole truth”. Consequently, total logic’s semantics tackles David Chalmers’ well-known conceivability-based argument in favour of zombie’s (subjects producing behaviour but experiencing no qualia) possible existence. Friederike Moltmann presented a massive array of natural language-based examples on the role played by case-constructions, such as “it is the case that Caesar crossed the Rubicon”, “the case of the stolen statue”, “the case in which it might rain”, and so forth. She suggests that we should take surface phenomena of our language very seriously with regard to the determination of ontological categories and truth-makers. Cases are provided by many natural languages with their own existence predicates (“to occur” and “to present itself ”), and these do not apply to other kind of entities, such as objects and events. Trying to derive a substantive thesis on their nature, she claims that they are filtered entities, a structure taking into account some features of the corresponding objects and events and preserving their relational pattern. Jason Turner discussed meta-ontological concerns against the claim that ontological debates are defective. Analysed the structure of a metaphysical theory and identified two different forms of defectiveness that can occur in ontological questions, the defection from without and the defection from within, the author provided an original solution in order to avoid such difficulties. He argued thus in favor of a logical constancy, a translation principle thanks to it would be possible reconceive an ontological defection. Lastly, Francesco Berto’s talk closed the workshop with a sagacious discussion of meinongian quantification. He substains that Meinongians and Quineans experience no conceptual equivocation. Even if the former claims that “There are things that do not exist”, something that the latter contrasts with the interpretation of existential quantifiers as all-including, they still rely upon the same concept of “existence” and they understand each other when they are outside the ontology room, so that it cannot be that they lack competence. Subsequently, Berto deals with the objection that Meinongians commit analytic falsehood in separating the meaning of “to be” from that of “exists”. The Quinean has no independent evidence for analytic equivalence aside from her emphatic stress on the “is” in “there is”. Meinongians, however, can retort to linguistic considerations and claim that existence predicates display fairly different functions. -/- As for what regards our internal division of the “philosophical labor”, Fabio Ceravolo reviewed Moltmann and Berto’s talks; whereas Mattia Cozzi took care of Priest’s and Leuenberger’s, and Mattia Sorgon of those given by López de Sa and Turner. Conclusively, we would like to thank Thomas Sattig and Alessandro Torza for all of their organizational efforts and the kind welcome they reserved to us. We hope we will have further opportunities to collaborate with Tübingen in supporting similarly innovative and valiant european initiatives. (shrink)

Richard Robinson has argued that “no consistent and useful and desirable meaning” can be given to the philosophical terms “corrigible” and “incorrigible” so long as one espouses a bivalent theory of truth with the law of excluded middle operative. The crux of his argument is that the corrigibility-incorrigibility distinction can be shown to be redundant since, in effect, incorrigibility is materially equivalent to truth and corrigibility materially equivalent to falsehood. Robinson understands the correcting of a proposition to consist in (...) “abandoning one's belief in a false proposition and adopting its true contradictory instead. “ But given that it makes no sense to speak of correcting a true proposition, all true propositions are incapable of emendation simply by virtue of their being true, and all incorrigible propositions are by definition true. (shrink)

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of (...) the debate in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

I claim that we should reject a sharp distinction between fiction and non-fiction according to which documentary is a faithful representation of the facts, whilst fiction films merely invite us to imagine what is made up. Instead, we should think of fiction and non-fiction as genres: categories whose membership is determined by a combination of non-essential features and which influence appreciation in a variety of ways. An objection to this approach is that it renders the distinction too conventional and fragile, (...) undermining our justification for criticising documentaries like Bowling for Columbine or The Hunting Ground for playing fast and loose with the facts. I argue that this objection is misguided, misidentifying the justification for criticising non-fiction films that mislead or deceive. I develop an alternative account that explains why we also criticise many fictions for inaccuracy. (shrink)

According to the Ignorance Factivity Thesis, for every proposition p, one is ignorant of p only if p is a truth. By contrast, according to the Ignorance Non-Factivity Thesis, it is false that, for every proposition p, one is ignorant of p only if p is a truth. I argue that, on balance, the case for the latter thesis is stronger than the case for the former.

Some philosophers argue that false speech and false belief are impossible. In the Sophist, Plato addresses this 'falsehood paradox', which purports to prove that one can neither say nor believe falsehoods. In this book Paolo Crivelli closely examines the whole dialogue and shows how Plato's brilliant solution to the paradox is radically different from those put forward by modern philosophers. He surveys and critically discusses the vast range of literature which has developed around the Sophist over the past fifty (...) years, and provides original solutions to several problems that are so far unsolved. His book will be important for all who are interested in the Sophist and in ancient ontology and philosophy of language more generally. (shrink)

CONTRASTING PREJUDICES TRUTH AND FALSEHOOD How can one say something false? How can one even think such a thing? Since, for example, all men are mortal, ...

Philosophy &Public Affairs, Volume 52, Issue 2, Page 106-146, Spring 2024.

According to the safety account of knowledge, one knows that p only if one’s belief could not easily have been false. An important issue for the account is whether we should only examine the target belief when evaluating whether a belief is safe or not. In this paper, it is argued that, if we should only examine the target belief, then the account fails to account for ignorance of necessary truths. But, if we should also examine beliefs in other relevant (...) propositions, then the account fails to account for knowledge from falsehood. Therefore, the safety account of knowledge is undermined by knowledge from falsehood and ignorance of necessary truths. (shrink)

In Plato’s Laws, the Athenian Stranger maintains that law should consist of both persuasion (πειθώ) and compulsion (βία) (IV.711c, IV.718b-d, and IV.722b). Persuasion can be achieved by prefacing the laws with preludes (προοίμια), which make the citizens more eager to obey the laws. Although scholars disagree on how to interpret the preludes’ persuasion, they agree that the preludes instill true beliefs and give citizens good reasons for obeying the laws. In this paper I refine this account of the preludes by (...) arguing that the primary purpose of the preludes is to motivate correct action, and that for citizens who lack rational-governance this is achieved via useful false beliefs. That is to say, in many cases, the prelude functions as a “noble lie” (γενναῖον ψεῦδος). (shrink)

Sextus Empiricus ascribes to Epicurus a curious account of truth and falsehood, according to which these characteristics belong to things in the world about which one speaks, not to what one says about them. I propose an interpretation that takes this account seriously and explains the connection between truth and existence that the Epicureans also seem to recognise. I then examine a second Epicurean account of truth and falsehood and show how it is related to the first.

Despite the undeniable epistemic progress of developmental biology from the second half of the twentieth century to the present day, there still is widespread disagreement on defining the biological term of ‘development’. This scientific field epistemologically is neither unsuccessful nor immature, thus the persistent lack of agreement on its most central concept raises some important questions: is there any need for an explicit definition of biological development, and if so, what content should the definition have? My central thesis is twofold. (...) First, that current definitions of biological development are conceptually or empirically inadequate. Second, that an explicit definition of biological development is very much needed (a) for the practical purposes of science textbooks, but more importantly is needed (b) epistemically for exposing or overcoming problematic assumptions and for partially guiding scientific research by coding the appropriate assumptions. To support this thesis, initially I will show the deficiencies of the dominant definitions of biological development; and subsequently I will provide two arguments: an Argument from Practical Purposes and an Argument from Epistemic Purposes. Finally, for accommodating practical and epistemic purposes and as a response to the inadequacy of the available definitions of development, I will propose and defend an operational definition of biological development which is aimed to be broader than the received ones, while being more precise and fruitful to conduct empirical research. (shrink)

I examine the claim, made by some authors, that we sometimes acquire knowledge from falsehood. I focus on two representative cases in which a subject S infers a proposition q from a false proposition p. If S knows that q, I argue, S's false belief that p is not essential to S's cognition. S's knowledge is instead due to S's belief that p′, a proposition in the neighbourhood of p that S believes . S thus knows despite her false (...) belief. The widely accepted and plausible principle that inferential knowledge requires known premises is unscathed. (shrink)

Falsehood can preclude knowledge in many ways. A false proposition cannot be known. A false ground can prevent knowledge of a truth, or so we argue, but not every false ground deprives its subject of knowledge. A falsehood that is not a ground for belief can also prevent knowledge of a truth. This paper provides a systematic account of just when falsehood precludes knowledge, and hence when it does not. We present the paper as an approach to (...) the Gettier problem and arrive at a relatively simple theory with virtues linked to several issues at the heart of contemporary epistemology. (shrink)

Digital peddling of fake news is influential to persuasive political participation, with veritable social media platforms. Social media, with their instantaneous and widespread usage, have been exploited by ‘anonymous’ political influencers who fabricate and inundate internet community with unverified and false information. Using van Leeuwen’s Discourse Legitimation approach and insights from Discourse Analysis, this study analyses 120 purposively sampled fake news posts on Whatsapp, Facebook and Twitter, shared during the 2019 general elections in Nigeria. WhatsApp allows for the easy and (...) fast sharing of fake news as it pulled the largest occurrence of legitimation strategies, followed by Facebook. Authorisation is the highest occurring legitimation strategy at 46.6% frequency; this is followed by Moralisation which has 27% and Rationalisation at 26.4%; while Mythopoesis did not feature at all in the sampled data, leaving it at 0%. In particular, expert and role model authority are most often deployed to validate fake news such as the demise and cloning of President Buhari, ruling party’s plan to rig and destabilise the 2019 election, massive corruption in the current administration and imminent ethnic violence. The study argues that these strategies are viable persuasive tools owing to their use of discourse markers like make-believe images, emotive language, appeal to emotions, rational conclusions, hateful comments, verbal indictment and coercive verbs. (shrink)