Theories deploy various theoretical representations of their explananda and one question we can ask about those representations is whether to regard them under a realist attitude, i.e. as revealing the nature of what they represent, or whether to regard them under an instrumentalist attitude instead, i.e. as serving particular explanatory ends without the further revelatory aspect. I consider structured propositions as theoretical representations within a particular explanatory setting -- the metaphysics of what is said -- and argue that (...) a realist attitude towards them is unwarranted. I offer various considerations against the widespread tendency to regard structured propositions as revealing the nature of what is said and conclude that they should be regarded under an instrumentalist attitude instead. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

It is argued that taken together, two widely held claims ((i) sentences express structured propositions whose structures are functions of the structures of sentences expressing them; and (ii) sentences have underlying structures that are the input to semantic interpretation) suggest a simple, plausible theory of propositional structure. According to this theory, the structures of propositions are the same as the structures of the syntactic inputs to semantics they are expressed by. The theory is defended against a variety (...) of objections. (shrink)

This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures (...) occurring in executed mode. Moreover, procedures are not mere aggregates of their parts; rather, procedural constituents mutually interact. As for the second point, there is no universal criterion of the structural isomorphism of meanings, hence of co-hyperintensionality, hence of synonymy for every kind of language. The positive result I present is an ordered set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures. Hence procedural semantics provides a solution to the problem of the granularity of co-hyperintensionality. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” (...) Semantics versus pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

In this paper I defend an account of the nature of propositional content according to which the proposition expressed by a declarative sentence is a certain type of action a speaker performs in uttering that sentence. On this view, the semantic contents of proper names turn out to be types of reference acts. By carefully individuating these types, it is possible to provide new solutions to Frege’s puzzles about names in identity- and belief-sentences.

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory (...) is given both a diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

Jeffrey King, Scott Soames, and others have recently challenged the familiar identification of a Russellian proposition, such as the proposition that Brutus stabbed Caesar, with an ordered sequence constructed out of objects, properties, and relations. There is, as they point out, a surplus of candidate sequences available that are each equally serviceable. If so, any choice among these candidates will be arbitrary. In this paper, I show that, unless a controversial assumption is made regarding the nature of nonsymmetrical relations, none (...) of the proffered candidate sequences are in fact adequate to the play the role. Moreover, as I argue, the most promising alternative theory of relations—one that avoids the problematic assumption and, in addition, fits most naturally into the sequentialist’s framework—fails to meet a basic requirement: it cannot distinguish between the proposition that Brutus stabbed Caesar and the proposition that Caesar stabbed Brutus. The upshot is that the conspicuously structured entities that are widely assumed to be up to the task of “playing the proposition role” shed no light on the very structure they are invoked to represent. (shrink)

I show that the assumption of highly structured propositions can be leveraged to provide a unified semantics for various propositional logics of impure ground in a very expressive and flexible way. It is shown, in particular, that the induced models are capable of capturing an infinitude of grounding facts that follow from unrestricted logics of ground, but, due to certain artificial restrictions, are left unaccounted for by the existing semantics in the literature. It is also shown that our (...) models, unlike the ones in the literature, are easily extendable to capture certain distinct views about iterated as well as identity grounding. (shrink)

0. SOME THESES .................................................................................................... ...............................................3..

In this article, we evaluate the Compositionality Argument for structured propositions. This argument hinges on two seemingly innocuous and widely accepted premises: the Principle of Semantic Compositionality and Propositionalism (the thesis that sentential semantic values are propositions). We show that the Compositionality Argument presupposes that compositionality involves a form of building, and that this metaphysically robust account of compositionality is subject to counter-example: there are compositional representational systems that this principle cannot accommodate. If this is correct, one (...) of the most important arguments for structured propositions is undermined. (shrink)

Back in the Good Old Days of Logical Positivism, theories of meaning were part of a normative project that sought not merely to describe the features of language and its use, but so to speak to separate the wheat from the chaff. In this paper, I side with Herman Cappelen (2013) in thinking that we need to rethink and reintroduce the important distinction between sense and nonsense that was ditched along with other normative aspirations during Logical Positivism’s spectacular demise. Despite (...) this, my delineation of the bounds of sense is different from Cappelen’s. One of my goals in the present paper is to argue that category mistakes are paradigmatic examples of nonsensical sentences. To this end I describe one candidate for what it might be that makes category mistakes nonsensical. (shrink)

The standard argument against ordered tuples as propositions is that it is arbitrary what truth-conditions they should have. In this paper we generalize that argument. Firstly, we require that propositions have truth-conditions intrinsically. Secondly, we require strongly equivalent truth-conditions to be identical. Thirdly, we provide a formal framework, taken from Graph Theory, to characterize structure and structured objects in general. The argument in a nutshell is this: structured objects are too fine-grained to be identical to truth-conditions. (...) Without identity, there is no privileged mapping from structured objects to truth-conditions, and hence structured objects do not have truth-conditions intrinsically. Therefore, propositions are not structured objects. (shrink)

The paper shows that the paradox of the totality of propositions rest on assumptions characteristic of some theories of structured contents (like Jeffrey King's "new account of structured propositions").

One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one and the (...) same state of affairs is either believed or not. The tasks are to specify what Lisa believes and to accurately and consistently describe the situation given certain foundational semantic principles. ;I argue that of three main semantic frameworks: Davidsonian Semantics, Model-Theoretic Semantics and Propositional Semantics , PS has the best chance to provide a complete, consistent and natural solution. On my view, dynamic propositions are complex states of affairs where things stand in the propositional relation of having expressions of a certain type which pick them out as semantic values and where those expressions stand in appropriate syntactic relations. The propositional relation crucially involves restricted quantification over expression types which are logical features of the language. The sentences "Twain is tall" and "Clemens is tall" express different DP's because even though their constituents are identical, they stand in distinct propositional relations in virtue of the different syntactic expressions. This explains how Lisa could believe one and not the other. These fine-grained propositions successfully serve as both the truth-conditions of sentences and the objects of propositional attitudes. The solution leads to the surprising result that the question of whether singular terms are Fregean or directly referential is actually irrelevant to Frege's Puzzle. ;While DP's are naturalistic and theoretically well-motivated, they face apparent difficulty accounting for translation and being the objects of mental content. The logical form of DP's limits their possible interpretation and thus sheds light on the conceptual framework of its user. I argue that DP's are not beliefs, but cognitive models that serve as interpretations of beliefs in communication. (shrink)

Theories of structured meanings are designed to generate fine-grained meanings, but they are also liable to overgenerate structures, thus drawing structural distinctions without a semantic difference. I recommend the proliferation of very fine-grained structures, so that we are able to draw any semantic distinctions we think we might need. But, in order to contain overgeneration, I argue we should insert some degree of individuation between logical equivalence and structural identity based on structural isomorphism. The idea amounts to forming an (...) equivalence class of different structures according to one or more formal criteria and designating a privileged element as a representative of all the elements, i.e., a first among equals. The proposed method helps us to a cluster of notions of co-hyperintensionality. As a test case, I consider a recent objection levelled against the act theory of structured propositions. I also respond to an objection against my methodology. (shrink)

Unbound anaphoric pronouns or ‘E-type pronouns’ have presented notorious problems for semantic theory, leading to the development of dynamic semantics, where the primary function of a sentence is not considered that of expressing a proposition that may act as the object of propositional attitudes, but rather that of changing the current information state. The older, ‘E-type’ account of unbound anaphora leaves the traditional notion of proposition intact and takes the unbound anaphor to be replaced by a full NP whose semantics (...) is assumed to be known (e.g. a definite description). In this paper, I argue that there are serious problems with any version of the E-type account as well as the (original form of the) dynamic account. I will explore a new account based on structured propositions, which can be considered a conservative extension of a traditional proposition-based semantics, but which at the same time incorporates some crucial insights of the dynamic account. (shrink)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I (...) show how identifying propositions with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

The dominant account of propositions holds that they are structured entities that have, as constituents, the semantic values of the constituents of the sentences that express them. Since such theories hold that propositions are structured, in some sense, like the sentences that express them, they must provide an answer to what I will call Soames’ Question: “What level, or levels, of sentence structure does semantic information incorporate?”. As it turns out, answering Soames’ Question is no easy (...) task. I argue in this paper that the two most promising ways of answering it, the Logical Form Account and the LF Account, are both unsatisfactory. This result casts doubt on the very idea that propositions are structured. (shrink)

This paper presents an account of the manner in which a proposition’s immediate structural features are related to its core truth-conditional features. The leading idea is that for a proposition to have a certain immediate structure is just for certain entities to play certain roles in the correct theory of the brute facts regarding that proposition’s truth conditions. The paper explains how this account addresses certain worries and questions recently raised by Jeffery King and Scott Soames.

This paper discusses two distinct strategies that have been adopted to provide fine-grained propositions; that is, propositions individuated more finely than sets of possible worlds. One strategy takes propositions to have internal structure, while the other looks beyond possible worlds, and takes propositions to be sets of circumstances, where possible worlds do not exhaust the circumstances. The usual arguments for these positions turn on fineness-of-grain issues: just how finely should propositions be individuated? Here, I compare (...) the two strategies with an eye to the fineness-of-grain question, arguing that when a wide enough range of data is considered, we can see that a circumstance-based approach, properly spelled out, outperforms a structure-based approach in answering the question. (Part of this argument involves spelling out what I take to be a reasonable circumstance-based approach.) An argument to the contrary, due to Soames, is also considered. (shrink)

In Jeffrey King’s theory of structured propositions, propositional structure mirrors the syntactic structure of natural language sentences that express it. I provide cases where this claim individuates propositions too finely across languages. Crucially, King’s paradigmatic proposition-fact ^that Dara swims^ cannot be believed by a monolingual Greek speaker, due to Greek syntax requiring an obligatory article in front of proper names. King’s two possible replies are: (i) to try to streamline the syntax of Greek and English; or (ii) (...) to insist that English speakers can believe propositions inexpressible in Greek. I argue that the former option entails giving up a neo-Russelian framework, and the latter makes King’s account arbitrary or trivial. I conclude that the mirroring claim is untenable. (shrink)

Katz offers such a grammatical account, in which makes it possible for the first time to explain the illocutionary potential of sentences within grammar.

Neo-Russellian theories of structured propositions face challenges to do with both representation and structure which are sometimes called the problem of unity and the Benacerraf problem. In §i, I set out the problems and Jeffrey King's solution, which I take to be the best of its type, as well as an unfortunate consequence for that solution. In §§ii–iii, I diagnose what is going wrong with this line of thought. If I am right, it follows that the Benacerraf problem (...) cannot be used to motivate the view that propositions are irreducible elements of our ontology. (shrink)

Attempts to characterize unarticulated constituents (henceforth: UCs) by means of quantification over the parts of a sentence and the constituents of the proposition it expresses come to grief in more complicated cases than are commonly considered. In particular, UC definitions are inadequate when we consider cases in which the same constituent appears more than once in a proposition that only has one word with the constituent as its semantic value. This article explores some consequences of trying to repair the formal (...) definitions. (shrink)

본 연구의 목적은 최근 20여 년 동안 진행되어 온 학습이론에 대한 피아제의 명제논리학적 학습이론과 베이즈주의의 확률론적 학습이론의 융합에 근거하는 새로운 융합교수학습모형을 개발하는 것이다. 연구자는 이 새로운 교수학습모델을 “베이지안 구조구성주의 교수학습모형”(Bayesian structure-constructivist Model of Teaching-learning: 이하 약칭 BMT)이라 명명한다. 본고는 역사-비판적 관점 및 형식화적 관점에서 피아제의 명제논리학적 학습모형에서 해석된 학습이론과 베이즈주의의 확률론적 추론모형에서 해석된 학습이론을 일차적으로 분석하고, 논문의 후반부에서는 이를 근거로 교수법의 관점에서 양자의 학습이론을 통합하는 새로운 교수학습모델, 즉 BMT의 중요한 특성들을 세부적으로 제시한다. 몇 가지 핵심만 언급하면, 첫째로, BMT는 개념 학습이든 (...) 이론 학습이든 모든 학습은 표상과 샘플링의 상호작용임을 강조한다. 매우 이른 나이에서부터 아동은 학습하기 이전에 자기에게 주어진 예시들이 약한 샘플링인지 강한 샘플링인지, 특히 교육학적 샘플링인지 비교육학적 샘플링인지를 구분한다. 둘째로, 따라서 학습을 촉진시킬 수 있는 샘플을 선택하기 위해서 교사는 교육학적 추론을 위한 베이지안 모델을 활용하면서 직접적인 강의식 수업과 발견학습 수업을 병행해야 한다. 셋째로, 아동은 때때로 구체적인 규칙들보다는 추상적인 규칙들을 먼저 학습하기도 하지만, 대부분의 영역에서 추상적인 지식의 학습은 구체적인 지식의 학습에 의존한다. 따라서 성공적인 학습을 위해서는 피아제가 강조한 보편적 언어로서 논리적 문법과 그들 사이의 위계성을 고려하는 샘플을 개발하고 제시해야 한다. (shrink)

In this paper we prove that three of the main propositional logics of dependence, none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed. We obtain an analogous result with respect to stable substitutions, for the negative variants of some well-known intermediate logics, which are intermediate theories that are closely related to inquisitive logic.

Belief in propositions no longer brings about the sorts of looks it did when Quine's affinity for desert landscapes held sway in the Anglo-American philosophical scene. People are doing work in the metaphysics of propositions, trying to figure out what sorts of creatures propositions are. In philosophers like Frege, Russell, and Moore we have strong shoulders upon which to stand. But, there is much more work that needs to be done. I will try to do a bit (...) of that work here. In the paper, I will probe the notion that propositions are structured entities, and that it is useful to think of their structure as resembling the structure of the sentences which express them. First, I will speak briefly to the issue of why one might find it rational to believe that propositions exist. In the second part of the paper, I will argue that we should think of propositions as having structure. In the last section, I will examine the nature of the structure of propositions. I will consider a recent account given by Jeffrey King of the nature of the relation that unifies constituents. I conclude by sketching my own view of the relation that holds between propositional constituents in virtue of which they compose a proposition. 1 I Why Believe in Propositions? Propositions are taken to be abstract entities that are a) the primary bearers of truth and falsity, b) the objects of our propositional attitudes, and c) the referents of "that-. (shrink)

Two approaches to the study of diagnostic thinking are compared, one mainly propositional, namely that of Patel and Groen (1986), the other mainly semantic, that of Lemieux and Bordage (1986). Patel and Groen analyzed the linear dimension of cardiologists' discourses while solving a case of acute bacterial endocarditis, that is, the before and after propositional rules. A secondary analysis of two of their pothophysiological protocols is done using structural semantic techniques from Lemieux and Bordage where the vertical dimension of the (...) discourses is analyzed, that is, the levels of meaning or semantic axes. Contrary to Patel and Groen's position, making an accurate diagnosis is not explained in terms of pure forward reasoning through networks of causal rules, but by means of networks of semantic qualities abstracted from the symptoms and signs. The semantic qualities operate in the clinician's mind in terms of binary oppositions (e.g., sudden-gradual, unilateral-bilateral) whereby each pair of properties constitutes a semantic axis (e.g., sudden-gradual). The successful diagnosticians are those who use the most diversified and pertinent set of semantic axes and, therefore, have a deeper representation of the problem. (shrink)

For the most part, this paper is an attempt to understand such a statement as this: “The proposition represents the fact by virtue of a structural identity between it and the fact.” The statement is a familiar and important one in modern philosophy. It is, for example, one of the tenets of Logical Positivism.

In [2] A. Wroski proved that there is a strongly finite consequence C which is not finitely based i.e. for every consequence C + determined by a finite set of standard rules C C +. In this paper it will be proved that for every strongly finite consequence C there is a consequence C + determined by a finite set of structural rules such that C(Ø)=C +(Ø) and = (where , are consequences obtained by adding to the rules of C, (...) C + respectively the rule of substitution). Moreover it will be shown that under certain assumptions C=C +. (shrink)

In On the Genesis of Thought and Language, linguist Alexey Koshelev explores fundamental questions of how human concepts arise in a child, why concepts appear in a child before words, the genesis of language, and why there are so many languages. Chapter One introduces the fundamental dichotomy "visual (exogenous) vs. functional (endogenous)" cognitive units; these units are used to give non-verbal definitions of mental representations of various objects, actions, and situations. In particular, definitions of such concepts as GLASS, CHAIR, BANANA, (...) TREE, LAKE, RUN, and some others are given. Chapter Two discusses how children form concepts, hierarchical relationships, and propositions (conceptual 'utterances'). It is shown that the initial units of the child's representation of the world are pre-conceptual cognitive units--mental representations of whole situations. In the course of two consecutive cycles in the child's cognitive development, these units transform into (a) primary notions--object and motor concepts, and (b) binary role relationships. Together, they constitute the elementary language of thought which, in the process of thinking, is used to build conceptual structures--propositions. It is further demonstrated that, immediately after the formation of thought, the child begins to develop his native language in which concrete and motor concepts become initial meanings of nouns and verbs, while propositions become the meanings of the child's expressions. The chapter concludes with a contrastive analysis of the proposed approach and Aristotle's and Chomsky's views on thought and language. Chapter Three analyzes how a community's culture affects its language. It is demonstrated that the progress of a community, the main constituent of the civilizational component of its culture, enhances the development of the content component of language by extending the range of its lexical and grammatical meanings. In the context of this analysis, Daniel Everett's (2008) hypothesis that culture affects language structure is discussed. In the subsequent sections, models of the development of human and social activity are offered. These models comprise three components: Activity (main component), Thought, and Language (auxiliary components that ensure the successful realization of activities). The models are illustrated with examples of some concrete societies. (shrink)