Anotace Following Carnap's Principle of Subject Matter, Pavel Tichý proposed a methodological principle I call the "Denotational Principle of Aboutness". It says that expressions are about their denotata. Denotata are modelled as possible world intensions or (common) extensions. Nearly the same principle was recently defended by Marie Duží and Pavel Materna under the name the "Parmenides Principle". However, Duží and Materna did not react to Tichý's late proposal which I call the "Constructional Principle of Aboutness". It says that the subject (...) matter of expressions consists not in their denotata but their meanings. The meanings are explicated by Tichý, and also by Duží and Materna, as so-called constructions; constructions are complex entities akin to algorithms, they construct intensions or extensions. In this paper, I argue in favour of the Constructional Principle of Aboutness. I show that there are not only single arguments, but whole net of methodological principles which support it. This is why the topic largely transcends the debate among Tichý's followers. (shrink)

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

How does scientifically informed metaphysics make progress? One response is that scientifically informed metaphysics makes progress off the back of science. Some argue that there is a problem with this line of reasoning. Kerry McKenzie claims that metaphysics cannot make progress off the back of science because metaphysical theories cannot approximate the truth like science can. She concludes that metaphysics based on science cannot make progress, even in principle. In this paper, I use McKenzie’s argument as a jumping-off point from (...) which to make two claims. First, I claim that metaphysics is capable of making progress on a known account of scientific progress, the truthlikeness account. Second, I present the groundwork for a new account of metaphysical progress, which I call the ‘Tool Building Approach’. (shrink)

In 1859–1860, Johan Jacob Borelius published two diatribes against Christopher Jacob Boström, the then dominating philosopher in Sweden. Boström was accused of inconsistency, because he asserted the principle of esse est percipi while at the same time maintaining that different agents can perceive one and the same thing differently. It is suggested that Borelius misunderstood Boström’s intention. In his printed defence, in 1860, Boström clarifies his use of a dual conception of meaning, resembling Frege’s distinction between Sinn (sense) and Bedeutung (...) (reference) some thirty years later. Boström appears to equate the reference of esse with that of percipi, whereas Borelius argued as if the principle concerned the senses of the two expressions. According to Borelius, two observers cannot possibly have different perceptions of the same object, if “to be” means “to be perceived”. In Boström’s view, as reconstructed here, two different phenomenal perceptions may well refer to one and the same true object, of which the phenomena are aspects. The true object exists in virtue of its being determined by God’s perfect ideas. (shrink)

Este artigo procura mostrar que,apesar de emergir de uma visão tradicional emetafísica da linguagem, a teoria husserliana dosignificado enquanto espécie ideal nas mvestigaçõesLógicas não é redutível a urna expressãolingüística de uma adequação essencialista erepresentacional, mas antes enfatiza o papel daintencionalidade, a idealidade da linguagem e ocaráter constitutivo da consciência no preenchimentoda "significação".

In the last decade the enterprise of formal semantics has been under attack from several philosophical and linguistic perspectives, and it has certainly suffered from its own scattered state, which hosts quite a variety of paradigms which may seem to be incompatible. It will not do to try and answer the arguments of the critics, because the arguments are often well-taken. The negative conclusions, however, I believe are not. The only adequate reply seems to be a constructive one, which puts (...) several pieces of formal semantics, in particular dynamic semantics, together again.In this paper I will try and sketch an overview of tasks, techniques, and results, which serves to at least suggest that it is possible to develop a coherent overall picture of undeniably important and structural phenomena in the interpretation of natural language. The idea is that the concept of meanings as truth conditions after all provides an excellent start for an integrated study of the meaning and use of natural language, and that an extended notion of goal directed pragmatics naturally complements this picture. None of the results reported here are really new, but we think it is important to re-collect them. (shrink)

There is widespread excitement in the literature about the method of arbitrary functions: many take it to show that it is from the dynamics of systems that the objectivity of probabilities emerge. In this paper, I differentiate three ways in which a probability function might be objective, and I argue that the method of arbitrary functions cannot help us show that dynamics objectivise probabilities in any of these senses.

It is widely assumed that the identity relation is, among other things, transitive. Some have proposed that the identity relation might hold between objects contingently or occasionally. If, on those proposals, identity is shown to not be transitive, then there is reason to reject such proposals. One such argument attempts to show that the identity relation on such proposals violates transitivity in cases of ‘simultaneous’ fissions and fusion. I argue that, even in those cases, contingent identity and occasional identity are (...) transitive. (shrink)

I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion of (...) a priority. (shrink)

Las interpretaciones tradicionales de Frege tienden a explicar su antipsicologismo como indicando que ninguna consideración subjetivista debe interferir en la elaboración de un lenguaje lógico; dichas interpretaciones, sin embargo, tienen problemas para explicar el énfasis dado por el mismo Frege a conceptos como el de fuerza asertiva. Este artículo pretende solucionar esta extrañeza investigando, a partir de su concepto de ciencia, algunas de las ideas epistemológicas de Frege. Esto nos llevará a concluir que una concepción de la verdad como fenómeno (...) esencialmente público puede resolver este y otros problemas interpretativos. (shrink)

Near the beginning of De Gen. et Cor. II.1, Aristotle claims that the generation and corruption of all naturally constituted substances are “not without the perceptible bodies”. It is not clear what he intends by this. In this paper I offer a new interpretation of this assertion. I argue that the assumption behind the usual reading, namely, that these “perceptible bodies” ought to be distinguished from the naturally constituted substances, is flawed, and that the assertion is best understood as a (...) claim that Aristotle has established in the second half of the first book of the De Gen. et Cor. (shrink)

In this paper I will analyze some philosophically relevant aspects involved in the dissolution of Benacerraf’s problem of fixing the identity of natural numbers by Shapiro’s structuralism. My fundamental aim is to present three criticisms to Shapiro’s position –to his conception of language, to his characterization of structures as ante rem, and to his dramatic conception of ontology. Some of these criticisms will also be directed to Benacerraf’s identification problem.

In this paper I argue for the idea that, throughout the history of science, there are some cases of theory change that would show how science develops with no referential continuity. For this purpose, I analyze Psillos’ proposal of a theory of reference used to account for referential continuity in conceptual transitions. This kind of continuity is requested by Psillos —as by other philosophers— in his defense of scientific realism. By means of a historical case, the theory of germplasm of (...) August Weismann, I intend to demonstrate that Psillos’ demand for reference continuity can be found to be inadequate. DOI:10.5007/1808-1711.2010v14n3p335. (shrink)

Esse artigo contém uma leitura da semântica fregeana na qual sentidos são parafraseados como regras cognitivas e a existência e a verdade em termos da aplicabilidade dessas regras. Nesse contexto ideias objetáveis da semântica fregeana são substituídas por outras mais intuitivas e plausíveis, sendo as consequências disso especulativamente consideradas.

O principal objetivo desse artigo é interpretativo. Trata-se de historiar as tradicionais teorias descritivistas dos nomes próprios sugeridas por Frege, Russell, Wittgenstein e Searle, demonstrando que, diversamente do que é suposto, elas não constituem teorias diversas a competir entre si, mas apresentações algo diversas de um mesmo modo de ver.

The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.

In formulating the puzzle about cognitive significance in ‘Über Sinn und Bedeutung’, Frege rejects the approach he suggested in the Begriffsschrift on the ground that if the utterance of a sentence of the form a = b is understood as ‘a’ and ‘b’ referring to the same object we lose the subject matter. In this note, we will show how Frege’s concerns can be understood and circumvented.

The Distributional Compositional Categorical model is a mathematical framework that provides compositional semantics for meanings of natural language sentences. It consists of a computational procedure for constructing meanings of sentences, given their grammatical structure in terms of compositional type-logic, and given the empirically derived meanings of their words. For the particular case that the meaning of words is modelled within a distributional vector space model, its experimental predictions, derived from real large scale data, have outperformed other empirically validated methods that (...) could build vectors for a full sentence. This success can be attributed to a conceptually motivated mathematical underpinning, something which the other methods lack, by integrating qualitative compositional type-logic and quantitative modelling of meaning within a category-theoretic mathematical framework. The type-logic used in the DisCoCat model is Lambekʼs pregroup grammar. Pregroup types form a posetal compact closed category, which can be passed, in a functorial manner, on to the compact closed structure of vector spaces, linear maps and tensor product. The diagrammatic versions of the equational reasoning in compact closed categories can be interpreted as the flow of word meanings within sentences. Pregroups simplify Lambekʼs previous type-logic, the Lambek calculus. The latter and its extensions have been extensively used to formalise and reason about various linguistic phenomena. Hence, the apparent reliance of the DisCoCat on pregroups has been seen as a shortcoming. This paper addresses this concern, by pointing out that one may as well realise a functorial passage from the original type-logic of Lambek, a monoidal bi-closed category, to vector spaces, or to any other model of meaning organised within a monoidal bi-closed category. The corresponding string diagram calculus, due to Baez and Stay, now depicts the flow of word meanings, and also reflects the structure of the parse trees of the Lambek calculus. (shrink)

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...) within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons, they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How. (shrink)

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique – the arguments from congruency, confounds, and imprecision – and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes for (...) number, such as “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (shrink)

Paradigmatic uses of negative existentials such as ‘Vulcan does not exist’ are problematic because they present the interpreter with a pragmatic paradox: a speaker who uses such a sentence seems to be asserting something that is incompatible with what she presupposes. An adequate solution must therefore explain why we interpret paradigmatic uses of negative existentials as saying something true, even though such uses present us with a pragmatic paradox. I provide such an explanation by analyzing paradigmatic uses of negative existentials (...) as corrections of previous assertions that are judged to suffer from referential presupposition failure. I present the explanation within the framework of a simple version of segmented discourse representation theory. (shrink)

Futility is easily defined as uselessness. The mistaken appearance that it cannot be defined is explained by difficulties applying it to particular cases. This latter problem is a major goal of clinical training and cannot be solved in a pithy statement.

In this paper I address G. C. Rota’s account of mathematical identity and I attempt to relate it with aspects of Frege as well as Husserl’s views on the issue. After a brief presentation of Rota’s distinction among mathematical facts and mathematical proofs, I highlight the phenomenological background of Rota’s claim that mathematical objects retain their identity through different kinds of axiomatization. In particular, I deal with Rota’s interpretation of the ontological status of mathematical objects in terms of ideality. Then (...) I detect certain similarities among Rota’s views and Frege’s account of the constitution of arithmetical identity on the grounds of 1–1 correspondence. I point out an epistemic as well as an ontological aspect of this issue. In the sequel, I attempt to deal with the problem of “mixed identities” in mathematics stated by Benacerraf by taking in account Rota’s use of the phenomenological notion “Fundierung”. (shrink)

The most striking feature of Meinong's theory of intentionality is his thesis that every mental act has its reference‐object “beyond being and non being”. This theory seems, at first, to be a clear example of the so called object‐theory of intentionality, as it introduces special “postulated” entities in the target‐position of the mental act. Closer examination, however, reveals in Meinong's works important elements of the mediator‐theory. Meinong speaks of auxiliary incomplete objects situated “between” the subject and the object of reference (...) and “mediating” the intentional access to the reference‐object. Moreover, even if the object of reference is of the simple nominal form, the mediating structure involves essentially propositional entities . In the paper we attempt to give a set‐theoretical interpretation of Meinong's theory in the frame of which we could eventually do without the incomplete mediating objects. Yet, some general epistemological considerations suggest the indispensability of such incomplete mediating structures. (shrink)

The most striking feature of Meinong's theory of intentionality is his thesis that every mental act has its reference‐object “beyond being and non being”. This theory seems, at first, to be a clear example of the so called object‐theory of intentionality, as it introduces special “postulated” entities in the target‐position of the mental act. Closer examination, however, reveals in Meinong's works important elements of the mediator‐theory. Meinong speaks of auxiliary incomplete objects situated “between” the subject and the object of reference (...) and “mediating” the intentional access to the reference‐object. Moreover, even if the object of reference is of the simple nominal form, the mediating structure involves essentially propositional entities. In the paper we attempt to give a set‐theoretical interpretation of Meinong's theory in the frame of which we could eventually do without the incomplete mediating objects. Yet, some general epistemological considerations suggest the indispensability of such incomplete mediating structures. (shrink)

Conceptual engineering is the design, implementation, and evaluation of concepts. Conceptual engineering includes or should include de novo conceptual engineering (designing a new concept) as well as conceptual re-engineering (fixing an old concept). It should also include heteronymous (different-word) as well as homonymous (same-word) conceptual engineering. I discuss the importance and the difficulty of these sorts of conceptual engineering in philosophy and elsewhere.

Two-dimensional approaches to semantics, broadly understood, recognize two "dimensions" of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is associated with the way that reference and truth-conditions depend on the external world. The second sort of semantic value is often held to play a distinctive role in (...) analyzing matters of cognitive significance and/or context-dependence. (shrink)

Like other sciences, biosemiotics also has its time-honoured archive, consisting, among other things, of writings by those who have been invented and revered as ancestors of the discipline. One such example is Jakob von Uexküll who has been hailed as a precursor of semiotics, developing his theory of “sign” and “meaning” independently of Saussure and Peirce. The juxtaposition of “sign” and “meaning” is revelatory because one can equally legitimately claim Uexküll as a hermeneutician in the same way as others having (...) claimed him as a semiotician. Such a novel temptation can be justified by Uexküll’s prolonged obsession with Sinn and Bedeutung since his first book in 1909. This paper attempts to reconstruct the immediate intellectual horizon of Uexküll’s historicity, a discursive space traversed by his contemporaries Frege and Husserl, in order to see how Uexküll’s discussions of Zeichen and Gegenstand, Sinn and Bedeutung, were informedby other philosophers of language, and to establish Uexküll as a phenomenological hermeneutician in the tradition of Husserl, Heidegger and Gadamer. To forestall and counter possible criticism that hermeneutics is primarily concerned with textual interpretation, while Uexküll is at most an interpreter of animal life, the paper will discuss his unfinished parody of the Platonic dialogue Meno, which is entitled Die ewige Frage: Biologische Variationen über einen platonischen Dialog (1943). It is through such textual practice that one witnesses the emergence of an Uexküll who embodies at once the addressee exercising his understanding of ancient texts as well as the second addresser recoding his explanation to another group of targeted addressees. This textual practice already goes beyond the confines of biology and in fact involves the linguistic pragmatics of rhetoric and speech act. (shrink)

When I say ‘Hesperus is Phosphorus’, I seem to express a proposition. And when I say ‘Joan believes that Hesperus is Phosphorus’, I seem to ascribe to Joan an attitude to the same proposition. But what are propositions? And what is involved in ascribing propositional attitudes?

What is involved in the meaning of our expressions? Frege suggested that there is an aspect of an expression.

This article is about the conception of truth and signification in Augustine's early philosophical writings. In the first, semantic-linguistic part, the gradual shift of Augustine's position towards the Academics is treated closely. It reveals that Augustine develops a notion of sign which, by integrating elements of Stoic epistemology, is suited to function as a transmitter of true knowledge through linguistic expressions. In the second part, both the ontological structure of signified (sensible) things and Augustine's solution to the apparent tautologies of (...) mathematical truths are examined. Again his notion of sign turns out to be the keystone; this time, however, the natural in contrast to the conventional sign of linguistic expressions. In their complementarity, both parts show how Augustine intensely struggles with and (partially) overcomes the skepticism of the sensible world through his conception of sign and signification. (shrink)

Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to clarify pivotal ideas of Husserl’s by considering their reception and elaboration by some of (...) his disciples and followers, such as Oskar Becker and Jacob Klein, as well as their influence on some of the most significant logicians and mathematicians of the past century, such as Luitzen E. J. Brouwer, Rudolf Carnap, Kurt Gödel and Hermann Weyl. Most of the papers consider Husserl and another scholar – e.g. Leibniz, Kant, Bolzano, Brentano, Cantor, Frege – and trace out and contextualize lines of influence, points of contact, and points of disagreement. Each essay is written by an expert of the field, and the volume includes contributions both from the analytical tradition and from the phenomenological one. (shrink)

The main focus of this article is to present the practical aspect of the code rules of variation and the search for a second set of genomic rules, including comparison of sequences to understand how to preserve compatible organisms in danger of extinction and how to generate biodiversity. Three new rules of variation are introduced: 1) homologous recombination, 2) a healthy fertile offspring, and 3) comparison of compatible genomes. The novel search in the natural world for fully compatible genomes capable (...) of homologous recombination is explored by using examples of human polymorphisms and by the production of fertile offspring by crossbreeding. By a rational control of: natural crossbreeding of organisms with compatible genomes (something already happening in nature), the current work focuses on the generation of new varieties after a careful plan. This study is presented within the context of biosemiotics, which studies the processing of information, signalling and signs by living systems. I define a group of organisms having compatible genomes as a single theme: the genomic species or population, able to speak the same molecular language through different accents, with each variety within a theme being a different version of the same book. These studies have a molecular, compatible genetics context. Population and ecosystem biosemiotics will be exemplified by a possible genetic damage capable of causing mutations by breaking the rules of variation through the coordinated patterns of atoms present in the 9/11 World Trade Center contaminated dust (U, Ba, La, Ce, Sr, Rb, K, Mn, Mg, etc.), combination that may be able to overload the molecular quality control mechanisms of the human body. I introduce here the balance of codons in the circular genetic code: 2[1(1)+1(3)+1(4)+4(2)]=2[2(2)+3(4)]. (shrink)

Taking a lead from Eva Picardi’s work and influence, I investigate the significance of Frege’s context principle for the philosophy of language. I argue that there are some interpretive problems with recent meta-semantic interpretations of the principle. Instead, I offer a somewhat weaker alternative: the context principle is a tool to license certain definitions. Moreover, I claim that it merely lays out one of many possible ways of licensing a definition. This means, among other things, that despite Frege’s imperative injunctions, (...) the context principle formulates a permission—not a requirement. (shrink)

In “On Referring” Peter Strawson pointed out that incomplete descriptions pose a problem for Russell’s analysis of definite descriptions. Howard Wettstein and Michael Devitt appealed to incomplete descriptions to argue, first, that Russell’s analysis of definite descriptions fails, and second, that Donnellan’s referential/attributive distinction has semantic bite. Stephen Neale has defended Russell’s analysis of definite descriptions against Wettstein’s and Devitt’s objections. In this paper, my aim is twofold. First, I rebut Neale’s objections to Wettstein’s and Devitt’s argument and argue that (...) Neale’s attempt to provide an account of referential descriptions within a Russellian framework fails. Second, contra Devitt and Wettstein, I argue that the problem posed by incomplete descriptions shows that Donnellan was right in believing that referential descriptions refer even if the definite description fits nothing. (shrink)

Thanks to David Kaplan (1989a, 1989b), we all know how to handle indexicals like ‘I’. ‘I’ doesn’t refer to an object simpliciter; rather, it refers to an object only relative to a context. In particular, relative to a context C, ‘I’ refers to the agent of C. Since different contexts can have different agents, ‘I’ can refer to different objects relative to different contexts. For example, relative to a context cwhose agent is Gottlob Frege, ‘I’ refers to Frege; relative to (...) a context 0* whose agent is Alexius.. (shrink)

Millianism and Fregeanism agree that a sentence that contains a name expresses a structured proposition but disagree about whether that proposition contains the object that the name refers to (Millianism) or rather a mode of presentation of that object (Fregeanism). Various problems – about simple sentences, propositional‐attitude ascriptions, and sentences that contain empty names – beset each view. To solve these problems, Millianism can appeal to modes of presentation, and Fregeanism can appeal to objects. But this raises a further problem: (...) namely, to explain why the proposition expressed by a sentence that contains a name matters in some cases but not in others. (shrink)

My aim in this paper is to connect naming and analyticity and to argue that, like “Hesperus is Hesperus”, “Hesperus is Phosphorus” is analytic. In the paper, I also discuss several other unexpected cases of analytic truth like “Aristotle existed”.