Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a (...) finite number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

In De interpretatione 9, Aristotle argues against the fatalist view that if statements about future contingent singular events (e.g. ‘There will be a sea battle tomorrow,’ ‘There will not be a sea battle tomorrow’) are already true or false, then the events to which those statements refer will necessarily occur or necessarily not occur. Scholars have generally held that, to refute this argument, Aristotle allows that future contingent statements are exempt from either the principle of bivalence, or the law (...) of excluded middle. This paper offers a new interpretation of Aristotle’s refutation of fatalism. According to this interpretation, each member of a pair of contradictory future contingent statements, in virtue of expressing modal necessity, is simply false. (shrink)

Patrick Todd's The Open Future defends the view that all future contingent statements, like ‘It will rain tomorrow’, are false.1 Not only is ‘It will rain tomor.

We contest the unsubstantiated assumption of both materialists and non-materialist that the ontological status they propose applies to all humans and that the competing claim is false for all - ie we reject both the claim of non-materialists that all humans share the same fundamental aspect of having a "non-material consciousness" (nmc), as well as the contrasting claim of materialists that none do (being fully material as according to eliminative materialists/reductive physicalists etc). Instead, the basic proposition of this paper, (...) our ‘ontological conecture’ (OC) - an updated version of our 1998 website article “Mindless Materialists” - is that the central tenets of proponents on both sides are true, but only regarding themselves. A signature feature of nmc is that brains associated to it are capable of knowing of its existence directly, and as a corollary we would propose that if a sophisticated brain does not know it is associated to nmc then most likely this is because it is in fact not so associated. Thus, in accordance with our OC we will consider a brain’s statements on this issue (that it does or does not possess nmc) as not merely its ‘philosophical position’ but as an authoritative statement, a reflection of an ontological fact. Furthermore, we propose that only those who possess nmc are capable of understanding what it is, so that although they are well-qualified to know directly that they themselves possess it, in contrast those who lack nmc and possess only material consciousness (mc) cannot even comprehend what non-materiality means - they will understandably tend to consider it a non-existent absurdity, which contention would be quite correct in a purely-material reality, such as they effectively inhabit. -/- Terminology reflecting ontological status: Since according to our OC those brains which categorize themselves as non-materialists are presumed to indeed be associated to nmc, for usefulness in phraseology we’ll refer to people whose brain is so associated as being nmc’s (not merely “espousing nmc”). Materialists say they are conscious but that theirs is a material consciousness (abbrev: “mc”) , and since according to our OC we accept this self-determination we will refer to them as being “mc’s” or being materialist (not merely “espousing materialism”). -/- Are materialists mindless or are non-materialists delusional? Notoriously, it is impossible to prove that one possesses nmc (which is a sort of corollary to the fact that it is directly self-known) - being non-material, nmc cannot be detected via the scientific method. However just as those with nmc cannot prove they possess it so too one cannot prove or determine via measurement that materialists do not possess it. Nevertheless we feel that our OC is the simplest solution to the conundrum of how there are materialists if a brain can directly sense its associated nmc. In sum, although of course it is impossible to prove that any particular person possesses or lacks nmc, given all the above our OC considers - as stated by the title of this paper - a brain’s self-identification as "materialist" or “non-materialist” (dualist, panpsychist, idealist etc) as reflecting the absence or presence of an associated real non-material awareness/consciousness, rather than merely as a statement of a philosophical stance. An alternative solution is implicit in the above - that all humans possess nmc just that materialists are those whose brains lack the awareness of theirs, or that the brain-aspect which communicates to others has no access to it. -/- Towards developing more constructive dialogue between mc’s/nmc’s, and greater self-confidence and independence among nmc’s in the face of materialist dominance of the intellectual-climate: A large part of the overall paper is devoted to not just pointing out the futility of communication of the sort usually engaged in - ie based on the erroneous underlying assumption that both sides of the debate are ontologically the same - but also suggesting ways to make the debate less frustrating by a recognition of the OC. Greater clarity in discussions can be achieved partly via a deeper understanding of the different meanings the same term might have to nmc’s/mc’s and suggestions relevant the construction of a sort of translation algorithm to utilize in discussions (as a simple example, substituting ‘higher-level cognitive material brain-processes’ for ‘mind’ when that term is used by an mc); by the frank statement by nmc’s engaged in dialogue with mc’s that the existence of nmc is not up for discussion; by learning how the existence of our nmc colors the meaning we give to certain terms in ways we were not aware of, meanings which are absent for mc’s; and in general via the recognition by the nmc that the dialogue is with a person lacking nmc. -/- Perhaps materialists are right: In the interest of ‘reciprocity’, the paper also offers an alternative/opposing view to the central proposition, to the effect that the materialist claim is correct, and it is a defect of brain wiring or structure which is the source of an active illusion of "self-awareness" underlying the philosophical claims of non-materialists. A prospective source of this illusion is offered - an analog of the sense of presence experienced during ‘sleep paralysis’. (shrink)

In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise they (...) would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they would (...) be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

Knowledge of human uses of animals is an important, but understudied, aspect of how humans treat animals. We developed a measure of one kind of knowledge of human uses of animals – knowledge of factory farming. Studies 1 (N = 270) and 2 (N = 270) tested an initial battery of objective, true or false statements about factory farming using Item Response Theory. Studies 3 (N = 241) and 4 (N = 278) provided evidence that responses to a 10-item (...) Knowledge of Factory Farming Scale predicted a reduction in consumption of animal products (rs = −.17- −.27) and approval of political actions aimed at factory farming (rs = .2 – .24). Path models from Studies 3 and 4 suggested that different kinds of knowledge uniquely predicted different outcomes. The Knowledge of Factory Farming scale was a unique predictor of approval of political actions concerning factory farmed animals but not animal consumption. Knowledge of Animals Used as Food predicted animal consumption but not political actions concerning farmed animals. These results highlight that different kinds of knowledge can be relevant for different animal related outcomes. (shrink)

This paper aims to suggest a new approach to Plato’s theory of being in Republic V and Sophist based on the notion of difference and the being of a copy. To understand Plato’s ontology in these two dialogues we are going to suggest a theory we call Pollachos Esti; a name we took from Aristotle’s pollachos legetai both to remind the similarities of the two structures and to reach a consistent view of Plato’s ontology. Based on this theory, when Plato (...) says that something both is and is not, he is applying difference on being which is interpreted here as saying, borrowing Aristotle’s terminology, 'is is (esti) in different senses'. I hope this paper can show how Pollachos Esti can bring forth not only a new approach to Plato’s ontology in Sophist and Republic but also a different approach to being in general. -/- Keywords Plato; being; difference; image; pollachos esti; pollachos legetai 1. Being, Not-Being and Difference The three dialogues where the notion of "difference" attaches to the notion of being, namely Parmenides II, Sophist and Timaeus,and specifically the first two we try to discuss here. In these dialogues, Plato is going to achieve a new and revolutionary understanding of being which is not anymore based on the notion of "same" as it was before in Greek ontology. It was his discovery, I think, that the notion of being in the Greek ontology is attached to the notion of the "same" and it is because of this attachment that there have always been many problems understanding being especially after Parmenides. That being has always been relying on the "same" can be found out from the way most of the Presocratics understood it. It was based on such a relationship between being and "same" that a later Ionian, Heraclitus of Ephesus, rejected Being by rejecting its sameness: unable to be the same, being cannot be being anymore but becoming. Heraclitus’ criticism of his predecessors’ understanding of being was due to his discovery that what they call being is not the same but different in every moment. The relation of being and sameness reaches to its highest point in Parmenides. What Plato does in using the "difference" is nothing but the establishment of a creative relation between being and "difference". In this new relation, although he is in agreement with Heraclitus that being is not the same but different, he does not do it by use of becoming. He disagrees, on the other hand, with Parmenides that such a relation between being and difference leads to not being. At Parmenides 142b5-6 it is said that if One is, it is not possible for it to be without partaking (μετέχειν) of being (οὐσίας), which leads to the distinction of being and one: -/- So there would be also the being of the one (ἡ οὐσία του̑ ἑνὸς) which is not the same (ταὐτὸν) as the one. Otherwise, it wouldn’t be its being, nor the one would partake of it. (142b7-c1) -/- The fact that what is (ἔστι) signifies (σημαῖνον) is other (ἀλλο) than what One signifies (c4-5), is being taken as a reason for their distinction. The conclusion is that when we say 'one is', we speak of two different things, one partaking of the other (c5-7). Having repeated these arguments of the otherness of being and one at 143a-b, Parmenides says that the cause of this otherness can be neither Being nor One but "difference": -/- So if being is something different (ἕτερον) and one something different (ἕτερον), it is not by being one that the one is different from being nor by its being being that being is other than one, but they are different from each other (ἕτερα ἀλλήλων) by difference (τῷ ἑτερῳ) and otherness (ἄλλῳ). (143b3-6) -/- The fifth hypothesis, 'one is not' (160b5ff.) is also linked with the notion of difference. When we say about two things, largeness and smallness, that they are not, it is clear that we are talking about not being of different (ἕτερον) things (160c2-4). When it is said that something is not, besides the fact that there must be knowledge of that thing, we can say that it entails also its difference: 'difference in kind pertains to it in addition to knowledge' (160d8). Parmenides explains the reason as such: -/- For someone doesn’t speak of the difference in kind of the others when he says that the one is different from the others, but of that thing’s own difference in kind. (160e1-2) -/- Although the theory of being as "difference" is not fulfilled yet, an exact look at what occurs in Sophist can make us sure that this was the launching step for "difference" to get its deserved role in Plato’s ontology. The notion of the "difference" is not yet well-functioned in Parmenides because we can see that being is still attached to the same: -/- For that which is the same is being (ὄν γὰρ ἐστι τὸ ταὐτόν) (162d2-3). -/- The notion of difference in Sophist is the key element based on which a new understanding of being is presented and the problem of not being is somehow resolved. The friends of Forms, the Stranger says, are those who distinguish between being and becoming (248a7-8) and believe that we deal with the latter with our body and through perception while with the former, the real being (ὄντως οὐσίαν) with our soul and through reasoning (a10-11). Being is then bound with the "same" by adding: -/- You say that being always stays the same and in the same state (ἣν ἀεὶ κατὰ ταὐτὰ ὡσαύτως ἔχειν) but becoming varies from one time to another (δὲ ἄλλοτε ἄλλως). (248a12-13) -/- That the theory of the relation of being and capacity (247d8f., 248c4-5) matches more with becoming than with being (248c7-9) must be rejected because being is also the subject of knowledge which is kind of doing something (248d-e). It does, however, confirm that 'both that which changes and also change have to be admitted as existing things (ὄντα) (249b2-3). I believe that this is what Socrates would incline to do at Theaetetus 180e-181a, that is, putting a fight between two parties of Parmenidean being and Heraclitean becoming and then escaping. The solution is that becoming is itself a kind of being and we ought to accept what changes as being. This is what must be done by a philosopher, namely, to refuse both the claim that 'everything is at rest' and that 'being changes in every way' and beg, like a child, for both and say being (τὸὄν) is both the unchanging and that which changes (249c10-d4). This kind of begging for both is obviously under the attack of contradiction (249e-250b). For both and each of rest and change similarly are (250a11-12) but it cannot be said either that both of them change or both of them rest, being must be considered as a third thing both of the rest and change associate with (250b7-10). The conclusion is that 'being is not both change and rest but different (ἕτερον) from them instead' (c3-4). The notion of difference helps Plato to take being departed from both rest and change because it was their sophisticated relation with being that made the opposition of being and becoming. Plato is now trying to separate being from rest and, thus, from "same" by "difference". Such a crucial change is great enough to need a 'fearless' decision (256d5-6). The possibility of being of not being is resulted (d11-12) comes as the answer to the question 'so it’s clear that change is not being and also is being (ἡ κίνησις ὄντως οὐκ ὄν ἐστι καὶ ὄν) since it partakes in being?' (d8-9). It is then by the notion of difference that becoming is considered as that which both is and is not. This coincidence of being and not being about change is apparently similar to Socrates’ paradoxical statement at Republic 477a about what both is and is not. -/- Introduction The Republic 476-477 has always been a matter of controversy mainly about two interwoven points. The first problem is the meaning of being here; that whether what he has in mind is a veridical, existential or propositional sense of being. The second problem is his distinction between the objects of knowledge and opinion which seems to lead, some believe, to the Two Worlds (TW) theory. The crucial point in Republic is that what is considered between knowledge (ἐπιστήμης) and ignorance (α͗γνοιας), namely opinion, must have a different object that leads Socrates to draw the distinction of knowledge and opinion between their objects. The problem of understanding being in the fifth book of the Republic is that when it is said that the Form of F is F but a particular participating in F, both is and is not F, it sounds too bizarre and unacceptable. It cannot be imaginable how a thing can be existent and non-existent at the same time. At the first sight, the only solution seems to be the degrees of existence which is called by Annas (1981, 197) a 'childish fallacy' and a 'silly argument'. Kirwan (1974, 118) thinks that Republic V does not attribute 'any doctrine about existence' to Plato and Kahn (1966, 250) claims that the most fundamental value of einai when used alone (without predicate) is not "to exist" but "to be so", "to be the case" or "to be true". The problems of understanding being in Republic and Sophist besides the difficulties of the existential reading led scholars to the other senses of being, mostly related to the well-known Aristotelian distinctions between different senses of being. In the predicative reading, Annas, for example, refers this difference to the qualified and unqualified application. Whereas the Form of F is unqualifiedly F, a particular instance of F can be F only qualifiedly (1981, 221). Vlastos’ well-known substitution of 'degrees of reality' for 'degrees of being/existence' must be categorized as a predicative reading. Kahn thinks that the basic sense of being for Plato is 'something like propositional structure, involving both predication and truth claims, together with existence for the subject of predication' (2013, 96). Believing that the complete-incomplete distinction terminology is misleading about Plato, he thinks that semantic functions are only second-order uses of the verb and it is the predicative or incomplete function which is fundamental. Suggesting a veridical reading, Fine (2003, 70 ff) thinks that while both existential and predicative readings separate the objects of knowledge and belief, it is only her reading which does not force such separation of the objects and thus does not imply TW. Stokes (1998, 266) thinks that though Fine is right saying that Plato does not endorse TW in book V, she is wrong in rejecting existential in favor of the veridical reading. The reception of existential reading can be seen more obviously in Calvert who thinks, in agreement with Runciman, that 'it would be safer to say that Plato’s gradational ontology is probably not entirely free from degrees of existence' (1970, 46). At Sophist 254d-e Plato singles out five most important kinds (or Forms!?) in which the same (ταὐτὸν) and difference (θάτερον) are regarded besides being, rest and change. They are, therefore, neither the same nor the difference but share in both (b3). Being (τὸ ὄν) cannot be the same also because if they 'do not signify distinct things' both change and rest will have the same label when we say they are (255b11-c1). We have then four distinct kinds, being, change, rest and same, none of them is the other. The case of difference is more complicated. When the stranger wants to assess the relation of being and difference, he can say simply neither that they are distinct nor that they are not. He has to make an important distinction inside being to get able to draw the relation of being and difference: -/- But I think you'll admit that some of the things that are (τῶν ὄντων) are said (λέγεσθαι) by themselves (αὐτὰ καθ’ αὑτά) but some [are said] always referring to (πρὸς) other things (ἄλλα) (255b12-13) -/- The difference is always said referring to other things (τὸδέγ’ ἕτερον ἀεὶ πρὸς ἕτερον) (255d1). It pervades all kinds because each of them should be different from the others and is so due to the difference and not its own nature (253e3f.) After asserting that change is different from being and therefore both is and is not (256d), the difference is described as what makes all the other kinds not be, by making each different from being. Given that all of them are by being, this association of being and difference is the cause of their being and not-being at the same time, the issue that its version at RepublicV made all those controversies we discussed above: -/- So in the case of change and all the kinds, not being necessarily is (Ἔστιν ἄρα ἐξ ἀναγκης τὸ μὴ ὄν). Τhat’s because as applied to all of them, the nature of the difference (ἡ θατέρον φύσις) makes each of them not be by making it different from being. And we’re going to be right if we say that all of them are not in the same way. And conversely [we’re also going to be right if we say] that they are because they partake in being. (Sophist 256d11-e3) -/- Plato’s new construction of five distinct kinds and the role he gives to thedifference among them is aimed to resolve the old problem of understanding being which has always been annoying from the time of Heraclitus and Parmenides. Both the ontological status of becoming and that of not being were, in Plato’s mind, based on the absolute domination of the notion of the Same over being. Now, not only becoming is understandable as being but also not being which is not the contrary of being anymore but only different (ἕτερον) (257b3-4). Though I agree partly with Frede that the account of not being which is needed for false statements is more complicated than just saying, as Cropsey (1995, 101) says, that Plato is substituting 'X is not Y' with 'X is different from Y', I totally disagree with him that when we say X is not beautiful, Plato could not have thought that it is not a matter of its being different from beautiful because 'it would be different from beauty even if it were beautiful by participation in beauty' (1992, 411). Conversely, as we will discuss, it is exactly the relation of the beautiful thing, X, and the beautiful itself, in which X shares that is to be solved by the notion of not being as difference. Though it is beautiful because of sharing in beauty, X is not beautiful because it is different from beautiful itself. What the difference is to do is to show how something can both be and not be the same thing. The difference is what makes one thing both be and not be a certain other thing. This equips the difference with the ability to explain a certain thing’s not-being when it is. Thanks to the notion of difference, it is now possible to explain not only not being but also the simultaneous being and not being of a thing: 'What we call "not-beautiful" is the thing that ἕτερόν ἐστιν from nothing other than του̑ καλου̑ φύσεως' (257d10-11). The result is that not beautiful happens to be (συμβέβηκεν εἶναι) one single thing among kinds of beings (τι τῶν ὄντων τινὸς ἑνὸς γένους) and at the same time set over against one of the beings (πρός τι τῶν ὄντων αὖ πάλιν ἀντιτεθὲν) (257e2-4) and thus be something that happens to be not beautiful (εἶναί τις συμβαίνει τὸ μὴ καλόν); a being set over against being (ὄντος δὴ πρὸς ὄν ἀντίθεσις) (e6-7). Neither the beautiful is more a being (μα̑λλον ... ἐστι τῶν ὄντων) nor not beautiful less (e9-10) and thus both the contraries similarly are (ὁμοίως εἶναι) (258a1). This conclusion, it is emphasized again (a7-9), owes to θατέρου φύσις now turned out as being. Therefore, each of the many things that are of the nature of the difference and set over each other in being (τῆς τοῦ ὄντος πρὸς ἄλληλα ἀντικειμένων ἀντίθεσις) is being as being itself is being (αὐτοῦ τοῦὄν τοςοὐσία ἐστιν) and not less. They are different from, and not the contrary of, each other (a11-b3). This is exactly τὸμὴὄν, the subject of the inquiry (b6-7). Hence, not being has its own nature (b10) and is one εἶδοςamong the many things that are (b9-c3). Such far departing from Parmenides’ ontological principle is done on the basis of the nature of the difference. It was the discovery of such a notion that made the stranger brave enough to say that not being is each part of the nature of the difference that is set over against being (258d7-e3, cf. 260b7-8). That the relation of being and difference is difference is the key element of the new ontology. The difference is, only because of its sharing in being, but it is not that which it shares in but different from it (259a6-8). Not being is exactly based on this difference: ἕτερον δὲ τοῦ ὄντος ὄν ἔστι σαφέστατα ἐξ ἀνάγκης εἶναι μὴ ὄν (a8-b1). 2. Difference and the Being of a Copy We discussed above that the sense of being of particulars in Republic V made so many debates that whether being is there used in an existential sense or not. Particulars in Republic are regarded as images in the allegories of Line and Cave. The being of an image/copy makes, thus, the same problem. Plato’s analogy of original -copy for the relation of Forms and their particulars in Republic has obviously a different attitude to being. The main question is that what is the ontological status of a copy in respect of its original? Are there two kinds of being, 'real being' versus 'being' as Ketchum says (1980, 140) or only one kind? What is the difference of being in an original and its copy? Is it a matter of degrees of being or reality as some commentators have suggested? Is it a matter of being relational? By reducing the ontological issue to an epistemological one, Vlastos’ suggestion of degrees of reality in an article with the same name does neither, I think, pay attention to the problem nor resolve it. He agrees that Plato never speaks of "degrees" or "grades" of reality (1998, 219). What allows him to entitle it as such are some of Plato’s words in Republic as well as Plato’s words in some other dialogues (1998, 219). When Plato states that the Forms only can completely, purely or perfectly be real he means, Vlastos says, they are cognitively reliable (1998, 229); an obvious reduction of the issue to an epistemological one. He thinks that when in Republic we are being said that a particular’s being F is less pure than its Form, it is because it is not exclusively F, but it is and is not F and this being adulterated by contrary characters is the reason of our confused and uncertain understanding of it (1998, 222). Ketchum rightly criticizes Vlastos’ doctrine in its disparting from ontology thinking that 'to understand Plato’s talk of being as talk of reality is to obscure the close relation that exists between "being" and the verb "to be"' (1980, 213). He thinks, therefore, that οὐσία must be understοοd as being rather than reality, τὸὄν as "that which is" and not "that which is real" and … (ibid). His conclusion is that degrees of reality cannot interpret Plato correctly and we must accept degrees of being. Allen believes that a 'purely epistemic' reading of the passage in Republic is patently at odds with Plato’s text (1961, 325). He thinks that not only degrees of reality but also degrees of reality must be maintained (1998, 67). What Cooper suggests gets close to this paper’s solution: -/- Plato does not I think wish to suggest that existence is a matter of degree in the way in which being pleasant or painful is a matter of degree. Rather there are different grades of ontological status. (1986, 241) -/- A more ontological solution for the problem of understanding the being of a copy and its relation with the being of its original is suggested by the theory of copy as a relational entity. Based on this interpretation, 'the very being of a reflection is relational, wholly dependent upon what is other than itself: the original…' (Allen, 1998, 62). As relational entities, particulars have no independent ontological status; they are purely relational entities which derive their whole character and existence from Forms (ibid, 67). Although these relational entities are and have a kind of existence, we must also say that 'they do not have existence in the way that Forms, things which are fully real, do' (ibid). Allen (1961, 331) extends his theory to Phaedo where it is said that particulars are deficient (74d5-7, 75a2-3, 75b4-8), 'wish' to be like (74d10) or desire to be of its nature (75a2); an extension that, like F.C. white (1977, 200), I cannot admit. He correctly states that Plato did not start out with a doctrine of particulars as images and semblances but come to such a view after Phaedo, or perhaps after Republic V (1977, 202). Though we may not agree with him about Republic V, if we have to consider its last pages also, we must agree with him that not only the ontology of Phaedo but also that of Republic II-V (except the last pages of the latter book) are somehow different from (but at the same time appealing to) the ontology of original-copy which should exclusively assign to Sophist, Timaeus and RepublicVI-VII besides the last pages of book V. The answer to the problem of Plato’s sense of being in RepublicV can be reached only if we read Republic V based on and as following Sophist. We can find out his meaning of that which both is and is not only by the ontological status he assigns to a copy in Sophist. The kind of being of a copy in Sophist reveals as Plato’s key for the lock of the problem of not being. Let’s see how the ontological status of a copy is the critical point of Plato’s ontology. In the earlier pages of Sophist, we are still in the same situation about not being. To think that that which is not is is called a rash assumption (237a3-4) and Parmenides’ principle of the impossibility of being of not being is still at work (a8-9). At 237c1-4, the problem of "not being" is noticed in a new way which shows some kinds of a more realistic position to the problem of not being. Nevertheless, not being is still unthinkable, unsayable, unutterable and unformulable in speech (238c10). Soon after mentioning that it is difficult even to refuse not being (238d), the solution to the problem appears: the being of a copy (εἴδωλον) (239d). A copy is, says Theaetetus, something that is made referring to a true thing (πρὸς τἀληθινὸν) but still is 'another such thing (ἕτεροντοιου̑τον)' (240a8). Nevertheless, this 'another such thing' cannot be another such real or true thing. In answer to the question of the Stranger that if this 'another such thing' is the true thing (240a9), Theaetetus answers: οὐδαμῶς ἀληθινόν γε, ἀλλ’ ἐοικὸςμὲν (240b2). A copy’s being 'another such thing' does not mean another true thing but only a resemblance of it. Not only is not a copy another true thing besides the original, but it is the opposite of the true thing (b5) because only its original is the thing genuinely and being a copy is being the thing only untruly. The word ἐοικὸς is opposed to ὄντως ὄν in the next line (240b7): 'So you are saying that that which is like (ἐοικὸς) is not really that which is (οὐκ ὄντως [οὐκ] ὄν)'. But still a copy 'is in a way (ἔστι γε μήν πως)' (b9). While it is not really what it is its resemblance, it has its own being and reality because it really is a likeness (εἰκων ὄντως) (b11). The Stranger asks: -/- So it is not really what is (οὐκ ὄν ἄρα [οὐκ] ὄντως ἐστὶν) but it really is what we call a likeness (ὄντως ἣν λέγομεν εἰκόνα)? (b12-13) -/- This is Plato’s innovative ontological solution to the problem of not being. Theaetetus’ answer confirms this: 'Maybe that which is not is woven together with that which is' (c1-2). Therefore, a copy neither is what really is nor is not-being but only is what in a way is. Thanks to the ontological status of a copy, the third status intermediate between being and not being is brought forth. The essence of an image, in Kohnke’s words, does not consist 'solely in the negation of what is genuine and has real being' because otherwise 'it would be an ὄντως οὐκ ὄν,essentially and really a not being' (1957, 37). The characteristics of a copy can be summed up as folows: i) A copy is a copy by referring to a true thing (πρὸς τἀληθινὸν). ii) A copy is different from that of which it is a copy (ἕτερον). iii) A copy is not itself a true thing (ἀληθινόν) as that of which it is a copy but only that which is like it (ἐοικὸς). iv) It is not really that which really is (ὄντως ὄν) but only really a likeness (εἰκων ὄντως). The conclusion is that: v) A copy in a way (πως) is that means it both is and in not, the product of interweaving being with not being. This leads to the refutation of father Parmenides’ principle, accepting that 'that which is not somehow is (τό τε μὴ ὄν ὡς ἔστι)' and 'that which is, somehow is not (τό ὄν ὡς οὐκ ἔστι) (241d5-7). Besides copies and likenesses (εἰκόνων), we have also imitations (μιμημάτων) and appearances (φαντασμάτων) as the subjects of this new kind of being and thus false belief (241e3). In Timaeus, the world of becoming which cannot correctly be called and thus we have to call it "what is such" (τὸ τοιου̑τον) (49e5) or "what is altogether such" (τὸ διἀ παντὸς τοιου̑τον) (e6-7), consists solely of imitations (μιμημάτα) (50c5) which are identifiable only by the things that they are their imitations. The word τοιου̑τον which had been used to determine the situation of a copy in respect of its original, now becomes the definition of the world of becoming in which everything is an image of another thing, a Being, that stays always the same and is different and separated from its image. Cherniss, in my view rightly, draws attention to the very important point about the ontological status of an image that can at the same time be considered a criticism of the relational theory. What we are being said in Timaeus, he thinks,cannot be explained by saying that an image is not self-related and making its being relational. What is crucial about an image is that it 'stands for something, refers to something, means something and this meaning the image has not independently as its own but only in reference to something else apart from it' (1998, 296). This function finds its best explanation in the theory we are to suggest in the following. 3. πολλαχῶς ἔστι The best way to understand the ontological status of an image in Plato is to see first how his most clever pupil, Aristotle, resolved the same problem that Plato brought his theory of image for its sake. Aristotle’s theory of pollachos legetai is a brilliant and, at the same time, deviated version of Plato’s theory that is able, however, to help us read Plato in a better way. We discuss Aristotle’s theory to reach to a full understanding of Plato’s theory because it is, firstly, constructed in Aristotle in a more clear way and, secondly, it can also be taken as an evidence that our reading of Plato is legitimate. The phrase τὸ ὄν πολλαχῶς λέγεται, a so much repeated phrase in Aristotle’s works, is his resolution for some of the ontological problems of his predecessors all treating being as if it has only one sense. Aristotle is right in his criticism of the philosophical tradition specially Heraclitus, Parmenides and Plato since all did presuppose only one sense for being and his theory is, thus, a creative and revolutionary solution for many problems that all the past philosophers were stuck in. But it is at the same time somehow a borrowed theory. As we will discuss, both the structure of the doctrine and the problems it tries to resolve are the same as Plato’s doctrine (and even is comparable in its phraseology) though it is in Aristotle, as can be expected, a more clear and better structured doctrine. 1) Associated with the theory of pros hen and the theory of substance, the theory of several senses of being provides a structure which, I insist, is the best guide to understand Plato’s theory of Being in Sophist, Timeaus and Republic. a) Although the theory of pollachos legetai is not necessarily based on the theory of pros hen, they become tightly interdependent about being: -/- Being is said in many ways/senses (τὸ δὲ ὄν λέγεται μὲν πολλαχῶς) but by reference to one (πρὸς ἕν) [way/sense] and one kind of nature (μίαν τινὰ φύσιν). (Metaphysics 1003a33-34) -/- The doctrine of pros hen which is Aristotle’s initiative third alternative besides the homonymous and synonymous application of words, is primarily a linguistic theory that tries to provide a new theory to explain the different implementations of the same word. The pros hen implementation of being is to provide an alternative for the theory of the synonymous (in Plato: homonymous) implementation of being which says being is said in one sense (kath hen) (1060b 32-33). That both the pros hen and the kath hen implementation of a word has one thing (hen) as what is common, makes them in opposition to the homonymous implementation which does not consider anything in common. Whereas both pros hen and kath hen assume a common nature, with which all the implementations of the word have some kind of relation, their difference is that while kath hen takes all the implementations of the word as the same with the common nature, pros hen makes them different. Substance is called πρῶτον ὄν because it is said to be primarily: -/- For as is (τὸ ἔστιν) is predicated of all things, not however in the same way (οὐχ ὁμοίως) but of one sort of thing primarily and of others in a secondary way. So too τὸτί ἐστιν belongs simply (ἁπλῶς) to substance but in a limited sense (πῶς) to the others [other categories] (1030a21-23). -/- The word ἁπλῶς standing against κατὰ συμβεβηκός tries to make substance different from the accidents. When we are being said that τὸ ὄν πολλαχῶς λέγεται, it means that only the substance that is simply (ἁπλῶς) the ἕν, the common nature, τὸὄν. When we use the word 'being' about a substance, the being is said differently from when we use 'being' about an accident. The distinction between the substance and the other categories is a distinction between what simply is said to be and what only with reference to (pros) the substance is said to be. The doctrine of pros hen, changing kath hen to pros hen in respect of to on, makes a distinction that wants to show that while there is a kind of implementing the word being that is simply being, there is another kind which is called being only by reference to that which is simply being. In the doctrine of pros hen it is not so that all the things that are said to be are only by reference to a common one thing, but that while one thing is called being because it is that thing itself, the other things are called so without being that thing itself but only by referring to it. At the very beginning of book Γ, it is said that: -/- Being is said in many senses but all refer to one arche. Some things are said to be because they are substances, others because they are affections of substances, others because they are a process towards substances or destructions or privations or qualities of substances … (1003b5-9, cf. 1028a18-20) -/- Substance is what really is said to be and all other things that are said to be are said only in favor of it. This difference of substance from all other senses of being is what is, I believe, primarily aimed in Aristotle’s interrelated theories of pollachos legetai,pros hen and the theory of substance. b) The difference of the implementation of being in the case of substance and the accidents goes so deep that while substance is considered as the real being, the accidents are almost not being. An accident is a mere name (Metaphysics 1026b13-14) and is obviously akin to not being (b21). Aristotle adds that Plato was 'in a sense not wrong' saying that sophists deal with not being (τὸ μὴ ὄν) because the arguments of sophists are, above all, about the accidental (1026b13-16). At the beginning of book , he says about quality and quantity (which look to be more of a being than other accidents) that they are not existent (οὐδ̕ ὄντα ὡς εἰπεῖν) in an unqualified sense (ἁπλῶς) (1069a21-22). The two above-mentioned points, Aristotle’s (a) interwoven theories of pollachos legetai, pros hen and the theory of substance and (b) taking accidents almost as not being, comparedwith substance, brings forth a structure that I shall call Pollachos Legetai (with capital first letters). What is of the highest importance in this structure for me is the difference of substance from accidents and the kind of relation which is settled between them. There is a substance that without any qualification is said to be and the accidents that are said to be only by reference (pros) to it. Adding Aristotle’s point about accidents that they are nearly not being to this relation and difference, we can obviously see how much this structure is close to Plato’s original-copy ontology. We spoke of the relation of being and difference in Plato’s model and the way Plato construes the being of a copy. A copy is a copy only by referring to (pros) a model; it is different from (ἕτερον) that of which it is a copy; it is not itself a true thing as its model and not really that which is (ὄντως ὄν) but only is in a way (πῶς). If we behold the difference of substance and accident in the context of the theory of pollachos legetai and pros hen, we can observe its fundamental similarity with Plato’s original-copy theory in its structure. Allen draws attention to the fact that the relation between Forms and particulars in Plato’s original-copy model is 'something intermediate between univocity and full equivocity' (1998, 70, n. 24) and the same as what Aristotle calls it pros hen (ibid). What made us compare the two structures was not, of course, the complete similarity of two structures (we have to agree with many possible differences of the two theories) but exactly the specific relation between an original and its copy on the one hand, and a substance and its accident on the other hand. As substance and accident do not share a common character and the substance -accident model hints that they stand in a certain relation, there is no common character between the original and copy in Plato’s model as well. Furthermore, their similarity is not confined to their structure only; they are also aimed to solve the same problem. The central point of the theory is that all the predecessors took being in one sense and this was their weakness point. Besides the mentioned above passages about the relation of pollachos legetai and presocratics’, as well as Plato’s, ontology, the relation of the theory with the problem of not being is clear in several passages. In Metaphysics, it is said: 'Being is then said in many senses… It is for this reason that we say even of not being that it is not being' (1003b5-10). Discussing the accidental sense of being, Aristotle points that it is in the accidental way that we say, for example, that not-white is because that of which it is an accident is (1017a18-19, cf. 1069a22-24). We mentioned that he thought Plato was right saying that sophistic deals with not being because sophistic deals with accidental, which is somehow not being (1026b14-16). Plato turned sophistic not-being to what both is and is not and Aristotle to what accidentally is said to be. What helps Aristotle to resolve the problem of not being is his distinction between ἁπλῶς and κατὰ σθμβεβηκός. Aristotle’s "qua" (ᾕ) which is directly linked with his distinction between καθ’ αὑτο λέγεται and κατὰ συμβεβηκός λέγεται, is used to resolve the old problem of coming to be out of not being (Physics 191b4-10). He strictly asserts that his predecessors could not solve the problem because they failed to observe the distinction of "qua itself" from "qua another thing" (b10-13). He then continues: -/- We ourselves are in agreement with them in holding that nothing can be said simply (ἁπλως) to come from not being (μὴὄντος). But nevertheless we maintain that a thing may come to be from not being in an accidental way (κατὰ συμβεβηκός). For from privation which ὅ ἐστι καθ’ αὑτο μὴ ὄν, nothing can become. (Phy. 191b13-16, cf. b19-25) . (shrink)

Thought is the primary realm in which truth and falsity may occur and speech the secondary realm of this occurrence while the realm of external being has no truth and falsity in itself. The first and last points are directly asserted by Aristotle in one text: ‘Falsity and truth are not in things-it is not as if the good were true, and the bad were in itself false- but in thought.’ (Met., E, 1027b25-27; cf. Met., K, 1065a22-23) The second (...) point is also somehow implied: ‘As there are in the mind thoughts which do not involve truth and falsity, and those which must be either true or false, so it is in speech.’ (OI, I, 1, 16a9-11) 1) Truth and falsity belong only to co-positings and positing aways and not to incomposites Truth and falsity do not belong to the realm of external being but only to the realms of thought and language. However, they do not belong to all the elements in these realms. Neither do they belong to incomposite elements in thought (‘With regard to simple things and essences, falsity and truth do not exist even in thought.’ (Met., E, 1027b26-28; So., Γ, 6, 430a26-b4)), nor to such elements in language. Consequently, all incomposites are incapable of being true or false. (cf. Met., Θ, 1051b17-22 and b26-27) Where we have no co-positing or positing away, of the kind made by copula or verb, we cannot have truth and falsity though we can have significance: ‘“Man” and “white”, as isolated terms, are not yet either true or false. In proof of this, consider the word “good-stag.” It has significance, but there is no truth or falsity about it, unless “is” or “is not” is added, either in present or in some other tense.’ (OI., I, 1, 16a14-18) Therefore, any other kind of co-positing cannot be the subject of truth and falsity. One good example of co-positings not made by copula or verbs are simple negations: ‘He that uses the expression ‘not-man,’ if nothing more be added, is not nearer but farther from making a true or a false statement than he who uses the expression “man.”’ (OI., I, 10, 20a34-36) It is indeed a co-positing or a positing away that is the subject of truth and falsity: ‘For it is co-positing (σύνθεσιν) and positing away (διαίρεσιν) that truth and falsity is about.’ (OI., I, 1, 16a12-13) Co-positing is so vital for truth-falsity that ‘of the things that are never said based on co-positing, nothing is true or false.’ (Cat., 10, 13b9-11) This co-positing can be both in thought (‘where the alternative of true or false applies, there we always find a sort of combining of objects of thought in a quasi-unity … For falsehood always involves a combining’ (So., Γ, 6, 430a26-b2) and ‘truth or false is a co-positing of concepts of thought’ (So., Γ, 6, 430a11-12) and in language because they are produced in thought: ‘There is not only the true or false assertion that Cleon is white but also the true or false assertion that he was or will be white. In each and every case that which unifies is thought.’ (So., Γ, 6, 430b4-6) 2) Correspondence to external world Although truth and falsity belong to thought and language and not to external world, their basis is in the external world. It is, in fact, the correspondence of thought and language to external world that makes what is true, true and what is false, false: ‘To say of what is that it is, or of what is not that it is not, is false, while to say of what is that it is, and of what is not that is not, is true.’ (Met., Γ, 1011b26-27; cf. Met., Θ, 1051b2-5) When the two realms are correspondent, we can transfer from one to the other: ‘If it is true to say that a thing is white, it must necessarily be white; if the reverse proposition be true, it will of necessity not be white. Again, if it is white, the proposition stating that it is white was true; if it is not white, the proposition to the opposite effect was true. And if it is not white, the man who states that it is making a false statement, it follows that it is not white.’ (OI., I, 9, 18a39-b3) This possible mutual transformation does not, however, imply that each realm is the basis of the other. In fact, it is only the external world that is the basis of truth and falsity in thought or language and not vice versa: ‘it is not because we think that you are white, that you are white, but because you are white we who say this have the truth.’ (Met., Θ, 1051b6-9; Cat., 5, 4b8-10) Aristotle even calls the external world the ‘cause’ of truth in the realm of language while the converse causation is not approved: ‘Whereas the true statement is in no way the cause of the actual thing’s existence, the actual thing does seem in some way the cause of the statement’s being true: it is because the actual thing exists or does not that the statement is called true or false.’ (Cat., 12, 14b18-22) This one-sided relation Aristotle calls ‘reciprocation as to implication of existence’: ‘For there being a man reciprocates as to implication of existence with the true statement about it: if there is a man, the statement whereby we say that there is a man is true, and reciprocally- since if the statement whereby we say that there is a man is true, there is a man. And whereas the true statement is in no way the cause of the actual thing’s existence, the actual thing does seem in some way the cause of the statement’s being true: it is because the actual thing exists or does not that the statement is called true or false,’ (Cat., 12, 14b14-22) Aristotle attaches falsity to not-being: ‘We cal things false in this way, then, either because they themselves do not exist, or because the appearance which results from them is that of something that does not exist.’ (Met., Δ, 1024b24-26) Or: ‘A false formula is the formula of non-existent objects, in so far as it is false.’ (Met., Δ, 1024b26-27) This correspondence to ‘non-being’ is, however, more a miscorrespondence: ‘Hence every formula is false when applied to something other than that of which it is true, e.g. the formula of a circle is false when applied to a triangle.’ (Met., Δ, 1024b27-28) . (shrink)

Statements about fictional characters, such as “Gregor Samsa has been changed into a beetle,” pose the problem of how we can say something true (or false) using empty names. I propose an original solution to this problem that construes such utterances as reports of the “prescriptions to imagine” generated by works of fiction. In particular, I argue that we should construe these utterances as specifying, not what we are supposed to imagine—the propositional object of the imagining—but how we are (...) supposed to imagine. Most other theories of thought and discourse about fictional characters either fail to capture the intentionality of our imaginings, or else obscure the differences between imaginings directed toward fictional characters and those directed toward real individuals. I argue that once we have an account of prescriptions to imagine about real individuals, we can adapt the same framework to specify the contents of prescriptions to imagine about fictional characters, and thereby to account for the truth (or falsity) of statements about fictional characters. (shrink)

At Sophist 260e3-261a2, the Eleatic Stranger claims that in order to demonstrate that falsehood is, he and Theaetetus must first track down what speech (logos), opinion (doxa), and appearance (phantasia) are, and then observe the communion (koinōnia) that speech, opinion, and appearance have with non-being. The Stranger, however, never explicitly discusses the communion of speech, opinion, and appearance with non-being. Yet presumably their communion is implicit in his account of falsehood, given his claim that observing that communion is needed in (...) order to demonstrate that falsehood is (260e5-a2). This essay seeks to make the communion that speech has with non-being explicit. I argue that speech has communion with non-being in that the things and actions speech combines together by means of nouns and verbs need not be combined in a way that reveals how the being a given speech is about combines ontologically with other beings. (shrink)

All statements describing physical reality are derived through interpretation of measurement results that requires a theory of the measuring instruments used to make the measurements. The ultimate measuring instrument is our body which displays its measurement results in our mind. Since a physical theory of our mind-body is unknown, the correct interpretation of its measurement results is unknown. The success of the physical sciences has led to a tendency to treat assumption in physics as indisputable facts. This tendency hampers the (...) development of new theories capable of addressing the foundations of mind. To show the possibility that false interpretations of experimental results have lead to equally false projections onto physical reality may have happened, the double slit experiment and special relativity experiments are examined in detail. I will show that strongly held a-priory beliefs characterizing measurement instruments have lead to unjustified but widely held concepts in physical theories. For example the assumption that material bodies have minds can change the interpretation of experiments to produce alternative physical theories. Since some material bodies have minds this paper calls for a review of the conscious observer’s role in the execution and interpretation of fundamental physics experiments in order to verify or challenge the basic beliefs adopted in standard physical theories. (shrink)

The statement everyone wants to live a fulfilled and happy life may seem simple, self-evident, and even trivial at first glance. However, upon closer philosophical analysis, can we unequivocally assert that people are truly focused on well-being? Assuming they are, the question becomes: what guidelines should be followed and how should one behave in order to achieve true well-being and attain their goals? One popular viewpoint is that cultivating moral virtues and personal qualities is essential for a life of (...) "true" well-being, rather than mere pleasure. This perspective is not particularly original, as it was advocated quite clearly by Aristotle. However, we must ask: what guarantees that virtue will lead to well-being? Can we really ignore the common-sense doubt that virtue (and moral life), as Kant points out, may not be rewarded with any form of well-being or "happiness" in the broadest sense during our earthly existence? How might we address this doubt? If questions about the relationship between happiness and virtue have been asked since ancient times, why don't we have definitive answers yet? Perhaps there is something wrong with the questions themselves, as is often the case in philosophy. Views on this relationship have influenced the modification of theories that philosophers have put forth in order to provide satisfactory answers. One such theory is the renewed and modernized ethics of virtue, which places the greatest emphasis on building an individual's moral character, assuming that Aristotelian character virtues such as courage, honesty, generosity, prudence, self-control, and compassion will enable us to lead a happy and fulfilling life. "Virtues" refer to a wide range of "excellences" or activities that individuals can use to perfect themselves. For example, an ordinary person might accept that courage can make their life more fulfilling, but it's important to recognize that virtues cannot be acquired overnight. Furthermore, many people believe that virtues are innate qualities that one either possesses or lacks. In contrast, ethics of virtue provides guidance and instructions for developing virtues over extended periods of time, as well as for continuously "practicing" the development of moral characteristics that will make us better individuals. The central and most significant concept in ethics of virtue is the golden mean, which can be interpreted in various ways. Essentially, ethics of virtue offers a path to a life filled with pleasure, harmony, and virtuous action. However, this collection of essays, Virtues and Vices: Between Ethics and Epistemology, is not exclusively concerned with virtues or ethics. Knowledge, as well as the processes of belief formation and justification of those beliefs, are also essential to ethics of virtue. Going back to the systematic Greek philosopher and his teacher, we can emphasize that virtues and knowledge are inseparable. Without the epistemology of virtues, even a thematic collection like this one would be incomplete. The Epistemology of Virtue is a relatively new branch of philosophy that has emerged as a response to questions about the value-neutrality of science. For a long time, the separation of values and scientific inquiry has been viewed as the correct methodological approach. However, it is clear that every scientist is also a human being with their own virtues and flaws. It is naive to assume that a scientist can leave their values and moral qualities outside the laboratory and treat their colleagues in the team differently than they would treat other people in their everyday life. Taking this into account, we can notice that Epistemology of Virtue is a theory that examines the influence of virtues on the processes of acquiring knowledge. Epistemic virtues refer to qualities that enable individuals to acquire knowledge and make reliable judgments. These virtues include traits such as openness to diverse testimonies and arguments, critical thinking, a tendency to question one's own assumptions, and the ability to identify errors in one's own thought processes. Just like in virtue ethics, the Epistemology of Virtue raises the question of how we can cultivate the necessary virtues and how these virtues can have a positive impact on both individuals and society. The field also explores how epistemic virtues can be put into practice, such as in educational settings, scientific research, and various social activities. Finally, we turn to a topic that is often overlooked in philosophy - human flaws. While ethics typically views flaws as the opposite of virtues, requiring correction both individually and socially, the Epistemology of Virtue questions what happens when flaws occur in knowledge-related qualities. Do these flaws also need to be eliminated, or are they an inherent part of the process of acquiring knowledge and making judgments? At first glance, prejudices, stereotypes, dogmatism, conformism, closed-mindedness towards arguments and evidence, as well as uncritical acceptance of authority, can all hinder our ability to acquire knowledge. Epistemologists view these qualities as vices, rather than flaws like ethicists do. The Epistemology of Vices is the newest of the three branches of philosophy covered in this thematic collection, and it examines the ways in which false and untrue beliefs develop and persist in society. This area of study seeks to answer questions about how people form delusions and whether it is possible to overcome them. On the other hand, the Epistemology of Virtue is like the "older brother" that supervises these vices. It contributes to the investigation and overcoming of vices by developing virtues that enable individuals to more accurately assess the truthfulness of their beliefs. However, even though vices can have a destructive impact on knowledge acquisition, the question remains: are vices always detrimental in every context? Conversely, can virtues be detrimental? For example, does a virtue like solidarity sometimes hinder the efficient formation of true beliefs in time-sensitive situations such as finding a vaccine to combat a virus pandemic? Can vices be useful? Can stubbornness and uncooperativeness sometimes help a research team by allowing two sides to reach the same goal through different paths? Within this collection, some of these questions will receive answers, some of which may confirm existing impressions, while others may surprise readers. The thematic collection, Virtues and Vices: Between Ethics and Epistemology, consists of four interesting chapters and 21 papers that cover the selected topic through the prism of philosophical disciplines such as ethics, epistemology, the history of philosophy, philosophy of mind, political philosophy, and philosophy of science. In this introduction, we will not discuss the contents of the articles so as not to disrupt the intended integral approach to reading the collection. A significant feature of this collection is the continuity that extends from one paper to another, from topic to topic, and from problem to problem. Lastly, we would like to express our gratitude to the Faculty of Philosophy at the University of Belgrade for their support in realizing this collection, as well as to our colleagues from the Department and Institute of Philosophy who have made this collection a relevant and significant achievement with their contributions. We are also thankful to the reviewers of the collection as a whole, as well as to the referees of individual articles, who have provided us with detailed comments and remarks that have made this collection clearer and more comprehensive. We owe a special thanks to our colleagues from Zagreb, Rijeka, and Maribor, whose exceptional papers have contributed to making this collection an unabashed international contribution to debates about the ethics and epistemology of virtues and vices. (shrink)

We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those (...) who state propositions they believe to be false. Not all lies are statements of false propositions—some lies are true; some have no truth-value. People who only occasionally lie are not liars: roughly, liars repeatedly and habitually lie. Some half-truths are statements intended to mislead even though the speakers “interpret” the sentences used as expressing true propositions. Others are statements of propositions believed by the speakers to be questionable but without revealing their supposed problematic nature. The two “formulations” of “the antinomy of the liar” in [1], pp.157–8 and 161–2, have nothing to do with lying or liars. The first focuses on an “expression” Tarski calls ‘c’, namely the following. -/- c is not a true sentence -/- The second focuses on another “expression”, also called ‘c’, namely the following. -/- for all p, if c is identical with the sentence ‘p’, then not p -/- Without argumentation or even discussion, Tarski implies that these strange “expressions” are English sentences. [1] Alfred Tarski, The concept of truth in formalized languages, pp. 152–278, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Hackett, Indianapolis 1983. -/- https://www.academia.edu/12525833/Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_th e_Written_English_Used_in_Logic. (shrink)

In this paper, we develop a novel response to counterfactual scepticism, the thesis that most ordinary counterfactual claims are false. In the process we aim to shed light on the relationship between debates in the philosophy of science and debates concerning the semantics and pragmatics of counterfactuals. We argue that science is concerned with many domains of inquiry, each with its own characteristic entities and regularities; moreover, statements of scientific law often include an implicit ceteris paribus clause that restricts (...) the scope of the associated regularity to circumstances that are ‘fitting’ to the domain in question. This observation reveals a way of responding to scepticism while, at the same time, doing justice both to the role of counterfactuals in science and to the complexities inherent in ordinary counterfactual discourse and reasoning. (shrink)

A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or (...) false, although in fact it is neither. The situation is further complicated by the fact that the sentence used to express the meaningless statement is ambiguous, and may also be used to express a meaningful statement. The paradoxes result from a failure to distinguish between the two meanings the sentence may have. (shrink)

This paper defends a reading of Wittgenstein’s philosophy of mathematics in the Lectures on the Foundation of Mathematics as a radical conventionalist one, whereby our agreement about the particular case is constitutive of our mathematical practice and ‘the logical necessity of any statement is a direct expression of a convention’ (Dummett 1959, p. 329). -/- On this view, mathematical truths are conceptual truths and our practices determine directly for each mathematical proposition individually whether it is true or false. (...) Mathematical truths are thus not consequences of a prior adoption of a convention or rules as orthodox conventionalism has it. -/- The goal of the paper is not merely exegetical, however, and argues that radical conventionalism can withstand some of the most difficult objections that have been brought forward against it, including those of Dummett himself, and thus that radical conventionalism has been prematurely excluded from consideration by philosophers of mathematics. (shrink)

Epistemic contextualism is one of the most hotly debated topics in contemporary epistemology. Contextualists claim that ‘know’ is a context-sensitive verb associated with different evidential standards in different contexts. Contextualists motivate their view based on a set of behavioural claims. In this paper, I show that several of these behavioural claims are false. I also show that contextualist test cases suffer from a critical confound, which derives from people's tendency to defer to speakers’ statements about their own mental states. (...) My evidence consists in results from several behavioural experiments. I conclude that contextualism is an idle hypothesis and I propose some general methodological lessons. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a singular, negative existential (...) in which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (shrink)

An important way in which philosophy can contribute to public discourse is by clarifying concepts that are central to it. This paper is a philosophical contribution in that spirit. It offers an account of fake news—a notion that has entered public debate following the 2016 US presidential election. On the view I defend, fake news is Frankfurtian bullshit that is asserted in the form of a news publication. According to Frankfurt’s famous account, bullshit has two characteristics. There is, firstly, an (...) “indifference to how things really are” on the part of the bullshitter. This does not mean that what a bullshitter says is always false. It might well be true. What it does mean, however, is that, unlike a liar, who tries to convince us that a given statement he believes to be false is true, a bullshitter simply does not care whether what he says is true. The same, I believe, is true of the publisher of fake news. Secondly, the bullshitter misrepresents “in a certain way … what he is up to”. Likewise, the publisher of fake news seems to misrepresent what he is up to. It appears that he wants to hide his actual motives. At any rate, so I will argue. (shrink)

A stereotype is a belief or claim that a group of people has a particular feature. Stereotypes are expressed by sentences that have the form of generic statements, like “Canadians are nice.” Recent work on generics lends new life to understanding generics as statements involving probabilities. I argue that generics (and thus sentences expressing stereotypes) can take one of several forms involving conditional probabilities, and these probabilities have what I call a naturalness requirement. This is the natural probability theory of (...) stereotypes. Each of the two components of the theory entails a family of fallacies that contributes to the spurious reinforcement of stereotypes: inferential slippage within and between the different generic forms, and inferential slippage from facts about frequencies of group traits to beliefs about natural propensities or dispositions of groups. Empirical research suggests that we often commit these fallacies. Moreover, this theory can referee a vitriolic debate between some psychologists, who hold that stereotypes are always false and stereotyping is always wrong, and other psychologists, who hold that stereotypes are often accurate and stereotyping is often reasonable. (shrink)

In the philosophical debate on lying, there has generally been agreement that either the speaker believes that his statement is false, or he believes that his statement is true. This article challenges this assumption, and argues that lying is a scalar phenomenon that allows for a number of intermediate cases – the most obvious being cases of uncertainty. The first section shows that lying can involve beliefs about graded truth values (fuzzy lies) and graded beliefs (graded-belief lies). (...) It puts forward a new definition to deal with these scalar parameters, that requires that the speaker asserts what he believes more likely to be false than true. The second section shows that statements are scalar in the same way beliefs are, and accounts for a further element of scalarity, illocutionary force. (shrink)

The aim of this article is to argue that ontological choices in scientific practice undermine common formulations of the value-free ideal in science. First, I argue that the truth values of scientific statements depend on ontological choices. For example, statements about entities such as species, race, memory, intelligence, depression, or obesity are true or false relative to the choice of a biological, psychological, or medical ontology. Second, I show that ontological choices often depend on non-epistemic values. On the basis (...) of these premises, I argue that it is often neither possible nor desirable to evaluate scientific statements independently of non-epistemic values. Finally, I suggest that considerations of ontological choices do not only challenge the value-free ideal but also help to specify positive roles of non-epistemic values in an often neglected area of scientific practice. (shrink)

Researchers have debated whether there is a relationship between a statement’s truth-value and whether it counts as a lie. One view is that a statement being objectively false is essential to whether it counts as a lie; the opposing view is that a statement’s objective truth-value is inessential to whether it counts as a lie. We report five behavioral experiments that use a novel range of behavioral measures to address this issue. In each case, we found (...) evidence of a relationship. A statement’s truth-value affects how quickly people judge whether it is a lie. When people consider the matter carefully and are told that they might need to justify their answer, they are more likely to categorize a statement as a lie when it is false than when it is true. When given options that inhibit perspective-taking, people tend to not categorize deceptively motivated statements as lies when they are true, even though they still categorize them as lies when they are false. Categorizing a speaker as “lying” leads people to strongly infer that the speaker’s statement is false. People are more likely to spontaneously categorize a statement as a lie when it is false than when it is true. We discuss four different interpretations of relevant findings to date. At present, the best supported interpretation might be that the ordinary lying concept is a prototype concept, with falsity being a centrally important element of the prototypical lie. (shrink)

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of (...) which hinge on intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

Perfect being theism is the view that the perfect being exists and the property being-perfect is the property being-God. According to the strong analysis of perfection, a being is perfect just in case it exemplifies all perfections. On the other hand, the weak analysis of perfection claims that a being is perfect just in case it exemplifies the best possible combination of compatible perfections. Strong perfect being theism accepts the former analysis while weak perfect being theism accepts the latter. In (...) this paper, I argue that there are good reasons to reject both versions of perfect being theism. On the one hand, strong perfect being theism is false if there are incompatible perfections; I argue that there are. On the other hand, if either no comparison can be made between sets of perfections, or they are equally good, then there is no best possible set of perfections. I argue for the antecedent of this conditional statement, concluding that weak perfect being theism is false. In the absence of other analyses of perfection, I conclude that we have reason to reject perfect being theism. (shrink)

This chapter reviews empirical research on the rules governing assertion and retraction, with a focus on the normative role of truth. It examines whether truth is required for an assertion to be considered permissible, and whether there is an expectation that speakers retract statements that turn out to be false. Contrary to factive norms (such as the influential “knowledge norm”), empirical data suggests that there is no expectation that speakers only make true assertions. Additionally, contrary to truth-relativist accounts, there (...) is no requirement for speakers to retract statements that are false at the context of assessment. We conclude by suggesting that truth still plays a crucial role in the evaluation of assertions: as a standard for evaluating their success, rather than permissibility. (shrink)

Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used referentially, (...) says Strawson, since it is used not to mention an individual, but only “to say something about an individual already mentioned” (p. 320). This is an example of what we may call a predicative use of a definite description, though such uses might be better illustrated by considering the false sentence.. (shrink)

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot find (...) any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (shrink)

This article discusses the relation between the early Wittgenstein’s and Carnap’s philosophies of logic, arguing that Carnap’s position in The Logical Syntax of Language is in certain respects much closer to the Tractatus than has been recognized. In Carnapian terms, the Tractatus’ goal is to introduce, by means of quasi-syntactical sentences, syntactical principles and concepts to be used in philosophical clarification in the formal mode. A distinction between the material and formal mode is therefore already part of the Tractatus’ view, (...) and its method for introducing syntactical concepts and principles should be entirely acceptable for Carnap by his own criteria. Moreover, despite the Tractatus’ rejection of syntactical statements, there is an important correspondence between Wittgenstein’s saying-showing distinction and Carnap’s object-language-syntax-language distinction: both constitute a distinction between logico-syntactical determinations concerning language and language as determined or described by those determinations. Wittgenstein’s distinction therefore constitutes a precursor of the object-language syntax-language distinction which the latter in a certain sense affirms, rather than simply contradicting it. The saying-showing distinction agrees with Carnap’s position also in marking logic as something that isn’t true/false about either language or reality, which is a conception that underlies Carnap’s principle of tolerance. (shrink)

A commonly held idea regarding the nature of time is that the future is open and the past is fixed or closed. This article investigates the notion that there is an asymmetry in openness between the past and the future. The following questions are considered: How exactly is this asymmetry in openness to be understood? What is the relation between an open future and various ontological views about the future? Is an open future a branching future? What is the relation (...) between an open future and the question of whether contingent statements about the future are true or false? Is an open future compatible with a single determinate future? (shrink)

If I were to say, “Agnes does not know that it is raining, but it is,” this seems like a perfectly coherent way of describing Agnes’s epistemic position. If I were to add, “And I don’t know if it is, either,” this seems quite strange. In this chapter, we shall look at some statements that seem, in some sense, contradictory, even though it seems that these statements can express propositions that are contingently true or false. Moore thought it was (...) paradoxical that statements that can express true propositions or contingently false propositions should nevertheless seem absurd like this. If we can account for the absurdity, we shall solve Moore’s Paradox. In this chapter, we shall look at Moore’s proposals and more recent discussions of Moorean absurd thought and speech. (shrink)

This essay reassesses the relation between Kant and Kripke on the relation between necessity and the a priori. Kripke famously argues against what he takes to be the traditional view that a statement is necessary only if it is a priori, where, very roughly, what it means for a statement to be necessary is that it is true and could not have been false and what it means for a statement to be a priori is that (...) it is knowable independently of experience. Call such a view the Entailment Thesis. Along with many Kant scholars, Kripke thinks that Kant endorses the Entailment Thesis. Thus Kripke and many others take his arguments against the Entailment Thesis to tell against Kant and to mark an important point of disagreement with him. I will argue that this is a mistake. Kant does not endorse the Entailment Thesis that Kripke and many others attribute to him. He does endorse two quite different theses concerning the relation between necessity and the a priori, as he conceives them. One is a matter of definition and the other is a very substantial philosophical thesis indeed—to establish it is the aim of the entire Critique of Pure Reason. But Kripke’s arguments against the Entailment Thesis tell against neither of Kant’s theses, as they involve crucially different conceptions of necessity and the a priori. This superficial lack of disagreement masks deep disagreements, but these result from divergent views regarding matters such as realism, modal epistemology, and philosophical methodology; views which Kant does a lot, and Kripke very little, to argue for. (shrink)

Russell wrote in 1918 in The Philosophy of Logical Atomism: -/- When I speak of a fact ... I mean the kind of thing that makes a proposition true or false. If I say 'It is raining', what I say is true in a certain condition of weather and is false in other conditions of the weather. The condition of weather that makes my state­ment true (or false as the case may be), is what I should call (...) a 'fact'. If I say, 'Socrates is dead', my statement will be true owing to a certain physiological occurrence which happened in Athens long ago. -/- This classic statement of Russell's version of the correspondence theory of truth is defective on one point only: Russell was unwise to use the word 'fact'. Objects which perform the semantic role Russell accords to facts I shall call simply truth-makers. (shrink)

In this paper we show that the coherence measures of Olsson (J Philos 94:246–272, 2002), Shogenji (Log Anal 59:338–345, 1999), and Fitelson (Log Anal 63:194–199, 2003) satisfy the two most important adequacy requirements for the purpose of assessing theories. Following Hempel (Synthese 12:439–469, 1960), Levi (Gambling with truth, New York, A. A. Knopf, 1967), and recently Huber (Synthese 161:89–118, 2008) we require, as minimal or necessary conditions, that adequate assessment functions favor true theories over false theories and true and (...) informative theories over true but uninformative theories. We then demonstrate that the coherence measures of Olsson, Shogenji, and Fitelson satisfy these minimal conditions if we confront the hypotheses with a separating sequence of observational statements. In the concluding remarks we set out the philosophical relevance, and limitations, of the formal results. Inter alia, we discuss the problematic implications of our precondition that competing hypotheses must be confronted with a separating sequence of observational statements, which also leads us to discuss theory assessment in the context of scientific antirealism. (shrink)

In this essay I argue that Shelley's "A Defense of Poetry" is best understood as a defense of poetic language, which is in turn best understood as a defense of metaphorical language. According to Shelley, the metaphors of the poets reveal (extra-linguistic) reality, and have a truth value – they are true insofar as they capture reality. The literal language of "mere reasoners" of science and philosophy, by contrast, only reveals relations between ideas already known, and their statements are true (...) in virtue of the meanings of the words. Shelley's essays has been misunderstood because writers on metaphor such as David Cooper and Richard Rorty have assumed that metaphors are neither true nor false, and that defenders of metaphorical language such as Shelley are defending non-truth-apt language. Even those writers on metaphor who believe that metaphors are truth-apt, such as Raymond Gibbs, fail to understand that Shelley should be included in their number. (shrink)

It is a widely held view that lying is defined in the traditional tripartite model as the conjunction of a statement, the false belief, and the intended deception. Much of the criticisms have been levelled at the third condition—intended deception—with contemporary counterexamples. My main criticism of the traditional and contemporary model of lying centres on that philosophers discard the social existence of the hearer. Schutz‘s phenomenological sociology gives a sheer inspiration to redefine the third condition by taking the (...) hearer as a consciously social being into account. Lying should be an intersubjective action for the Other from the perspective of the liar; it might be, thus, reasonable to assume that there should be commonsense awareness between the speaker and the hearer. This paper, by focusing on this commonsenseness and its typifications, introduces a new approach to the third condition: S must intend that H be induced to believe that p, where p is false. In this regard, once you lie, by being subjected to the taken-for-granted commonsenseness in our daily life, you must try as hard as possible to succeed in deceiving the hearer by stating that p. You, as a typical person, tell a typical lie in typical contexts for typical Others. The focus of attention, therefore, is on the hearer and it is the key to understanding that mere intent to deceive is too broad and unpragmatic for a social human being who always intends to flee the negative consequences of the context in which she has to lie. Making the extension narrower necessitates a new term, anti-social bullshit generally being replied rhetorically as "how can you expect me to believe that?" comprises the excluded cases. (shrink)

Most philosophers of religion subscribe to some variety of religious realism: they believe that religious statements aim at capturing a mind-independent reality and are true precisely if they successfully do so. Curiously, most religious realists also believe that at least some of our religious beliefs are rationally justified. In this paper, I argue that these positions are actually at odds with each other. Religious realists should rather be religious skeptics. I first argue that realism always implies the possibility of our (...) beliefs being false. Then, I develop a Copernican argument to show that we have no reason to believe that we are in an epistemically privileged position where we could be confident that our particular belief is justified while all competing beliefs are not. This seems impossible for two reasons: (a) From a probabilistic point of view (adopting a principle of mediocrity), it is highly unlikely that current humans have the maximum of epistemic capacities possible. Rather, our ability to understand reality is limited, so we should expect at least some parts of religious reality to remain unknown to us. (b) From a deep-time perspective, humanity has not pondered religious questions for long. We are probably still in the early stages of our cognitive evolution, and so we should treat our religious beliefs as provisional and open to revision. (shrink)

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the (...) cardinality problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework. (shrink)

outrageous remarks about contradictions. Perhaps the most striking remark he makes is that they are not false. This claim first appears in his early notebooks (Wittgenstein 1960, p.108). In the Tractatus, Wittgenstein argued that contradictions (like tautologies) are not statements (Sätze) and hence are not false (or true). This is a consequence of his theory that genuine statements are pictures.

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a (...) small class of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

In Internal and External Reasons, Bernard Williams proposes a speculative argument for the idea that internal reasons are the only kind of normative reason, and that his counterfactual internal interpretation is the only truth condition for both kinds of reason-statements, H and S (H: “A has a reason to φ” and S: “There is a reason for A to φ”). He takes for granted, however, that internal and external reasons are the only possible kinds of normative reasons at work: his (...) argument is therefore question-begging against a externalism—yet this is only the lesser problem faced by reason internalism. The main problems for Williams’s argument are his semantical reduction of S to H (which entails his question-begging argument) and his ad hoc interpretation of H in terms of his stipulative account of internal reasons. The most serious problem for both reason internalism and reason externalism, however, is represented by certain moral counterintuitive examples on both sides, which could be considered as the central problem in the debate. In this thesis, after showing Williams’s argument to be question-begging, I first explain his failure to unify two irreducible questions (on the nature of normative reasons and on the nature of rationality) as well as to reduce the truth conditions of S to H. Then, through conceptual analysis, I show that William’s internalist interpretation of H is false, and that the commonsensical interpretation of H is one that I call contextual interpretation in terms of contextual reasons. Internal reasons are just one usage of H, and contextual reasons are the real rival to external reasons in the debate on normative reason. Secondly, I argue that the two distinct notions of rationality— relative (instrumental) rationality and absolute rationality—require two distinct truth conditions, and the central problem deals only with the absolute one. I hope to show that reason contextualism, defined in terms of contextual reasons (i.e., neither internal nor external reasons) provides us with the best explication of these two distinct notions of rationality, and that the contextual interpretation accommodates all the counterexamples associated with the central problem. (shrink)

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a (...) natural dual of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates the (...) epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

outrageous remarks about contradictions. Perhaps the most striking remark he makes is that they are not false. This claim first appears in his early notebooks (Wittgenstein 1960, p.108). In the Tractatus, Wittgenstein argued that contradictions (like tautologies) are not statements (Sätze) and hence are not false (or true). This is a consequence of his theory that genuine statements are pictures.

Meillassoux seeks knowledge of transcendental reality, blaming Kant for the ‘correlationist’ proscription of independent access to either thought or being. For Meillassoux, correlationism blocks an account of the meaning of ‘ancestral statements’ regarding reality prior to humans. I examine three charges on which Meillassoux’s argument depends: (1) Kant distorts ancestral statements’ meaning; (2) Kant fallaciously infers causality’s necessity; (3) Kant’s transcendental idealism cannot grasp ‘the great outdoors’. I reject these charges: (1) imposes a Cartesian misreading, hence Meillassoux’s false assumption (...) that, for Kant, objects don’t exist without subjects; (2) misreads Kant, who infers causality’s necessity from the possibility of experience; (3) casts Kant’s idealism as subjective, ignoring his perspectival portrayal of it. (shrink)

Present world is the victim of conflicts on the basis of misunderstanding of religious dogmas of different religions, irrationality, ignorance and intolerance. People are moving away from knowledge, truth and reason. Indeed people accept false beliefs, hallucinations and myths. The role of religious plurality in philosophy is not to integrate and harmonize religions, especially religions cannot, and rather it is the business of religious pluralism to learn, think and acquire knowledge about the variety of religious beliefs, statements and injunctions. (...) This paper determines the function of intelligence/intellect to understand religious pluralism. How and where we make mistake in the plurality of religions. In this paper there is no issue to describe the conflict between faith and reason however reason is only to think and clear the ambiguities which we are using either to integrate one religion with another or to refute the religious dogmas of other religions. That is why authority places a significant part which teaches humans how to use their reason to bring peace, tranquility and acceptance in the plurality of religions. Mostly the scholar who practicing their religions and without having the authority and knowledge of other religions they are vehemently criticizing other religions. This paper shows that what is authority and where to use it. Who are authoritative persons? If authority in one religion is transferred to another what would happen. What would happen if authority is misrepresented? This paper further illuminates the concept of rational outlook to modify and learn from different religious; furthermore we can discuss the nature of consciousness or awareness in exploring religious pluralism. Is it necessary for a person who believes in one religion to learn another religion in order to resolve the controversies and evils in different religions conditional to authority? The more we mixing up religions into each other, the more religious conflicts arise. Therefore this paper tries to furnish people's mind with consciousness about religions realities and state of affair, inculcate world with rational outlook to ponder, analyze, understand and evaluate as well tolerate and accept the truth and authenticity in the domain of religions. This study analyzes and stress on the exertion of relative vision in accordance and intimation with reason, authority and moral consciousness to resolve the conflicts, diversities and issues in the field of religious pluralism. (shrink)

This paper explores what the epistemic account of vagueness means for theories of legal interpretation. The thesis of epistemicism is that vague statements are true or false even though it is impossible to know which. I argue that if epistemicism is accepted within the domain of the law, then the following three conditions must be satisfied: Interpretative reasoning within the law must adhere to the principle of bivalence and the law of excluded middle, interpretative reasoning within the law must (...) construe vague statements as an epistemic phenomenon, and epistemicism must be expanded to include normative considerations in order to account for legal theories that are consistent with the first two conditions. The first two conditions are internal to a particular theory of legal interpretation, while the third condition is external to a particular theory of legal interpretation. My conclusion shows that there are legal theories that are internally consistent with the fundamental features of epistemicism. However, within the domain of law—and specifically in the case of legal theories that are internally consistent with epistemicism—I show that vagueness cannot be explained simply by our ignorance of the meaning and use of vague expressions. Rather, epistemicism must also account for ignorance of the requisite normative considerations in legal theories with which it is otherwise consistent. (shrink)

An error theorist about a particular discourse combines the cognitivist thesis that the discourse is truth-apt with the thesis that core statements asserted by the discourse are false. For instance, one is an error theorist about witch discourse if one thinks that witch discourse is truth-apt and that some of the entities and properties quantified over by core statements in the discourse, namely witches and magical powers, do not exist and hence that certain core statements of the discourse are (...) false. (shrink)