Individuals with agrammatic Broca's aphasia experience difficulty when processing reversible non-canonical sentences. Different accounts have been proposed to explain this phenomenon. The Trace Deletion account attributes this deficit to an impairment in syntactic representations, whereas others propose that the underlying structural representations are unimpaired, but sentence comprehension is affected by processing deficits, such as slow lexical activation, reduction in memory resources, slowed processing and/or intermittent deficiency, among others. We test the claims of two processing accounts, slowed processing and (...) intermittent deficiency, and two versions of the Trace Deletion Hypothesis, in a computational framework for sentence processing implemented in ACT-R. The assumption of slowed processing is operationalized as slow procedural memory, so that each processing action is performed slower than normal, and intermittent deficiency as extra noise in the procedural memory, so that the parsing steps are more noisy than normal. We operationalize the TDH as an absence of trace information in the parse tree. To test the predictions of the models implementing these theories, we use the data from a German sentence—picture matching study reported in Hanne, Sekerina, Vasishth, Burchert, and De Bleser. The data consist of offline and online measures. From among the models considered, the model assuming that both slowed processing and intermittent deficiency are present emerges as the best model of sentence processing difficulty in aphasia. The modeling of individual differences suggests that, if we assume that patients have both slowed processing and intermittent deficiency, they have them in differing degrees. (shrink)

Feature-placing sentences are often confused with the general sentences in the canonical predicate calculus. The confusion is largely caused by their perceived commonality that both lack the subject-predicate form. In this paper, I offer some clarification of the fundamental differences between the two: the general sentences of the canonical predicate calculus contain predicates and variables which take individual objects as their values, and it is the sense of predication implied by the existence of predicates in (...) these general sentences that is completely absent in feature-placing sentences. (shrink)

Feature-placing sentences are often confused with the general sentences in the canonical predicate calculus. The confusion is largely caused by their perceived commonality that both lack the subject-predicate form. In this paper, I offer some clarification of the fundamental differences between the two: the general sentences of the canonical predicate calculus contain predicates and variables which take individual objects as their values, and it is the sense of predication implied by the existence of predicates in (...) these general sentences that is completely absent in feature-placing sentences. (shrink)

In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal (...) logic defining a Σ⊿-elementary class of frames is canonical.The main tool in obtaining these results is the duality between modal algebras and general frames developed in R. I. Goldblatt [5]. The relevant notions and results from this theory will be stated in §2. The concept of a canonical modal logic is introduced and motivated in §3, which also contains the above-mentioned theorems. In §4, a kind of appendix to the preceding discussion, preservation of first-order sentences under ultrafilter extensions is discussed.The modal language to be considered here has an infinite supply of proposition letters, a propositional constant ⊥, the usual Boolean operators ¬, ∨, ∨, →, and ↔ —with ¬ and ∨ regarded as primitives—and the two unary modal operators ◇ and □ — ◇ being regarded as primitive. Modal formulas will be denoted by lower case Greek letters, sets of formulas by Greek capitals. (shrink)

In case-marking languages with nominative-accusative alignment the subject of a sentence is usually marked by nominative case. In some of these languages, however, the subject of a number of verbs is either consistently or alternately marked by another, non-nominative case. Such non-canonical case marking has often been approached in the linguistic literature as a phenomenon at the interface between syntax and semantics. Yet the predictions of this kind of approach seem more probabilistic than regular. This paper offers a new (...) perspective to analyse the phenomenon, which encompasses the role of information structure in case marking. Drawing on Silverstein’s theory of differential subject marking and Dalrymple & Nikolaeva’s approach to differential object marking, it is argued that non-canonically case-marked subjects can be better analysed as instances of either non-topical subjects or subjects lacking one or more semantic features typical of topicality. The approach outlined in the paper is tested on a number of constructions in Russian and Lithuanian. It is shown how, in both languages, the analysed instances of non-canonically case-marked subjects exhibit a complex interplay among grammatical, semantic and discourse-pragmatic factors. (shrink)

It is common to find that so-called minority languages enjoy fewer (if any) diagnostic tools than the so-called majority languages. This has repercussions for the detection and proper assessment of children with Specific Language Impairment (SLI) brought up in these languages. With a view to remedy this situation for Catalan, I developed a sentence repetition task to assess grammatical maturity in school-age children; in current practice, Catalan-speaking children are assessed with tests translated from Spanish, with disregard of the fact that (...) the markers of SLI may differ substantially from one language to another, even between closely related languages. The test proposed here is inspired by SASIT [School-Age Sentence Imitation Test – English], designed for English by Marinis et al. ( 2011 ); some of the constructions targeted are challenging in a subset of languages, but not others, and are included because they are indeed affected in Catalan SLI; other constructions appear to be disrupted universally. The test involves canonical SVO sentences, sentences with third person accusative clitics (known to be problematic in Catalan SLI, but not in Spanish), passives, wh- interrogatives, subordinate clauses, subject and object relatives and conditionals. The test was administered to thirty typically developing 6- and 7-year-olds (as reported in Gavarró et al., 2012b ), and five children diagnosed with SLI (mean age 10;7). The results of the task were scored under two systems: (i) identical vs. non-identical repetition and (ii) identical, grammatical and ungrammatical repetition, with detail regarding the error type. The results for typically developing and SLI children showed differences between the groups: identical repetition was found in 88.9% of cases for typically developing children but only 48% for SLI children. Ungrammatical productions were higher for the SLI group, and so were grammatical but different repetitions, a trend which was found in every child individually. The results are compared to those available in the literature for similar languages and I discuss the impact of grammatical variation in language performance, in both typical and impaired development. (shrink)

In a recent article in Analysis, Graeme Hunter and William Seager (1981) attempt to rescue counterpart theory (CT) from some objections of Hazen 1979. They see these objections as arising from ‘uncritical use of the translation scheme originally proposed by Lewis’, and intend to meet them by refraining from use of that scheme. But they do not offer a new scheme; they say ‘…it is no more necessary to have one to capture the sense of modal idiom than it is (...) to capture the sense of quantificational idiom…Appeal to truth value is the single most important criterion of correct translation’ (Hunter and Seager 1981:72). Thus, where the scheme of Lewis (1968) translates a truth by a falsehood or conversely, Hunter and Seager simply produce a sentence which they claim to be a better translation, without articulating any structural principles they employ to arrive at their candidate. A friend of CT should not be happy with this procedure. Let Lm be first-order modal language and Lc be the language of counterpart theory. Sentences of Lc are intended to interpret or elucidate the meanings of Lm-sentences in the strong sense that they should be the outputs of an adequate theory of meaning, which we can formulate as a model theory, for Lm, written in Lc plus set theory. The interest of CT resides in its potential to provide an alternative approach to the model theory of modal logic, and from the clauses of any such alternative model theory we should be able to read off a translation scheme for Lm into Lc, just as we can in the standard case. If CT’s motivation is sound, which Hunter and Seager do not dispute, yet there is no translation scheme and so no counterpart-theoretic model theory, one might suspect some defect in the original language Lm. And in fact, Hunter and Seager find certain Lm-sentences multiply ambiguous with respect to Lc; but if a counterpart-theoretic model theory is possible, to say.. (shrink)

A first-order sentence isquasi-modalif its class of models is closed under the modal validity preserving constructions of disjoint unions, inner substructures and bounded epimorphic images.It is shown that all members of the proper class of canonical structures of a modal logicΛhave the same quasi-modal first-order theoryΨΛ. The models of this theory determine a modal logicΛewhich is the largest sublogic ofΛto be determined by an elementary class. The canonical structures ofΛealso haveΨΛas their quasi-modal theory.In addition there is a largest (...) sublogicΛeofΛthat is determined by its canonical structures, and again the canonical structures ofΛehaveΨΛare their quasi-modal theory. Thus. Finally, we show that all finite structures validatingΛare models ofΨΛ, and that ifΛis determined by its finite structures, thenΨΛis equal to the quasi-modal theory of these structures. (shrink)

A first-order sentence is quasi-modal if its class of models is closed under the modal validity preserving constructions of disjoint unions, inner substructures and bounded epimorphic images. It is shown that all members of the proper class of canonical structures of a modal logic Λ have the same quasi-modal first-order theory Ψ Λ . The models of this theory determine a modal logic Λ e which is the largest sublogic of Λ to be determined by an elementary class. The (...) canonical structures of Λ e also have Ψ Λ as their quasi-modal theory. In addition there is a largest sublogic Λ c of Λ that is determined by its canonical structures, and again the canonical structures of Λ c have Ψ Λ are their quasi-modal theory. Thus Ψ Λ = Ψ Λ c = Ψ Λ e . Finally, we show that all finite structures validating Λ are models of Ψ Λ , and that if Λ is determined by its finite structures, then Ψ Λ is equal to the quasi-modal theory of these structures. (shrink)

This study investigates global properties of three categories of English text: canonical fiction, non-canonical fiction, and non-fictional texts. The central hypothesis of the study is that there are systematic differences with respect to structural design features between canonical and non-canonical fiction, and between fictional and non-fictional texts. To investigate these differences, we compiled a corpus containing texts of the three categories of interest, the Jena Corpus of Expository and Fictional Prose. Two aspects of global structure are (...) investigated, variability and self-similar patterns, which reflect long-range correlations along texts. We use four types of basic observations, the frequency of POS-tags per sentence, sentence length, lexical diversity, and the distribution of topic probabilities in segments of texts. These basic observations are grouped into two more general categories, the lower-level properties and, which are observed at the level of the sentence, and the higher-level properties and, which are observed at the textual level. The observations for each property are transformed into series, which are analyzed in terms of variance and subjected to Multi-Fractal Detrended Fluctuation Analysis, giving rise to three statistics: the degree of fractality () of the fractal spectrum. The statistics thus obtained are compared individually across text categories and jointly fed into a classification model. Our results show that there are in fact differences between the three text categories of interest. In general, lower-level text properties are better discriminators than higher-level text properties. Canonical fictional texts differ from non-canonical ones primarily in terms of variability in lower-level text properties. Fractality seems to be a universal feature of text, slightly more pronounced in non-fictional than in fictional texts. On the basis of our results obtained on the basis of corpus data we point out some avenues for future research leading toward a more comprehensive analysis of textual aesthetics, e.g., using experimental methodologies. (shrink)

In different papers, Carnielli, W. & Rodrigues, A., Carnielli, W. Coniglio, M. & Rodrigues, A. and Rodrigues & Carnielli, present two logics motivated by the idea of capturing contradictions as conflicting evidence. The first logic is called BLE and the second—that is a conservative extension of BLE—is named LETJ. Roughly, BLE and LETJ are two non-classical logics in which the Laws of Explosion and Excluded Middle are not admissible. LETJ is built on top of BLE. Moreover, LETJ is a Logic (...) of Formal Inconsistency. This means that there is an operator that, roughly speaking, identifies a formula as having classical behavior. Both systems are motivated by the idea that there are different conditions for accepting or rejecting a sentence of our natural language. So, there are some special introduction and elimination rules in the theory that are capturing different conditions of use. Rodrigues & Carnielli’s paper has an interesting and challenging idea. According to them, BLE and LETJ are incompatible with dialetheia. It seems to show that these paraconsistent logics cannot be interpreted using truth-conditions that allow true contradictions. In short, BLE and LETJ talk about conflicting evidence avoiding to talk about gluts. I am going to argue against this point of view. Basically, I will firstly offer a new interpretation of BLE and LETJ that is compatible with dialetheia. The background of my position is to reject the one canonical interpretation thesis: the idea according to which a logical system has one standard interpretation. Then, I will secondly show that there is no logical basis to fix that Rodrigues & Carnielli’s interpretation is the canonical way to establish the content of logical notions of BLE and LETJ. Furthermore, the system LETJ captures inside classical logic. Then, I am also going to use this technical result to offer some further doubts about the one canonical interpretation thesis. (shrink)

Word order alternation has been described as one of the most productive information structure markers and discourse organizers across languages. Psycholinguistic evidence has shown that word order is a crucial cue for argument interpretation. Previous studies about Spanish sentence comprehension have shown greater difficulty to parse sentences that present a word order that does not respect the order of participants of the verb's lexico-semantic structure, irrespective to whether the sentences follow the canonical word order of the language (...) or not. This difficulty has been accounted as the cognitive cost related to the miscomputation of prominence status of the argument that precedes the verb. Nonetheless, the authors only analyzed the use of alternative word orders in isolated sentences, leaving aside the pragmatic motivation of word order alternation. By means of an eye-tracking task, the current study provides further evidence about the role of information structure for the comprehension of sentences with alternative word order and verb type, and sheds light on the interaction between syntax, semantics and pragmatics. We analyzed both “early” and “late” eye-movement measures as well as accuracy and response times to comprehension questions. Results showed an overall influence of information structure reflected in a modulation of late eye-movement measures as well as offline measures like total reading time and questions response time. However, effects related to the miscomputation of prominence status did not fade away when sentences were preceded by a context that led to non-canonical word order of constituents, showing that prominence computation is a core mechanism for argument interpretation, even in sentences preceded by context. (shrink)

An unconventional formalization of the canonical square of opposition in the notation of classical symbolic logic secures all but one of the canonical square’s grid of logical interrelations between four A-E-I-O categorical sentence types. The canonical square is first formalized in the functional calculus in Frege’s Begriffsschrift, from which it can be directly transcribed into the syntax of contemporary symbolic logic. Difficulties in received formalizations of the canonical square motivate translating I categoricals, ‘Some S is P’, (...) into symbolic logical notation, not conjunctively as \, but unconventionally instead in an ontically neutral conditional logical symbolization, as \. The virtues and drawbacks of the proposal are compared at length on twelve grounds with the explicit existence expansion of A and E categoricals as the default strategy for symbolizing the canonical square preserving all original logical interrelations. (shrink)

In theoretical work about the language of personal taste, the canonical example is the simple predicate of personal taste, 'tasty'. We can also express the same positive gustatory evaluation with the complex expression, 'taste good'. But there is a challenge for an analysis of 'taste good': While it can be used equivalently with 'tasty', it need not be (for instance, imagine it used by someone who can identify good wines by taste but doesn't enjoy them). This kind of two-faced (...) behavior systematically arises with complex sensory-evaluative predicates, including those with other appearance verbs, such as 'look splendid' and 'sound nice'. I examine two strategies for capturing these different uses: one that posits an ambiguity in appearance verbs, and one that does not. The former is in line with an approach to 'look'-statements prominent in work in philosophy of perception, and I consider how the motivation given in that tradition carries over to the present context. I then show how the data used to support the verbal ambiguity approach can equally be captured on the second strategy, which appeals only to independently-motivated flexibility in adjective meaning. I close by discussing some considerations that are relevant for choosing between the two options. (shrink)

This exploratory study assessed the use of functional Near Infrared Spectroscopy (fNIRS) to examine hemodynamic response patterns during sentence processing. Four groups of participants: monolingual English children, bilingual Chinese-English children, bilingual Chinese-English adults and monolingual English adults were given an agent selection syntactic processing task. Bilingual child participants were classified as simultaneous or sequential bilinguals to examine the impact of first language, age of second-language acquisition (AoL2A), and the length of second language experience on behavioral performance and cortical activation. Participants (...) were asked to select the agent of four types of sentences: subject-verb-object (SVO), passive (PAS), subject-extracted relative clause (SR), and object-extracted relative clause (OR) adopted from the “Whatdunit” task by Montgomery et al. (2016). Semantic cues were removed by using inanimate nouns for agents and patients, which constrained participants to make decisions based on syntactic knowledge. Behavioral results showed greater accuracy for canonical SVO and SR sentence types than for noncanonical OR and PAS sentence types, which aligns with prior studies. Neuroimaging results revealed greater hemodynamic responses to relative clauses (i.e., SR and OR sentences) than to simple sentences (SVO and PAS), especially for Chinese-English bilinguals suggesting first-language transfer influencing sentence processing in English. The effects AoL2A and the length of second language experience showed no significant differences between simultaneous and sequential bilinguals or between bilingual adults and children for identifying the correct agent in each sentence. However, neuroimaging results demonstrated greater hemodynamic responses in right dorsolateral prefrontal cortex (DLPFC) and left inferior parietal lobule (IPL) in simultaneous bilinguals compared to sequential bilinguals and greater hemodynamic responses in left and right DLPFC and left IPL among bilingual adults. Different behavioral and neural hemodynamic response patterns afford new insights into the effects of syntactic knowledge on sentence processing. (shrink)

In relative clause extraposition (RCE) in English, a noun is modified by a non-adjacent RC, resulting in a discontinuous dependency, as in: Three people arrived here yesterday who were from Chicago. Although discourse focus is known to influence the choice of RCE over truth-conditionally equivalent sentences with canonical structure (Rochemont and Culicover, English focus constructions and the theory of grammar, Cambridge University Press, 1990; Takami, A functional constraint on Extraposition from NP, John Benjamins, 1999), Hawkins (Efficiency and complexity (...) in grammars, Oxford University Press, 2004) and Wasow (Postverbal behavior, CSLI Publications, 2002) have proposed in addition that RCE should be preferred when the relative clause is long (or ‘heavy’) relative to the VP because such structures are processed more efficiently in comprehension and production. The current study tested this hypothesis based on Hawkins' (Efficiency and complexity in grammars, Oxford University Press, 2004) domain minimization principles. In an acceptability judgment task, canonical sentences were rated significantly higher than extraposition sentences when the RC was light, but this difference disappeared when the RC was heavy. In a self-paced reading task, extraposition sentences were read significantly faster than canonical sentences when the RC was heavy, but there was no difference when the RC was light. In an analysis of RCE in the ICE-GB corpus, extraposed RCs were significantly longer than the VP on average, whereas canonical RCs were significantly shorter, and the proportion of sentences with extraposition decreased as the ratio of VP-to-RC length increased. These findings support Hawkins' (Efficiency and complexity in grammars, Oxford University Press, 2004) domain minimization principles and help explain why a discontinuous dependency is allowed and sometimes preferred even in a language with relatively fixed word order. (shrink)

I argue here that Frege’s eventual view on the relation between sentences and the thoughts they express is that, ideally, a sentence expresses exactly one thought, and a thought is expressed by exactly one (canonical) sentence. This may clash with some mainstream views of Frege, for it has the consequence of de-emphasizing the philosophical significance of the question of how it is possible for someone to regard one sentence as true yet regard another sentence that expresses the same (...) thought as false. This account of Frege was developed by taking a long-range look at his writings over the course of his life. (shrink)

We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic (...) of the closure of this class under disjoint unions, generated subframes, bounded morphic images, and ultraroots. This latter class can be defined by the first-order sentences of a special syntactic form (called pseudo-equations by Goldblatt) that are valid in the former class. The second step is to translate these pseudo-equations into equivalent quasi-positive hybrid sentences. In the third and main step, we show that any quasi-positive sentence S generates an infinite set of modal formulas called "approximants," which together axiomatize a canonical modal logic that is sound and complete for the class of frames validating S. The proof is analogous to standard proofs of Sahlqvist's theorem. It generalizes to sets of quasi-positive sentences. The main result now follows. (shrink)

This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the logical form of a sentence is determined by the semantic types of its primitive terms and their mode of combination as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L is revealed by (...) a (canonical) proof of its T- sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well-grounded. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. (...) Recently, though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

• How to construct a ‘canonical’ Gödel sentence • If PA is sound, it is negation imcomplete • Generalizing that result to sound p.r. axiomatized theories whose language extends LA • ω-incompleteness, ω-inconsistency • If PA is ω-consistent, it is negation imcomplete • Generalizing that result to ω-consistent p.r. axiomatized theories which extend Q..

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, contextualist-friendly readings (...) might plausibly get selected in the challenge cases. (shrink)

In the first chapter, we discuss Dummett’s idea that the notion of truth arises from the one of the correctness of an assertion. We argue that, in a first-order language, the need of defining truth in terms of the notion of satisfaction, which is yielded by the presence of quantifiers, is structurally analogous to the need of a notion of truth as distinct from the one of correctness of an assertion. In the light of the analogy between predicates in Frege (...) and open formulas in Tarksi, we concentrate on the semantic status of predicates. We register a dual attitude of Dummett towards Frege’s ascription of reference to predicates. On the one it is needed to endow quantifiers with their appropriate meaning. On the other hand, the introduction of concepts, as semantic correlate of predicates, smuggles a realist flavor in the overall semantic picture. In concluding the excursus (and with it the chapter), we stress Dummett’s will of developing a semantic picture free from this realist trait. In the second chapter, we present the idea of a proof-theoretic semantics. As for Frege true sentences denotes the truth-value True, so here closed' (i.e. categorical) valid argumentations denotes proofs. If a language contains implication-like operators, in order to characterize the condition of validity of a closed argumentation one has to introduce a notion of validity applying to ‘open’ (i.e. hypothetical) argumentations. We argue that this problem is analogous to the one posed by quantifiers in Frege-Tarksi’s style semantics. That is, implication forces one to introduce notion of validity for argumentations, which is more substantial than the correctness of the assertion of their conclusions. As we saw, the corresponding claim in the truth-based approach—that quantifiers require one to introduce a notion of truth, which is more substantial than the one of an assertion being correct—was the source of realism. Hence, Dummett proposes to reduce the semantic contribution of open argumentations to the one of their ‘closed instances’. In the truth-based perspective, this would correspond to the denial of the need of introducing concepts as the semantic correlates of predicates. We argue that Dummett’s fear, that an irreducible notion of function (represented by the need of ascribing validity to open argumentations) would lead to realism, turns out to be ill-founded. In the third chapter, we discuss the role played by the notion of truth in the anti-realist account. The notion of truth is what the anti-realist needs to cope with the so-called paradox of deduction. The analysis of the paradox yields to distinguishing between the truth of a sentence and the truth of a sentence being recognized. In terms of these conceptual couple, we reconsider the relationship between truth and assertion in an anti-realist perspective. Grounds are provided for a thesis (which was already advanced in chapter two), according to which the notion of the assertion of a sentence being correct is primarily connected only with the canonical means of establishing a sentence. The possibility of establishing a sentence by indirect means is conceptually dependent on the practice of establishing logical relationship of dependence among sentences. That is, the notion of a closed valid non-canonical argumentation is of any theoretical relevance only in presence of a notion of validity applying to open argumentations. In the fourth chapter, we discuss the possibility of characterizing in the proof-theoretic-semantics a notion of refutation. We develop an original characterization of refutations starting from an informal inductive specification of the condition of refutations of logically complex sentences. A sub-structural logic, called dual-intuitionistic logic, stands to this notion in the same relationship in which intuitionistic logic stands to the notion of proof so far consdered. All notions developed in chapter 2 have their corresponding (dual) ones in the framework developed. In particular, the distinctions canonical/non-canonical and closed/open argumentations. In the refutation based perspective, elimination rules have priority over introductions and the (only) assumption over the (many) conclusions. In the conclusions, we indicate the ingredients that an anti-realist approach to meaning should incorporate, in order to avoid the difficulties we registered. The core of an alternative view is a different conception of the relationship between categorical and hypothetical notions, in which the validity of open argumentations is not reduced to that of their instances, but rather it is directly defined. As a limit case, one would get a notion of validity applying to closed argumentations. (shrink)

Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal (...) T}$-proof π of an arithmetical sentence ϕ, f(π) is a PA-proof of ϕ. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. (...) We consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

This paper proposes an Interface Transparency Thesis concerning how linguistic meanings are related to the cognitive systems that are used to evaluate sentences for truth/falsity: a declarative sentence S is semantically associated with a canonical procedure for determining whether S is true; while this procedure need not be used as a verification strategy, competent speakers are biased towards strategies that directly reflect canonical specifications of truth conditions. Evidence in favor of this hypothesis comes from a psycholinguistic experiment (...) examining adult judgments concerning ‘Most of the dots are blue’. This sentence is true if and only if the number of blue dots exceeds the number of nonblue dots. But this leaves unsettled, e.g., how the second cardinality is specified for purposes of understanding and/or verification: via the nonblue things, given a restriction to the dots, as in ‘|{x: Dot(x) & ~Blue(x)}|’; via the blue things, given the same restriction, and subtraction from the number of dots, as in ‘|{x: Dot(x)}| – |{x: Dot(x) & Blue(x)}|’; or in some other way. Psycholinguistic evidence and psychophysical modeling support the second hypothesis. (shrink)

In The Democratic Horizon: Hyperpluralism and the Renewal of Political Liberalism, Alessandro Ferrara seeks a philosophical breakthrough from what looks like it could be a pending dead-end for democracy. The best hope, Ferrara superbly maintains, lies through an extension or updating – a “renewal,” as he calls it – of lines of thought bequeathed to us, by John Rawls and others, under the name of political liberalism. Somewhere near the crux of Ferrara’s reflection stands a class of institutional fixtures whose (...) name is missing from his title. I mean the class “constitution.” I use that word to name a country’s scriptural basic law, its publicly cognizable corpus of canonically worded sentences ordaining the country’s basic institutional framework. My suggestion will be that it is no less tellingly a “constitutional” than a “democratic” horizon that Ferrara’s work, in conjunction with Rawls’s, shows us to be facing. (shrink)

The phenomenon we now know as projection was first observed by Frege in his brief remarks about presupposition in “Sense and Reference.” Frege observes there that the assertion that Kepler died in misery gives rise to the implication that the name Kepler has a referent; but that so too does the assertion that Kepler did not die in misery. Here we have the source of the observation that if p is a presupposition of S, then p is implied by (utterances (...) of) S and by (utterances of) the negation of S. Since Frege, it has been observed that those implications which are shared by a sentence S and by its negation are also typically shared by a variety of other entailment-canceling embeddings of S: in questions, in the antecedents of conditionals, and under epistemic possibility modals. This observation has entered the canon in the form of the “family of sentences” test (Chierchia and McConnell-Ginet 2000). This test is 1 standardly used to demonstrate that some particular element of content projects. An application of the test is demonstrated below. (shrink)

Martin Jay is well aware of the pitfalls involved in contributing a volume on Adorno to the “Modern Masters” series. “Adorno, let it be admitted at the outset, would have been appalled at a book of this kind devoted to him,” is the sentence with which the book begins. Indeed, for Adorno, who strove concertedly to resist easy consumption in the bourgeois marketplace of ideas, such canonization would have been simply anathema. At the outset of his portrait Jay offers several (...) reasons why, despite the misgivings that could be anticipated from his subject, an accessible, summarizing account of a philosophical approach notorious for its hermeticism would still be warranted. The first reason pertains to the (by now hackneyed) hiatus between authorial intention and reception of a work. (shrink)

A. C. Graham thinks that the parallelism in the Neo‐Moist Canons is about the deduction of sentences. On the contrary, Chad Hansen thinks that they are not plausibly treated as inference of deductive forms since the later Moists are at pains to show that they can “go wrong.” In this article, I shall try to provide a logical analysis and a constructive rather than defeatist interpretation of parallelism in the text. I argue that the Moists tend to express their (...) ideas in the “material mode of speech” to build up their semantic and pragmatic sensibility in philosophical thinking. (shrink)

In medieval universities, preaching formed an essential part of the curriculum of theology. Though we know next to nothing about how the subject was formally taught and studied, we are well informed about its requirement and exercise. As early as the end of the twelfth century Peter the Chanter stated that the graduate in theology had to show proficiency in three areas: in lecturing, disputation, and preaching . How and when in a student's career such preaching was to be done (...) is set out in the statutes of major universities, such as Paris, Oxford, Cambridge, and others. In 1253, for instance, the statutes of Oxford University declared that “no one shall incept in theology in this university unless he has first been regent in the arts …, and unless he has lectured on some book from the biblical canon or a book of the Sentences or Histories, and preached in public before the university.” The three-fold requirement was still in place in the fourteenth century and later: “Those who are about to incept in theology, before they are admitted to inception, must throughout all theology schools oppose in public, preach in public, and read in public some book from the biblical canon or the Sentences.” The times and places of such required public preaching, as well as the order in which theologians would give their public sermons, were all regulated in similar statutes and have been discussed in Hastings Rashdall's history of medieval universities and, with particular focus on Oxford, by A. G. Little and F. Pelster. (shrink)

Boolean connexive logic is an extension of Boolean logic that is closed under Modus Ponens and contains Aristotle’s and Boethius’ theses. According to these theses a sentence cannot imply its negation and the negation of a sentence cannot imply the sentence; and if the antecedent implies the consequent, then the antecedent cannot imply the negation of the consequent and if the antecedent implies the negation of the consequent, then the antecedent cannot imply the consequent. Such a logic was first introduced (...) by Jarmużek and Malinowski, by means of so-called relating semantics and tableau systems. Subsequently its modal extension was determined by means of the combination of possible-worlds semantics and relating semantics. In the following article we present axiomatic systems of some basic and modal Boolean connexive logics. Proofs of completeness will be carried out using canonical models defined with respect to maximal consistent sets. (shrink)

Over the last decade, attention has crawled from out of the shadows into the philosophical limelight with several important books and widely read articles. Carolyn Dicey Jennings has been a key player in the attention revolution, actively publishing in the area and promoting awareness. This book was much anticipated by insiders and does not disappoint. It is in no way redundant with respect to other recent monographs, covering both a different range of material and developing novel positions throughout. The book (...) might have been called The Attending Self, since Jennings defines attention as mental prioritization controlled by the self. This invocation of the self is among her central innovations, and may prove to be the main source of controversy. I will highlight points of contention here, but want to emphasize at the outset that the book is essential reading for anyone interested in attention. Jennings also contributes to a range of other debates, which will help a broader audience appreciate the importance this topic.After a brief introduction, Jennings provides “a philosophical landscape” of attention (chap. 2), tracing the concept through history. This is an invaluable achievement that will be welcomed by both newcomers and veterans. Jennings exhibits enormous breadth, covering areas that contemporary philosophers of mind tend to neglect: medieval philosophy, Buddhist thought, and phenomenology, to name a few. We also get perspectives on attention from core figures in the Western canon, such as Descartes, Locke, and Kant, as well as thinkers who gave the topic a more political inflection: Mary Wollstonecraft and W. E. B. DuBois. Jennings surveys contemporary literature as well, locating recent work in these older lineages. Some authors get more treatment later in the book (e.g., William James and Wayne Wu). Overall, Jennings provides the best overview of this history I have seen. She proves that attention is not a new topic, but one with deep roots and one that can inform current debates; Jennings draws on these roots throughout. I would love to see a companion piece surveying scientific theories, including “gain control” and “biased competition,” which get little airtime in the book. Some recent philosophical theories are under-explored as well, including Chris Mole’s concept of cognitive unison (Jennings discusses other aspects of his view), Carlos Montemayor and Harry Haladjian’s exploration of attention’s diversity (we get a touch of this), and my own proposal that attention is a gateway to working memory (not mentioned here). That said, no extant survey is more complete.Chapter 3 begins with the empirical claim that attention is regulated by slow brainwaves, and then takes up two issues. The first is mental causation. Endorsing moderate emergentism, Jennings argues that slow brain waves are causally efficacious even though they are not reducible to lower-level processes. (The metaphysics and neuroscience are presented accessibly, aided by three appendixes.) Second, Jennings argues that these slow brain waves indicate that attention is controlled by the self. As someone who was never moved by the mental causation problem—I don’t think overdetermination threatens efficacy—I would have welcomed more development of this second issue. For one thing, in linking attention to subjective control, Jennings eschews the idea that there can be purely “bottom-up” attention driven by stimulus features alone. This goes against the orthodoxy in attention science, and makes it hard for her to accommodate phenomena such as “pop-out,” or the commonsense idea that attention can be “captured” by a sudden flash or loud sound. For another thing, I wanted to hear more on why Jennings relates slow brain waves to the self. Does this include the slow waves that occur during deep sleep? Is there even such a thing as the self? Is there one self or many? How do slow brain waves reflect our interests, projects, values, self-conceptions, autobiographical narratives, or social identities? Does the social self invoked by Wollstonecraft and DuBois gain a foothold here? The whole chapter campaigns against metaphysical reductionism, but arrives at a perspective on the self that will strike some readers as highly reductive.In the fourth chapter, Jennings sheds further light on her conjecture that attention involves the self by advancing the thesis that attention endows sensory information with meaning. On the face of it, this may sound implausible. Object recognition, reading, and many other meaning-involving processes can take place outside of attention and outside of consciousness. But Jennings has a richer notion of “meaning” in mind. She develops the idea of “subject unity,” which is imposition of structure on perception that reflects the interests of the perceiving subject. This, she claims, is what brings perception into the space of reasons. Along the way, she has interesting observations about binding, feature integration, and demonstrative reference. The material is highly original, and Jennings’s postulation of interest-based perceptual organization is compelling. At the same time, one might wonder whether interests are really relegated to the ambit of attentional control. Consider the cocktail party effect, wherein one’s own name captures attention. This implies a preattentive filter that reflects our interests. Emotionally charged words, facial expressions, and dangerous objects also work this way, and social biases can operate preattentively as well. If these reflect our interests, then meaning may arise outside attention.Jennings’s fifth chapter explores the relationship between attention and consciousness. Some authors have argued that attention is necessary and sufficient for consciousness. Jennings focuses primarily on the necessity claim. She does not systematically review the empirical literature here, but she addresses some of the key findings, and effectively rebuts studies that allege to find consciousness outside attention. She does not rest her case there, however. Instead, she identifies a new class of examples that purport to establish the possibility of consciousness without attention. Her central example she calls “conscious entrainment,” which is what we experience when engaged in habitual or skilled activities. Other possible examples touched on in the chapter include hypervigilance in individuals with attention deficit hyperactivity disorder (ADHD), passive movie watching, dreaming, and “attentional neglect.” These states all involve intense focus, Jennings admits, but not attention. To some readers this may sound contradictory. Isn’t focus a kind of attention? Don’t these states of absorption involve stimulus selection and enhancement of relevant features, suppression of distractors, and other hallmarks of attention? Jennings says none of this is tantamount to attention. Recall that she thinks attention is controlled by the self. In these cases, we are invited to imagine that the self takes a passive role: control is either ceded to the world (movie watching) or to previously mastered routines (skills and habits). Thus, Jennings’s claim that there is no attention in these cases hangs on her contentious thesis that attention requires a controlling self. One might also push back by arguing that, in some of Jennings’s allegedly selfless examples, the self remains involved. Skilled activities and hypervigilance, for example, can reflect personal interests.Skills and hypervigilance get more airtime in chapter 6. There, Jennings turns to questions of responsibility—a neglected topic in attention research. The chapter begins with a manslaughter trial in which the teenage plaintiff was given a light sentence because the judge evidently believed that the teen’s ADHD compromised his ability to control his actions. The example may be a bit triggering for people who have a personal relationship with this diagnosis, but, putting that aside, Jennings uses it to introduce the important concept of attention-based control. With reduced control, Jennings argues, comes reduced responsibility. I am inclined to see ADHD as involving dysregulation of attention (difficulty disengaging and dividing attention, for example) rather than diminished attention, but that can still be characterized as an issue with control of attention; therefore ADHD still illustrates Jennings’s point that there is a link between responsibility and control of attention. This, it turns out, is only half of her story. Having argued for this link, one might expect Jennings to follow Wayne Wu, who contends that attention is necessary for action, and hence for responsibility. She does not. Instead, she says argues that responsibility can also arise in cases of “strategic automaticity.” This brings us back to skills. When skills are deployed, action is governed by learned pairings between stimuli and responses. The choice to exercise a skill requires attention, so attention is needed for being a responsible agent, but once a skill kicks in, attention is no longer required, and one can be held responsible for actions performed skillfully—thus attention is not required for responsibility tout court. Jennings addresses an opposing view (defended by Wu, Ellen Fridland, and Barbara Montero), according to which skills involve “automatic attention” rather than no attention. Jennings worries that this move will collapse the distinction between attention and other kinds of selection and filtering that occur throughout the nervous system, including the retina. She says that the attentional interpretation of skilled action is at odds with the lack of top-down reweighing of sensory inputs, regulated by lateral frontal cortex. These objections to automatic attention warrant response. My own view is that attention involves broadcasting to working memory, so retinal filtering is ruled out. Jennings’s insistence on top-down reweighing will not move those who believe attention can be purely bottom-up. For all that, I side with Jennings in wanting to allow for responsibility without attentional control. I think we can be responsible for implicit biases, for example. I also think attentional control is insufficient for responsibility, as when we act under duress.Jennings offers fresh perspective on the nature of attention, and its role in meaningful perception, consciousness, action, and responsibility. Each chapter can be read separately, but they hang together well, and each reflects her thesis that attention is essentially linked to the self. Though I am skeptical of that strong claim, we would do well to follow Jennings in regarding attention as interest-laden interface between mind and world. I look forward to a sequel in which attention is related to richer conceptions of identity, and where the political consequences of this link are actively explored. Meanwhile, one can hardly fault Jennings for covering too little. She tackles a remarkable range of topics, from metaphysics to ethics. Her arguments throughout demand response, repay careful study, and propel the field forward. (shrink)

In this article, I first analyze and assess the epistemological and semantic status of canonical value-range equations in the formal language of Frege’s Grundgesetze der Arithmetik. I subsequently scrutinize the relation between (a) his informal, metalinguistic stipulation in Grundgesetze I, Section 3, and (b) its formal counterpart, which is Basic Law V. One point I argue for is that the stipulation in Section 3 was designed not only to fix the references of value-range names, but that it was probably (...) also intended to play a regulative role with an eye to Basic Law V. I further intend to shed new light on the status of Frege’s identification of the truth-values with their unit classes in Grundgesetze I, Section 10 and determine its place and importance in his overall logicist project. In a subsequent section, I first discuss the hypothetical extendability of the logical system of Grundgesetze. In what follows, I analyze the incompleteness of that system—were it not inconsistent and hence trivially complete—by focusing on the role of the definite description operator and the axiom governing it (= Basic Law VI) as well as on the role of the application operator. The latter is defined by means of the former. I further comment on the redundancy of an axiom that could be designed to supplement Basic Law VI by incorporating the second clause of Frege’s two-part elucidation of the description operator. I argue that although it seems likely that Basic Law VI could have been shown to be dispensable in Grundgesetze, Frege would probably have been reluctant to dispense with it, despite his commitment to axiomatic parsimony. In my view, the reason is that he considers it essential that every primitive function-name of his formal language be governed and grounded by a basic law that is tailored to the nature and the role of the primitive name occurring at a key point in the law. Toward the end of the article, I propose solutions to two problems with Frege’s use of “=” in the concept-script sentences that result from his definitions involving the replacement of the double stroke of definition with the judgment-stroke. I conclude the article with a summary of the main results that I have achieved. (shrink)

This dissertation is intended to provide a formalism for those generics that trigger nonmonotonic inferences. The formalism is to reflect intentionality and exception-tolerating features of generics, and has an emphasis on the axiomatization of generic reasoning that encodes nonmonotonicity. ;A modal conditional approach is taken to formalize the nonmonotonic reasoning in general at the level of object language. A serial of logic systems---MN, NID, NCUM, N STCUM---are constructed in an increasing strength of the characterized nonmonotonic inference relation. In these systems, (...) two binary modal operators ⩾ and > are introduced in their syntax, and a ⊛ function lifted from the traditional * function is deployed in their semantics. These systems are shown to be sound and complete with respect to certain classes of frames defined in the semantics. They are decidable as well. The nonmonotonic inference is argued to be a ternary relation "[phi], Gamma |∼ alpha", and is defined in the system NSTCUM. Many widely discussed nonmonotonic inference patterns such as Defeasible Modus Ponens, Defeasible Transitivity, the Penguin Principle etc. are justified. The specificity rule is proved to be a theorem of the system N STCUM. The impact of negated defaults on an inference is also investigated and accounted for. ;A canonical form to read off generics is proposed: All generic sentences with subject-predicate structure can be re-written into their canonical form S . If S is a plural noun phrase, it can be further refined to be . Normal objects are selected based on the "meaning" of the subject and predicate terms. The second parameter provides an aspect with respect to which certain objects of a kind are considered normal. Due to such a way to select normal objects, the drowning problem is solved. ;The inference behaviors of generics are axiomatized in the system G, which is a quantificational extension of the system NSTCUM. It is proved to be sound and complete with respect to the class of L⩾,G -frames. Those benchmark examples of generic inferences are examined in the system G. (shrink)

According to Tarski, a theory of truth for a language L is a theory which logically implies for each sentence S of L a sentence of the form:S is true-in-L if and only if p,where rS1 is replaced by a canonical description of a sentence of L and rp1 is replaced by that sentence if L is contained in the metalanguage or by a translation of S if it is not so contained. Tarski constructed consistent and finitely axiomatized theories (...) of truth for various formal languages and showed how to explicitly define ‘is true in L’ within these theories. We all agree that Tarski's theories of truth have enormous philosophical significance, but there is much less agreement on precisely what that significance consists in. (shrink)

There is no single problem of universals but a family of difficulties that treat of a variety of interwoven metaphysical, epistemological, logical and semantic themes. This makes the problem of universals resistant to canonical reduction (to a ‘once-and-for-all’ concern). In particular, the problem of universals cannot be reduced to the problem of supplying truth-makers for sentences that express sameness of type. This is (in part) because the conceptual distinction between numerical and qualitative identity must first be drawn before (...) a sentence is eligible to be supplied with truth-makers. The case is made through a consideration of a recent argument by Gonzalo Rodriguez-Pereyra. (shrink)

In this second lecture, Quine provides a further rational reconstruction of human progress from sensory stimulation to our current scientific theory. This project consists in his further speculations concerning how we have acquired cognitive language. Here, Quine talks of observation sentences and explains how he thinks they can be learned by ostension. This leads him to further speculate concerning how we could master standing sentences, predication and the use of relative clauses. At this stage the language learner has (...) acquired a grammar that is equivalent to first order predicate calculus, which Quine famously advocates as the canonical framework for the language of science. He elaborates on the nature of objective reference, emphasizing that this appears with the predication of general terms since only then are things separated from the terms that name them. (shrink)

Justification for reading Pride and Prejudice as a philosophical novel may be found in its much cited and variously interpreted opening sentence: "It is a truth universally acknowledged, that a single man in possession of a good fortune, must be in want of a wife." This universal law is the first principle of a philosophical novel, although I shall also interpret it as the statement of a scientific law of human nature, a characterization of the civility of English society, and (...) as a pronouncement on the manners of an economic class. Pride and Prejudice is a philosophical novel both in the sense of presenting a philosophy in exposition and of embodying a philosophy in action, and literary criticism exercises its proper function by expounding that philosophy and by explicating and clarifying the thought and action of the novel by means of it. The thought of Pride and Prejudice may be uncovered by interpreting it in accordance with any of a variety of philosophies, but it is peculiarly appropriate, and enlightening, to recognize its Platonizing echoes since the dialogues of Plato have gone through a history of interpretation that has evolved distinctions which are useful in interpreting Pride and Prejudice. Many interpreters of Plato's dialogues, in antiquity and later, argue that they are not statements of thoughts or opinions but are simply exhibitions of how philosophers talk; others, beginning with the Old Academy, interpret them as the expression of the truth not of the doctrines of one philosopher, but of all philosophers; some, beginning with the skepticism of the Middle or New Academy, hold that the method of Socrates was to demonstrate that all doctrines are false and therefore, by the same token, true; and some, following the Neoplatonists, sought in them the adumbration of a truth transcending human thought and expression. Neoplatonic truths are suited to tragedy and epic; skeptical Academic opinions provide a place and expectation proper to comedy. All Platonisms share hierarchical structures of being, thought, and aspiration. Plato himself describes three ladders of being, knowledge, and love in the Republic and the Symposium. The New Academic skepticism chooses a low place on those ladders, which is excellently named in the opening sentence of Pride and Prejudice: knowledge is based on self-evident truths, opinion can rise no higher than "a truth universally accepted," "possession of a good fortune" is a dubious degradation of vision of the ideal God to possession of material goods, and "want of a wife" is a transformation of charity or agape or love of the good in itself to concupiscence or eros or matrimony. Richard McKeon is the editor of The Basic Works of Aristotle and coeditor of Peter Abailard, Sic et Non: A Critical Edition. He delivered an earlier version of this paper at the 1977 Modern Language Association's session of the Division on Philosophical Approaches to Literature. His previous contributions to Critical Inquiry are "Arts of Invention and Arts of Memory: Creation and Criticism" and "Canonic Books and Prohibited Books: Orthodoxy and Heresy in Religion and Culture". (shrink)

We present a semantics for a language that includes sentences that can talk about their own probabilities. This semantics applies a fixed point construction to possible world style structures. One feature of the construction is that some sentences only have their probability given as a range of values. We develop a corresponding axiomatic theory and show by a canonical model construction that it is complete in the presence of the ω-rule. By considering this semantics we argue that (...) principles such as introspection, which lead to paradoxical contradictions if naively formulated, should be expressed by using a truth predicate to do the job of quotation and disquotation and observe that in the case of introspection the principle is then consistent. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 61.2 (2000) 167-187 [Access article in PDF] Amelot de La Houssaye (1634-1706) Annotates Tacitus Jacob Soll Thousands have worked on Tacitus. Some have translated him, others have commented on him. Some have put his text into paraphrases, because of his obscurity: Some others have sucked out the juice and marrow, which is to say, the Sentences, Aphorismes, Apophtegms, and the Political Axioms, (...) of which he is as fertile, as he is sterile in words. His Translators have made him speak every Language, well or badly, according to what they understood or did not. Of his Commentators, some, as if they were Grammarians, have only picked through his Latin, and his fashions of speaking, which are all extraordinary. The others, like students of Politics, neither stopping to look at his phrases, nor his diction, have studied to penetrate the mysteries, and the secrets of the Art-of-governing, of which he has been the Master, and universal Oracle, for more than five-hundred years. 1Thus wrote Nicolas-Abraham Amelot de La Houssaye in the preface of his book, Tibère: Discours politiques sur Tacite (Paris: chez Frédéric Léonard, 1684). He was describing what has become known as the Tacitist movement of political theory, based on the work of the Roman historian Tacitus, which began in the 1580s and lasted until the French Revolution. 2 The practice of translating, commenting [End Page 167] on, or writing like Tacitus began in earnest in the late sixteenth century. Authoritative Latin editions as well as vernacular translations flourished and great kings turned to these now accessible texts as manuals for ruling. 3 Tacitus provided examples from history which could be used to form the basis of a practical political "science." Alongside Machiavelli, practitioners of reason of state placed the works of Tacitus as the founding stones of their humanist canon of secular political philosophy. 4 Marc-Antoine Muret began teaching Tacitus at the University of Rome in 1580, and at the same time Justus Lipsius and Carolus Paschalius began a Latinist tradition of commenting on Tacitus's works. 5 Lipsius, by far the most influential of the sixteenth-century Tacitists, was not only a philologist interested in reestablishing Tacitus's original text but also a commentator who sought to extract moral and political sententiae from the Roman historian. 6 Thus humanist scholarly practices served as the basis of Tacitean political theory as historical exempla, verified by philology, became useful for practical politics. 7 Scholarship and secular political science were bound for the long journey into the modern age. 8 [End Page 168]If humanist scholarship formed the basis of Tacitean political theory, it is also the key for understanding how it worked. Tacitism was an editorial practice and thus scholarly editors became political theorists. Justus Lipsius did not attempt to write his own version of a Tacitean Annales. Instead, he chopped up Tacitus's text, making a commonplace notebook for absolutist princes with his Politicorum libri sex (Leiden: Plantin, 1589). 9 Understanding the Lipsian tradition--the process by which Tacitus was read, broken down and "represented" by scholarly editors--clarifies an unexplored yet essential element of the evolution of secular political theory from a tool of Absolutism to an arm of revolutionary republicanism. 10The most striking example of the Lipsian tradition can be found in the works of Amelot de La Houssaye, whose vision of Tacitean scholarship we have already seen. Between 1670 and his death in 1706 Amelot was the most prolific translator and commentator of Tacitus in France. Between 1676 and 1808, at least 107 editions of 23 different works by Amelot were published in French, almost all Tacitean in nature. 11 These books were widely read and inspired numerous foreign editions. The unifying thread of this extraordinarily large corpus of works is Amelot de La Houssaye's fascination with Tacitus. He not only translated and commented on Tacitus; he also represented the major works of secular political philosophy of his time as Tacitean in origin. Machiavelli, for example, was "proven... (shrink)

In this essay the problem which logically equivalent sentences present to a Tarski-style truth conditional semantics is disscused. The difficulty is that we can obtain deviant theorems which follow by logic alone from our truth theory. After criticizing E.LePore's and B.Loewer's solution, an alternative way of dealing with this problem is presented, making use of the notion of a canonically proved T-theorem.

The last play of the Varronian canon, Vidularia, is transmitted to us through two different channels. Some pages of it survive in the Codex Ambrosianus, containing the prologue and a couple of scenes from the beginning of the play. On the other hand grammarians quote fragments of a few lines out of context, as examples of idiosyncratic Latin syntax and morphology. From the combination of these two disparate sources classical scholars have reconstructed a Vidularia that is parallel to Rudens on (...) all major points. The plot is not very different, and on the whole the consensus philologorum is correctly summed up by the Terentian sentence of Leo: qui utramve recte novit, ambas noverit. (shrink)

It’s not clear what supervaluationists should say about propositional content. Does a vague sentence, e.g., ‘Harry is bald’, express one proposition, or a barrage of propositions, or none at all? Or is the matter indeterminate? The supervaluationist canon is not decisive on the issue; authoritative passages can be cited in favor of each of the proposals just mentioned. Furthermore, some detractors have argued that supervaluationism is incapable of providing any coherent account of propositional content. This paper considers each of the (...) proposals for how many propositions are expressed by a vague sentence: none, some, all, or it’s indeterminate. Most of these proposals turn out to be unworkable in the metalanguage. I conclude that orthodox supervaluationists—those who identify truth with supertruth—must either relax the standard requirement that propositions be bivalent, or else alter the standard relation between sentences and propositions in which a sentence inherits its truth-conditions from the proposition it expresses. The best option going forward for the orthodox supervaluationist is perhaps the most surprising—amend the requirement that propositions be bivalent. I argue that propositions having supervaluational truth-conditions are best suited to fill the propositional roles in the semantic theory of a vague language. These propositions admit of truth-value gaps, and gappy propositions are controversial, but I argue that they earn their keep. (shrink)

Veltman’s test semantics and developments thereof reject the canon about semantic contents and attitude ascriptions in favor of dynamic alternatives. According to these theories the semantic content of a sentence is not a proposition, but a context change potential (CCP). Similarly, beliefs are not taken to be relations between agents and propositions, but agents and CCPs. These deviations from the canon come at the cost of an elegant explanation about the correctness of belief. Standardly, it is taken that the content (...) of a belief is correct just in case the content of that belief is true. The proponent of the test semantics cannot appeal to this explanation since they hold that certain contents, namely epistemically modalized contents, do not express propositions, and are neither true nor false. After motivating the need for an account of the correctness of belief within the dynamic framework, I argue that the few extant accounts in the literature are unsatisfactory. A novel account is proposed that avoids the problems of competing views. (shrink)

The difficulties encountered by attempts to treat identity as a relation between an object and itself are well-known: "...the sentence 'The morning star is...the morning star' is analytic and a truism, while...'The morning star is the evening star' is synthetic and represents a 'valuable extension of our knowledge'... But if {the morning star} and {the evening star} are the same object, and identity is taken as a relation holding between this object and itself, then it is impossible to explain how (...) the two sentences can differ in cognitive content... ". Russell's solution to these difficulties rejects the identification of logical with grammatical form, in effect denying that such sentences assert relations between the morning star and itself. The logical representations which the Russellian proposes, contain quantifiers, predicate letters, and individual variables, but no expressions standing for particulars. The Fregean solution, while admitting logical representations whose nominal expressions stand for particulars, insists that the meaning of such expressions is different from their reference. Frege-Russell analyses thus both deny that the morning star is involved qua particular in the meaning of the sentences in question. ;Rather than replace the morning star as ontological subject of these sentences, I suggest that their difference in meaning arises from the kind of particular that the identity-relation relates--a particular which, unlike its Frege-Russell counterpart, is two-sided and multi-faceted. Such a particular requires an ambiguous singular term. In Chapter 1, I utilize such a term to provide a surfacist account of belief-context ambiguity requiring neither differences in relative scope nor distinctions between sense and reference. In Chapter 2, I go on to provide an account of negative existentials, necessity- and identity-statements which resolves philosophical problems that Russell-Frege analyses only avoid. To solve these problems, I show that it is necessary to reject two canons of philosophical logic, the Law of Identity and the Indiscernibility of Identicals. (shrink)

At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution (...) of identicals. Tarski never committed the first fallacy and may have himself considered it fallacious. Nevertheless, I clarify that it is fallacious. I then argue substitution of identicals needs to be restricted within the scope of the truth predicate. A logic for truth implementing this restriction is a monotonic extension of a classical first order logic, or indeed a formalizable fragment of natural language. Proofs of Tarski’s Indefinability of Truth theorem are invalid in this logic. This approach generalizes to invalidate proofs of Liar-like paradoxes, particularly the predicate form of the Knower paradox. Consequently, such a logic can be further extended in a way that avoids Montague’s theorem for such a system. Yet, the semantic status of a Liar sentence is not fully resolved. It is no longer overdetermined; it is now underdetermined. (shrink)