LOGICO-SEMANTIC ASPECTS OF TRUTHFULNESS

Similar documents
Quine s Two Dogmas of Empiricism. By Spencer Livingstone

Logic and Philosophy of Science (LPS)

SocioBrains THE INTEGRATED APPROACH TO THE STUDY OF ART

Reply to Stalnaker. Timothy Williamson. In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic

On Meaning. language to establish several definitions. We then examine the theories of meaning

What is Character? David Braun. University of Rochester. In "Demonstratives", David Kaplan argues that indexicals and other expressions have a

Scientific Philosophy

Is Hegel s Logic Logical?

In Defense of the Contingently Nonconcrete

Nissim Francez: Proof-theoretic Semantics College Publications, London, 2015, xx+415 pages

Mind Association. Oxford University Press and Mind Association are collaborating with JSTOR to digitize, preserve and extend access to Mind.

SYSTEM-PURPOSE METHOD: THEORETICAL AND PRACTICAL ASPECTS Ramil Dursunov PhD in Law University of Fribourg, Faculty of Law ABSTRACT INTRODUCTION

Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008.

Ontological and historical responsibility. The condition of possibility

Sidestepping the holes of holism

CONTINGENCY AND TIME. Gal YEHEZKEL

Review of Krzysztof Brzechczyn, Idealization XIII: Modeling in History

BOOK REVIEWS. University of Southern California. The Philosophical Review, XCI, No. 2 (April 1982)

Jacek Surzyn University of Silesia Kant s Political Philosophy

Vagueness & Pragmatics

CONTENTS II. THE PURE OBJECT AND ITS INDIFFERENCE TO BEING

INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY

Haecceities: Essentialism, Identity, and Abstraction

A Note on Analysis and Circular Definitions

Articulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press,

ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE

Truth and Method in Unification Thought: A Preparatory Analysis

Università della Svizzera italiana. Faculty of Communication Sciences. Master of Arts in Philosophy 2017/18

Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p.

THE PROBLEM OF INTERPRETING MODAL LOGIC w. V. QUINE

The topic of this Majors Seminar is Relativism how to formulate it, and how to evaluate arguments for and against it.

Conclusion. One way of characterizing the project Kant undertakes in the Critique of Pure Reason is by

Culture, Space and Time A Comparative Theory of Culture. Take-Aways

What Can Experimental Philosophy Do? David Chalmers

Resemblance Nominalism: A Solution to the Problem of Universals. GONZALO RODRIGUEZ-PEREYRA. Oxford: Clarendon Press, Pp. xii, 238.

NINO B. COCCHIARELLA LOGIC AND ONTOLOGY

MAN vs. COMPUTER: DIFFERENCE OF THE ESSENCES. THE PROBLEM OF THE SCIENTIFIC CREATION

Social Mechanisms and Scientific Realism: Discussion of Mechanistic Explanation in Social Contexts Daniel Little, University of Michigan-Dearborn

1 Objects and Logic. 1. Abstract objects

THE PARADOX OF ANALYSIS

Philosophy Department Expanded Course Descriptions Fall, 2007

On Articulting Reasons of Robert Brandom and His Hegelian Methodology

Julie K. Ward. Ancient Philosophy 31 (2011) Mathesis Publications

(as methodology) are not always distinguished by Steward: he says,

PROBLEMS OF SEMANTICS

My thesis is that not only the written symbols and spoken sounds are different, but also the affections of the soul (as Aristotle called them).

Philosophy 405: Knowledge, Truth and Mathematics Spring Russell Marcus Hamilton College

A Notion of Logical Concept based on Plural Reference

Doctoral Thesis in Ancient Philosophy. The Problem of Categories: Plotinus as Synthesis of Plato and Aristotle

Thomas Kuhn s Concept of Incommensurability and the Stegmüller/Sneed Program as a Formal Approach to that Concept

NON-EXAMPLES AND PROOF BY CONTRADICTION

The Object Oriented Paradigm

A Comprehensive Critical Study of Gadamer s Hermeneutics

Composition, Counterfactuals, Causation

Designing a Deductive Foundation System

International TRIZ Association. Requirements for Degree theses and Term papers on TRIZ

Relational Logic in a Nutshell Planting the Seed for Panosophy The Theory of Everything

Two-Dimensional Semantics the Basics

Seven remarks on artistic research. Per Zetterfalk Moving Image Production, Högskolan Dalarna, Falun, Sweden

Replies to the Critics

A Meta-Theoretical Basis for Design Theory. Dr. Terence Love We-B Centre School of Management Information Systems Edith Cowan University

Partial and Paraconsistent Approaches to Future Contingents in Tense Logic

Análisis Filosófico ISSN: Sociedad Argentina de Análisis Filosófico Argentina

Revitalising Old Thoughts: Class diagrams in light of the early Wittgenstein

Ontology as a formal one. The language of ontology as the ontology itself: the zero-level language

The Nature of Time. Humberto R. Maturana. November 27, 1995.

The Debate on Research in the Arts

Faceted classification as the basis of all information retrieval. A view from the twenty-first century

Normative and Positive Economics

The Reference Book, by John Hawthorne and David Manley. Oxford: Oxford University Press 2012, 280 pages. ISBN

Necessity in Kant; Subjective and Objective

Triune Continuum Paradigm and Problems of UML Semantics

ABSTRACTS HEURISTIC STRATEGIES. TEODOR DIMA Romanian Academy

Working BO1 BUSINESS ONTOLOGY: OVERVIEW BUSINESS ONTOLOGY - SOME CORE CONCEPTS. B usiness Object R eference Ontology. Program. s i m p l i f y i n g

that would join theoretical philosophy (metaphysics) and practical philosophy (ethics)?

Constructive mathematics and philosophy of mathematics

CHAPTER 15. Five Theses on De Re States and Attitudes. Tyler Burge

7. This composition is an infinite configuration, which, in our own contemporary artistic context, is a generic totality.

138 Great Problems in Philosophy and Physics - Solved? Chapter 11. Meaning. This chapter on the web informationphilosopher.com/knowledge/meaning

KANT S TRANSCENDENTAL LOGIC

(Ulrich Schloesser/ Humboldt-Universität zu Berlin)

Cambridge Introductions to Philosophy new textbooks from cambridge

MODULE 4. Is Philosophy Research? Music Education Philosophy Journals and Symposia

Principal version published in the University of Innsbruck Bulletin of 4 June 2012, Issue 31, No. 314

Fig. I.1 The Fields Medal.

Holism and Idealism in Hegel s Phenomenology. The opening Consciousness section of Hegel's Phenomenology addresses

Arts, Computers and Artificial Intelligence

What do our appreciation of tonal music and tea roses, our acquisition of the concepts

Internal Realism. Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany

Modal Meinongianism and Fiction: the Best of Three Worlds 1

PLEASE SCROLL DOWN FOR ARTICLE

Georg W. F. Hegel ( ) Responding to Kant

Upon mention of the logical structure of anything in the title of a book. many

Department of Philosophy Florida State University

Five Theses on De Re States and Attitudes* Tyler Burge

in this web service Cambridge University Press

Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany

PUBLISHING PRODUCTION IN 2016 (PUBLISHED BOOKS AND PAMPHLETS AND CONTINUED EDITIONS)

Elena Tatievskaya The Notion of Tradition in Gadamer s Hermeneutic Ontology

1/10. The A-Deduction

Transcription:

Bulletin of the Section of Logic Volume 13/3 (1984), pp. 1 5 reedition 2008 [original edition, pp. 125 131] Jana Yaneva LOGICO-SEMANTIC ASPECTS OF TRUTHFULNESS 1. I shall begin with two theses neither of which is characterized by novelity or irrefutability. The first one is that semantic investigations would enable the concretization of the theory of knowledge. The necessity for semantic analysis in the concretization of fundamental epistemological (and logical) problems and their interrelation is brought out in titles like Meaning and Truth, Truth and Meaning, Semantics and Logic, which have all found a place in the literature. The second thesis is that two trends are usually distinguished in semantic theory the theory of reference and the theory of meaning. The theory of reference involves the relation between a sign and the object designated by it. Here problems like denotation, truthfulness, naming, extension, completeness, and logical sequence are analyzed. In the theory of meaning the relation between a sign and the content expressed by it is investigated. Problems like meaning, synonymity, intensional context find their place here. In what follows I shall try to show the interrelation between these two theses and some semantic paradoxes, their essence, and the attempts to resolve them. 2. The essence of semantic paradoxes. A semantical theory ought to be able to solve some difficulties (see [1] and [2]): The first one is the problem of identity and the principle of interchangeability of names. B.Russell cites the following example: George IV wished to know whether Scott was the author of Waverley and if indeed Scott and the author of Waverley are one and the same person, then on interchanging the names, the statement becomes: George IV wished to know whether Scott was Scott ;

2 Jana Yaneva The second problem is that of single negative existential statements. The statements God does not exist and Pegasus does not exist, on applying logical quantification, becomes: x (God, Pegasus) (which x does not exist) ; The third is the problem of empty names and the applicability of the law of excluded middle. Is the statement The present King of Prance is bald true or false? And which of following two contradictory statements would be preferred as true; The present King of Prance is bald or The present King of France is not, bald? 2.1. The paradox of interchangeability of identity names (antinomy of name-relation in Carnap s terms) an instance of the identity paradox. A number of examples can be cited that show the antinomy of namerelation to be an instance of the identity paradox. This has already been stated, namely that the paradox of analysis (semantic analysis) is an instance of the paradox of identity (see [3]). 2.2. It can be noticed that there is a similarity between the rest of the semantic difficulties and this provides us with a basis to divide the paradoxes into two types: (1) Paradoxes of identity and name-relation; (2) Paradoxes connected with the use of empty names. To the latter group belong: (a) The paradox relating to quantification in logic (b) The paradox relating to the use of factually empty names (e.g. The present King of France ) relating to the scope of applicability of the law of excluded middle; (c) And here, too, belongs the paradox related to the case of logically empty names (e.g. round square ). This paradox leads to a breach of the law of excluded middle and of the law of non-contradiction. 3. The theory of reference and the theory of meaning an inseparable unity in solving problems in logical semantics. If the paradoxes mentioned above present difficulties which a semantic theory should be capable of solving, then developing the relatively differentiated two parts of logical semantics the theory of reference and the theory of meaning would hardly be the means to achieve that purpose.

Logico-Semantic Aspects of Truthfulness 3 Solving a given problem in the theory of reference the relation sign object ) would inevitably be touching the theory of meaning (the relation sign information about the designated object). Only an integrated approach to the two aspects of logical semantics mentioned above could possibly solve some semantic difficulties in particular the ones connected with the naming relation. In a weakened formulation, the paradox of the interchangeability of names receives a solution precisely by means of integrative treatment of the semantic features of the expressions those of their extensional as well as those of their intensional characteristic, of their referents (the objects designated) as well as of their meanings (their senses, the information about the designated objects). A logico-semantic analysis of linguistic expressions seems a reliable method, indeed, in coping with a great deal of the difficulties in interchanging names by its requirement for all kinds of available semantic characteristic of the interchangeable expression to coincide difference is only allowed with respect to the expressions (signs, names) used. However, within the framework of a stronger formulation of the paradox of interchangeability of names, one in which it is more closely bound to the identity paradox, the integrative approach would not be capable of coping with the problem either. The identity problem is as old as human knowledge based on similarities and differences in things. It is, above all, a problem of methodology, of epistemology, logic and mathematics and only after that (and precisely for that matter) one of semantics. The occurrence of paradoxes concerning has always brought about difficulties in scientific knowledge. And the fact that the identity paradox emerges in the sphere of semantics as a paradox of analysis by no means provides the ground for it to be qualified as a semantic one (see [4]). The identity paradox could occur anywhere including the domain of semantics, yet, this does not automatically render it a semantic paradox. 4. Just how semantic are semantic paradoxes? The second type of semantic paradoxes result from the use of empty names names which do not denote real objects and the difficulties involve the application of logical quantification, the law of excluded middle, and the law of noncontradiction.

4 Jana Yaneva The problems of empty names, however, are in turn the regular consequence from purely logical difficulties about logical objects. The problem of concept in logic, of its extension and intension, has its corresponding interpretation in the sphere of semantics the extensional semantic featuring of the name is the class, and its intensional semantic characteristic is the attribute denoted by the name. Yet, the problem of objects does not become a semantic one for the mere reason that it is liable to semantic consideration as well. From a logical point of view, it is quite a reasonable position to relate the difficulties about objects to those involved in the validity of logical laws which is in fact the case of the semantic paradoxes related to the empty names. It is to be expected that extending the domain of objects admitted (including factually and logically empty objects) would entail either a limitation of the validity of logical laws, or changes in their interpretation making them more general but less rigid and informative. But these are exclusively logical problems and it is not likely that semantical theory alone could cope with them. 5. Attempts at solving the semantic paradoxes related to the use of empty names. Current attempts to solve the two kinds of paradoxes related to empty names and logical laws have been carried on along the lines just described: 5.1. Restricting the domain of validity of logical laws is the approach suggested by A. Meinong (in defense of an extension of the domain of permitted objects). Strawson, Quine, and Austin, too, consider this to be the way out of the semantic difficulties (see [5]). 5.2. Logical laws remain applicable in difficult cases (paradoxical situations) but receive another interpretation. By means of various negations various interpretations of logical laws are achieved. The logical laws are valid but we are dealing with a particular case of False statement a statement of false reference ([5]). As we can see, the strategies for the solution of the so-called semantic difficulties are not in the least semantic even though they are traceable to the semantic period of logic (and of cognition). The problems of logical objects, of quantification, of the laws of logic (their essence and domain of validity), of negation, are above all problems of logic.

Logico-Semantic Aspects of Truthfulness 5 So that if we are interested to know whether semantic theory is capable of coping with the so-called semantic difficulties, the answer is: Yes, but with the help of logic. References [1] B. Russell, On Denoting (1905), Readings in Philosophical Analysis, (selected and edited by H. Feigl and W. Sellars) New York, 1949, pp. 103 115. [2] É. D. Smirnova and P. V. Tavanéc, Cémantika v logiké, [in:] Logičéskaá sémantika i modal naá logika, Moskva 1967, pp. 3 53. [3] R. Bradley and N. Swarts (eds.), Possible Worlds, An introduction to logic and its Philosophy, Hackett, USA, 1979. p. 190. [4] R. Karnap, Značénie i nieobhodimost, Moskva 1959, p. 112. [5] P. F. Stroson, Idéntificiruúščaá référénciá i istinnostnoé značénie (1964), [in:] Novoe v Zarubéžnoj lingvistiké, vol. XIII, Moskva 1982, pp. 109 133. Institute of Philosophy Bulgarian Academy of Sciences Sofia, Bulgaria