The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom (...) is approximated by Herbrand’s Induction-Axiom Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

El presente artículo ofrece una interpretación original del trabajo de Austin sobre la aserción y los adverbios y deriva de ella una semántica expresivista para las oraciones de acción. En primer lugar, el análisis austiniano de la aserción con su idea de fuerzas asertivas específicas se conecta sistemáticamente con sus observaciones sobre la modificación adverbial para obtener esquemas de aserción para oraciones de acción. En segundo lugar, se interpretan esos esquemas en términos de la expresión de los compromisos inferenciales propios (...) de prácticas argumentativas exculpatorias, justificativas y ejemplarizantes en las que se explota la contrariedad lógica a la par de la contradicción. This paper offers a new interpretation of John Austin's views both on assertion and on adverbs, as result of which an expressivist thesis concerning the semantics for action sentences is advanced. First, Austin's analysis of assertion based on various, specific assertive forces and his remarks on adverbs are systematically connected in order to obtain assertive schemata for action sentences. Finally, those schemata are put to work as the expression of inferential commitments implicit in argumentative practices of different sorts in the deployment of which both logical contrariety and contradiction are exploited. (shrink)

Abstract: Introspection reveals that one is frequently conscious of some form of inner speech, which may appear either in a condensed or expanded form. It has been claimed that this speech reflects the way in which language is involved in conscious thought, fulfilling a number of cognitive functions. We criticize three theories that address this issue: Bermúdez’s view of language as a generator of second-order thoughts, Prinz’s development of Jackendoff’s intermediate-level theory of consciousness, and Carruthers’s theory of inner speech as (...) a rehearsal of action-schemata. We contend they have problems to account for those cases in which inner speech is fragmentary, and for the difference with those instances in which it appears as more sentence-like. In addition, we present verbal overshadowing as a phenomenon that neither of them can easily explain. Finally, we propose an account in which inner speech is fundamentally silent outer speech and argue that it is more explanatory than the alternatives. (shrink)

In this paper, I distinguish between linguistic and non-linguistic presuppositions. I also propose that we should be interested in conversational presuppositions, which could also be called speaker-meant presuppositions or speaker's presuppositions. I also distinguish between potential and actual presuppositions. I propose that, in some cases, presuppositions can be conversationally implicated and cancellation is possible. I specify what the hard cases are and I try to explain them through ontological considerations. I try to reduce the hard cases through (a) the notion (...) that all actual presuppositions are speaker-meant; (b) the distinction between ontological and linguistic presuppositions; and (c) the uncontroversial notion that even ontological presuppositions are susceptible to semantic under-determination that has to be tackled though pragmatic intrusion. Pragmatic intrusion for presuppositional cases, however, cannot really amount to completing or expanding or in any case computing an explicature in an ordinary sense, as explicatures have to do with truth-conditions and aim to create propositionally complete forms that are truth-evaluable, unlike propositional fragments or schemata that are usually expressed in sentences (; , 2012). They are processes similar to explicatures, but since presuppositions are only pre-conditions for an utterance's being true or false (; Macagno; 2016; ; ), we cannot say that these processes are completely like those of explicatures. Nevertheless, they are pragmatically-motivated, even if hard to cancel. (See on lack of cancellability or on entrenched meanings.) This more or less brings my approach in line with contextualism (even if I accept semantic invariantism, along the lines of or (Invariantism is also shared by , in a form that is compatible with her contextualism.)). (shrink)

The general tendency or attitude that Dreier 2004 calls creeping minimalism is ramping up in contemporary analytic philosophy. Those who entertain this attitude will take for granted a framework of deflationary or minimal notions – principally semantical1 and ontological – by means of which to analyse problems in different philosophical fields – e.g. theory of truth, metaethics, philosophy of language, the debate on realism and antirealism, etc. Let us call sweeping minimalist the philosopher affected by creeping minimalism. The framework of (...) minimal notions that the sweeping minimalist takes for granted encompasses, for instance, the concept of truth, reference, proposition, fact, individual, and property. Minimal notions are characterized in terms of general platitudinous principles expressed by schemata like the following (cf.: 26): ‘S’ is true if and only if S; ‘S’ is true if and only if ‘S’ corresponds to the facts; a has the property of being P if and only if a is P. Where ‘S’ and ‘a is P’ stand for sentences satisfying superficial constraints of truth-aptitude (i.e. sentences in declarative form subject to communally acknowledged standards of proper use), and.. (shrink)

The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text (...) expressing it. Two such discourse-texts are said to have the same grammatical form, in this sense, if a uniform one-one substitution of content words transforms the one exactly into the other. The sentence ‘Abe properly respects every agent who respects himself’ may be regarded as having the same grammatical form as the sentence ‘Ben generously assists every patient who assists himself’. (shrink)

The notion of schema has been given a major role by Recanati within his conception of primary pragmatic processes, conceived as a type of associative process. I intend to show that Recanati’s considerations on schemata may challenge the relevance theorist’s argument against associative explanations in pragmatics, and support an argument in favor of associative (versus inferential) explanations. More generally, associative relations can be shown to be schematic, that is, they have enough structure to license inferential effects without any appeal (...) to genuine inferential processes. Associative processes are thus able to explain a number of pragmatic and linguistic phenomena which have instead been thought to require specialized inferential processes. (shrink)

Kant posits the schema as a hybrid bridging the generality of pure concepts and the particularity of sensible intuitions. However, I argue that countenancing such schemata leads to a third-man regress. Siding with those who think that the mid-way posit of the Critique of Pure Reason's schematism section is untenable, my diagnosis is that Kant's transcendental inquiry goes awry because it attempts to analyse a form/matter union that is primitive. I therefore sketch a nonrepresentational stance aimed at respecting this (...) primitivity. (shrink)

In this paper, I argue that although Kant’s account of empirical schemata in the Critique of Pure Reason is primarily used to explain the shared content of intuitions and empirical concepts, it is also informed by methodological problems in natural history. I argue that empirical schemata, which are rules for determining the spatiotemporal form of objects, not only serve to connect individual intuitions with concepts, but also concern the very features of objects on the basis of which they (...) were connected and ordered in taxonomic systems based on similarity of form. I then suggest that Kant likely had scientific illustrations in mind in his discussion of empirical images in the Schematism chapter and that his account of schemata can help explain the epistemic function of these images in early modern science. (shrink)

In this paper Timothy Williamson’s argument that the knowledge norm of assertion is the best explanation of the unassertability of Morrean sentences is challenged and an alternative account of the norm of assertion is defended.

This study proposes a framework by which grammatically and syntactically sound sentences are classified through the perceptual measurement in noise of multilinguals and monolinguals, using an objective measure called SPERI and an interpretivist measure called SPIn, with results evaluated using Shortlist models and the BLINCS model. Hereby filling a knowledge gap on the perception of sentences that combine in varying levels of contextual meaning, linguistic load and cognitive load, this study used sentence clustering methods to find limitations of the (...) proposed framework in determining an absolute and accurate prediction of performance between sentences in the proposed different categories, with factors such as sentence predictability and word frequency taking precedence. There were unintended findings including a relationship between the number of languages spoken and performance, proficiency in other languages decreasing performance despite being an English Native, and how mistakes by multilinguals were more semantically and phonetically influenced than monolinguals. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this (...) paper is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

Based on the notion of a trope, this paper gives a novel analysis of identificational sentences such as 'this is Mary','this is a beautiful woman', 'this looks like Mary', or 'this is the same lump of clay, but not the same statue as that'.

In Tractatus, Wittgenstein held that there are null sentences – prominently including logical truths and the truths of mathematics. He says that such sentences are without sense (sinnlos), that they say nothing; he also denies that they are nonsensical (unsinning). Surely it is what a sentence says which is true or false. So if a sentence says nothing, how can it be true or false? The paper discusses the issue.

We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that (...) particular informal argument plays no rôle in Gödel’s technical results. Going deeper into the issue and investigating truth conditions of Gödelian sentences (i.e., those sentences which are provably equivalent to their own unprovability) will provide us with insights regarding the philosophical debate on the truth of Gödelian sentences of systems—a debate which goes back to Dummett (1963). (shrink)

The influential proposal that the analytical component of a theory is captured by its ‘Carnap sentence’ is critically scrutinized. A counterexample which makes the suggestion problematic is presented.

A suprise may occur if we use a similar strategy to the Liar's paradox to mathematically formalize "This sentence does not contain the symbol X".

This paper replies to Himmelreich's ‘The Paraphrase Argument Against Collective Actions’ [2017], which presents three putative counterexamples to the multiple agents analysis of plural action sentences. The paper shows that the argument from the first example, the discursive dilemma, fails because it relies crucially on a simplification of the target analysis, and that the others don't bear on the question because they turn out on examination to be about individual rather than group action sentences.

I discuss what I call practical Moore sentences: sentences like ‘You must close your door, but I don’t know whether you will’, which combine an order together with an avowal of agnosticism about whether the order will be obeyed. I show that practical Moore sentences are generally infelicitous. But this infelicity is surprising: it seems like there should be nothing wrong with giving someone an order while acknowledging that you do not know whether it will obeyed. I suggest that this (...) infelicity points to a striking psychological fact, with potentially broad ramifications concerning the structure of norms of speech acts: namely, when giving an order, we must act as if we believe we will be obeyed. (shrink)

In his genetic phenomenology, Husserl introduces types, pre-predicative frames of experience that guide the perception and cognition of objects. In this essay, I argue that there are two types that are functionally almost identical to Kant’s schemata. To support this conclusion, I first present an interpretation of Kant’s discussion of schemata. I argue that we must see schemata as pure, a priori cognitions that involve only pure intuition, pure concepts of the understanding, and the imagination. I offer (...) two analogies to explain how schemata function to subsume objects under concepts and to anticipate possible objects of experience before moving on to discuss the schema of substance. Next, I present a brief explanation of Husserl’s genetic phenomenology, organizing my presentation around the idea of apperception. This paves the way for a demonstration of how the fundamental type is best understood as standing at the center of a cluster of concepts, including apperception, passive belief, natural bodies, and the one spatio-temporal horizon of experience. I argue that the fundamental type is central to Husserl’s attempt to ground logic in pre-predicative experience. Finally, I compare two specific types with schemata on the grounds cultivated in the previous sections. The first of these types, the fundamental type, functions to pre-predicatively anticipate objects of possible experience, just as schemata do. The second of these types, which is implied by but never discussed in Husserl’s work, serves to mediate between a formal system of rules and an intuitive grasp of the world, just as schemata do. (shrink)

Persuasive technologies can adopt several strategies to change the attitudes and behaviors of their users. In this work we present some empirical results stemming from the hypothesis - firstly formulated in [3] - that there is a strong connection between some well known cognitive biases reducible to fallacious argumentative schemata and some of the most common persuasion strategies adopted within digital technologies. In particular, we will report how both framing and fallacious-reducible mechanisms are nowadays used to design web and (...) mobile technologies in domains ranging from e-commerce [4] and news recommendations [1] to the jihadist propaganda. We will also show how and to what extent such persuasive strategies have an impact on nudging the choices of the users in digital environments. (shrink)

My main purpose here is to provide an account of context selection in utterance understanding in terms of the role played by schemata and goals in top-down processing. The general idea is that information is organized hierarchically, with items iteratively organized in chunks—here called “schemata”—at multiple levels, so that the activation of any items spreads to schemata that are the most accessible due to previous experience. The activation of a schema, in turn, activates its other components, so (...) as to predict a likely context for the original item. Since each input activates its own schemata, conflicting schemata compete with (and inhibit) each other, while multiple activations of a schema raise its likelihood to win the competition. There is therefore a double movement—with bottom-up activation of schemata enabling top-down prediction of other contextual components—triggered by multiple sources. Another claim of the paper is that goals are represented by schemata placed at the highest-levels of the executive hierarchy, in accordance with Fuster’s model of the brain as a hierarchically organized perception action cycle. This account can be considered, in part at least, a development of ideas contained in Relevance Theory, though it may imply that some other claims of the theory are in need of revision. Therefore, a secondary purpose of the paper is a contribution to the analysis of that theory. (shrink)

This paper shows that Russell’s theory of descriptions gives the wrong se-mantics for definite descriptions occurring in questions and imperatives. Depending on how that theory is applied, it either assigns nonsense to per-fectly meaningful questions and assertions or it assigns meanings that di-verge from the actual semantics of such sentences, even after all pragmatic and contextual variables are allowed for. Given that Russell’s theory is wrong for questions and assertions, it must be wrong for assertoric state-ments; for the semantics of (...) ‘the phi’ obviously doesn’t vary depending on whether it occurs in a question or an assertion or a command. (shrink)

In the last forty years Dummett, Hanks, Künne, and Bobzien have claimed that when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question [Satzfrage] was not a thought [Gedanke] ((Dummett 1981: 307–308); (Hanks 2007: 142–143); (Künne 2010: 427–429); (Bobzien 2021: 163–164)). Recently, Textor has claimed that when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question was not a question [Frage] (Textor 2021: 227 fn.2). I think it is (...) possible that when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question was a question and a thought. To show that this possibility should not be overlooked, I have written a dialogue in which Frege responds to Dummett, Hanks, Künne, Bobzien, and Textor. -/- Bobzien seems to think that when Frege wrote ‘Die Verneinung’, he thought that the sense of a sentence-question was not a question (Bobzien 2021: 163–165). I think it is possible that when Frege wrote ‘Die Verneinung’, he thought that the sense of a sentence-question was a question and a thought. Hence, I have also written the dialogue to show that this possibility should not be overlooked either. (shrink)

This paper explores the liar paradox and its implications for logic and philosophical reasoning. It analyzes the paradox using classical logic principles and paraphrases it as "affirmation of the falsity of the very affirmation." The study draws connections between the liar paradox and Hegel's speculative sentence and suggests it functions as a "quasi-speculative sentence." Additionally, it examines parallels with the logocentric predicament and the determinist's assertion, highlighting their paradoxical nature. Through these analyses, the paper aims to illuminate the (...) fundamental paradoxes in our reasoning and logic. (shrink)

Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is a grammatical (...) entity, a unit of language that expresses a complete thought; a sentence may express a proposition, but is distinct from the proposition it may be used to express: categories, declarative sentences, exclamatory, imperative and interrogative sentences. Not all sentences are propositions, propositions express sentence. Sentence is a proposition only in condition when it bears truth values i.e. true or false. We use English sentences governed by imprecise rule to state the precise rules of proposition. In logic we use sentence as logical entity having propositional function but grammatical sentences are different from logical sentences while the former are having only two divisions namely subject and predicate and may express wishes, orders, surprise or facts and also have multiple subjects and predicates and the latter must be in a propositional form which states quantity of the subject and the quality of the proposition and multiple subjects and multiple predicate make the proposition multiple. (shrink)

They say that argumentative writing skills are best learned through writing argumentative essays. I say that while this is excellent practice for argumentative writing, an important exercise to practice structuring such essays and build critical thinking skills simultaneously is what I call the four-sentence paper. The exercise has the template They say..., I say..., one might object..., I reply... One might object that the assignment oversimplifies argumentative writing, stifles creativity, promotes an adversarial attitude, or that students can’t consider objections (...) well anyway. I reply that a simplified form of argumentative writing is fine for beginners, especially since the template is ubiquitous in philosophy; that any assignment template has room for creativity; that considering objections is consistent with good manners; and that despite some pitfalls of trying to defend a thesis and consider objections, students are capable of considering objections well with proper instruction and practice. (shrink)

<The definitive version is available at www.blackwell-synergy.com > -- In this paper I carve out a space between the concept of "the object" and the seemingly endless ways in which "the object" can be represented pictorially. I will call the aspect of the pictorial representation which is made possible by this space, the pictorial representation's "style". I will explore this space by drawing upon theories of pictorial representation, leaving out, for the sake of my purposes here, a consideration of the (...) artist's intention. That an attribution of "style" can be comprehensive while leaving out a consideration of artists' intentions, I will argue by adopting the conceptual framework of Paul Thom's theory of interpretation. Before embarking on my project, I begin with a brief overview of the rather slippery notion of "style". (shrink)

This paper examines the practice of using predictive systems to lengthen the prison sentences of convicted persons when the systems forecast a higher likelihood of re-offense or re-arrest. There has been much critical discussion of technologies used for sentencing, including questions of bias and opacity. However, there hasn’t been a discussion of whether this use of predictive systems makes sense in the first place. We argue that it does not by showing that there is no plausible theory of punishment that (...) supports it. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Contrary to nouns and verbs that either do not include a co-positing of parts, including nouns and some verbs, or if they are, their parts do not significate separately, a sentence (λόγος) is a ‘significant portion of speech by co-positing, its parts signify something separately, though not as a positive or negative judgment but as utterance.’ (OI ., I, 4, 16b26-28). Therefore, every utterance in language that i) includes parts, ii) its signification is based on the co-positing of its (...) parts, iii) each of its parts is separately significant but iv) the signification of its parts is the signification of an utterance and not a judgment, is a sentence. This definition distinguishes a sentence from: a) Nouns: because they do not have parts; b) Verbs: because they either do not have parts or if they have, their parts do not significate separately; c) Those co-positings of words whose significance is not based on their co-positing. Thus a co-positing like ‘wall tree house’ is not a sentence because it has no significance on the basis of its co-positing; d) Those co-positings that the signification of at least some of their parts is the signification of judgments. Thus, ‘Socrates is from Athens and is a philosopher’ is not a sentence because at least one of its parts, e.g. ‘Socrates is from Athens’ signifies a judgment. Those sentences that either of truth or falsity belongs to them are propositions (ἀπόφανσις or λόγος ἀπόφαντικὸς). (OI., I, 4, 17a2-3) It is this and only this kind of sentence that is the subject of study in philosophy. (OI., I, 4, 17a5-7) The primary forms of a proposition are, firstly, an affirmation (κατάφασις) and then a negation (ἀπόφασις). (OI., I, 4, 17a8-9) To have an affirmation or a denial and, thus, a proposition, what firstly is necessary is a verb or the tense of a verb (OI, I, 4, 17a9-12; I, 10, 19b12-13; OI, I, 4, 16b28-30) and a noun (OI, I, 10, 19b10-12). Aristotle draws a contrast between single and plural proposition: a) Single proposition: a proposition that ‘indicate a single fact, or the conjunction of the parts of which results in unity.’ (OI., I, 5, 17a15-16) b) Plural propositions: a proposition that ‘are separate and many in number, which indicate many facts, or whose parts have no conjunction.’ (OI., I, 5, 17a16-17) He also differentiates between simple and composite propositions (OI, I, 5, 17a20-22): a) Simple proposition: ‘that which asserts or denies something of something’; b) Composite propositions: ‘that which is compounded of simple propositions.’ A simple (ἁπλῆ) proposition is a statement about the belonging or not belonging of something (OI, I, 5, 17a22-24). Affirmation and denial are indeed kinds of simple proposition, one affirming the belonging and the other not belonging. An affirmation or denial may be single or non-single. A single affirmation or denial ‘signifies some one fact about some one subject. This singularity is destroyed neither by the universality of subject nor by the universal character of the statement. The only thing that destroys this singularity is that one part signifies more than one thing, which makes the proposition more than one proposition (OI, I, 8, 18a13-27). In other words, neither ‘predication of one thing of many subjects’ nor ‘many things of the same subject’ results in a unitary proposition. (OI., II, 11, 20b13-16) There is also another cause that might destroy the unity of predicate and thus the unity of proposition, namely when one of the parts of the predicate is implicit in the other. Thus, e.g. animal-man does not form a unity because the notion ‘animal’ is implicit in ‘man.’ (OI., II, 11, 21a16-18) The following are characteristics of propositions: 1. That about which an affirmation signifies something is a noun, whether definite or indefinite. (OI., I, 10, 19b5-12) Moreover, there can be no affirmation or denial without a verb. (OI., I, 10, 19b12-19) Therefore, a proposition must involve at least a noun and a verb. 2. Contrary propositions: since both belonging and not belonging of something to something is possible, we are able to make a negative proposition out of an affirmative one and vice versa. (OI., I, 5, 17a26-31) Therefore, ‘every affirmation has an opposite denial’ and vice versa. (OI., I, 6, 17a31-33) The contradictory of each proposition is made by changing the positivity or negativity of the verb ‘to be’ to its opposite but not by changing the subject to its opposite. Thus, the contradictory of ‘man is white’ is ‘man is not white’ and not ‘not-man is white.’ (OI., II, 11, 21a38-b5) What happens in the mentioned wrong form of contradictory propositions is that they change the subject while the denial must be the contrary of the affirmation about the same subject. (cf. OI., II, 14, 24b1-6) This is made plain in propositions involving a verb other than ‘to be’. What must be changed in these propositions is the verb and not the noun or the subject. Thus, the contradictory of ‘Socrates runs’ is ‘Socrates does not run’ and not ‘not-Socrates runs.’ 3. Conversion possible: ‘Out of conversion (μετατιθεμένου) of the name and the verb, the same affirmation and denial is generated. (OI., I, 10, 20b10-12) In other words, the two affirmations or denials ‘signify the same thing.’ (OI, I, 10, 20b1-2) . (shrink)

Evaluative sentences (moral judgments, expressions of taste, epistemic modals) are relative to the speaker's standards. Lately, a phenomenon has challenged the traditional explanation of this relativity: whenever two speakers disagree over them they contradict each other without being at fault. Hence, it is thought that the correction of the assertions involved must be relative to an unprivileged standard not necessarily the speaker's. I will claim instead that so far, neither this nor any other proposal has provided an explanation of the (...) phenomenon. I will point out several problems presented by them and I will hint to how this phenomenon could be explained by making minor adjustments to our semantic theory. Sentenças avaliativas (julgamentos morais, expressões de gosto, modos epistêmicos) são relativas aos padrões do falante. Recentemente, um fenômeno desafiou a explicação tradicional dessa relatividade: sempre que dois falantes discordam entre si, eles contradizem um ao outro sem estarem errados. Por isso, pensa-se que a correção das asserções envolvidas deve ser relacionada a um padrão desprovido de privilégio e não necessariamente ao padrão do falante. Eu sustentarei, ao contrário, que até agora nem esta nem alguma outra proposta forneceu uma explicação do fenômeno. Eu assinalarei diversos problemas apresentados por essas propostas e sugerirei o modo como este fenômeno poderia ser explicado ao fazer pequenos ajustes em nossa teoria semântica. (shrink)

In this paper I discuss the Newman problem in the context of contemporary epistemic structural realism (ESR). I formulate Newman’s objection in terms that apply to today’s ESR and then evaluate a defence of ESR based on Carnap’s use of Ramsey sentences and Hilbert’s ε-operator. I show that this defence improves the situation by allowing a formal stipulation of non-structural constraints. However, it fails short of achieving object individuation in the context of satisfying the Ramsified form of a theory. Thus, (...) while limiting the scope of Newman’s argument, Carnap sentences do not fully solve the problem. (shrink)

Is native speaker variation in understanding complex sentences due to individual differences in working memory capacity or in syntactic competence? The answer to this question has very important consequences for both theoretical and applied concerns in linguistics and education. This book is distinctive in giving an historical and interdisciplinary perspective on the rule- based and experience-based debate and in supporting an integrated account. In the study reported here, variation was found to be due to differences in syntactic competence and the (...) author argues that sentence comprehension is a learned skill, displaying many of the general characteristics of cognitive skills. The book will be stimulating reading for psycholinguists, theoretical linguists, applied linguists and educators. (shrink)

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to (...) capture the right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".

Pietroski (1993) offers a semantics for belief sentences that is supposed to address the problem of equivalence. This paper argues that his proposal fails to solve the problem.

In English, in order to speak about Arthur’s attitudes, we use sentences like “Arthur believes that natural language is messy”. For sentences of this kind we have a standard theory, according to which the ‘that’-clause ‘that natural language is messy’ denotes a proposition. As Prior showed for the first time, the standard theory appears to be at odds with some linguistic data. Geach and Prior both assumed that linguistic data are to be taken as reliable guides to a correct semantic (...) account and I will start by raising some worries concerning their methodology. Because of these data, Prior and Geach suggested some non-standard accounts. I will then show that if we take linguistic data seriously, their non-standard accounts do not fare any better than the standard theory. My general conclusion will thus not only be that Prior’s and Geach’s methodology is disputable, but also that their conclusions do not seem to follow even if we grant the reliability of their methodology. (shrink)

The paper aims to weaken a widespread argument against indexical contextualism regarding matters of personal taste. According to indexical contextualism, an utterance of “T is tasty” (where T is an object of taste) expresses the proposition that T is tasty for J (where J is a judge). This argument suggests that indexical contextualism cannot do justice to our disagreement intuitions regarding typical disputes about personal taste because it has to treat conversations in which one speaker utters “T is tasty” and (...) another responds with “T is not tasty” (referred to as ‘judge-non-specific conversations’ in this paper) as being on a par with conversations in which one speaker utters “T is tasty to me” and another responds with “T is not tasty to me” (referred to as ‘judge-specific conversations’). The argument has it that judge-specific conversations, unlike judge-non-specific conversations, do not contain disagreement between speakers. To defend indexical contextualism, some philosophers have proposed accounts (here referred to as ‘dual-proposition theories’) according to which utterances of “T is tasty” are used to communicate both the above kinds of semantically expressed proposition and some other kinds of proposition (like superiority propositions or metalinguistic propositions) that could be used to explain disagreements about taste. The paper defends two claims: First, it is argued that judge-specific conversations, or at least some of them, do contain disagreement between speakers, contrary to what the anti-indexical-contextualist argument supposes. Second, it is argued that dual-proposition indexical-contextualist theories fail to explain judge-specific conversations that are intuitively interpreted as containing disagreement. (shrink)

In this essay, I follow the lead of recent scholarship in Saussure linguistics and critically examine the Saussurean doctrine associated with the Course in General Linguistics, which later became a hallmark of structuralism. Specifically, I reconstruct the history of the concluding sentence in the Course which establishes the priority of la langue over everything deemed external to it. This line assumed the status of an oft-cited ‘famous formula’ and became a structuralist motto. The ‘famous formula’ was, however, freely inserted (...) by the editors of the Course who effectively ghostwrote the book after Saussure’s death, and authored a series of early book-reviews of the same text in dedicated scholarly venues. I argue that the editorial success turning their vision of Saussure’s teaching into official doctrine was enabled in part by the dominant social structures regulating twentieth-century European academia. (shrink)

Semanticists face substitution challenges even outside of contexts commonly recognized as opaque. Jennifer M. Saul has drawn attention to pairs of simple sentences - her term for sentences lacking a that-clause operator - of which the following are typical: -/- (1) Clark Kent went into the phone booth, and Superman came out. (1*) Clark Kent went into the phone booth, and Clark Kent came out. -/- (2) Superman is more successful with women than Clark Kent. (2*) Superman is more successful (...) with women than Superman. -/- She challenges us to explain why the upper and lower sentences in each pair differ, or at least appear to differ, in their truth-values and hence truth-conditions. This appearance of substitution failure is inherently puzzling. Moreover, it is taken by Saul to generate a dilemma for anyone hostile to direct reference accounts of that-clause constructions. Direct reference theorists regard the appearance of substitution failure in that-clause contexts as mere appearance, to be dealt with pragmatically rather than semantically. -/- Critics of such accounts need to say something about simple-sentence cases. If they choose to allow that intuitions of substitution failure can be over-ridden and explained away pragmatically in simple-sentence cases but not in that-clause cases, they lay themselves open to the charge of operating a double standard. But if they do not choose this option, they must offer a semantic explanation of apparent substitution failure in simple-sentence cases - no easy task, it turns out. Other respondents to Saul's challenge have sought to provide elaborate semantic treatments. In contrast, this paper proposes a far simpler pragmatic explanation of intuitions of substitution failure in simple sentences, an explanation that deploys no more resources than are to be found in Grice's 'Logic and Conversation'. Ironically, this proposal turns out to be incompatible with a direct reference perspective. So if it is, as I maintain, the most plausible treatment of simple-sentence cases available, Saul's initial thought gets turned around 180 degrees: the phenomenon she has drawn attention to ends up representing a challenge to supporters of direct reference theories. (shrink)

Legal theorists have characterized physical evidence of brain dysfunction as a double-edged sword, wherein the very quality that reduces the defendant’s responsibility for his transgression could simultaneously increase motivations to punish him by virtue of his apparently increased dangerousness. However, empirical evidence of this pattern has been elusive, perhaps owing to a heavy reliance on singular measures that fail to distinguish between plural, often competing internal motivations for punishment. The present study employed a test of the theorized double-edge pattern using (...) a novel approach designed to separate such motivations. We asked a large sample of participants (N = 330) to render criminal sentencing judgments under varying conditions of the defendant’s mental health status (Healthy, Neurobiological Disorder, Psychological Disorder) and the disorder’s treatability (Treatable, Untreatable). As predicted, neurobiological evidence simultaneously elicited shorter prison sentences (i.e., mitigating) and longer terms of involuntary hospitalization (i.e., aggravating) than equivalent psychological evidence. However, these effects were not well explained by motivations to restore treatable defendants to health or to protect society from dangerous persons but instead by deontological motivations pertaining to the defendant’s level of deservingness and possible obligation to provide medical care. This is the first study of its kind to quantitatively demonstrate the paradoxical effect of neuroscientific trial evidence and raises implications for how such evidence is presented and evaluated. (shrink)

Automated decision making for sentencing is the use of a software algorithm to analyse a convicted offender’s case and deliver a sentence. This chapter reviews the moral arguments for and against employing automated decision making for sentencing and finds that its use is in principle morally permissible. Specifically, it argues that well-designed automated decision making for sentencing will better approximate the just sentence than human sentencers. Moreover, it dismisses common concerns about transparency, privacy and bias as unpersuasive or (...) inapplicable. The chapter also notes that moral disagreement about theories of just sentencing are plausibly resolved by applying the principle of maximising expected moral choiceworthiness, and that automated decision making is better suited to the resulting ensemble model. Finally, the chapter considers the challenge posed by penal populism. The dispiriting conclusion is that although it is in theory morally desirable to use automated decision-making for criminal sentencing, it may well be the case that we ought not to try. (shrink)

The purpose of this paper is to communicate - as a proposal - a general method of assigning a 'truthmaker' to any 1st order sentence in each of its models. The respective construct is derived from the standard model theoretic (recursive) satisfaction definition for 1st order languages and is a conservative extension thereof. The heuristics of the proposal (which has been somewhat idiosyncratic from the current point of view) and some more technical detail of the construction may be found (...) in my article on part I of Spinoza's 'ethica, ordine geometrico demonstrata', which is the context within which I elaborated the assignment. But this context need not be repeated here, the presentation of the truthmaker assignment will be comprehensible to anybody with solid basic knowledge in 1st order model theory, anything used is standard and no advanced techniques are required. (shrink)

In this article, I seek to answer the following cluster of questions: What would a characteristically African, and specifically relational, conception of a criminal trial’s final end look like? What would the Afro-relational approach prescribe for sentencing? Would its implications for this matter forcefully rival the kinds of penalties that judges in South Africa and similar jurisdictions typically mete out? After pointing out how the southern African ethic of ubuntu is well understood as a relational ethic, I draw out of (...) it a certain conception of reconciliation that I advance as a strong candidate for being the proper final end of a criminal trial. I argue that, far from requiring forgiveness, seeking reconciliation can provide strong reason to punish offenders. Specifically, a reconciliatory sentence is one that roughly has offenders reform their characters and compensate their victims in ways the offenders find burdensome, thereby disavowing the crime and tending to foster cooperation and mutual aid. I argue that this novel account of punishment is a prima facie attractive alternative to more familiar retributive and deterrence rationales, and that it entails that widespread practices such as imprisonment and mandatory minimum sentences are unjust. (shrink)

In various of my writings, both in Philosophical Studies and elsewhere, I have argued that an account of trying sentences is available that does not require quantification over alleged attempts or tryings. In particular, adverbial modification in such sentences can be dealt with, without quantification over any such particulars. In ‘Attempts’, Jonathan D. Payton (Payton, 2021) has sought to dispute my claim. In this paper, I consider his claims and reply to them. I believe that my account withstands such scrutiny.

We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.

The analytic/synthetic distinction can be conceived from two points of view: from within or from without; from the perspective of one's own language or from the perspective of the language of others. From without, the central question is which sentences of a foreign language are to be classified as analytic. From within, by contrast, the question concerning the synthetic and the analytic acquires a normative dimension: which sentences am I not permitted to reject—if I want to avoid talking nonsense? Both (...) perspectives on analytic sentences do not mutually exclude but supplement and illuminate each other. In "Two Dogmas", Quine's criticism of the analytic/synthetic distinction comes from within, whereas in Word and Object, Quine repeats his earlier criticism from without. His criticism is directed against Carnap's views on our understanding of theoretical terms. I challenge Quine's criticism in both of its versions and provide two definitions for analyticity that are immune to Quine's arguments. Using the first of these definitions (the one from without) I try to show how it is possible to distinguish (genuine) belief revision from linguistic change—even in case of a scientific revolution. (shrink)