§4. Sense identity and indirect reference. Van Heijenoort [30] quotes an extensive passage from a 1906 letter from Frege to Husserl which begins with the following sentence: “It seems to me that we must have an objective criterion for recognizing a thought as the same thought, since without such a criterion a logical analysis is not possible.” This could be read as asserting the existence of a ...

In the philosophical tradition, propositions have a double nature. On one hand, they are units of sense of a fundamental logical type. They are senses of sentences provided with truth conditions. Each proposition is true in a circumstance when it represents a fact which exists in that circumstance. So any analysis of the logical form of propositions requires a theory of truth. On the other hand...

We present a new denotational model for the untyped -calculus, using the techniques of game semantics. The strategies used are innocent in the sense of Hyland and Ong (Inform. and Comput., to appear) and Nickau (Hereditarily Sequential Functionals: A Game-Theoretic Approach to Sequentiality, Shaker-Verlag, 1996. Dissertation, Universit6 at Gesamthochschule Siegen, Shaker-Verlag, 1996), but the ...

People interpret unfamiliar compounds by combining the component concepts into a new, complex concept. When constituents have foreign roots, as happens in English neoclassical and Japanese words borrowed from Chinese, interpreters must first assign semantic gloss to each component. The decoding of peninsula 半島 follows such pattern. But whilst construing processing Latin paene īnsula ‘almost isl...

This article starts off with the observation that in certain cases, presuppositions triggered by an element inside a question nucleus may fail to project. In fact, what looks like coordinated structures involving polar questions, presupposition projection patterns are exactly parallel is observed when corresponding assertions coordinated. The further shows these facts do not fall out straightfo...

This research focuses on the problematics of Kalimantan's natural resource wealth in poem "Di Sini" by Dahri Dahlan. The used semantic theory and Roland Barthes's semiotics as basis analysis. purpose this is to analyze meaning contained language poem. In-depth interpretation carried out analyzing poetry through denotation meaning, connotation relationship cultural elements. a literature study w...

ABSTRACT: The purpose of this research is to determine the moral message and find out meaning denotation, connotation, myth L.A. Cigarette advertising. data collection technique used a semiotic analysis method from Roland Barthes. results found indicate that contained in study reflects life person, both lower middle class or upper class, must be able face problems not leave but solve so they wi...

We introduce a type theory FAω, which has at least the strength of finitely iterated inductive definitions ID<ω. This type theory has as ground types trees with finitely many branching degrees (so called free algebras). We introduce an equality in this theory, without the need for undecidable prime formulas. Then we give a direct well-ordering proof for this theory by representing a ordinal den...

Spanish deverbal nominalizations are linguistic constructions characterized by presenting properties of common nouns but also by inheriting the argument structure of the verbs from which they derive. This duality aroused considerable interest in deverbal nominalizations in Linguistics. On the one hand, they can denote both the state or the result of the action expressed by the corresponding bas...

This essay presents a fully inferentialist-expressivist account of scientific representation. In general, inferentialist approaches to representation argue that the capacity model represent target system depends on inferences from models systems (surrogative inference). Inferentialism is attractive because it makes epistemic function central their representational capacity. Prior representation...