In our introduction we make some remarks on the main topics of this issue: assertion and proof. We briefly describe how each of the papers in the present publication has contributed from either different or complementary perspectives to the logical reflection on assertion and proof, while also specifying the relation between them.

semantic minimalism and moderte contextualism.

Our goal is to investigate the biological correlates of the first-person experience of time or phenomenal time. ‘Time’ differs in various domains, such as (i) physical time (e.g., clock time), (ii) biological time, such as the suprachiasmatic nucleus, and (iii) the perceptual rate of time. One psychophysical-measure of the perceptual rate is the critical flicker frequency (CFF), in which a flashing light is perceived as unchanging. Focusing on the inability to detect change, as in CFF, may give us insight into (...) phenomenal time. CFF varies from 24 Hz for dim light and 60 Hz in bright light and is lower for colored lights. We propose that problem of the phenomenal time can be addressed using two contrasting but complementary approaches (inability to detect changes vs. ability to detect changes): (1) The soliton-catalytic model that entails invariant quantum coherent state for temporal frequencies (TFs) >= CFF, where flickering light is perceived as unchanging, similar to a Bose-Einstein condensate (BEC). (2) Temporal frequency tuned mechanisms model, which starts with ability to detect changes for TFs < CFF and then their sensitivities decreases to zero at CFF. For a subject who has CFF of 60 Hz, the duration of one cycle or time-period of the flickering light is approximately 16.7 ms. Phenomenal time may be quantized into ‘subjective occasions of experience’ (SE), which arise out of the interaction of the individual with situation (environment). Pioneering work examining the complex interaction of neurons suggests the possibility that macroscopic quantum states similar to a BEC may also occur in the brain (Davia, 2006; Freeman & Vitiello, 2006; Georgiev, 2004; Vimal & Davia, 2008) . (shrink)

The nexus of predication is accounted for in different ways in different theories of universals. We briefly review the account given in nominalism, logical realism , and natural realism. Our main goal is to describe the account given in a modern form of conceptualism extended to include a theory of intensional objects as the contents of our predicable and referential concepts.

In her Introduction to Wittgenstein’s Tractatus , Elizabeth Anscombe took it to be a fault of the Tractatus that it excluded the statement “‘Someone’ is not the name of someone”, which she took to be obviously true. It is not a bipolar proposition, and its negation, she said, peters out into nothingness. I examine the question whether she is right that the Tractatus excludes such propositions, and I consider her example in relation to other propositions which, arguably at least, have (...) no intelligible negation. In considering the particular case of Frege’s response to Benno Kerry about the concept ‘horse’, I try to develop an account of the place in Wittgenstein’s philosophy for certain sorts of proposition which do not have an intelligible negation. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

This dissertation is a defense of a particular theory of the metaphysics of time which I call "accretivism", but which is popularly known in a form usually called the "Growing Block Theory". The goal of a metaphysics of time is to incorporate the various aspects of our temporal experience into a single, comprehensive whole. To this end I delineate five aspects of our ordinary experience of time: 1) The Tensed Aspect, in virtue of which objects are presented to us as (...) past, present, or future; 2) The Transitory Aspect, in virtue of which time passes or "flows"; 3) The Durational Aspect, in virtue of which entities have a certain temporal extent; 4) The Structural Aspect, in virtue of which entities are given as being in temporal relations to one another, and 5) The Differential-Repetitive Aspect, in virtue of which things are different from one time to another, and yet there is a certain recurrence of aspects of our experience form one time to another. I contrast the accretivist picture of time, according to which that which is past and that which is present both have ontological status, but nothing which is future has ontological status, and in which temporal passage consists in the coming-into-being of new entities at the temporal edge of reality marked by the present, with the two dominant theories of time in the contemporary literature: 1) presentism, according to which only that which is present has ontological status, and 2) four-dimensionalism, according to which time is to be understood on analogy with spatial dimensions. Accretivism, I argue, is superior to the other two views in virtue of the fact that it gives full status to both the Structural Aspect of Time, for which the presentist has difficulty accounting, and the Transitory Aspect of Time, for which the four-dimensionalist has difficulty accounting. I then defend the accretivist picture against a variety of objections that might be raised to it. (shrink)

Empty names are a problem for Russellians. I describe three ways to approach solving the problem. These are positing gappy propositions as contents, nonsingular propositions as contents, or denying that sentences containing empty names have contents. I discuss methods for deciding between solutions. I then argue for some methods over others and defend one solution using those methods. I reject the arguments that either intuitions about truth value, truth, content, or meaningfulness can decide between the solutions. I give an alternative (...) argument which does decide between the three solutions. The alternative is based on the idea that a sentence and its internal negation are contrary: they cannot both be true, but they might both be false. I argue from Russellian premises to the conclusion that such sentences cannot be assigned truth values when they contain empty names. The argument shows that no Russellian should assign a truth value to a sentence containing an empty name, and therefore that no Russellian should assign a proposition as the content of such a sentence. This shows that Russellians should conclude that sentences containing empty names do not have contents, i.e. the no proposition view. (shrink)

Frege attempted to provide arithmetic with a foundation in logic. But his attempt to do so was confounded by Russell's discovery of paradox at the heart of Frege's system. The papers collected in this special issue contribute to the on-going investigation into the foundations of mathematics and logic. After sketching the historical background, this introduction provides an overview of the papers collected here, tracing some of the themes that connect them.

In this paper, I shall explore a determiner in natural language which is ambivalent as to whether it should be classified as quantificational or objectdenoting: the determiner both. Both in many ways appears to be a paradigmatic quantifier; and yet, I shall argue, it can be interpreted as having an individual—an object—as semantic value. To show the significance of this, I shall discuss two ways of thinking about quantifiers. We often think about quantifiers via intuitions about kinds of thoughts. Certain (...) terms are naturally used to express singular thoughts, and appear to do so by contributing objects to the thoughts expressed. Other terms are naturally used to express general thoughts, and appear to do so by contributing higher-order properties to the thoughts expressed. Viewed this way, the main condition on whether a term is a quantifier or not is whether its semantic value is an object or a higher-order property. At least, these provide necessary conditions. Both can be interpreted as contributing objects to thoughts, and in many cases appears to express genuine singular thoughts. Thinking about quantifiers this way, both can appear object-denoting and non-quantificational. We also often think about quantifiers in terms of a range linguistic features, including semantic value, presupposition, scope, binding, syntactic distribution, and many others. Viewed this way, I shall argue, both can appear quantificational. In particular, it displays scope behavior that is one of the hallmarks of quantification. But, I shall show, it can do so even if given a semantics on which it denotes an object. Thus, both appears quantificational by some linguistic standards, and yet appears object-denoting by standards based on intuitions about the kinds.. (shrink)

This paper is about interpreting the aim of Plato's Sophist in a linguistic framework and arguing that in its attempt at resolving the conundrum of what the true meaning and essence of the word "sophist" could be, it resembles a number of themes encountered in contemporary linguistics. I think it is important to put our findings from the Sophist in a broader Platonic context: in other words, I assume—I think not too unreasonably—that Plato pursued (or at least had in mind) (...) a number of overall projects ('OP' for short) throughout some or most of the dialogues, while each one of the dialogues would in addition have more specific projects ('SP') as part of its individual blueprint. To be sure, the OPs, if they actually existed, might have evolved from the earlier-written to later dialogues, but their foundational premises should have remained intact. In Section A, I provide evidence for reading the Sophist on a linguistic basis. In Section B, I focus on two OPs that I think are relevant to our discussion, one having to do with language and meaning acquisition, and the second concerning the "mind" or a "thought faculty". Ultimately, in Section C, I will use the OPs to contextualise two (related) SPs in the Sophist: (i) identifying cases of intentional referrals for names versus (ii) identifying internal references when searching for word meanings without particular referable instances. At the end of this section, I will draw close parallels between this interpretation of the dialogue and a congruous project of modern 'generative' linguistics. (shrink)

Many recent accounts of the ontology of groups, institutions, and practices have touched upon the normative or deontic dimensions of social reality (e.g., social obligations, claims, permissions, prohibitions, authority, and immunity), as distinct from any specifically moral values or obligations. For the most part, however, the ontology of such socio-deontic phenomena has not received the attention it deserves. In what sense might a social obligation or a claim exist? What is the ontological status of such an obligation (e.g., is it (...) an entity in its own right)? And how do people come to have social obligations or permissions in the first place? In this dissertation, I argue that such social-deontic phenomena can be accounted for ontologically in terms of the existence of shared prescriptive representational content that is backed by collectively held dispositions to monitor for compliance, and to punish (sanction, blame, chide, look unfavorably upon) those who fail to comply. (shrink)

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...) notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general and of (...) biology in particular hold, the following claims: a) there are "laws" in biological sciences, b) many of the heterogeneous and different "models" of biology can be accommodated under some "theory", and c) this is exactly what confers great unifying power to biological theories. (shrink)

This paper is a comparison of two structural theories of propositions: the theory proposed by Kazimierz Ajdukiewicz in the 1960s and the theory developed by Jeffrey King at the beginning of the 21st century. The first section of the paper is an overview of these theories. The second part is a detailed discussion of significant similarities shared by them. In this section, I also identify and analyze ways in which these theories differ and attempt to determine if these differences are (...) substantial or apparent. The last part is an attempt to determine if the discussed theories are capable of coping with the Benacerraf Problem. (shrink)

A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.

This thesis offers a teleosemantic account of moral discourse and judgment. It develops a number of views about the function and content of moral judgments and the nature of moral discourse based on Ruth Millikan’s theory of intentional content and the functions of intentional attitudes. Non-cognitivists in meta-ethics have argued that moral judgments are more akin to desires and other motivational attitudes than to descriptive beliefs. I argue that teleosemantics allows us to assign descriptive content to motivational attitudes and hence (...) that even if the non-cognitivist is correct, moral judgments can be said to describe the world. Moreover, given further teleosemantic assumptions, this conclusion has consequences that are both surprising and interesting. First of all, while moral judgments have descriptive content, moral statements do not. The purpose of moral discourse is not to convey beliefs that are true simpliciter, but to convey attitudes that are descriptively correct when tokened by the addressee. Consequently, moral discourse requires speakers to adapt to hearers in order to secure their assent and bring them into "community of judgment" with themselves. Secondly, the descriptive content of a motivational attitude is partly a matter of the subject’s own preferences and circumstances. In particular, the descriptive correctness of a moral judgment is partly a function of the degree to which it is shared with others. Since a moral judgment also motivates the subject to spread it, it has the ability to, in a certain sense, make itself true. If regular descriptive beliefs are supposed to adapt the subject to the world, a moral judgment also has the capacity to adapt the world to the subject. (shrink)

Our aim in the present paper is to investigate, from the standpoint of truth-theoretic semantics, English tense, temporal designators and quantifiers, and other expressions we use to relate ourselves and other things to the temporal order. Truth-theoretic semantics provides a particularly illuminating standpoint from which to discuss issues about the semantics of tense, and their relation to thoughts at, and about, times. Tense, and temporal modifiers, contribute systematically to conditions under which sentences we utter are true or false. A Tarski-style (...) truth-theoretic semantics, by requiring explicitly represented truth conditions, helps to sharpen questions about the function of tense, and to deepen our insight into the contribution the tenses and temporal modifiers make to what we say by using them. (shrink)

The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...) reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

A draft of a possible comparison between the use made of mathematics in classical field theories and in quantum mechanics is presented. Hilbert’s space formalism, although not only elegant and powerful but intuitive as well, does not give us a spatio-temporal representation of physical events. The picture of the electromagnetic field as an entity which is real in itself– i.e., as a wave without support – fostered by the emergence of special relativity can be seen as the first step, favored (...) by many physicists and philosophers, of a gradual “escape” from intuition into a purely mathematical representation of the external world. After the introduction, in recent theoretical physics, of fiber bundle formalism the classical notion of field acquires a new spatio-temporal intuitiveness. This intuitiveness is clearly foreshadowed in the Kantian and Meinongian analysis of the notion of magnitude. At the end of the paper we show that, contrary to what happens in quantum mechanics, mathematics plays a truly explicative role in general relativity, without any loss of spatio-temporal intuitiveness. (shrink)

This article consists in two parts that are complementary and autonomous at the same time. -/- In the first one, we develop some surprising consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. On a conceptual level, it allows to see sets in a new light and to give a legitimacy to the empty set. On a technical level, it leads to a relative resolution of (...) the anomaly of the intersection of a family free of sets. -/- In the second part, we show the interest of introducing an operator of potentiality into a standard set theory. Among other results, this operator allows to prove the existence of a hierarchy of empty sets and to propose a solution to the puzzle of "ubiquity" of the empty set. -/- Both theories are presented with equi-consistency results (model and interpretation). -/- Here is a declaration of intent : in each case, the starting point is a conceptual questionning; the technical tools come in a second time\\[0.4cm] \textbf{Keywords:} nothing, void, empty set, null-class, zero-order logic with quantifiers, potential, effective, empty set, ubiquity, hierarchy, equality, equality by the bottom, identity, identification. (shrink)

The hard problem – focusing essentially on vision here – is in fact the problem of the origin of our image of the external world. This formulation in terms of the “image” is never seen stated, for the forms populating our image of the world are considered computable, and not considered qualia – the “redness” of the cube is the problem, not the cube as form. Form, however, cannot be divorced from motion and hence from time. Therefore we must examine (...) the classical, spatial metaphysic of space and time, for practical purposes initiated by Galileo, wherein the real has been equated with the quantitative and wherein quality has been stripped from the material world. In this metaphysic, which sees form as quantitative or computable, the origin of qualia is problematic, with a problem of even greater primacy becoming the “memory” that supports the transforming events of perception, e.g., rotating cubes, buzzing flies, twisting leaves. It is this memory, supporting time-extended, flowing events, that necessarily supports all qualia. The concept of storage of “snapshots” of time-flowing events, a notion which the classic metaphysic engenders, is unworkable as a solution to the perception of these flows. Form, in fact being dynamic and defined over flowing fields, equally is a quality, equally requires this memory, and since forms populate the image, the origin of the entire image is indeed a problem. The counter-proposal becomes Bergson’s temporal metaphysic wherein motion is indivisible (or non-differentiable), the global motion of the universal field itself then carrying an intrinsic form of memory. In this framework, with this field viewed as holographic, Bergson provides a unique solution – one that leaves the problem of representation behind – as to how the brain specifies the qualitative image of the dynamically transforming external world. (shrink)

Naïve realism, often overlooked among philosophical theories of perception, has in recent years attracted a surge of interest. Broadly speaking, the central commitment of naïve realism is that mind-independent objects are essential to the fundamental analysis of perceptual experience. Since the claims of naïve realism concern the essential metaphysical structure of conscious perception, its truth or falsity is of central importance to a wide range of topics, including the explanation of semantic reference and representational content, the nature of phenomenal consciousness, (...) and the basis of perceptual justification and knowledge. One of the greatest difficulties surrounding discussions of naïve realism, however, has been lack of clarity concerning exactly what affirming or denying it entails. In particular, it is sometimes unclear how naïve realism is related to the claim that perceptual experience is in some sense direct or unmediated, and also to what extent the view is compatible with another widely discussed thesis in the philosophy of perception, the claim that perceptual experiences are states with representational content. In this essay, I discuss how recent work on these issues helps to clarify both the central commitments of naïve realism, as well as its relation to representationalist theories of perception. Along the way, I will attempt to shed light on the different ways in which each approach tries to address the various theoretical challenges facing a philosophical theory of perception, and also to assess the prospects for views that attempts to combine features of each approach. (shrink)

This paper is a conceptual study in the philosophy of logic. The question considered is 'How may formulae of the propositional calculus be brought into a representational relation to the world?'. Four approaches are distinguished: (1) the denotational approach, (2) the abbreviational approach, (3) the truth-conditional approach, and (4) the modelling approach. (2) and (3) are very familiar, so I do not discuss them. (1), which is now largely obsolete, led to some interesting twists and turns in early analytic philosophy (...) which will come as news to many contemporary readers, so I discuss it in some detail. The modelling approach is, to the best of my knowledge, newly introduced here. I am not presenting it as a rival to the other approaches, but as a philosophically interesting possibility. (shrink)

Mental files serve as individual or singular concepts. Like singular terms in the language, they refer, or are supposed to refer. What they refer to is not determined by properties which the subject takes the referent to have (i.e. by the information stored in the file), but through relations to various entities in the environment in which the file fulfills its function. Files are based on acquaintance relations, and the function of the file is to store whatever information is made (...) available through the relations in question. I offer a typology of files. The most important distinction is between proto-files and conceptual files. In contrast to proto-files, conceptual files can host not only information derived through the specific relation on which the file is based, but also information about the same object gained in some other way. In this framework identity comes into the picture twice. (i) Identity is presupposed when two pieces of information occur in the same file. Such 'presumptions of identity' ground the linguistic phenomenon of de jure coreference, which takes place when two singular terms, or two occurrences of a singular term, are associated with the same file. (ii) Judgments of identity work by linking two distinct files, thereby enabling information to flow freely between them. This corresponds to de facto coreference. (Linking is not merging ; identity judgments have the effect of merging files only when the files belong to a very specific category, that of 'encyclopedia entries' -- a type of conceptual file based on a higher-order relation rather than on a specific acquaintance relation.) In the last part of the paper I will discuss, and attempt to rebut, two objections to the mental-file account. According to the first objection, the account is circular ; according to the second objection, de jure coreference cannot be accounted for it in terms of identity of the associated mental files because de jure coreference is not a transitive relation. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

La consecuencia más difundida de la revolución en la geometría del siglo XIX es aquella que afirma que después de dichos cambios ya nada quedaría de la vieja noción de espacio como "forma de la intuición sensible", ni de la geometría como "condición trascendental" de la posibilidad de la experiencia. Este artículo se ocupa del intento de Rudolf Carnap por articular una concepción del espacio intuitivo que, al tiempo que se mantiene dentro del paradigma kantiano se hace eco de algunos (...) resultados obtenidos en las ciencias formales, específicamente de la teoría de grupos en su aplicación a la geometría. Su concepción se encuentra antecedida por los esfuerzos de Helmholtz, Poincaré, Cassirer y Husserl. The most diffused consecuence of the revolution in the geometry of the XIX century is what claims that after this changes anything would remain of the old notion of space as "the form of the sensible intuition", neither of geometry like "transcendental condition" of the possibility of experience. This paper deal with the Rudolf Carnap's attempt to articulate a conception of the intuitve space that, at the time that it mantains within kantian paradigm, it echoes of some results obtained in the formal sciences, specifically of the theory of groups in its application to geometry. Its conception is preceded by the efforts of Helmholtz, Poincaré, Cassirer and Husserl. (shrink)

En su obra de 1884, Die Grundlagen der Arithmetik [Gl.], Frege establece el principio del contexto como uno de sus principios fundamentales y propone valerse de él para dar con el concepto adecuado de número. Así, ofrece una definición de tipo contextual de número cardinal, pero ante una objeción que le resulta insalvable se decide por una definición explicita. La cuestión acerca de cuál ha sido entonces el sentido de establecer con tanto énfasis el principio del contexto admite más de (...) una respuesta. Mi texto polemiza con la interpretación canónica que se ha dado al papel de este principio en Gl., acusándola de permanecer encandilada por lo que se lee de manera inmediata en desmedro de una evaluación más integral y crítica. En particular, defenderé que: i) a diferencia de lo afirmado en Dummett 1991, la definición contextual de número cardinal no es abandonada por Frege al dar su definición explícita de número, ii) el principio del contexto tiene en Gl. un papel erístico fundamental de eliminar posiciones rivales acerca de la naturaleza de los números, iii) dicha definición contextual de número tiene un papel heurístico en el contexto de descubrimiento, en el sentido de que ofrece una intuición clave que permite llegar a la formulación final, iv) a su vez, la definición contextual es una condición necesaria de la definición explícita en el contexto de justificación, siendo que esta última se ha construido a partir de la primera. Por todo ello, sostengo que la función del principio del contexto no es la que prioriza Dummett, i. e., la fallida función de resolver el problema ontológico de la naturaleza de los números, sino que es fundamentalmente metodológica. En efecto, es en su función erística y heurística en donde debe ubicarse su relevancia para la investigación llevada a cabo en Gl. In his masterpiece of 1884, Die Grundlagen der Arithmetik [Gl.] Frege presents the context principle as a fundamental one in his investigation à propos an accurate concept of number. Thus, resting on it he offers a contextual definition of cardinal number; but after analyzing some objections he realizes that this definition does not work and decides himself for an explicit one. The question about what is the purport of the context principle when something that appeared to be the consequence is put aside admits more than a single answer. In this paper I argue against the canonic interpretation for, even while keeping next to the Fregean text, it fails to offer an integral explanation of how the context principle works all along Gl. In particular, I will defend that: i) contrary with Dummett 1991, the contextual definition of cardinal number is not abandoned by Frege when giving his explicit definition of number, ii) the context principle has in Gl. a fundamental eristic role of crossing out rival positions about the nature of numbers, iii) such contextual definition of number has an heuristic role in the discovery context, in the sense it offers a key intuition towards the final formulation, iv) furthermore, the contextual definition is a necessary condition in the justification context for the latest has been built up through the first one. For all this, I maintain that the function of the context principle is not the one Dummett prioritizes, i. e., the failed function of solving the ontological problem of the nature of numbers; the function of the context principle is rather and fundamentally methodological. It is on its eristic and heuristic function that its relevance to the Gl. investigation must be looked for. (shrink)

I offer an interpretation of Wittgenstein's claim that Russell's theory of judgment fails to show that it's not possible to judge nonsense.

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

The place of Richard Dedekind in the history of logicism is a controversial matter. The conception of logic incorporated in his work is certainly old-fashioned, in spite of innovative elements that would play an important role in late 19th and early 20th century discussions. Yet his understanding of logic and logicism remains of interest for the light it throws upon the development of modern logic in general, and logicist views of the foundations of mathematics in particular. The paper clarifies Dedekind's (...) views and their relation to transcendental logic, makes explicit the role of the principle of comprehension (unrestricted) and offers a reconstrucion ot his dichotomy conception. The last section explores the differences with Frege (half epistemic, half metaphysical) making clear that there were different brands of logicism, and that logicism does not necessarily lead to singularism or “essentialistic objectualism”. (shrink)

In this work I argue for the existence of an ontological state in which no entity in it can be more basic than the others in such a state. This is used to provide conceptual justification for a method that is applied to obtain the Schr\"{o}dinger equation, the Klein-Gordon equation, and the Klein-Gordon equation for a particle in an electromagnetic field. Additionally, it is argued that the existence of such state is incompatible with indirect realism; and the discussion suggests that (...) a panexeperientialist view is a straightforward means to embrace it. (shrink)

I deny that the world is fundamentally causal, deriving the skepticism on non-Humean grounds from our enduring failures to find a contingent, universal principle of causality that holds true of our science. I explain the prevalence and fertility of causal notions in science by arguing that a causal character for many sciences can be recovered, when they are restricted to appropriately hospitable domains. There they conform to loose and varying collections of causal notions that form folk sciences of causation. This (...) recovery of causation exploits the same generative power of reduction relations that allows us to recover gravity as a force from Einstein's general relativity and heat as a conserved fluid, the caloric, from modern thermal physics, when each theory is restricted to appropriate domains. Causes are real in science to the same degree as caloric and gravitational forces. (shrink)

Descriptions are phrases of the form ‘an F’, ‘the F’, ‘Fs’ and ‘the Fs’. They can be indefinite (e.g., ‘an F’ and ‘Fs’), definite (e.g. ‘the F’ and ‘the Fs’), singular (e.g., ‘an F’, ‘the F’) and plural (e.g., ‘the Fs’, ‘Fs’). In English plural indefinite descriptions lack an article and are for that reason also known as ‘bare plurals’.

Desires are contentful mental states. But what determines the content of a desire? Two different classic answers were proposed by Russell and by Wittgenstein, starting in the 1910s. Russell proposed a behaviorist account according to which the content of the desire is fixed by the type of state that puts an end to the relevant kind of behavior which was triggered by some initial discomfort. The desire’s content consists in its “satisfaction conditions”. Wittgenstein criticized such an account for neglecting the (...) crucial point that the relation between a desire and its content is a conceptual, internal one, not an external contingent one. Desires specify their own contents, their “fulfillment conditions”. Even though there is a lot to say in favor of Wittgenstein’s criticism, this paper argues that Russell pointed at an important aspect of desires which plays a crucial role for accounts of self-knowledge of one’s own desires. It turns out that fulfillment conditions and satisfaction conditions are tied together in rational self-knowledge of one’s own desires. In this sense, the views of Russell and Wittgenstein can be combined in a fruitful way. (shrink)

This paper presents an overview of several years of my research into individuals’ reasoning, argumentation, and bias when addressing problems, scenarios, and symbols related to mathematical infinity. There is a long history of debate around what constitutes “objective truth” in the realm of mathematical infinity, dating back to ancient Greece. Modes of argumentation, hindrances, and intuitions have been largely consistent over the years and across levels of expertise. This presentation examines the interrelated complexities of notions of objectivity, bias, and argumentation (...) as manifested in different presentations and normative interpretations or resolutions of well-known paradoxes of infinity. Paradoxes have been described as occasioning major epistemological reconstructions, and I highlight such occasions as they emerged for both novices and experts with connection to current conceptualisations of objectivity. Of interest is the perception that one single objective truth about “actual” mathematical infinity exists – indeed, this is brought to question at an axiomatic level with both theoretical and empirical research implications. (shrink)