Aristotle draws what are, by our lights, two unusual relationships between predication and existence. First, true universal affirmations carry existential import. If ‘All humans are mortal’ is true, for example, then at least one human exists. And secondly, although affirmations with empty terms in subject position are all false, empty negations are all true: if ‘Socrates’ lacks a referent, then both ‘Socrates is well’ and ‘Socrates is ill’ are false but both ‘Socrates is not well’ and ‘Socrates is (...) not ill’ are true. In this paper, I conjecture that for Aristotle predications have mereological truth conditions: for example, ‘Socrates is pale’ is true just in case Socrates is a part of the mereological sum of pale things. The existential import of universal affirmations and the semantic profile of empty negations follow from this mereological semantics. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Empty names vary in their referential features. Some of them, as Kripke argues, are necessarily empty -- those that are used to create works of fiction. Others appear to be contingently empty -- those which fail to refer at this world, but which do uniquely identify particular objects in other possible worlds. I argue against Kripke's metaphysical and semantic reasons for thinking that either some or all empty names are necessarily non-referring, because these reasons are either (...) not the right reasons for thinking that a name necessarily must fail to refer, or they are too broad -- they make every empty name necessarily non-referential. Plausibly, the explanation for the necessary non-reference of fictional names should be semantic, yet the explanation should not rule out a priori the contingent non-reference of certain other empty names. In light of this, I argue that a name's semantic value needs to carry information about its referential potential. I claim that names do so by encoding information about the way they were introduced into discourse. Names that are fictional will be marked as being non-referential -- they will fail to refer as a matter of their semantics. In contrast, names that are contingently empty will be marked as referential, but they will be failed referential names that could have been successful. The reason, then, for the non-referential status of a fictional name, will be semantic, as our intuitions suggest it should be. Likewise, the reason for the non-referential status of other empty names, those created by acts of failed attempts to refer, will be metaphysical, again, in keeping with our intuitions. (shrink)

I argue that there are no plausible non-representational explanations of episodes of hallucination. To make the discussion more specific, I focus on visual hallucinations in Charles Bonnet syndrome. I claim that the character of such hallucinatory experiences cannot be explained away non-representationally, for they cannot be taken as simple failures of cognizing or as failures of contact with external reality—such failures being the only genuinely non-representational explanations of hallucinations and cognitive errors in general. I briefly introduce a recent computational model (...) of hallucination, which relies on generative models in the brain, and argue that the model is a prime example of a representational explanation referring to representational mechanisms. The notion of the representational mechanism is elucidated, and it is argued that hallucinations—and other kinds of representations—cannot be exorcised from the cognitive sciences. (shrink)

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)

Singular terms used in fictions for fictional characters raise well-known philosophical issues, explored in depth in the literature. But philosophers typically assume that names already in use to refer to “moderatesized specimens of dry goods” cause no special problem when occurring in fictions, behaving there as they ordinarily do in straightforward assertions. In this paper I continue a debate with Stacie Friend, arguing against this for the exceptionalist view that names of real entities in fictional discourse don’t work there as (...) they do in simple-sentence assertions, but rather as fictional names do. (shrink)

Connections between Pañcaviṃśatisāhasrikā-prajñāpāramitā-sūtra and Aṣṭasāhasrikā-prajñāpāramitā-sūtra suggest a new interpretation of an important passage in the Prajñāpāramitā-hṛdaya or Heart Sutra. I am able to show that the four phrases exemplified by “form is emptiness” were once a reference to the well-known simile, “Form is like an illusion” (rūpam māyopamam). As the Prajñāpāramitā corpus expanded, the simile became a metaphor, “form is illusion”. It was then deliberately altered by exchanging “illusion” for “emptiness”, leading to the familiar phrases. This connection opens the (...) door to reading the Heart Sutra, and the early Prajñāpāramitā sutras more generally, along the lines of Sue Hamilton’s (2000) epistemological approach to the Pāḷi suttas; i.e. as focussed on experience and particularly the meditative experience known in the Pāḷi suttas as dwelling in emptiness (suññatā-vihāra). In this view, the Heart Sutra makes sense on its own terms without having to invoke paradox or mysticism. (shrink)

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

Can we believe that there are non-existent entities without commitment to the Meinongian metaphysics? This paper argues we can. What leads us from quantification over non-existent beings to Meinongianism is a general metaphysical assumption about reality at large, and not merely quantification over the non-existent. Broadly speaking, the assumption is that every being we talk about must have a real definition. It’s this assumption that drives us to enquire into the nature of beings like Pegasus, and what our relationship as (...) thinkers is to them. However, I argue this assumption only holds if you think your language, and in particular that aspect of it to do with referring to entities works in a specific way. This is the specific way generally assumed by the discipline called ‘Semantics’. I sketch out an alternative, call it global expressivism, in which talk of referring is given an expressivist, speech-act theoretic treatment. If we accept that our talk of the non-existent works as the global expressivist tells us it does, then the question of the metaphysical nature of non-existent entities is utterly void. You might say that Pegasus is empty of any metaphysical nature. Since the non-existent lacks any metaphysical nature, the metaphysics of the non-existent, Meinongianism, as a form of inquiry, lacks a subject matter, despite the fact that we talk happily, and indeed unavoidably, of the non-existent. (shrink)

Notions such as Sunyata, Catuskoti, and Indra's Net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nagarjuna considered two levels of reality: one called conventional reality and the other ultimate reality. Within this framework, Sunyata refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuskoti refers to the claim (...) that four truth values, along with contradiction, are admissible in reasoning. Indra's Net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions which are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of Sunyata. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of Catuskoti. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's Net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

The use of language in hate speech is understandably offensive. Though words do not kill, they convey an alarming message that can harm the victim. To understand how words can harm, it is necessary to understand the nature of the meaning of pejoratives or slurs that are used in hate speech. Pejoratives are undeniably offensive. However, they are puzzling as they can be used in two directions, namely, the offensive power preservation and the offensive power destruction. This paper proposes that (...) the direct reference theory of pejoratives can solve the puzzle. A characterization of pejoratives is that it has the property of immediacy. They refer directly to the object of speech. Grounding on a shared context, any descriptions are unnecessary for understanding the offensive message of pejoratives. In this sense, pejoratives have indexical content as it is context-sensitive. The kind of indexical content that pertains to pejoratives is action-oriented. However, its object of reference is empty. In discussing pejoratives that are used in hate speech, some examples of Thai slurs are shown. (shrink)

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

This is an essay for undergraduates. I present the basic problems of reference for descriptions and names.

Michael Devitt develops a hybrid causal theory of non-empty proper names and certain singular terms that semantically resemble them. He considers that the use of a name designates an object not by virtue of the different information we know about it, but by a causal network that starts from the first uses of the name to designate the object, through a "reference borrowing" from the previous uses. DOI: 10.13140/RG.2.2.35828.50564.

The aim of this paper is to address the semantic issue of the nature of the representation I and of the transcendental designation, i.e., the self-referential apparatus involved in transcendental apperception. The I think, the bare or empty representation I, is the representational vehicle of the concept of transcendental subject; as such, it is a simple representation. The awareness of oneself as thinking is only expressed by the I: the intellectual representation which performs a referential function of the spontaneity (...) of a thinking subject. To begin with, what exactly does Kant mean when he states that I is a simple and empty representation? Secondly, can the features of the representation I and the correlative transcendental designation explain the indexical nature of the I? Thirdly, do the Kantian considerations on indexicality anticipate any of the semantic elements or, if nothing else, the spirit of the direct reference theory? (shrink)

This book is about whether reference to an individual is the essential feature of a proper name -- a widely held view -- or whether referring to an individual is simply a contingent feature. Three questions need resolving, then. First, whether all names in particular contexts are themselves referring devices. Second, whether recognizing names types and the consequent issue of their ambiguity can be resolved simply by distinguishing between name types and tokens thereof. Last, whether names are ever referential (...) in the way Kripke and others have convincingly argued. The answer to first two questions is negative. The answer to third is a qualified "yes." I explain the theory that allows for these answers in the manuscript, as well as addressing other issues such as: the problem of fictional names; descriptive names; empty names; what an act of naming consists of; an account of ontological commitment; and the data that suggests that names are predicates. (shrink)

I present a general metaphysical framework for any formal system that works with truth-values. To establish such a framework, I start with the notion of absolute nothingness, from which I construct a nothingness which is akin to the notion of an empty set in mathematics. Then I provide a formal system that its ability to produce symbols is an integral property and an inseparable part of its metaphysics.

Book synopsis: New work on a hot topic by an outstanding team of authors At the intersection of several central areas of philosophy It is the linguistic job of singular terms to pick out the objects that we think or talk about. But what about singular terms that seem to fail to designate anything, because the objects they refer to don't exist? We can employ these terms in meaningful thought and talk, which suggests that they are succeeding in fulfilling their (...) representational task. A team of leading experts presents new essays on the much-debated problem of empty reference and thought. In the 1960s and 1970s Keith Donnellan, David Kaplan, Saul Kripke and Hilary Putnam initiated a revolution in the then standard conception of reference—a concept at the core of philosophical inquiry. The repercussions of the revolution, particularly felt in metaphysics and epistemology, were soon refined by other influential writers such as Tyler Burge, Gareth Evans, and John Perry. They argued that some linguistic and mental representations have contents individuated by what they are about—by ordinary referents of expressions such as proper names, indexicals, definite descriptions and common nouns, i.e. by planets, people or natural kinds. The view was at odds with a central philosophical presumption at that time: that cognitive and linguistic access to objective reality is indirect and accidental, mediated by general descriptive characterizations, the only constitutive semantic feature of the expressions; hence its ontological and epistemological repercussions. A turning-point in the debate about how linguistic and mental representation reach external contents concerned the nature of empty mental and linguistic representations, framed by means of the very same expressions crucially invoked in the Donnellan-Kaplan-Kripke-Putnam arguments. The papers in this volume address different aspects of reference and thought about the non-existent. (shrink)

In this work, it is shown that given a correct understanding of the nature of reference and of linguistic meaning generally, it is possible to produce non-revisionist analyses of the nature of -/- *Perceptual content, *Mental content generally, *Logical equivalence, *Logical dependence generally, *Counterfactual truth, *The causal efficacy of mental states, and *Our knowledge of ourselves and of the external world. -/- In addition, set-theoretic interpretations of several semantic concepts are put forth. These concepts include truth, falsehood, negation, and (...) conjunction. (shrink)

The paper considers the symmetries of a bit of information corresponding to one, two or three qubits of quantum information and identifiable as the three basic symmetries of the Standard model, U(1), SU(2), and SU(3) accordingly. They refer to “empty qubits” (or the free variable of quantum information), i.e. those in which no point is chosen (recorded). The choice of a certain point violates those symmetries. It can be represented furthermore as the choice of a privileged reference frame (...) (e.g. that of the Big Bang), which can be described exhaustively by means of 16 numbers (4 for position, 4 for velocity, and 8 for acceleration) independently of time, but in space-time continuum, and still one, 17th number is necessary for the mass of rest of the observer in it. The same 17 numbers describing exhaustively a privileged reference frame thus granted to be “zero”, respectively a certain violation of all the three symmetries of the Standard model or the “record” in a qubit in general, can be represented as 17 elementary wave functions (or classes of wave functions) after the bijection of natural and transfinite natural (ordinal) numbers in Hilbert arithmetic and further identified as those corresponding to the 17 elementary of particles of the Standard model. Two generalizations of the relevant concepts of general relativity are introduced: (1) “discrete reference frame” to the class of all arbitrarily accelerated reference frame constituting a smooth manifold; (2) a still more general principle of relativity to the general principle of relativity, and meaning the conservation of quantum information as to all discrete reference frames as to the smooth manifold of all reference frames of general relativity. Then, the bijective transition from an accelerated reference frame to the 17 elementary wave functions of the Standard model can be interpreted by the still more general principle of relativity as the equivalent redescription of a privileged reference frame: smooth into a discrete one. The conservation of quantum information related to the generalization of the concept of reference frame can be interpreted as restoring the concept of the ether, an absolutely immovable medium and reference frame in Newtonian mechanics, to which the relative motion can be interpreted as an absolute one, or logically: the relations, as properties. The new ether is to consist of qubits (or quantum information). One can track the conceptual pathway of the “ether” from Newtonian mechanics via special relativity, via general relativity, via quantum mechanics to the theory of quantum information (or “quantum mechanics and information”). The identification of entanglement and gravity can be considered also as a ‘byproduct” implied by the transition from the smooth “ether of special and general relativity’ to the “flat” ether of quantum mechanics and information. The qubit ether is out of the “temporal screen” in general and is depicted on it as both matter and energy, both dark and visible. (shrink)

(Open Access.) Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents. The paper outlines some philosophical puzzles resulting from this apparent lack of associated domains, puzzles that are broadly analogous to more familiar ones raised by the apparently nonreferential nature of many fictional names. The paper argues, in the light of an (...) important disanalogy between quantifiers and names, that the quantificational puzzles are substantive, in that they cannot be resolved merely by appealing to the possibility of empty domains. It then argues that, despite the cited parallels between occurrences of quantifiers and names within fictions, promising treatments of fictional names do not always straightforwardly generalise to provide accounts of the quantificational phenomena: the quantificational puzzles are therefore not only substantive but also distinctive. The paper provides further testament to the depth and interest of the problems involving content that are generated by fiction, by identifying a very wide range of previously neglected cases, while also helping to situate within a broader context the notoriously hard philosophical challenges posed by fictional names. (shrink)

Fictional names present unique challenges for semantic theories of proper names, challenges strong enough to warrant an account of names different from the standard treatment. The theory developed in this paper is motivated by a puzzle that depends on four assumptions: our intuitive assessment of the truth values of certain sentences, the most straightforward treatment of their syntactic structure, semantic compositionality, and metaphysical scruples strong enough to rule out fictional entities, at least. It is shown that these four assumptions, taken (...) together, are inconsistent with referentialism, the common view that names are uniformly associated with ordinary individuals as their semantic value. Instead, the view presented here interprets names as context-sensitive expressions, associated in a context of utterance with a particular act of introduction, or dubbing, which is then used to determine their semantic value. Some dubbings are referential, which associate names with ordinary individuals as their semantic values; others are fictional, which associate names, instead, with sets of properties. Since the semantic values of names can be of different sorts, the semantic rule interpreting predication must be complex as well. In the body of the paper, I show how this new treatment of names allows us to solve our original puzzle. I defend the complexity of the semantic predication rule, and address additional worries about ontological commitment. (shrink)

My aim in this paper is to show that the existence of empty names raise problems for the Millian that go beyond the traditional problems of accounting for their meanings. Specifically, they have implications for Millian strategies for dealing with puzzles about belief. The standard move of positing a referent for a fictional name to avoid the problem of meaning, because of its distinctly Millian motivation, implies that solving puzzles about belief, when they involve empty names, do in (...) fact hang on Millian assumptions after all. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the (...) question of whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

A popular way for irrealists to explain co-identification—thinking and talking ‘about the same thing’ when there is no such thing—is by appeal to causal, historical or informational chains, networks or practices. Recently, however, this approach has come under attack by philosophers who contend that it cannot provide necessary and/or sufficient conditions for co-identification. In this paper I defend the approach against these objections. My claim is not that the appeal to such practices can provide necessary and sufficient conditions for co-identification, (...) but rather that it is a mistake to seek these in the first place. -/- . (shrink)

Bertrand Russell in his essay On Denoting [1905] presented a theory of description developed in response to the one proposed by Gottlob Frege in his paper Über Sinn und Bedeutung [1892]. The aim of our work will be to show that Russell underestimated Frege three times over in presenting the latter’s work: in relation to the Gray’s Elegy argument, to the Ferdinand argument, and to puzzles discussed by Russell. First, we will discuss two claims of Russell’s which do not do (...) justice to Frege: that we speak of a sense by means of quotation marks, and that all Frege does to cope with phrases that might denote nothing is define an arbitrary object as their reference. Second, we will show that Russell omitted the fact that Frege’s theory provided some answers for the puzzles presented by Russell in his essay. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Human beings have the ability to ‘augment’ reality by superimposing mental imagery on the visually perceived scene. For example, when deciding how to arrange furniture in a new home, one might project the image of an armchair into an empty corner or the image of a painting onto a wall. The experience of noticing a constellation in the sky at night is also perceptual-imaginative amalgam: it involves both seeing the stars in the constellation and imagining the lines that connect (...) them at the same time. I here refer to such hybrid experiences – involving both a bottom-up, externally generated component and a top-down, internally generated component – as make-perceive (Briscoe 2008, 2011). My discussion in this paper has two parts. In the first part, I show that make-perceive enables human beings to solve certain problems and pursue certain projects more effectively than bottom-up perceiving or top-down visualization alone. To this end, the skillful use of projected mental imagery is surveyed in a variety of contexts, including action planning, the interpretation of static mechanical diagrams, and non-instrumental navigation. In the second part, I address the question of whether make-perceive may help to account for the “phenomenal presence” of occluded or otherwise hidden features of perceived objects. I argue that phenomenal presence is not well explained by the hypothesis that hidden features are represented using projected mental images. In defending this position, I point to important phenomenological and functional differences between the way hidden object features are represented respectively in mental imagery and amodal completion. (shrink)

Kant says that it can be rational to accept propositions on the basis of non-epistemic or broadly practical considerations, even if those propositions include “transcendental ideas” of supersensible objects. He also worries, however, about how such ideas (of freedom, the soul, noumenal grounds, God, the kingdom of ends, and things-in-themselves generally) acquire genuine positive content in the absence of an appropriate connection to intuitional experience. How can we be sure that the ideas are not empty “thought-entities (Gedankendinge)”—that is, speculative (...) fancies that do not and perhaps even cannot have referents in reality? In this paper I argue for an account of the fundamental problem here (i.e. that it is based in a concern about whether or not the objects of such ideas are "really possible" in Kant's technical sense). I then critically evaluate Kant's three proposed solutions to the problem. The third one involves an appeal to the complicated doctrine of "symbolization" that becomes prominent in Kant's later works. -/- . (shrink)

In this paper, I will conduct three interrelated analyses. First, I will develop an analysis of various concepts in the history of biology that used to refer to individual-level phenomena but were then reinterpreted by the Modern Synthesis in terms of populations. Second, I argue that a similar situation can be found in contemporary biological theory. While different approaches reflect on the causal role of developing organisms in evolution, proponents of the Modern Synthesis avoid any substantial change by reinterpreting and (...) explaining individual-level phenomena from a population perspective. Finally, I will approach this debate by advocating the statistical reading of natural selection, which holds that explanations by natural selection are statistical. I will argue that the above historical conceptual reinterpretations belong to a new explanatory strategy developed by the Modern Synthesis based on population thinking. The reinterpretation of concepts at the individual level is part of the explanatory framework of the Modern Synthesis and the empty role of development within this framework. Moreover, the statistical perspective adopted here allows for the integration of two explanatory models: population-statistical and individual-causal. Finally, I will argue that this pluralistic framework can help to define the explanatory scope of the different biological approaches in order to achieve a coherent integration of development into evolution without rejecting population thinking. (shrink)

In this paper, I consider the implications of grief for philosophical theorising about absence experience. I argue that whilst some absence experiences that occur in grief might be explained by extant philosophical accounts of absence experience, others need different treatment. I propose that grieving subjects' descriptions of feeling as if the world seems empty or a part of them seems missing can be understood as referring to a distinctive type of absence experience. In these profound absence experiences, I will (...) argue, the absence of a person as a condition on various possibilities is made manifest in the structure of experience over time. Thus, by paying close attention to grief, we can see that even accounts of absence experience that are presented as in competition with one another may not be so, and that to explain all kinds of absence experience we sometimes need to appeal to something overlooked in other accounts, and which is neither straightforwardly perceptual or cognitive. I also suggest that we would have good reason to take such experiences to be part of and not merely psychological effects of grief. (shrink)

In this chapter, I describe my “post-diagnosis” experiences as the parent of an autistic child, those years in which I tried, but failed, to make sense of the overwhelming and often nonsensical information I received about autism. I argue that immediately after being given an autism diagnosis, parents are pressured into making what amounts to a life-long commitment to a therapy program that (they are told) will not only dramatically change their child, but their family’s financial situation and even their (...) entire mode of existence. Moreover, despite information overload, many treatment programs for autism rely on empty jargon and make completely unrealistic promises, so parents are left feeling overwhelmed and panicked. Even well respected therapy programs encourage parents to spend liberally. Indeed, autistic therapists, who help construct what I refer to as the Culture of Autism, advise parents to commit to a minimum of 35 to 45 hours of intensive therapy every week. The implications are clear: for a parent who works full-time, their autistic child becomes a second full-time job. Autism is big business right now, and therapists are pushing parents to the brink of desperation. So it is not too surprising that there is a desperate cry for a more permanent solution—which is why researchers seek to cure autism. But there are two ways to conceptualize cure. A Therapeutic Cure model (TC) conceives of a cure as a beneficial treatment for the patient that eliminates or ameliorates the harms of the disease or condition. But the notion of a therapeutic cure for autism is highly implausible, given the complexities of autism. Indeed, at this point, the vast majority of researchers have come to the conclusion that the idea of a therapeutic cure for autism is simply a non-starter. Therefore the bulk of research seeking a cure for autism focuses instead on a second approach, which I refer to as the Negative Eugenics Cure model (NEC). With this model, the intention is to eliminate the disease or condition without regard for the health or well-being of the organism carrying the disease or condition. So, with regard to autism, researchers are focusing on identifying genetic markers for autism that can be detected in utero, or in embryos, so that autistic fetuses can be eliminated and autism eradicated by preventing the existence of autistic individuals. I review both models and argue that both fail to provide convincing arguments that the “solution” either offers is desirable. Both rest on the assumption that autism renders a life not worth living which, all things considered, is false. Instead of pushing to cure autism, an idea pervasive in this Culture of Autism, I contend that autistics are individuals with lives worth living. Moreover, rather than expend millions on research to search for the means to eliminate autism, we should instead expend our resources to ensure autistic individuals have access to support they may need. If the phenomenology of autism were better understood and appreciated, the panicked demand for a cure for autism might abate and perhaps autism could be seen as having value in and of its own right. (shrink)

The Principle of Sufficient Reason is very seldom, if ever, referred to in the works of whom we might think of as the eminent Asian metaphysicians. In spite of this, the big picture metaphysical views available in the thought of philosophers such as Nāgārjuna, Fazang and Nishida appear to share certain structural features with views more familiar to us from our own tradition; views that explicitly accept or reject the Principle of Sufficient Reason. Nāgārjuna looks to develop a kind of (...) metaphysical infinitism, Fazang an extreme form of coherentism, and Nishida a species of foundationalism. These three positions - infinitism, coherentism and foundationalism - are typically thought to exhaust the spread of possibilities by those working within the Western tradition. -/- In spite of their similarities to positions advanced within our own tradition, the cosmologies of many of the giants of Asian philosophy are characterised by their rather striking conclusions. Amongst such conclusions for Nāgārjuna is that everything is empty; for Fazang that everything is identical to everything else; and for Nishida that everything depends on absolute nothingness. If the Principle of Sufficient Reason is playing a role in the derivation of such striking conclusions, then it looks that there are more options regarding the metaphysical structure of the world available to us than our own tradition typically courts. If, on the other hand, these striking cosmological conclusions are arrived at without any consideration of sufficient reason, then there may well be ways of reasoning about the overarching structure of reality that are powerful but unfamiliar to Western thinking. In this contribution, I explore what, if any, role the PSR might be playing in the thought of Nāgārjuna , Fazang and Nishida, and what we might be able to learn from it. (shrink)

In this paper, I investigate the phenomenology of awakening in Chinese Zen Buddhism. In this tradition, to awaken is to ‘see your true nature’. In particular, the two aspects of awakening are: (1) seeing that the nature of one’s self or mind is empty or void and (2) an erasing of the usual (though merely apparent) boundary between subject and object. In the early Zen tradition, there are many references to awakening as chopping off your head, not having eyes, (...) nose and tongue, and seeing your ‘Original Face’. These references bear a remarkable resemblance to an approach to awakening developed by Douglas Harding. I will guide the reader through a series of Harding’s first-person experiments which investigate the gap where you cannot see your own head. I will endeavour to show that these methods, although radically different from traditional meditation techniques, result in an experience with striking similarities to Zen accounts of awakening, in particular, as experiencing oneself as empty or void and yet totally united with the given world. The repeatability and apparent reliability of these first-person methods opens up a class of awakening experience to empirical investigation and has the potential to provide new insights into nondual traditions. (shrink)

Parfit denies that the introduction of reasons into our ontology is costly for his theory. He puts forth two positions to help establish the claim: the Plural Senses View and the Argument from Empty Ontology. I argue that, first, the Plural Senses View for ‘exists’ can be expanded to allow for senses which undermine his ontological claims; second, the Argument from Empty Ontology can be debunked by Platonists. Furthermore, it is difficult to make statements about reasons true unless (...) these statements include reference to objects in reality. These arguments show the instability of Parfit’s claimed metaethical advantages over naturalism. [Open access]. (shrink)

Zeitgenössische Positionen in der Debatte über fiktionale Namen lassen sich in zwei Lager aufteilen: deskriptivistische und Millsche Ansätze. Deskriptivisten nehmen an, dass der semantische Inhalt eines Namens synonym mit einer Kennzeichnung sei, während Millianerinnen, behaupten, dass der semantische Inhalt eines Namens sein Bezugsobjekt sei. Da es sich bei diesen Ansätzen um Theorien handelt, die sich nicht auf fiktionale Namen beschränken, sondern Eigennamen generell behandeln, müssen sie sich auch Einwänden stellen, die nicht nur auf fiktionale Namen zutreffen. Dieses Kapitel konzentriert sich (...) weniger auf die Darstellung allgemeiner Probleme, sondern auf solche, die sich besonders im Zusammenhang mit fiktionalen Namen stellen. (shrink)

Author: Dalke Jarosław Title: PHILOSOPHICAL ARGUMENTS FOR THE IDEA OF UNIVERSAL SALVATION IN THOMAS TALBOTT’S APPROACH (Argumenty filozoficzne za koncepcją uniwersalizmu zbawienia w ujęciu Thomasa Talbotta) Source: Filo-Sofija year: 2010, vol:.10, number: 2010/1, pages: 107-122 Keywords: IDEA OF UNIVERSAL SALVATION, THOMAS TALBOTT, GOD Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:This paper presents philosophical arguments for the idea of universal salvation proposed by Thomas Talbott. He argues that in the afterlife everyone (...) will be finally reconciled to God, because the existence of hell, understood as state of endless suffering, is logically inconsistent with God’s love and omnipotence. Nonetheless, the critical analysis of Talbott’s reasoning doesn’t show that his universalism is sufficiently justifiable position. Although the emptiness of hell is logically possible, Talbott’s argumentation requires accepting more assumptions and resolving additional difficulties. (shrink)

Fictional names pose a difficult puzzle for semantics. We can truthfully maintain that Frodo is a hobbit, while at the same time admitting that Frodo does not exist. To reconcile this paradox I propose a way to formalize the interpretation of fiction as ‘prescriptions to imagine’ (Walton 1990) within an asymmetric semantic framework in the style of Kamp (1990). In my proposal, fictional statements are analyzed as dynamic updates on an imagination component of the interpreter’s mental state, while plain assertions (...) are updates on a belief component. Proper names – regular, empty, or fictional – are uniformly analyzed as presupposition triggers. The possibility of different attitude components referentially depending on each other is what ultimately allows us to account for the central paradox mentioned above. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud if (...) possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Peter Fitzpatrick’s writings prove once and for all that it is possible for a law professor to write in beautiful English. His work also proves once and for all that the dominating tradition of Anglo-American legal philosophy and of law teaching has been barking up the wrong tree: namely, that the philosopher and professional law teachers can understand justice as nested in empty forms, better known as rules, doctrines, principles, policies, and other standards. The more rigorous our analysis or (...) decomposition of the forms, we have believed, the more closely do we access the identity of laws. Justice has been assumed to be a matter of intellectually accessing such analysed forms. Fitzpatrick’s articles and books embody an implicit critique of the analytic view of law and of justice. My entry point into this critique is his preoccupation with Jacques Derrida’s theory of laws as universals and with Derrida’s theory of justice as an inaccessible immediacy or presence in context-specific or concrete experienced events. Each event is experienced in an official’s decision. Such a decision represents what Derrida, Fitzpatrick, and Hegel call ‘individuality’. -/- Derrida’s theory of law presents a conundrum. Derrida misses the possibility that law may exist by virtue of its content rather than its form. Derrida misses this possibility because, heavily influenced by Kant (in Derrida’s theory of law), Derrida associates law with universals. This is so because Kant (and Derrida) are preoccupied with the identity of what counts as a law (lois) rather than with a law’s legitimacy. A universal cannot exist unless it is legitimate, and it is legitimate, I claim, by virtue of its content. In his association of law with universals, Derrida presupposes that legal knowledge exists with reference to a territorial-like boundary. The forms are represented or signified by signs (signifiers) within a boundary of the ultimate form (the state, the nation, or humanity). This ultimate form as a universal, like the discrete rules or forms, lacks socially contingent content. A boundary separates knowable universals from the unknowable world on the exteriority of the boundary. The unknowable world is constituted by concrete events experienced in context-specific circumstances. In his legal theory Derrida hones in upon the decision as the experienced event. In a decision, one is present or immediate with the event. Derrida considers such immediacy as justice. The immediacy, however, can only be represented as a sign (sometimes called a signifier). The sign, in turn, represents an empty signified or form, according to Derrida. Because the immediacy remains a representation rather than a presentation of the experienced event, laws as universals cannot be just. The rupture between the inaccessible immediacy of a decision on the one hand and the represented empty forms on the other is critical to Derrida’s theory of law. -/- I claim that this rupture permeates Derrida’s writings about law because Derrida possesses a territorial-like sense of legal knowledge. I shall argue to this effect as follows. In the first section I shall explain the importance of Fitzpatrick’s exposure of the vacuity of the foundation of the system or structure of universals. In the second section I shall flesh out two elements of Derrida’s legal theory: law as form and the ipseity or concrete event that the form excludes from law. This takes me to the third section, where I shall elaborate how Derrida’s legal theory presupposes knowledge as territorial. I shall argue in the final section that this very sense of territorial knowledge prevents justice from accessing law and law from accessing justice. I conclude with the hint of a very different sense of law, one that draws from experiential knowledge in contradistinction to territorial knowledge. (shrink)

This book addresses the problem of self-knowledge in Kant’s philosophy. As Kant writes in his major works of the critical period, it is due to the simple and empty representation ‘I think’ that the subject’s capacity for self-consciousness enables the subject to represent its own mental dimension. This book articulates Kant’s theory of self-knowledge on the basis of the following three philosophical problems: 1) a semantic problem regarding the type of reference of the representation ‘I’; 2) an epistemic (...) problem regarding the type of knowledge relative to the thinking subject produced by the representation ‘I think’; and 3) a strictly metaphysical problem regarding the features assigned to the thinking subject’s nature. The author connects the relevant scholarly literature on Kant with contemporary debates on the huge philosophical field of self-knowledge. He develops a formal reading according to which the unity of self-consciousness does not presuppose the identity of a real subject, but a formal identity based on the representation ‘I think’. (shrink)

It is often presupposed that an anti-individualist about representational mental states must choose between two accounts of no-reference cases. One option is said to be an ‘illusion of thought’ version according to which the subject in a no-reference case fails to think a first-order thought but rather has the illusion of having one. The other is a ‘descriptive’ version according to which one thinks an empty thought via a description. While this presupposition is not uncommon, it rarely (...) surfaces in an explicit manner. Often, it is visible only when a theorist argues directly from the falsity of one of the two views to the truth of the other. However, Jessica Brown’s recent work on anti-individualism clearly illustrates the presupposition. In contention with Brown’s and others presupposition, arguments for two conclusions about the nature of anti-individualism are set forth. First, the choice between the illusion and descriptive version of anti-individualism is a dilemma. Each version of anti-individualism is prone to problems. Second, the choice is a false dilemma. There is another, less problematic, anti-individualistic account of reference failure. (shrink)

In this paper, I explore a possible convergence between two great twentieth century thinkers, Nishida Kitarō of Japan and Martin Heidegger of Germany. The focus is on the quasi-religious language they employ in discussing the grounding of human existence in terms of an encompassing Wherein for our being. Heidegger speaks of “the sacred” and “the passing of the last god” that mark an empty clearing wherein all metaphysical absolutes or gods have withdrawn but are simultaneously indicative of an opening (...) wherein beings are given. Nishida speaks of “the religious” dimension in the depths of one's being, that he calls “place,” and that somehow envelops the world through its kenotic self-negation. In both we find reference to a kind of originary space—the open or place—associated with quasireligious themes. I also point to their distinct approaches to metaphysical language in their attempts to give voice to that abysmal thought. (shrink)

In his Twilight of the Idols, Friedrich Nietzsche praises Heraclitus, the Greek pre-Socratic, for his “assertion that being is an empty fiction.” 1 The philosophical notion of being, which seems to refer to fixed entities or substances, is eclipsed (at least in the mind of Nietzsche [and perhaps other philosophers—Gilles Deleuze comes to mind]) by the notion of becoming. As a result of our innate nothingness—which I defend linguistically, via the structuralist concept of the arbitrary nature of the linguistic (...) sign—it would seem that we do, in fact, lack a fixed internal essence. Rather, we are constantly redefining (and free to redefine) our being, which is never fixed. It would seem that “un-fixed” being is becoming. In my paper, I aim to track this notion of becoming, as directly opposed to being, through two literary instances: the biblical Christ, and the philosopher-author Nikos Kazantzakis’ Zorba the Greek. (shrink)

intro to Part 1 - -/- Most people disliked mathematics when they were at school and they were absolutely correct to do so. This is because maths as we know it is severely incomplete. No matter how elaborated and complicated mathematical equations become, in today's world they're based on 1+1=2. This certainly conforms to the world our physical senses perceive and to the world scientific instruments detect. It has been of immeasurable value to all knowledge throughout history and has elevated (...) science to the lofty status it enjoys. Science is now striving towards Unification - where the subatomic realm, all matter, energy, forces, space and time will be seen as entangled parts of one universe. While 1+1=2 has been vital in getting humanity to this point, it's time to suppress our attachments to the past and realize that whereas 1+1 will always equal 2, it's also capable of equalling the 1 which represents unification. -/- intro to Part 2 -/- b) Division by zero is accepted, in Newtonian maths, to be impossible. But we can regard division by zero as division by nothing i.e. division that has no effect. In this case, 1 divided by 0 is 1. However, to a physicist there is no such thing as nothing (even empty space contains energy). What could the something called 0 actually be? It could be a binary digit. If we use the base of ten (for simplicity) and attach one and zero to it as exponents, we get 10^1 divided by 10^0 = 10^1. If we then cancel 10 from each factor in the expression, we get 1 divided by 0 = 1. At the start of the paragraph, this was referred to as division by nothing. Then 0 was called a binary digit and division by nothing became division by something. The 1 that the division equals is the unified field of space-time. Division by 0 is impossible in Newtonian maths because the result can be infinity. But the word “infinity” can, as the last section of this book shows, apply to the unified field of spacetime. So division by zero is not impossible because it results in the universe, which is obviously possible … a possibility that has always been, and always will be, realized. -/- intro to Part 3 -/- If quantum entanglement has existed in the entire universe forever, everything would be everywhere and everywhen. Space, time and 5th-dimensional hyperspace would not be restricted to certain parts of the Mobius Universe but would exist in every particle. Past, present and future would not exist as the distinct periods which everyday life assumes. All instants of all periods would exist eternally, permitting time travel to any point in the past and to any point in the future. Entanglement may be created by simply zipping along at close to the speed of light - “Quantum entanglement of moving bodies” by Robert M. Gingrich and Christoph Adami in Physical Review Letters 89, 270402 (issue of 30 December 2002) – which might be achieved, according to this book, by warping space so it’s either a fraction of the 90 degrees allowing instantaneous travel or almost at 270 degrees to space as we know it. (shrink)

Scholars working on Kant’s Anticipations of Perception generally attribute to him an argument that invalidly infers that objects have degrees of intensive magnitude from the premise that sensations do. I argue that this rests on an incorrect disambiguation of Kant’s use of Empfindung as referring to the mental states that are our sensings, rather than the objects that are thereby sensed. Kant’s real argument runs as follows. The difference between a representation of an empty region of space and/or time (...) and a representation of that same region as occupied by an object entails that, in addition to their extensive magnitude, objects must be represented as having a matter variable in intensive magnitude. Since it is the presence of sensation in a cognition that marks the difference between representing only the extensive magnitude of the object and the object as a whole, it is sensation that represents its intensive magnitude. (shrink)

Bioethical discourse on organ donation covers a wide range of topics, from informed consent procedures and scarcity issues up to ‘transplant tourism’ and ‘organ trade’. This paper presents a ‘depth ethics’ approach, notably focussing on the tensions, conflicts and ambiguities concerning the status of the human body. These will be addressed from a psychoanalytical angle. First, I will outline Lacan’s view on embodiment as such. Subsequently, I will argue that, for organ recipients, the donor organ becomes what Lacan refers to (...) as an object a, the ‘partial object’ of desire, the elusive thing we are deprived of, apparently beyond our grasp. Within the recipient’s body an empty space emerges, a kind of ‘vacuole’, once occupied by a faltering organ. This space can only be filled by a ‘gift’ from the other, by an object a. Once implanted, however, this implant becomes an ‘extimate’ object: something both ‘external’ and ‘intimate’, both ‘embedded’ and ‘foreign’, and which is bound to remain an object of concern for quite some time, if not for life. A Lacanian analysis allows us, first of all, to address the question what organ transplantation has in common with other bodily practices involving bodily parts procured from others, such as cannibalism. But it also reveals the basic difference between the two, as well as the distance between the ‘fragmented body’ of Frankenstein’s ‘monster’—as an aggregate of replaceable parts—and the multiple organ recipients of today. (shrink)

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although their (...) properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness 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) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (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. 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 the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...) to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

The ‘seeds’ Thoughts proposed by YU Youngmo and HAM Sukhun may each be summed up by propositions expressed in “People are a May-fly seed” and “Seeds embody the eternal sense”. They used “seed” to refer to humans or people on the one hand and placed the notion of seed in the holistic context of the Eastern Asian tradition on the other. Then, I seek to connect the anthropological notion and the holistic notion via cheng(誠) or integration. Zhungyong-The Doctrine of the (...) Mean, one of 4 Confucian texts, says that the ultimate integration(至誠) is to reflect the total nature of objects involved (盡性) so that it will show that self realization and all other realizations are one and not two(成己成物) and it will ultimately reach the stage of holiness(聖). Important elements of cheng intentionality can be read out of the two thinker’s various conceptual aspects. YU’s interpretation of history to be internalistic, his view of Hangul(Korean written language) as a revelational medium, his hermeneutics of Christian God as the emptiness cannot be understood on the dichotomous model of human-nature. HAM’s seed holism, his beliefs that humans’s minds are the heavenly mind and that all things under the heaven should come to be unified are best to be understood on the model of cheng intentionality of integration. (shrink)