The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. (...) I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (shrink)

Lepore and Stone devote Part I of their book to setting out a number of views that act as foils for their own positive ‘disambiguation’ view of interpretation developed in Part II. They divide their opposition into three camps: The Gricean rationalists, the neo-Gricean lexicalists, and the empirical psychologists. I try to show why a ‘disambiguation’ view of such phenomena is unappealing and why Relevance Theory provides a better account of these phenomena. I end with some brief remarks about what (...) all of this tells us about the interface between semantics and pragmatics. (shrink)

The subject of interest of this article is procedural acts considered as double-conventionalized acts. It is assumed in this article that in the case of procedural acts, one can distinguish two levels of conventionalization: the level of a speech act and the level of a procedural act. Both above-mentioned levels affect each other in various ways, what is discussed in the article. As assumed in the article, the analysis of acts characterized by this particular trait and with due account of (...) this trait allows one to observe phenomena that can be hard or even impossible to notice in the process of analyzing acts that are deprived of this trait. Furthermore, it seems that the description of this type of acts may particularly enrich the current discussion on some properties of speech acts held on the grounds of philosophy of language or pragmalinguistics. The research material used in this article as an illustration consists of actual utterances of participants of Polish court proceedings used by them at a hearing. (shrink)