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)

The terms denotation and reference are commonly used as synonyms. A more fine-grained analysis of natural language as offered by TIL shows that we can distinguish these terms in the case of empirical expressions. The latter are shown to denote non-trivial intensions while their reference is the value of these intensions in the actual world.

In 1905 Bertrand Russell took on the problem of definite descriptions, and his analysis became the standard up until 1950 when Peter Strawson criticised Russell’s solution as inadequate. Since then many opponents as well as proponents of the Russellian solution have been involved in a long-term debate on definite descriptions. In this paper I show that both sides of the contention are partly right and partly wrong, because sentences of the form “The F is a G” are ambiguous. However, the (...) ambiguity does not concern reference shift of the description ‘the F’. Rather, the ambiguity consists in different topic-focus articulations of a given sentence involving occurrences of ‘the F’. I demonstrate that when ‘the F’ is used as part of the topic of such a sentence the existence of the object denoted by ‘the F’ is not only entailed by but also presupposed by the sentence. On the other hand, ‘the F’ used in the focus of a sentence triggers merely existential entailment. Thus sentences differing only in their topic-focus articulation should have assigned different logical forms. In order to make such hidden features explicit, I apply the procedural semantics of Transparent Intensional Logic , furnishing sentences with hyperpropositions that are precisely defined in terms of TIL constructions. These are procedures assigned to sentences as their context-invariant structured meanings. Moreover, I generalise the phenomenon of the topic-focus distinction to sentences of any form, proposing an adequate analytic schema of sentences that come with a presupposition. (shrink)

The first part pleads for the Fregean account of definite descriptions as expressions referring to the objects which satisfy them. In particular, it attempts to give a clear sense to the idea of a descriptionś referentially contributing to the truth conditions of the complete utterance, even if the Russellian specification of truth-conditions is accepted. The second part examines a special case in which a description can be thought of as referring to an object which does not satisfy it. This leads (...) to the general question of the role of agreement between the speakerś and the audienceś beliefs in the determination of reference and utterance meaning. The question is discussed from the point of view of the Davidsonian account of utterance meaning as constituted by the match between speakerś actual communicative intentions and audienceś hypotheses about these intentions. The third part provides arguments in favour of an alternative account of utterance meaning as a set of the normative consequences of the utterance and shows that a corresponding question makes sense even there. (shrink)

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

The central claim of this thesis is that concepts, the components from which cognitively significant truth evaluable content (thought) is composed, are unstructured entities an account of whose individuation makes no essential reference to other concepts in the possession of the thinking subject or to any particular means by which the reference of the concept is identified by the thinking subject. This position is called Conceptual Atomism and contrasts with Inferential Role Semantics, according to which concepts are individuated by their (...) inferential roles or their conditions of warranted application. The structure of the argument is as follows. Firstly, a principle called the Transparency Principle is developed. This places constraints on the individuation of concepts across differing contexts. The Transparency Principle is then used to show that Inferential Role Semantics is false because it cannot provide a satisfactory account of cognitive dynamics; that is, of the conditions under which a concept is retained through changes in the epistemic state of the subject over a period of time. A version of Conceptual Atomism is then defended and it is shown that this theory yields the correct individuation of concepts. According to this theory the concepts of an individual subject are individuated in terms of referential episodes, episodes of ongoing reference to an object or property during which it is diachronically transparent to the subject that the same thing is being referred to. The more general notion of a referential practice is then used to account for the sharing of concepts by more than one person. Finally, a novel account of the thoughts expressed using indexical terms is defended in order to show that indexicals present no counterexample to Conceptual Atomism. This account of indexical thoughts is of some consequence in its own right. (shrink)

Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts forward the initial thesis and tries to defend it, and the Opponent, who tries to attack the Proponent’s thesis, alternately utter argumentative moves according to certain rules. For a long time the dialogical approach had been worked out only for classical and intuitionistic logic. The seven papers of this dissertation (...) show that this narrowness was uncalled for. The initial paper presents an overview and serves as an introduction to the other papers. Those papers are related by one central theme. As each of them presents dialogical formulations of a different non-classical logic, they show that dialogical logic constitutes a powerful and flexible general framework for the development and study of various logical formalisms and combinations thereof. As such it is especially attractive to logical pluralists that reject the idea of “the single correct logic”. The collection contains treatments of free logic, modal logic, relevance logic, connexive logic, linear logic, and multi-valued logic. (shrink)

It is generally acknowledged that the 1910 Principia does not deny the existence of classes, but claims only that the theory it advances can be developed so that any apparent commitment to them is eliminable by the method of contextual analysis. The application of contextual analysis to ontological questions is widely viewed as the central philosophical innovation of Russell’s theory of descriptions. Principia’s “no-classes theory of classes” is a striking example of such an application. The present paper develops a reconstruction (...) of Principia’s theory of functions and classes that is based on Russell’s epistemological applications of the method of contextual analysis. Such a reconstruction is not eliminativist—indeed, it explicitly assumes the existence of classes—and possesses certain advantages over the no–classes theory advocated by Whitehead and Russell. (shrink)

This paper reexamines some examples, discussed by Mates and others, of sentences containing both definite descriptions and quantifiers. It has frequently been claimed that these sentences provide evidence for the view that definite descriptions themselves are quantifiers. The main goal of this paper is to argue this is not so. Though the examples are compatible with quantificational approaches to definite descriptions, they are also compatible with views that treat definite descriptions as basically scopeless. They thus provide no reason to see (...) definite descriptions as quantifiers. Even so, this paper shows that the examples do raise a surprising range of complex issues about how quantifier scope works, and where it occurs. Thus, a clear picture of how these examples work will help us to understand better where definite descriptions fit into the larger picture of quantifiers and related phenomena. (shrink)

There is a considerable sub-literature, stretching back over 35 years, addressed to the question: Precisely which general terms ought to be classified as rigid designators? More fundamentally: What should we take the criterion for rigidity to be, for general terms? The aim of this paper is to give new grounds for the old view that if a general term designates the same kind in all possible worlds, then it should be classified as a rigid designator. The new grounds in question (...) have to do with excavating the connection between rigid designation and semantic structure. Other original contributions of the present work consist in developing responses to some objections to this approach to rigid designation. (shrink)

Anselm's argument for the existence of God in Proslogion Chap.II starts from the contention that `lq when a Fool hears `something-than-which-nothing-greater-can-be-thought', he understands what he hears, and what he understands is in his mind. This is a special feature of the Pros.II argument which distinguishes the argument from other ontological arguments set up by, for example, Descartes and Leibniz. This is also the context which makes semantics necessary for evaluation of the argument. It is quite natural to ask `lq What (...) is understood by the Fool, and what is in his mind? It is essential for a proper consideration of the argument to identify the object which is understood by the Fool, and so, is in his mind. A semantics gives answers to the questions of `lq What the Fool understands? and `lq What is in the Fool's mind? If we choose a semantics as a meta-theory to interpret the Pros.II argument, it makes an effective guide to identify the object. It is a necessary condition for a proper evaluation of the Pros.II argument to fix our universe of discourse, especially since, in the argument, we are involved in such talk about existing objects as Anselm's contention that `when a Fool hears `something-than-which-nothing-greater-can-be-thought', he understands what he hears, and what he understands is in his mind. The ontology to which a semantic theory commits us will be accepted as our scope of objects when we introduce our semantic theory to interpret the Pros.II argument, and this ontological boundary constrains us to identify the object in a certain way. Consistent application of an ontology, most of all, is needed for the evaluation of the logical validity of an argument. If we take Frege's three-level semantics, we are ontologically committed to intensional entities, like meaning, as well as extensional entities. Sluga contends that Frege's anti-psychologism for meanings should not be interpreted as vindicating reification of intensional entities in relation to Frege's contextualism, that Frege's anti-psychologism with his contextualism is nothing but a linguistic version of Kantian philosophy for the transcendental unity of a judgement. There is, however, another possible interpretation of Frege's contextualism. According to Dummett, the significance of Frege's contextualism must be understood as a way of explanation for a word's having meaning. If Dummett's view is cogent, we could say that Frege's contextualism does not prevent our interpreting his semantics as being committed to intensional entities. We need not worry that Frege's over all semantics, especially with his contextualism, would internally deny the ontological interpretation of his theory. We see Anselm's argument for the existence of God in Pros.II is an invalid argument if we introduce Frege's three-level semantics, i.e. if we acknowledge meanings of words as entities in our universe of discourse. We can also employ extensional semantics for the interpretation of the Pros.II argument. According to extensionalists, like Quine and Kripke, we need not assume intensional entities, like meaning, to be part of our ontological domain. They argue that we can employ our language well enough without assuming intensional entities. If we choose extensional semantics as a meta-theory to interpret the Pros.II argument, it commits us only to extensional entities as objects in the Universe of our interpretation. In Sections 1.4 and 1.5, I show that extensional semantics makes the Pros.II argument a valid argument for the existence of God. `lq Necessary existence is the central concept of Anselm's argument for the existence of God in Proslogion Chap.III. It has been said that, even if the argument is formally valid, it cannot stand as a valid argument for the existence of God, since `lq necessary existence is an absurd concept like `lq round square. And further that even if there is a meaningful combination of concepts for `lq necessary existence, it cannot quality as a subject of an a priori argument. As objections to the interpretations which make the Pros.III argument valid, it has been argued that even if there is a concept of `lq necessary existence which is meaningful and there is another concept of `lq necessary existence which is suitable as a subject of an a priori argument, there is no concept of `lq necessary existence which is meaningful and at the same time suitable as a subject of an a priori argument. In Chap.2 and Chap.3, I try to show that there can be concepts of `lq necessary existence which are proof against these objections. Anselm's arguments for the existence of God in Proslogian Chap.II and Chap.III are logically valid arguments on some logical principles. Some fideists, K. Barth, for example, argue that Anselm's arguments for the existence of God in Proslogion are not proofs for the existence of God even if they are logically valid arguments. I raise the question how this attitude could be possible, in Chap.4 and Chap.5. Barth's fideistic interpretation of Anselm's Proslogion arguments does not find any flaw in the validity of the arguments, and it accepts the meaningfulness and truth of the premises even to the fool in Proslogion. If this is the case, i.e. if Barth's interpretation accepts the validity of the arguments and the truth of the premises, I raise the question, how can the arguments not be interpreted as proofs for the existence of God? How is it possible that the function of the arguments is not that of proving the existence of God? According to Wittgensteinian fideism, premises in the arguments should not be intelligible to those who do not believe in God's existence already, and so the real function of the arguments is the elucidation, the understanding of believer's belief, rather than proving articles of belief to unbelievers. Barth's fideistic interpretation of the arguments, however, fully recognizes the meaningfulness and truth of the premises in the arguments as well as the validity of the arguments. I argue that there could be a justification for the Barthian fideism. As Malcolm notices, there are still atheists who understand Anselm's arguments as valid, but the only possibility for the people who recognize the validity of Anselm's arguments still to remain atheists has been thought to be to challenge the truth of premises employed in the arguments. Now, of the atheistic possibility, we can change the direction of our attention, that is, to the question about the function of a logically valid argument itself. What has not been thought of in relation to Anselm's arguments is the significance of logical truth or the logical validity of an argument. We have not asked such questions as `lq What does a logical truth say? and `lq What does a logically valid argument guarantee with true premises? Let us assume that even the premises are accepted by atheists. Do they all convert to theism? If that were so, the disagreement between atheist and believer over the ontological arguments should turn only on the truth of premises. If that is not so, there is some point in raising this other question. If there are people who, recognizing the premises and validity of an argument, are still reluctant to accept the conclusion, we have reason to question the function of a valid argument. I argue that there is a way of being consistently reasonable while accepting the premises and the validity of the ontological arguments and yet remaining an atheist or an agnostic. (shrink)

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...) In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

Understanding scientific modelling can be divided into two sub-projects: analysing what model-systems are, and understanding how they are used to represent something beyond themselves. The first is a prerequisite for the second: we can only start analysing how representation works once we understand the intrinsic character of the vehicle that does the representing. Coming to terms with this issue is the project of the first half of this chapter. My central contention is that models are akin to places and characters (...) of literary fictions, and that therefore theories of fiction play an essential role in explaining the nature of model-systems. This sets the agenda. Section 2 provides a statement of this view, which I label the fiction view of model-systems, and argues for its prima facie plausibility. Section 3 presents a defence of this view against its main rival, the structuralist conception of models. In Section 4 I develop an account of model-systems as imagined objects on the basis of the so-called pretence theory of fiction. This theory needs to be discussed in great detail for two reasons. First, developing an acceptable account of imagined objects is mandatory to make the fiction view acceptable, and I will show that the pretence theory has the resources to achieve this goal. Second, the term ‘representation’ is ambiguous; in fact, there are two very different relations that are commonly called ‘representation’ and a conflation between the two is the root of some of the problems that beset scientific representation. Pretence theory provides us with the conceptual resources to articulate these two different forms of representation, which I call p-representation and t-representation respectively. Putting these elements together provides us with a coherent overall picture of scientific modelling, which I develop in Section 5. (shrink)

On the one hand, logic has (or ought to have) nothing to do with metaphysics; it ought to have nothing to do with questions concerning what there is, or whether there is anything at all. On the other hand, metaphysics can hardly get off the ground without the help of logical analysis; to be is to be a truth-maker, and the search for truth-makers requires that we lay open the logical structure of our language. So something’s gotta give: either logical (...) analysis is metaphysically biased, or metaphysicians must make up their mind before resorting to logical analysis. Or both. (shrink)

Modal Meinongianism is the most recent neo-Meinongian theory. Its main innovation consists in a Comprehension Principle which, unlike other neo-Meinongian approaches, seemingly avoids limitations on the properties that can characterize objects. However, in a recent paper A. Sauchelli has raised an objection against modal Meinongianism, to the effect that properties and relations involving reference to worlds at which they are instantiated, and specifically to the actual world or parts thereof, force a limitation of its Comprehension Principle. The theory, thus, is (...) no better off than other neo-Meinongian views in this respect. This article shows that the notion part of actuality in Sauchelli’s paper is ambiguous from the modal Meinongian viewpoint. Accordingly, his objection splits into two, depending on its disambiguation. It is then explained how neither interpretation forces modal Meinongianism to limit its Comprehension Principle. A third problem connected to Sauchelli’s objection is addressed: how to account for our felicitously referring to nonexistent objects via descriptions that embed reference to properties not actually instantiated by the objects. Overall, the replies to these difficulties provide good insights into the workings of the new Meinongian theory. (shrink)

This paper shows that Russell’s theory of descriptions gives the wrong semantics for definite descriptions occurring in questions and imperatives. Depending on how that theory is applied, it either assigns nonsense to perfectly meaningful questions and assertions or it assigns meanings that diverge from the actual semantics of such sentences, even after all pragmatic and contextual variables are allowed for. Given that Russell’s theory is wrong for questions and assertions, it must be wrong for assertoric statements; for the semantics of (...) ‘the phi’ obviously doesn’t vary depending on whether it occurs in a question or an assertion or a command. (shrink)

According to the Encoding Model, speakers communicate by encoding the propositions they want to communicate into sentences, in accordance with the conventions of a language L. By uttering a sentence that encodes p, the speaker says that p. Communication is successful only if the audience identifies the proposition that the speaker intends to communicate, which is achieved by decoding the uttered sentence in accordance with the conventions of L. A consequence of the Encoding Model has been the proliferation of underdetermination (...) arguments, each of which concludes against some linguistic theory T, on the grounds that, were T true, audiences would be unable to know what was said by utterances of some particular linguistic form, and therefore unable to know what speakers intended to communicate by these utterance. The result, if we accept the conclusion of these arguments, is radical restriction of the domain of viable linguistic theory. This Thesis defends an alternative model according to which there need be nothing encoded in an uttered sentence – nothing that is said by its utterance – for the audience to retrieve. Rather, there are indefinitely many ways to interpret uttered sentences – indefinitely many routes to the propositions that speaker intend to communicate – which proceed through different interpretations of what is said. (shrink)

Even though it’s based on a bad argument, there’s something to Strawson’s dictum. He might have likened ‘referring expression’ to phrases like ‘eating utensil’ and ‘dining room’: just as utensils don’t eat and dining rooms don’t dine, so, he might have argued, expressions don’t refer. Actually, that wasn’t his argument, though it does make you wonder. Rather, Strawson exploited the fact that almost any referring expression, whether an indexical, demonstrative, proper name, or definite description, can be used to refer to (...) different things in different contexts. This fact, he argued, is enough to show that what refers are speakers, not expressions. Here he didn’t take seriously the perfectly coherent view that an expression’s reference can vary with context. So, he concluded, what varies from context to context is not what a given expression refers to but what a speaker uses it to refer to. Strawson went on to suggest that there are several dimensions of difference between various sorts of referring expressions: degree of dependence on context, degree of “descriptive meaning,” and being governed by a general convention vs. an expressionspecific one. But despite these differences, he insisted that regardless of kind, referring expressions don’t themselves refer — speakers use them to refer. (shrink)

My real position is that logic is a mere sub-branch of rhetoric, but in this paper I only try to show an area of overlap. Certain usages in logical work are metaphorical, and I argue that this has pernicious effects in a discipline assumed strictly literal. Among these pernicious effects are the bizarre and fruitless focus of philosophy of mathematics on the pseudo-problems of foundations and objects. I mostly examine the locution 'logical construction' and a range of associated metaphors. Some (...) sketchy remarks on the history of rhetoric are offered in explanation. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

This chapter probes the connections between the metaphysics of meaning and the investigation of human communication. It first argues that contemporary philosophy of mind has inherited most of its metaphysical questions from Brentano's puzzling definition of intentionality. Then it examines how intentionality came to occupy the forefront of pragmatics in three steps. By investigating speech acts, Austin and ordinary language philosophers pioneered the study of intentional actions performed by uttering sentences of natural languages. Based on his novel concept of speaker's (...) meaning and his inferential view of human communication as a cooperative and rational activity, Grice developed a three-tiered model of the meaning of utterances: the linguistic meaning of the uttered sentence; the explicit truth-conditional content of the utterance; the implicit content conveyed by the utterance. Finally, the new emerging truth-conditional trend in pragmatics urges that not only the implicit content conveyed by an utterance but its explicit content as well depends on the speaker's communicative intention. (shrink)

Defenders of the Knowledge Argument contend that physicalism is false because knowing all the physical truths is not sufficient to know all the truths about the world. In particular, proponents of the Knowledge Argument claim that physicalism is false because the truths about the character of conscious experience are not knowable from the complete set of physical truths. This dissertation is a defense of the Knowledge Argument. Chapter one characterizes what physicalism is and provides support for the claim that if (...) knowing all the physical truths is not sufficient to know all the truths about the world, then physicalism is false. In chapter two, I defend the claim that knowing all the physical truths is not sufficient for knowing all the truths about the world. In addition to mounting a prima facie case for the knowledge intuition, I present and defend an epistemology grounded in direct acquaintance to provide a more substantive argument to accept it. Chapters three through five address the physicalist objections to the Knowledge Argument. The first set of objections advocates that knowing all the physical truths is, in fact, sufficient for knowing all the truths about the world. The next set of objections admits that there is some sense in which knowing all the physical truths is not sufficient for knowing all the truths about the world. However, these objections maintain that the kind of knowledge that is absent from the complete set of physical truths is know-how or knowledge by acquaintance, and not factual or propositional knowledge. The final set of objections maintain that the kind of propositional knowledge that is left out of the complete set of physical truths is compatible with physicalism. My response to these objections is part of advancing my prima facie case for the Knowledge Argument. The final chapter addresses a structural question that pertains to the Knowledge Argument. Some philosophers have maintained that the structure of the Knowledge Argument invites a kind of self-refutation of any systematic account of reality. The concern is that the Knowledge Argument proves too much, and that the dualist who uses the argument to refute physicalism risks the argument defeating his own position. I will argue that the Knowledge Argument does not refute dualism. (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’.

This paper continues an ongoing debate between Michael Devitt and me on referential uses of definite descriptions. He has argued that definite descriptions have referential meanings, and I have argued that they do not. Having previously rebutted the view that referential uses are akin to particularized conversational implicatures, he now he rebuts the view that they are akin to generalized conversational implicatures. I agree that the GCI is not the best model, but I maintain that in exploiting the quantificational meaning (...) of definite descriptions, referential uses involve a different sort of pragmatic regularity. Also, I try to bolster my objection to Devitt’s claim that the word ‘the’ is semantically ambiguous. (shrink)

This paper makes a Fregean analysis of certain expressions which, according to the way they are constructed, can refer, firstly, to events and, secondly, to the results of these events. This paper intends to show that –if we take into account the above mentioned expressions and use Fregean notions such as meaning, reference, function, argument and concept– it is possible to consider events as objects. To do this we need to articulate developments made both from a linguistic perspective and a (...) philosophical one. In this particular case, we take into account the Fregean ontology; we try to analyze ontologically the linguistic phenomena called nominalization and arrive to interesting conclusions about the ontological and semantic behavior of the expressions that contain event and result nominalizations. (shrink)

Se considera que la ciencia es el espejo de la naturaleza, mientras que el arte imita la vida. De ser así, las representaciones en ambas disciplinas deberían asemejarse a sus objetos. En contra de tales teorías miméticas, argumento que la ejemplificación y no la simple semejanza es crucial. Explico en qué consiste la ejemplificación: una relación referencial de un ejemplar con alguna de sus características. Puesto que la ejemplificación es selectiva, un ejemplar puede diferir de su referente en aspectos no (...) ejemplificados. Ésta es la razón por la cual una idealización, que estrictamente es falsa, puede ofrecer comprensión del fenómeno que le concierne. A partir de analogías con las representaciones pictóricas, muestro cómo un modelo ejemplifica características que comparte con su objeto, pone de relieve la importancia de tales características y con ello proporciona comprensión del sistema en cuestión. (shrink)

As brightly shown by Mainzer [24], the science of complexity has many distinct origins in many disciplines. Those various origins has led to “an interdisciplinary methodology to explain the emergence of certain macroscopic phenomena via the nonlinear interactions of microscopic elements” (ibid.). This paper suggests that the parallel and strong expansion of modeling and simulation - especially after the Second World War and the subsequent development of computers - is a rationale which also can be counted as an explanation of (...) this emergence. With the benefit of hindsight, one can find three periods in the methodologies of modeling in the empirical sciences: 1st the simple modeling of the simple, 2nd the simple modeling of the complex, 3rd the complex modeling and simulation of the complex. Our main thesis is that the current spreading (since the 90’s) of complex computer simulations of systems of models (where a simulation is no more a step by step calculus of a unique logico-mathematical model) is another promising dimension of the science of complexity. Following this claim, we propose to distinguish three different types of computer simulations in the context of complex systems’ modeling. Finally, we show that these types of simulations lead to three different types of weak emergence, too. (shrink)

The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not come (...) for free; rather they are strictly dependent on intentional acts that generally need to have a presence, in one way or another, in the semantic structure of the sentence. (shrink)

A series of notes elaborating on some of the concepts of ”Seepage in Objects: A Primer,” a previous paper. The meaning of an object in terms of being informative is discussed, contrasted to Aristotlian and Russellian views on objects, and lastly the concept of meaninglessness is briefly touched upon.

This thesis sketches an interpretation of Wittgenstein’s Tractatus centering on his treatment of necessity and normativity. The purpose is to unite Wittgenstein’s account of logic and language with his brief remarks on ethics by stressing the transcendental nature of each. Wittgenstein believes that both logic and ethics give necessary preconditions for the existence of language and the world, and because these conditions are necessary, neither logic nor ethics can be normative. I conclude by erasing the standard line drawn between his (...) philosophy and his ethics, and redrawing it between the philosophical and artistic presentations of his thought, the latter being what remains after the nonsensical status of the work is recognized. (shrink)

Names name, but there are no individuals who are named by names. This is the key to an elegant and ideologically parsimonious strategy for analyzing the Buddhist catuṣkoṭi. The strategy is ideologically parsimonious, because it appeals to no analytic resources beyond those of standard predicate logic. The strategy is elegant, because it is, in effect, an application of Bertrand Russell's theory of definite descriptions to Buddhist contexts. The strategy imposes some minor adjustments upon Russell's theory. Attention to familiar catuṣkoṭi from (...) Vacchagotta and Nagarjuna as well as more obscure catuṣkoṭi from Khema, Zhi Yi, and Fa Zang motivates the adjustments. The result is a principled structural distinction between affirmative and negative catuṣkoṭi, as well as analyses for each that compare favorably to more recent efforts from Tillemans, Westerhoff, and Priest. (shrink)

Definitions vary according to context of use and target audience. They must be made relevant for each context to fulfill their cognitive and linguistic goals. This involves adapting their logical structure, type of content, and form to each context of use. We examine from these perspectives the case of definitions in ontologies.

Kripke (1977) presents an argument designed to show that the considerations in Donnellan (1966) concerning attributive and referential uses of (definite) descriptions do not, by themselves, refute Russell’s (1905) unitary theory of description sentences (RTD), which takes (utterances of) them to express purely general, quantificational, propositions. Against Kripke, Marga Reimer (1998) argues that the two uses do indeed reflect a semantic ambiguity (an ambiguity at the level of literal truth conditions). She maintains a Russellian (quantificational) analysis of utterances involving attributively (...) used descriptions but attempts to defend the following two claims about utterances involving referentially used descriptions (referential utterances) (1998, p. 89). (shrink)

Traduçáo: Normal 0 21 false false false MicrosoftInternetExplorer4 Retirado de Carlos E. Caorsi (Ed.). Ensayos sobre Strawson . Universidad de la República/Faculdad de Humanidades y Ciencias de la Educación, Montevidéo,1992, p. 55-71.

Keith Donnellan wrote his paper on definite descriptions in 1966 at Cornell University, an environment where nearly everybody was discussing Wittgenstein’s ideas of meaning as use. However, his idea of different uses of definite descriptions became one of the fundamental tenets against descriptivism, which was considered one of the main legacies of the Frege–Russell– Wittgenstein view; and I wonder whether a more Wittgensteinian interpretation of Donnellan’s work is possible.

Straipsnyje keliamas klausimas: kokios sąlygos turi būti patenkintos, kad, ištarę sakinį su apibrėžiamąja deskripcija kaip sakinio subjektu, mes išreikštume singuliarinį teiginį. Autorius teigia, kad Wettsteino įsitikinimas, jog teiginio singuliariškumas nustatomas ištarimo metu nurodant apibrėžiamosios deskripcijos referentą, yra nenuoseklus. Straipsnyje siūlomas kitas singuliariškumo kriterijus: teiginys yra singuliarinis, jeigu jame dalyvaujanti apibrėžiamoji deskripcija įvertinama vieninteliame galimame pasaulyje, o jeigu apibrėžiamoji deskripcija turi būti įvertinta daugiau nei vieno galimo pasaulio atžvilgiu, tai teiginys yra bendrasis. Šis kriterijus veiksmingas aiškinant kontroversiškus atvejus – kai išreiškiame (...) teisingą singuliarinį teiginį, kurio subjekto dėmuo nedera su apibrėžiamąja deskripcija, pavartota ištartame sakinyje. (shrink)

In the Posterior Analytics, Aristotle imposes some requirements on scientific propositions: (i) they must be susceptible of syllogistic articulation, (ii) they must have universal terms as subjects of predication and (iii) their subjects must be primary, i.e. they cannot “be said of a distinct underlying subject”. However, it is problematic to meet those three requirements together. If associated with the theory of predication in Categories, the requirement (iii) shall prescribe names or descriptions of individuals within the category of substance as (...) subjects of predication, which are primary insofar as they cannot play the logical role of predicate. Nevertheless, if the requirement (i) is satisfied, then the terms of scientific proposition would be able to perform the function of subject as well as of predicate since the rules of conversion and syllogistic moods presuppose the interchangeability among terms of predication. The requirement (ii), by its turn, withdraws all particular subjects from scientific propositions and a fortiori individual substances. We offer as a solution for the aforementioned dilemma the association of theses from the Posterior Analytics, not with the treatise Categories, but with the new ontology of predication emerged in the Metaphysics, which, by introducing the hylomorphic analysis of compound substances, admits primary and notwithstanding universal subjects of predication: the specific forms. (shrink)

This paper presents a novel semantic analysis of unit names and gradable adjectives, inspired by measurement theory (Krantz et al 1971). Based on measurement theory's typology of measures, I claim that different predicates are associated with different types of measures whose special characteristics, together with features of the relations denoted by unit names, explain the puzzling limited distribution of measure phrases.