This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic Semigroups; Neutrosophic Graphs; Superhypergraphs; Plithogeny; (...) Information Fusion; Statistics; Decision Making; Extenics; Instantaneous Physics; Paradoxism; Mathematica; Miscellanea), comprising 965 pages, published between 2005-2022 in different scientific journals, by the author alone or in collaboration with the following 110 co-authors (alphabetically ordered) from 26 countries: Abduallah Gamal, Sania Afzal, Firoz Ahmad, Muhammad Akram, Sheriful Alam, Ali Hamza, Ali H. M. Al-Obaidi, Madeleine Al-Tahan, Assia Bakali, Atiqe Ur Rahman, Sukanto Bhattacharya, Bilal Hadjadji, Robert N. Boyd, Willem K.M. Brauers, Umit Cali, Youcef Chibani, Victor Christianto, Chunxin Bo, Shyamal Dalapati, Mario Dalcín, Arup Kumar Das, Elham Davneshvar, Bijan Davvaz, Irfan Deli, Muhammet Deveci, Mamouni Dhar, R. Dhavaseelan, Balasubramanian Elavarasan, Sara Farooq, Haipeng Wang, Ugur Halden, Le Hoang Son, Hongnian Yu, Qays Hatem Imran, Mayas Ismail, Saeid Jafari, Jun Ye, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Abdullah Kargın, Vasilios N. Katsikis, Nour Eldeen M. Khalifa, Madad Khan, M. Khoshnevisan, Tapan Kumar Roy, Pinaki Majumdar, Sreepurna Malakar, Masoud Ghods, Minghao Hu, Mingming Chen, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohamed Loey, Mihnea Alexandru Moisescu, Muhammad Ihsan, Muhammad Saeed, Muhammad Shabir, Mumtaz Ali, Muzzamal Sitara, Nassim Abbas, Munazza Naz, Giorgio Nordo, Mani Parimala, Ion Pătrașcu, Gabrijela Popović, K. Porselvi, Surapati Pramanik, D. Preethi, Qiang Guo, Riad K. Al-Hamido, Zahra Rostami, Said Broumi, Saima Anis, Muzafer Saračević, Ganeshsree Selvachandran, Selvaraj Ganesan, Shammya Shananda Saha, Marayanagaraj Shanmugapriya, Songtao Shao, Sori Tjandrah Simbolon, Florentin Smarandache, Predrag S. Stanimirović, Dragiša Stanujkić, Raman Sundareswaran, Mehmet Șahin, Ovidiu-Ilie Șandru, Abdulkadir Șengür, Mohamed Talea, Ferhat Taș, Selçuk Topal, Alptekin Ulutaș, Ramalingam Udhayakumar, Yunita Umniyati, J. Vimala, Luige Vlădăreanu, Ştefan Vlăduţescu, Yaman Akbulut, Yanhui Guo, Yong Deng, You He, Young Bae Jun, Wangtao Yuan, Rong Xia, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Zayen Azzouz Omar, Xiaohong Zhang, Zhirou Ma.‬‬‬‬‬‬‬‬. (shrink)

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience and the Growing-Block theory are (...) incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (shrink)

What the Sorites has to tell us is a simple truth regarding our categories. It appears to saddle us with something other than a simple truth—something worse, a contradiction or a problem or a paradox—only when we insist on viewing it through a discrete logic of categories. Discrete categories and discrete logic are for robots. We aren’t robots, and the simple truth is that we don’t handle categories in the way any discrete logic would demand. For us non-robots, what the (...) Sorites has to offer is a straightforward truth regarding how incapable robots and their logic are of handling categories like ours. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing on lessons from (...) these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

In this dissertation, I argue that vagueness is a metaphysical phenomenon---that properties and objects can be vague---and propose a trivalent theory of vagueness meant to account for the vagueness in the world. In the first half, I argue against the theories that preserve classical logic. These theories include epistemicism, contextualism, and semantic nihilism. My objections to these theories are independent of considerations of the possibility that vagueness is a metaphysical phenomenon. However, I also argue that these theories are not capable (...) of accommodating metaphysical vagueness. As I move into my positive theory, I first argue for the possibility of metaphysical vagueness and respond to objections that charge that the world cannot be vague. One of these objections is Gareth Evans' much-disputed argument that vague identities are impossible. I then describe what I call the logic of states of affairs. The logic of states of affairs has as its atomic elements states of affairs that can obtain, unobtain, or be indeterminate. Finally, I argue that the logic of states of affairs is a better choice for a theory of vagueness than other logics that could accommodate metaphysical vagueness such as supervaluationism and degree theories. Preference should be given to the logic of states of affairs because it provides a better explanation of higher-order vagueness and does a better job of matching our ordinary understandings of logical operators than supervaluationism does and because it provides a more general account of indeterminacy than the account given by degree theories. Advisor: Reina Hayaki. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

'Value' is a central concept in all of the principles and methods applied in Lean Construction, but it is rather difficult to provide a precise definition of the term. The problem lies in the word value itself: its ambiguity and vagueness make theorization difficult. This paper investigates the philosophical concept of value from a Lean Construction perspective. Several elements that contribute to value are considered, including objective elements such as waste reduction, quality, price and functionality, and more subjective elements such (...) as design. The hypothesis of this paper is that the reduction or removal of elements that detract from value, such as waste and costs, is not the only means by which value may be increased. The Sorites paradox is used to form a cohesive perspective on some different meanings of the word ‗value‘. One of the known ‗solutions‘ of the paradox, utilization theory, is then explored through a case study in off-site construction that illustrates how different actors in the construction process view value, and how utility theory can be used to provide a consensus on value that is acceptable. In practice, ‗value‘ is ambiguous because actors generally value different things and these views seldom converge during projects. Our results indicate that the actors involved strive for value individually. Analysis using utility theory allows the actors to establish a shared conceptualization of value, expressed in monetary terms. The work described in this paper aims to improve our understanding of value and of how to design products in construction to improve value for clients of industrialized housing. (shrink)

The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.

How should we understand the relationship between the contents of our color, causal, modal, and evaluative beliefs, on the one hand, and color, causal, modal, and evaluative properties, on the other? According to Barry Stroud (2011), because of the nature of the contents of those types of beliefs, we should also think that what he calls a “negative metaphysical verdict” on the latter is not one that we could consistently maintain. The metaphysical project aims to arrive at an improved conception (...) of ourselves and our relation the world, no matter if that conception is positive or negative. But if Stroud is right that we cannot consistently arrive at the view that all of our causal, modal, and evaluative beliefs are systematically false, we will see that we cannot consistently reach the negative verdict. But failure to reach the negative verdict doesn’t mean that we have reached the positive verdict. Stroud calls this philosophical failure “metaphysical dissatisfaction”. In this paper, I argue that we can appropriate a metaepistemological response to the problem of the external world which shares its core features with Stroud’s (2000, 2011) arguments, but which nevertheless leaves us with a distinctive kind of epistemological dissatisfaction. (shrink)

Can the world itself _be_ vague, so that rather than vagueness be a deficiency in our mode of describing the world, it is a necessary feature of any true description of it? Gareth Evans famously poses this question in his paper ‘Can There Be Vague Objects’ (Analysis 38(4):208, 1978 ). In his recent paper ‘Indeterminacy and Vagueness: Logic and Metaphysics’, Peter van Inwagen ( 2009 ) elaborates the account of vagueness and, in particular, in the case of sentences, consequent indeterminacy (...) in truth value, to which this conception of ‘worldly’ vagueness is opposed, calling it the ‘sensible’ theory of indeterminacy and rejecting it. In what follows, I defend the sensible theory van Inwagen rejects. I first explain more fully what it involves and, as importantly, what it does not. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

The sorites paradox is the name given to a class of paradoxical arguments, also known as little by little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap (...) and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion. (shrink)

Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.

Two of Quine's most familiar doctrines are: that there is a distinction between underdetermination and indeterminacy; and that there is no distinction between analytic and synthetic truths. An argument is given that these two doctrines are incompatible. In terms wholly acceptable to Quine and based on the underdetermination/indeterminacy distinction, an exhaustive and exclusive distinction is drawn between two kinds of true sentences, which, it is argued, corresponds to the traditional analytic/synthetic distinction. An appendix is used to develop one aspect of (...) the underdetermination/indeterminacy distinction, as construed here, and to discuss, in passing, some of Quine’s more general views on truth. (shrink)

What I hope to show here is that the costs of taking sorites arguments seriously, in particular the costs with respect to hopes for precise replacement are significantly greater than proponents of sorites arguments have estimated.

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (shrink)

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

Eliminativism was targeted by transcendental arguments from the first. Three responses to these arguments have emerged from the eliminativist literature, the heart of which is that such arguments are question-begging. These responses are shown to be incompatible with the position, eliminativism, they are meant to defend. Out of these failed responses is developed a general transcendental argument against eliminativism (the "Paradox of Abandonment"). Eliminativists have anticipated this argument, but their six different attempts to counter it are shown to be separately (...) inadequate, mutually incompatible, and, again, incompatible with the position that they are seeking to defend. (shrink)

In this book, I present the results of an investigation which began with an extended stay at Oxford's Balliol College during the first half of 1995. My visit to Oxford was made possible by a grant from the Spanish Ministerio de Educaci6n y Ciencia. My sincere thanks go to Joseph Raz who served as my supervisor in Oxford. For several points of the present study, conversations with Timothy Endicott in Oxford were also of great help. The book is part of (...) a larger project of investigation, directed by Albert Calsami glia, which is a joint effort of a group of legal philosophers from the Universitat Pom peu Fabra and the Universitat de Girona, and which also receives financial support from the Spanish Ministerio de Educaci6n y Ciencia. An earlier version of the manuscript was presented in June 1996 to the selection committee for a tenured professorship in Legal Philosophy at the Universitat de Girona. The members of the committee were Francisco Laporta, Albert Calsamiglia, Gregorio Peces-Barba, Camilo J. Cela Conde, and Francesca Puigpelat. I am grateful to all of them for their comments, which have been extremely useful in preparing the final ver sion of this book. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (shrink)

The idea of there being “no fact of the matter” (NFM) features centrally in Quine’s indeterminacy theses. Yet there has been little discussion of how exactly Quine understands this idea. In this paper I identify, develop and then critically evaluate Quine’s conception of NFM. In Sects. 3–4 I consider a handful of intuitive semantic and ontological conceptions of NFM and argue that none is workable from within Quine’s philosophy. I conclude that the failure of each of these proposals is due (...) to the immanent status of truth and existence for Quine. In Sect. 5 I then present Quine’s official conception of NFM. Briefly, Quine’s idea is that there is NFM between two theories of translation iff those theories are physically equivalent. I develop this idea in detail. Finally, I raise two independent problems for this conception of NFM. In Sect. 6 I argue that Quine’s definition is too strong: given what he means by NFM, his arguments for indeterminacy—even granting all their premises and internal reasoning—simply cannot support his claim that there is NFM regarding translation; instead they establish a strictly weaker conclusion. In Sect. 7 I argue that Quine’s conception of NFM is in significant tension with his thesis of physicalism, and that he must give up one or the other. (shrink)

I carry out in this paper a philosophical analysis of the principle of excluded middle (or, as it is often called in the version I favor here, principle of bivalence: any meaningful assertion is either true or false). This principle has been criticized, and sometimes rejected, on the charge that its validity depends on presuppositions that are not, some believe, universally obtainable; in particular, that any well-posed problem is solvable. My goal here is to show that, although excluded middle does (...) indeed rest on certain presuppositions, they do not have the character of hypotheses that may or may not be true, or matters of fact that may or may not be the case. These presuppositions have, I claim, a transcendental character. Hence, the acceptance of excluded middle does not necessarily require, as some have claimed, an allegiance to ontological realism or some sort of cognitive optimism, construed as factual theses concerning the ontological status of domains of objects and our capability of accessing them cognitively. DOI:10.5007/1808-1711.2011v15n2p333. (shrink)

Recent work of Gustav Bergmann develops an ontological framework within which an account of relations has been sketched out. The approach is a kind of new logical atomism which has some of the features of an Aristotelian hylomorphism (of sorts). It recognizes a number of categories and groups of a hylomorphic kind, chiefly “determinates” and “subdeterminates”--the latter only indirectly or implicitly. Winsome though it is, the approach is flawed by certain difficulties it gives rise to, among them inability to speak (...) of subdeterminates and failure of a relation to be had by a referent towards a relatum. Instead of having a sense, a relation is conceived of as a determinate which enters an arrangement whose existence and nature are not properly accounted for. Finally, Bergmann’s Ideal Language is assayed and shown not to be as useful philosophically in itself as he takes it to be. (shrink)

This volume analyzes and studies how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else.

A solution to the sorites paradox is obtained by distinguishing three formats of the sorites argument and appraising them in the light of four fundamental considerations: (i) the appropriate notion of truth for the application of vague predicates to their borderline cases, (ii) a certain construal of borderline cases, (iii) a certain freedom of use of vague terms not enjoyed by non-Vague terms and (iv) the revocation of that freedom by deductive contexts.

On the opposition between de re and de dicto conceptions of vagueness, with special reference to their bearing on the tasks of ontology.

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

Logical abductivism is the method which purports to use Inference to the Best Explantion (IBE) to determine the best logical theory. The present essay argues that this is not the case, since the method fails to meet the criteria requisite for the fruitful application of IBE. This occurs due to an intrinsic difficulty in choosing the appropriate evidence and theoretical virtues which guide theory revision in logic: one’s previous conception of logic influences both these choices. Logical abductivism fails, moreover, to (...) select the best logical theory, exactly because a lack of agreement on theory and virtues for Logic. Rather than direct comparison between two options, a more suitable approach to theory revision in logic is piecemeal, because this method neither assumes nor needs a neutral ground from which to start revising theories. (shrink)

This is a dialogue between Lisa and Max on Dag Prawitz's work concerning the concept of deductive validity. Lisa first explains Prawitz's criticisms of the presently prevailing non‐epistemic analyses of validity. Then Lisa describes three different ways in which Prawitz attempted to develop an epistemic concept of validity. Max asks questions for clarification, raises some objections and compares Prawitz's three approaches with other lines of thought. Two inference rules are specially discussed: disjunction introduction and ex contradictione quodlibet. Max and Lisa (...) view Prawitz's contribution as part of a variegated, ongoing research pursuing an explication of the concept of validity, which began with the Socratic and Platonic distinction between merely persuasive arguments and good arguments and with Aristotle's definition of syllogism. Throughout the history of philosophy, logicians have aimed at clarifying a pre‐theoretic idea of good deduction and have proposed, criticized, refined, adjusted precise theoretical concepts of validity. Prawitz has criticized current views about validity, has advanced new proposals and revised them. His work is an important chapter of the long pursuit of the concept of validity. (shrink)

Both arguments are based on the breakdown of normal criteria of identity in certain science-fictional circumstances. In one case, normal criteria would support the identity of person A with each of two other persons, B and C; and it is argued that, in the imagined circumstances, A=B and A=C have no truth value. In the other, a series or spectrum of cases is tailored to a sorites argument. At one end of the spectrum, persons A and B are such that (...) A=B is clearly true; at the other end, A and B are such that the identity is clearly false. In between, normal criteria of identity leave the truth or falsehood of A=B undecided, and it is argued that in these circumstances A=B has no truth value.These arguments are to be understood counterfactually. My claim is that, so understood, neither establishes its conclusion. The first involves a pair of counterfactual situations that are equally possible or tied. If A=B and A=C have no truth value, a counterfactual conditional with one of them as consequent and an antecedent that is true in circumstances in which either is true should have no truth value. Intuitively, however, any such counterfactual is false. The second argument can be seen to invite an analogous response. If this is right, however, there is an important disanalogy between this and the classical paradox of the heap. If the disanalogy is only apparent, the argument shows at most that the existence of persons can be indeterminate. (shrink)

Let Hn stand for an assembly of n grains of salt. Then the paradox of Sorites may be presented this way:H10,000 is a heap. pIf H10,000 is a heap then H10,000-1 is a heap. pH9,999 is a heap. MPH9,999 is a heap then H9,999-1 is a heap. P19998. If H2 is a heap then H2-1 is a heap. P19999. H1 is a heap. MP20000. H1 is not a heap. P20001. H1 is and is not a heap. ConA more significant example (...) of the argument results where Ht stands for a human being at time t where t=O is the present and the human being is one year old. (shrink)