Keith Donnellan’s distinction between the attributive and referential uses of definite descriptions has spurred debates regarding the truth conditions of the utterance “the F is G” with definite descriptions used referentially. In this article, I present a semantic account of referential descriptions, grounded in the contextual factors of the utterance, including the speaker’s intention and presupposition as well as the interlocutor’s recognition of them. This account is called the IPR-semantic account, according to which the speaker’s intention (I), presupposition (P), (...) and the interlocutor's recognition (R) jointly determine whether “the F” in an utterance “the F is G” is used referentially or attributively, and the meaning of “the F” is determined by whether it is used referentially or attributively. Moreover, I argue that the meaning of the referential description “the F” is the intended object e, embodied with a property H that has prompted the speaker to presuppose that e is F and to intend to use “the F” to refer to e, as well as the interlocutor to recognize the presupposition and intention. According to the IPR-semantic account, the utterance “the F is G” with “the F” used referentially expresses a singular proposition, namely, that e is G, and it is true if and only if the intended object e is G. Additionally, I argue that the IPR-semantic account not only surpasses some alternative semantic accounts but also outperforms Kripke’s pragmatic account. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual (...) semantic connection of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a (...) classical two-valued language. Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.

Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith;s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth conditions cannot explain the logical relations between tensed sentences, thus the tensed theory must be (...) accepted. Against Smith, this paper adopts an alternative approach to the explanation of the entailment relations between sentences which contain indexicals. The approach drops the reliance upon tokens and instead relies on the evaluation of sentence types with respect to a context rather than upon actual or possible utterances of tokens of the types. This (new) version of the tenseless theory of time can adequately explain the relevant entailment relations between tensed sentences. (shrink)

The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention, in relation to its efficacy in a semantic valuation of the EkeGusii proverb: Nda ’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for. The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only a partial (...) reach in accounting for the meaning of the proverb by not incorporating pragmatic aspects. The failure of T-convention is not alleviated by the adoption of radical interpretation as posited by Davidson but is extended to consider aspects of pragmatic enrichment and dynamic Semantics. (shrink)

A semantics of vagueness should reject the principle that every statement has a truth-value yet retain the classical tautologies. A many-value, non-truth-functional semantics and a semantics of super-valuations each have this result. According to the super-valuation approach, 'if a man with n hairs on his head is bald, then a man with n plus one hairs on his head is also bald' is false because it comes out false no matter how the vague predicate 'is bald' is (...) appropriately made precise. But why should a sentence in which components actually remain imprecise be regarded as actually false just because it would be false if its components were precise? On one of the alternative treatments of quantification allowed by the many-value approach, the sentence in question is assigned an intermediate value closer to 'false' than to 'true'. Despite the elegance of the super-valuation approach, there are reasons to prefer the many-value approach. (shrink)

This paper is about what we may provisionally call “indicative” conditionals. It aims to describe one use of the word ‘if’, by giving the truth conditions of sentences using ‘if’ in the way in question. Here are some sentences that, on their natural interpretations, illustrate the target use.

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and (...) show that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

This paper is about what we may provisionally call “indicative” conditionals. It aims to describe one use of the word ‘if’, by giving the truth conditions of sentences using ‘if’ in the way in question. Here are some sentences that, on their natural interpretations, illustrate the target use.

The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, (...) which did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula in the language of classical propositional calculus, takes the logical value of truth for the majority of Boolean valuations, i.e., as a logically probable formula. Then, the formal system P is developed to encode the set of these logically probable formulas. Based on natural (...) semantics, a strong completeness theorem for P is proved. Alternative notions of consequence for logically probable sentences are also considered. (shrink)

This book proposes a new theory of the origins of human language ability and presents an original account of the early evolution of language. It explains why humans are the only language-using animals, challenges the assumption that language is a consequence of intelligence, and offers a new perspective on human uniqueness. The author draws on evidence from archaeology, linguistics, cognitive science, and evolutionary biology. Making no assumptions about the reader's prior knowledge he first provides an introductory but critical survey of (...) all sources of evidence for language evolution. He then considers what language itself reveals about its own and human origins and evolution. He shows that certain central aspects of language do not, unexpectedly, reflect what they are used for, are maladapted for their function. He considers why this should be, and argues that these odd aspects of language reveal important clues about its evolutionary origin. The Origins of Complex Language fulfils the promise of its title. In doing so it turns upside down conventional theories about the relation between cognition and expression, truth and reference, and the co-evolution of mind and body. Original in conception, brilliantly executed, stylishly written, this book will attract a wide range of readers interested in the evolution and origins of language. (shrink)

There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, (...) we show that certain computational problems, called query structures , can be solved more efficiently by an agent who has self-referential resources (amongst which are Liar sentences) than by an agent who has only classical resources; we establish the computational power of self-referential truth . The paper concludes with some thoughts on the implications of the established result for deflationary accounts of truth. (shrink)

The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic (...) operator; in Frege's first system, '⊦ Δ' expresses that the circumstance Δ is a fact, and in his second system that the truth-value - Δ is the True; in both systems, the judgement-stroke is construed as a sign sui generis, not as a genuine predicate; its counterpart in natural language is the syntactic "form of assertoric sentences", not the truth-predicate; neither in Frege's first nor in his second system sentences are treated as singular terms. (shrink)

In this paper I criticize a version of supervaluation semantics. This version is called "Region-Valuation" semantics. It's developed by Pablo Cobreros. I argue that all supervaluationists, regionalists in particular, and truth-value gap theorists of vagueness more generally, are commited to the validity of D-intro, the principle that every sentence entails its definitization (the truth of "Paul is tall" guarantees the truth of "Paul is definitely tall"). The principle embroils one in a paradox that's distinct from, but (...) related to, the sorites paradox. I call it the "gap-principles paradox". -/- . (shrink)

We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to Quarc, (...) true of all singular arguments, allows us to represent PC quantification in Quarc and translate PC into Quarc, preserving validity. Introducing a weak existential quantifier into PC allows us to translate Quarc into PC, also preserving validity. However, unlike the translated systems, neither extended system can have a sound and complete proof system with Cut, supporting the claim that these are basically different calculi. (shrink)

Truth appears to be a predicate of sentence-like structures. This raises the question of what a sentence is (or what it is to be sentence-like) such that it is truth-apt. A natural move is to treat sentences and truth-aptness as somehow conceptually or metaphysical coeval—made for each other. This resolution conflicts, however, with now standard approaches in syntactic theory that treat sentences as mere epiphenomena. Siding with the developments in syntax, the paper argues that (...) class='Hi'>truth-aptness properly belongs, not to sentences, but to clauses as structures that can be selected by verbs that specify truth-apt states. It is further argued that this arrangement is perfectly consistent with truth-conditional semantics. (shrink)

When David Kaplan put forward his theory of sentence truth incorporating demonstratives, initially proposed in ‘Dthat’ and later developed in ‘Demonstratives’ and ‘Afterthoughts’, it was, to his mind, simply a matter of book-keeping, a job that had been pushed aside as a complication when a truth conditional semantics had been proposed. The challenges considered in this thesis are challenges to the effect that Kaplan’s theory of sentence truth is, for one reason or another, inadequate. My overarching aim (...) is to defend Kaplan’s theory of sentence truth against these challenges. In chapter one I am concerned only with setting out some preliminary considerations. In chapter two I defend Kaplan’s theory of sentence truth against a general challenge, motivated by linguistic data from ‘contextualists’ and ‘relativists’. I argue that the methods and data employed by proponents of contextualism and relativism are lacking and as such should not be taken to have seriously challenged Kaplan’s theory of sentence truth. In chapter three I defend Kaplan’s theory of sentence truth against challenges to the effect that his theory is not suited to delivering on its initial purpose—to provide a semantics for indexical and demonstrative terms. I then develop a form of semantic pluralism that I take to be entirely compatible with the Kaplanian model. In chapters four I demonstrate the efficiency of this Kaplanian model when it comes to defending Kaplan’s theory against the challenge of providing suitable semantics to accommodate discourse involving future contingents. And finally, in chapter five I consider contextualist accounts of discourse concerning vague predicates. (shrink)

Let HF be the collection of the hereditarily finite well-founded sets and let the primitive language of set theory be the first-order language which contains binary symbols for equality and membership only. As announced in a previous paper by the authors, "Truth in V for ∃*∀∀-sentences is decidable," truth in HF for ∃*∀∀-sentences of the primitive language is decidable. The paper provides the proof of that claim.

This paper introduces the logic _Q__L__E__T_ _F_, a quantified extension of the logic of evidence and truth _L__E__T_ _F_, together with a corresponding sound and complete first-order non-deterministic valuation semantics. _L__E__T_ _F_ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (_FDE_) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘_A_ entails that _A_ behaves classically, ∙_A_ follows from _A_’s violating some classically valid inferences. The semantics (...) of _Q__L__E__T_ _F_ combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin’s method. By providing sound and complete semantics for first-order extensions of _FDE_, _K3_, and _LP_, we show how these tools, which we call here the method of _anti-extensions + valuations_, can be naturally applied to a number of non-classical logics. (shrink)

Different kinds of sentences are of immense importance for Popper’s epistemology, because they are the decisive factor for any scientific success. The basic sentences guarantee the possibility of falsification. And the method of falsification is essential for real science that is independent from an unprovable and impracticable concept of truth. But especially this traditional concept of truth leads to a lot of problems, also concerning the systematic appearance of Popper’s philosophy. The paper wants to point out (...) these problems in order to discuss Popper’s idea of science. (shrink)

Proposing a theory of the origins of human language ability and presenting an account of the early evolution of language, this text explains why humans are the only language-using animals and challenges the assumption that language is due to intelligence-- jacket cover.

(i) It is propositions, not sentences, that are true or false. It is true ‘Dogs bark’ does not make sense. It is true that dogs bark does. (ii) and (iii) Davidson wrong about ‘that’. (iv) The difference between ‘implies’ and ‘if ... then ...’. (v), (vi), (vii) and (viii) Russell, not Quine, right about the subject matter of logic. (ix) The objectual and substitutional interpretations of quantifiers compatible. (x), (xi), (xii), (xiii), (xiv), (xv) and (xvi) Implications for well-known theories (...) of truth; truth correspondence. (xvii), (xviii) and (xix) and (xx) Implications for the principle of bivalence, the law of excluded middle, and the principle of non-contradiction. (xxi) Recapitulation. (xxii) ‘That’ and entailment. (xxiii) Propositions not entities, subsistent or otherwise. Footnotes1 This article was stimulated by some remarks by J. J. C. Smart in criticism of a piece of work (God, Freedom and Immortality, Ashgate, 1999) that he was kind enough to read for me. I am greatly indebted to my friend David Rees for correcting the manuscript, and making some valuable suggestions concerning its content. (shrink)

Stephen Yablo has argued for metaontological antirealism: he believes that the sentences claiming or denying the existence of numbers (or other abstract entities or mereological sums) are inapt for truth valuation, because the reference failure of a numerical singular term (or a singular term for an abstract entity or a mereological sum) would not produce a truth value gap in any sentence containing that term. At the same time, Yablo believes that nothing similar applies to singular (...) terms that aim to refer to an entity whose existence or non-existence is a factual matter, e.g. ‘the king of France’: the failure of the presupposition that there is a unique French king makes some sentences with the term ‘the king of France’, in particular “The king of France is bald”, gappy. In this paper I will show that the sentence “The king of France is bald” must be false, and not gappy, according to Yablo’s own criteria and that, furthermore, the presupposition that the term ‘the king of France’ refers presents a fail-safe mechanism in the same way Yablo thinks abstract presuppositions do—this undermines his argument for metaontological antirealism. (shrink)

There is a previously unrecognized coupling which underlies the Western evaluation of aesthetic experiences. By and large, we are taught that for our aesthetic pleasures to have any “value” (i.e. to be good) they must do more than merely entertain, distract, or delight. Instead, they should confront us with some “truth” about the nature of our existence and/or guide us to some “reality” concerning the state of our world. This paper asks: 1) whence this prejudice concerning the value of (...) our aesthetic experiences? 2) What metaphysical and ethical assumptions underlie this epistemological standard? And, finally, 3) how might our expectations concerning the nature and value of aesthetic experiences alter if these assumptions are called into question, as they are, for example, by contemporary metaphysical pessimism? This paper uses the concept of “guilty pleasures” as a site to expose the history of our Western assumptions concerning the evaluation of aesthetic experiences and to explore how a pessimistic revaluation of reality might change our analysis of what comprises “good” art. To this end, this paper traces the origins of our aesthetic assumptions in the West, shows how these assumptions continue to influence our aesthetic expectations today, exposes the hidden metaphysical premises, which underly those expectations, and explores why and how we might call these premises into question through a pessimistic revaluation of existence. All of these supports, in the end, a critical reassessment of the status and value our so-called “guilty pleasures.”. (shrink)

Contemporary semantic theories can be classified along two dimensions: (i) the way and time-course in which contextual factors influence sentence truth-conditions; and (ii) whether and to what extent comprehension involves sensory, motor and emotional processes. In order to explore this theoretical space, our ERP study investigates the time-course of the interaction between the lexically specified telic component of a noun (the function of the object to which the noun refers to, e.g., a funnel is generally used to pour liquids (...) into containers) and an ad-hoc affordance contextually induced by the situation described in the discourse. We found that, if preceded by a neutral discourse context, a verb incongruent with the noun’s telic component as in “She uses the funnel to hang her coat” elicited an enhanced N400 compared to a congruent verb as in “She uses the funnel to pour water into a container”. However, if the situation introduced in the preceding discourse induced a new function for the object as an ad-hoc affordance (e.g., the funnel is glued to the wall and the agent wants to hang the coat), we observed a crossing-over regarding the direction of the N400 effect: comparing the ad-hoc affordance-inducing context with the neutral context, the N400 for the incongruent verb was significantly reduced, whereas the N400 for the congruent verb was significantly enhanced. We explain these results as a consequence of the incorporation of the contextually triggered ad-hoc affordance into the meaning of the noun. Combining these results with an analysis of semantic similarity values between test sentences and contexts, we argue that one possibility is that the incorporation of an ad-hoc affordance may be explained on the basis of the mental simulation of concurrent motor information. (shrink)

emantic pathologies of self-reference include the Liar (‘this sentence is false’), the Truth-Teller (‘this sentence is true’) and the Open Pair (‘the neighbouring sentence is false’ ‘the neighbouring sentence is false’). Although they seem like perfectly meaningful declarative sentences, truth value assignment to their uses seems either inconsistent (the Liar) or arbitrary (the Truth-Teller and the Open-Pair). These pathologies thus call for a resolution. I propose such a resolution in terms of relative-truth: the truth (...) value of a pathological sentence use varies with the context of its assessment. It always has a determinate truth value, but this truth value is relative to the context of its assessment. I start by considering a fairly esoteric pathology: the Truth-Teller, that is, sentences which assert nothing but their own truth. I make the case that truth value of a given truth-teller use must in general depend on the context of its assessment, and that one can indeed change its truth value at will. I then show how the notion of assessment-sensitive truth can help us provide solutions to other semantic paradoxes such as the Liar and the Open Pair and that those solutions are immune to revenge problems. I conclude by situating my proposal among the main approaches to the semantic paradoxes, and by drawing a very broad moral about pathological self-reference and intentionality. (shrink)

This research aims to show grammatical relations between the elements of the sentence based around the syntactic connection. The phenomenon of syntactic connection is one of the basic concepts for al-Jurjānī’s theory of nazm (construction). This view, which makes more understanding the structure of Arabic sentence, is studied in the light of the ideas of classic and modernists linguists. This attempt to facilitate Arabic grammar has continued routinely from relationships between grammar and meaning. The integration of grammar, which consists of (...) words, is an important property for native speakers and others. This field is open to new developments considering the successive developments in the field of linguistics. It is important to develop the principles that will help in understanding the grammatical structure of a language in which communication pathways are growing. Reinterpretation of prominent approaches appeared in classical sources and updating the concepts that explain the basic structures of language are needed to increase the effectiveness of Arabic.Summary: The linguists, who accept the language structures as a system of expressing thoughts, search out the relationship between meaning and grammar. The rules of grammar, which maintain its importance from the past to the present is one of the basic language areas. In the looking at the researches in the field of Arabic language, it is seen that the grammatical structures of this language is much emphasized. In this context, the grammatical markers theory, which is trying to explain the connection between the sentence elements in the light of different scientific disciplines, such as philosophy and logic is a theory, which the linguists put to explain the Arabic grammar. The grammatical discussions around the grammatical markers have continued for a long time. ‘Abd al-Qāhir al-Jurjānī (d. 471/1078) is one of the most prominent Arabic grammarians whose opinions are widely mentioned in this field. Al-Jurjānī, who found that the discipline of grammar area was limited, established a new method in language studying. In this context, the linguistic researches continue around the views of al-Jurjānī’s theory of construction. The term of construction, which describes the relationship between meaning and grammar, means composition and arrangement. The current linguistic studies have ensured the magnificence and accuracy of this theory. According to this theory, grammar meaning is arising from the choice of word and grammatical elements. The relation between words in the sentence is explained as a construction. According to al-Jurjānī, grammar is the result of various language skills beyond the distinction of truth and error. This comprehensive language understanding, which evaluates the grammar from a different point of view, has started as of Sībawayhi (d. 180/796). The Arabic linguistic studies from the early period are characterized by taking care of both form and meaning, in addition to semantic.Term of the syntactic connection is one of the basic concepts, which al-Jurjānī focuses on while explaining views on grammar. He gives much importance to the method of linking words and to the way they join each other to form sentences. The syntactic connection is an interaction between words and grammatical meanings. In this process, the mechanism of affixation and association occur between the elements of sentence. The term affixation refers to direct connection relations of the elements of sentence, while the term association refers to indirect relations. This term used to describe the grammar structures, is also closely related with the meanings of the words. The basic sentence in classical Arabic consists of the musnad and the musnad ilayhi. In the Arabic language, besides the basic elements of the sentence, other units are important as well. These units work together to express a central idea that may be further developed or refined by other elements. The factor, which determines the function of a word in the sentence, is the place of word. In this context, the linguistic studies carried out within the syntactic connection will make an important contribution to language teaching.The other thing in the context of the syntactic connection is the terms of “deep and surface structure”, which are the basic concepts of the transformational grammar theory developed by Chomsky. While the deep structure consists of simple sentence structures, the surface structure is composed of sentences. According to the transformational grammar theory, the deep structure is an important factor for determining the meaning. They draw attention to the mental side of the language. It is because the language is a phenomenon, which produces unlimited sentences with limited elements. In this form, the language cannot be explained by a mechanical interpretation. The language should be examined in the light of human dynamics. The competence and performance are the cause of the emergence of deep and surface structure terms. The purpose of the word is effective in determining the structure of speech. The target language is to express unlimited meanings with limited words. Classical Arabic grammarians have introduced the idea of transformation to Arabic grammar – though they may not know this term. The Arabic grammarians have talked about preposing, postposing, deletion, increase and interpretation, which used and developed by Chomsky. Transformational grammar theory has produced a new paradigm in grammar. This theory is widely discussed among modern linguists. The term grammatical coherence is a new terminology used by the modern linguists for definition of sentence structure. This term, which shows evidence and relation between both things, is divided into two namely: verbal and semantic coherence. When the definitions of grammatical terms in the classical grammar sources, it is possible to see the emphasis of the grammatical coherences. This language understanding, which tries to substitute the inflection theory, aims to bring innovations in sentence analysis. The linguists point to the importance of this theory, which bring a new perspective in understanding the Arabic grammar. Tammām Ḥassān (1918-2011) attempts to link the grammatical coherences with ‘Abd al-Qāhir al-Jurjānī’s theory of semantic formation and its relationship to linguistic analysis. Tammām Ḥassān, likened to Sībawayhi, is regarded as one of the most important representatives of the innovative language understanding with his theory. According to him, the system of language, which provides a framework to shape man's thinking, is constituted by three subsystems: phonetics, vocabulary and grammar. Grammar may be defined as a system of word changing and other means of expressing relations of words in the sentence. In this context, the concepts of syntagmatic and paradigmatic structure are important to understand the general structure of languages. According to linguistics, grammar should study both paradigmatic and syntagmatic relations of sentences. The syntagmatic structure refers to the relationship between language units depending on the language system in the language. The relationship network between words that belong to the same semantic field is called paradigmatic structure. The paradigmatic structure provides similar criteria for all languages. Such approaches that introduced by linguistics, provides significant contributions to language learning. The modern linguistic studies have made the sentence a starting point to clarify the linguistic structures and relations to achieve the sound linguistic communication. A sentence is the largest unit in a language described by grammar. (shrink)

I shall discuss some of the issues concerning a notorious doctrine of Frege that sentences are names of truth-values. I am interested in a problem raised by Kripke that the doctrine obscures the distinction between judgeable and unjudgeable contents. I shall present what I take to be Frege’s account of judgeable content: a proper expression of a judgeable content is susceptible to an analysis into a predicate and an argument-word, where a predicate is understood as a concept-word used (...) to attribute a certain property to the referent of the argument-word. In the light of this analysis, I shall argue that the doctrine does not obscure the distinction. The problem will also be discussed within the formal context of Grundgesetze. A new light will be shed on his rather peculiar conception of the symbol ‘ ${\boldsymbol \vdash}$’. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends (...) classical logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Let V be the cumulative set theoretic hierarchy, generated from the empty set by taking powers at successor stages and unions at limit stages and, following [2], let the primitive language of set theory be the first order language which contains binary symbols for equality and membership only. Despite the existence of ∀∀-formulae in the primitive language, with two free variables, which are satisfiable in V but not by finite sets ([5]), and therefore of ƎƎ∀∀ sentences of the same (...) language, which are undecidable in ZFC without the Axiom of Infinity, truth in V for Ǝ*∀∀-sentences of the primitive language, is decidable ([1]). Completeness of ZF with respect to such sentences follows. (shrink)

The paper maintains (1) that Frege's quantification of sentence positions motivates his identification of sentences as proper names of truth-values; (2) that this identification is fully compatible with the 'context principle'; (3) that the relation of a thought to its truth-value is the primary case of the relation of sense to meaning. The paper offers a reconstruction of Frege's defense of (1) in pp. 33-35 of "On Sense and Meaning".