We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim (...) that propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (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)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. (...) We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only (...) the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

When I think that I am now thinking about a rose, are there two mental acts present in the intellect at once, the one direct (about the rose) and the other reflex (about the thought about the rose)? According to a generally accepted principle in medieval psychology, a given mental power cannot have or elicit multiple mental acts at the same time. Hence, many medieval thinkers were unwilling to admit that during such a case of mental reflection there are two (...) acts present in the mind. In this paper, I will look at two theories about mental reflection. According to John Pouilly (1312), during a case of mental reflection there is just one act present in the mind. However, this one act is somehow identical with the direct mental act about the rose that immediately preceded it. If it were not identical with this act, then the sentence "I am thinking that I am thinking about a rose" would be false, since in order for this sentence to be true the direct mental act of thinking about the rose must be present with the reflex mental act of thinking about that act, either as a distinct act, or as somehow identical with it. According to John Baconthorpe (ca. 1325), such a view fails, for even if the reflex mental act were somehow identical with the direct mental act that immediately preceded it, still we would have to admit that it does not coexist with it. On his view, what is sufficient here is that the direct mental· act exist merely as a kind of represented object. Hence, for Baconthorpe, when I think that I am thinking about a rose, there is just one act present in the mind, and this one act has as its content another distinct act (the direct act). However, the direct act does not really exist at the same time as it, although it is represented as if it did. (shrink)

Davidson’s 1965 paper, “Theories of Meaning and Learnable Languages”, has invariably been interpreted, by others and by myself, as arguing that natural languages must have a compositional semantics, or at least a systematic semantics, that can be finitely specified. However, in his reply to me in the Żegleń volume, Davidson denies that compositionality is in any need of an argument. How does this add up? In this paper I consider Davidson’s first three meaning theoretic papers from this perspective. I conclude (...) that Davidson was right in his reply to me that he never took compositionality, or systematic semantics, to be in need of justification. What Davidson had been concerned with, clearly in the 1965 paper and in “Truth and Meaning” from 1967, and to some extent in his Carnap critique from 1963, is that we need a general theory of natural language meaning, that such a theory should not be in conflict with the learnability of a language, and that such a theory bring out should how knowledge of a finite number of features of a language suffices for the understanding of all the sentences of that language. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our (...) theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. A speaker (...) is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

We are affected by the world: when I place my hand next to the fire, it becomes hot, and when I plunge it into the bucket of ice water, it becomes cold. What goes for physical changes also goes for at least some mental changes: when Felix the Cat leaps upon my lap, my lap not only becomes warm, but I also feel this warmth, and when he purrs, I hear his purr. It seems obvious, in other words, that perception (...) (at least, and at least under ordinary conditions) is a matter of being affected by the agency of perceptible objects. Call this doctrine affectionism. Durand of St.-Pourçain rejects affectionism. The paper has three parts. In the first part, I sketch, briefly, what motivates Durand to reject affectionism. In the second part, I will take up the affectionist doctrine as defended by Durand's older contemporary at Paris, Godfrey of Fontaines, who holds that the object of all our mental acts (not just perceptions, but also thoughts and desires) is the efficient cause of those acts, or, in other words, all mental acts (not just perception) come about owing to the affection of the relevant mental faculty by the agency of the object. As it turns out, Godfrey develops a celebrated argument against the thesis that the object is not the efficient cause but a mere sine qua non cause. Hence his position offers a challenge to Durand's position, a challenge, I argue in the third part, Durand meets. (shrink)

The first sentence of NE I.2 has roughly the form: "If A [there is a universal end] and B, then D [this end will be the best good]". According to some commentators, Aristotle uses B to infer A; but then the sentence is fallacious. According to other commentators, Aristotle does not use B ; but then the sentence is bizarre. Contrary to both sets of commentators, I suggest that Aristotle uses B together with A to infer validly that there is (...) a non-instrumental – and thus unique – universal end. On this interpretation the above two problems disappear, but a subtler problem emerges: not-B does not entail C. (shrink)

Durand of Saint-Pourçain's earliest treatment of cognitive habits is contained in his Sentences Commentary, Book 3, Distinction 23. In the first two questions, he discusses the ontological status of habits and their causal role, establishing his own unique view alongside the views of Godfrey of Fontaines and Hervaeus Natalis. What follows is the Latin text and an English translation of Durand's Sentences (A/B) III, d. 23, qq. 1-2.

I argue, in this thesis, that proper name reference is a wholly pragmatic phenomenon. The reference of a proper name is neither constitutive of, nor determined by, the semantic content of that name, but is determined, on an occasion of use, by pragmatic factors. The majority of views in the literature on proper name reference claim that reference is in some way determined by the semantics of the name, either because their reference simply constitutes their semantics (which generally requires a (...) very fine-grained individuation of names), or because names have an indexical-like semantics that returns a referent given certain specific contextual parameters. I discuss and criticize these views in detail, arguing, essentially, in both cases, that there can be no determinate criteria for reference determination—a claim required by both types of semantic view. I also consider a less common view on proper name reference: that it is determined wholly by speakers’ intentions. I argue that the most plausible version of this view—a strong neo-Gricean position whereby all utterance content is determined by the communicative intentions of the speaker—is implausible in light of psychological data. In the positive part of my thesis, I develop a pragmatic view of proper name reference that is influenced primarily by the work of Charles Travis. I argue that the reference of proper names can only be satisfactorily accounted for by claiming that reference occurs not at the level of word meaning, but at the pragmatic level, on an occasion of utterance. I claim that the contextual mechanisms that determine the reference of a name on an occasion are the same kinds of thing that determine the truth-values of utterances according to Travis. Thus, names are, effectively, occasion sensitive in the way that Travis claims predicates and sentences (amongst other expressions) are. Finally, I discuss how further research might address how my pragmatic view of reference affects traditional issues in the literature on names, and the consequences of the view for the semantics of names. (shrink)

The corporate meltdowns of this and the previous decade in the US - WorldCom, Enron, Tyco, and in Australia - FAI, HIH and AWB being among the many examples - have resulted in the governments of those two countries introducing legislation and policy guidelines aimed at minimising future corporate misbehaviour. -/- The US has introduced the Sarbanes Oxley Act, with requirements on corporate accountants and auditors, as well as its whistleblowing provisions. It has revised the Federal Sentencing Guidelines for Organizations. (...) New rules for the NYSE and NASDAQ have also been introduced. In addition, the U.S. Securities and Exchange Commission and U.S. Department of Justice have further strengthened the Foreign Corrupt Practices Act 1977, last revised in 1997. -/- Australia has revised the Corporations Act to include whistleblower protection clauses as well as adopted the ASX Corporate Governance guidelines. Standards Australia has issued its handbook on corporate governance. Although not a business issue, the Australian government has also announced that it will introduce whistleblower protection legislation for the public sector by the end of its first term in office. This legislation will likely influence whatever the private sector does in this respect. The inclusion of whistleblower protection in both Sarbanes–Oxley and the Corporations Act reflects a growing body of research that finds that people internal to an organisation are the most effective way to identify corporate wrongs. The Commonwealth Treasury has recently issued an options paper, stating that the Corporations Act has been ineffectual. It has sought submissions on revisions to the legislation that the Australian Government could take. This paper examines the policies advocated by over 20 organisations and academics concerned with whistleblowing issues. It draws the conclusion that on current indications, even after further reform, Australian legislation and policies are still likely to be less effectual than overseas practices. -/- --------------------------------- . (shrink)

Propositions are traditionally regarded as performing vital roles in theories of natural language, logic, and cognition. This chapter offers an opinionated survey of recent literature to assess whether they are still needed to perform three linguistic roles: be the meaning of a declarative sentence in a context, be what is designated by certain linguistic expressions, and be the content of illocutionary acts. After considering many of the relevant choice-points, I suggest that there remains a linguistic basis for propositions, but not (...) for some of the traditional reasons. (shrink)

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier the- ses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Con- struction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the (...) paper, I am satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)

Lying is standardly distinguished from misleading according to how a disbelieved proposition is conveyed. To lie, a speaker uses a sentence to say a proposition she does not believe. A speaker merely misleads by using a sentence to somehow convey but not say a disbelieved proposition. Front-and-center to the lying/misleading distinction is a conception of what-is-said by a sentence in a context. Stokke (2016, 2018) has recently argued that the standard account of lying/misleading is explanatorily inadequate unless paired with a (...) theory where what-is-said by a sentence is determined by the question under discussion or QUD. I present two objections to his theory, and conclude that no extant theory of what-is-said enables the standard account of the lying/misleading distinction to be explanatorily adequate. (shrink)

ABSTRACTThis article offers a novel sceptical argument that the sensitivity-contextualist must say is sound; moreover, she must say that the conclusion of this argument is true at ordinary standards. The view under scrutiny has it that in different contexts knowledge-attributing sentences express different propositions, propositions which differ in the stretch of worlds across which the subject is required to track the truth. I identify the underlying reason for the sceptical result and argue that it makes sensitivity-contextualism irremediably flawed. Contextualists, (...) I conclude, should abandon sensitivity for some other piece of epistemic machinery. (shrink)

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier theses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Construction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the paper, I (...) am satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)

A speaker’s use of a sentence does more than contribute a content to a conversation. It also expresses the speaker’s attitude. This essay is about which attitude or attitudes are expressed by using an interrogative sentence to ask a question. With reference to eight lines of data about how questions are circulated in conversation, it is argued that a desire to know the question’s answer(s) is expressed.

A traditional problem with the performative hypothesis is that it cannot assign proper truth-conditions to a declarative sentence. This paper shows that the problem is solved by adopting a multidimensional semantics on which sentences have more than just truth-conditions. This is good news for those who want to at least partially revive the hypothesis. The solution also brings into focus a lesson about what issues to consider when drawing the semantics/pragmatics boundary.

Kripke’s main argument against descriptivism is rooted in a category error that confuses statements about the world with statements about models of the world. It is only because of the ambiguity introduced by the fact that a single sentence can frame two different propositions, one necessary and the other a posteriori, that one reaches the mistaken conclusion that there can be necessary a posteriori truths. This ambiguity from language was carried over into modal logic by Kripke. However, we must consider (...) the two different propositions (1) and (2) separately. Doing so reveals that a given proposition is either necessary and a priori or contingent and a posteriori. It cannot be both. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

In Popper's Logik der Forschung, a theoretical system is a set of sentences that describe a particular sub-area of science, in particular of empirical science. The goal of axiomatizing a theoretical system is to specify a small number of "axioms" describing all presuppositions of the sub-area under consideration, so that all other sentences of this system can be derived from them by means of logical or mathematical transformations. The paper discusses two philosophical interpretations of these proper axioms. First, (...) proper axioms stipulate the use of the signs for the basic concepts of the system. Consequently, the proper axioms turn out to be analytic relative to a class of interpretations of the underlying logic. Hence, they cannot be falsified by refuting their logical consequences because these consequences are analytic as well. Secondly, proper axioms are synthetic, falsifiable and uncertain sentences. Hence, they are not immunized against falsification by refuting their logical consequences. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s (...) thesis. For this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new (...) ontological relationship between a particular and a universal, which holds when no instance of the universal has a specific qualified ontological relation with the particular. This relation is found to be able to accommodate nearly all occurrences of negative findings in the examined sample, in ways which involve no reference to negative entities. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...) to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

Epistemological contextualists maintain that the truth-conditions of sentences of the form 'S knows that P' vary according to the context in which they're uttered, where this variation is due to the semantics of 'knows'. Among the linguistic data that have been offered in support of contextualism are several everyday cases. We argue that these cases fail to support contextualism and that they instead support epistemological invariantism—the thesis that the truth-conditions of 'S knows that P' do not vary according to (...) the context of their utterance. (shrink)

The search for the extensions of sentences can be guided by Frege’s “principle of compositionality of extension”, according to which the extension of a composed expression depends only on its logical form and the extensions of its parts capable of having extensions. By means of this principle, a strict criterion for the admissibility of objects as extensions of sentences can be derived: every object is admissible as the extension of a sentence that is preserved under the substitution of (...) co-extensional expressions. The question is: what are the extensions of elementary sentences containing empty singular terms, like ‘Vulcan rotates’. It can be demonstrated that in such sentences, states of affairs as structured objects (but not truth-values) are preserved under the substitution of co-extensional expressions. Hence, such states of affairs are admissible (while truth-values are not) as extensions of elementary sentences containing empty singular terms. (shrink)

French translation of "Truth-Makers" (1984). A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. (...) The core of our theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the question (...) of whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...) 1969 when I was appointed. Soon after, he became Chair. As his Associate Chair from 1971to 1975, I spent many hours with him in Buffalo and on professional trips .. (shrink)

Spoken sentences have parts. Therefore they take time to speak. For instance, when you say, “Socrates is running”, you begin by uttering the subject term ("Socrates"), before carrying on to the predicate. But are the corresponding predications in thought also composite? And are such thoughts extended across time, like their spoken counterparts? Peter Abelard gave an affirmative response to both questions. Alberic of Paris denied the first and, as a corollary, denied the second. Here, I first set out Abelard’s (...) account. I then present a series of arguments against Abelard, reconstructed from (sometimes fragmentary) manuscripts associated with Alberic’s school. I conclude with an observation about present philosophy of language: this twelfth-century debate points to some undefended (and largely unstated) assumptions common to our latest thinking about propositions. I highlight this by presenting recent accounts of two philosophers with radically different outlooks: Jeffrey King and Peter Hanks. Both their accounts take many of the same things for granted, as the Alberican criticisms make plain. (shrink)

The present text contains a critical edition of Peter of Palude’s question of divine concurrence, found in his Sentences commentary, book II, d. 1, q. 4. The question concerns whether God is immediately active in every action of a creature, and if yes, how we should understand this divine concurrence. Peter, just as elsewhere in his commentary, considers at length the opinions of other thinkers — especially those of Giles of Rome, Durand of St.-Pourçain, and Thomas Aquinas — and (...) develops his own answer as a response to theirs. Thus, while Giles maintained that God acts uniformly in every instance of natural causation just as the sun acts uniformly by giving the same light to everything, Peter (following Durand) argues that this is incompatible with the divine creation of multiple things. Second, while Durand maintained that God is only mediately active in the actions of creatures, Peter rejects this opinion because it cannot account for miracles contra naturam (such as the three young men in Nebuchadnezzar’s fire), and because he thinks that God’s immediate action follows from his immediate conservation of creatures. Third, Peter presents Aquinas’s position in detail, and defends it against Durand’s objections; according to this position, God immediately conserves and concurs with every creature, with an action that is numerically distinct from that of the secondary agent. Although as a result of his extensive borrowing, Peter’s text might not be regarded as immensely original, it provides an interesting case study of the Dominican reaction against Durand in the early 1300’s. (shrink)

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)

Peter Milne has tried to refure Truthmaker Maximalism. the thesis that every truth has a truthmaker, by producing a simple and direct counterexample to it, the sentence M: This sentence has no truthmaker. I argue that, contrary to what Milne argues, on Truthmaker Maximalism M is equivalent to the Liar, which gives the truthmaker maximalist a way to defend his position from Milne's counterexample: to argue that M expresses no proposition.

Propositional attitude sentences, such as (1) Pierre believes that snow is white, have proved to be formidably difficult to account for in a semantic theory. It is generally agreed that the that-clause ‘that snow is white’ purports to refer to the proposition that snow is white, but no agreement has been reached on what this proposition is. Sententialism is a semantic theory which tries to undermine the very enterprise of understanding what proposition is referred to in (1): according to (...) sententialists, in (1) reference is made to the sentence “Snow is white”. Sententialism is generally considered doomed. The two main reasons why are the famous translation argument, firstly suggested by Alonzo Church, and a problem raised by Stephen Schiffer. The purpose of this paper is to provide a unified solution to both criticisms. What I take to be the key ingredient sententialists may exploit is an observation that concerns the nature of languages and quotations: since quotation marks display the quoted material, if you are a speaker of the language the quoted material belongs to, you usually cannot but understand what is quoted. Moreover, I show that sententialists may appeal to that very observation also in order to answer another problem, pointed out by Kent Bach. I conclude that there are good reasons for resisting the temptation of introducing propositions in order to account for propositional attitude sentences. (shrink)

Robert Cowton’s questions commentary on Peter Lombard’s Sentences originated ca. 1309–1311. This is a pdf of the edition prepared by Michiel Streijger containing Cowton’s questions on distinctions 1–14 of the second book of Sentences.

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After (...) presenting these arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their (...) truth-conditions between different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

My belief that Socrates was wise, and your belief that Socrates was mortal can be said to have a common focus, insofar as both these thoughts are about Socrates. In Peter Geach’s terminology, the objects of our beliefs bear the feature of intentional identity, because our beliefs share the same putative target. But what if it turned out that Socrates never existed? Can a pair of thoughts share a common focus if the object both thoughts are about, does not actually, (...) really exist? Object-centric accounts of intentionality which explain the aboutness or directedness of thought in terms of the intentional object the thought in question is about, contend that thoughts which share a common focus do so in virtue of both thoughts simply being about the same intentional object. However, Alexander Sandgren contends that such theories face difficulties in explaining a puzzle of intentional identity put forward by Walter Edelberg, in which a pair of sentences seem to differ in truth value but are purportedly logically equivalent on the object-centric theory. If this is right, then it seems that any account which explains intentionality with reference to an intentional object is threatened by this result, whether this object be abstract, merely possible, Meinongian, or otherwise. In this paper, I argue that Edelberg’s Puzzle is analogous to Frege’s Puzzle and the same tools conventionally used to solve Frege’s Puzzle can be used to solve Edelberg’s Puzzle. I then propose a new object-centric solution to Edelberg’s Puzzle which takes into account modes of presentation and which is able to accommodate all the relevant linguistic data. (shrink)

Thomas Aquinas wrote a text later known as Quaestio de attributis and ordered it inserted in a precise location of his Commentary on the Sentences of Peter Lombard more than a decade after composing this work. Aquinas assigned exceptional importance to this text, in which he confronts the debate on the issue of the divine attributes that swept the most important centres of learning in 13th Century Europe and examines the answers given to the problem by the representatives of (...) the four mainstream schools of his time: the Greek mystic Dionysius Areopagita, the Latin Saint Anselm of Canterbury, the Jewish rabbi Moses Maimonides and the Muslim philosopher Ibn Sina. This in-depth study of Thomas Aquinas’ Quaestio de attributis (In I Sent., d. 2, q. 1, a. 3) binds together the findings of previous research on the unique history of this text by reconstructing the historical circumstances surrounding its composition, shows that the Quaestio contains Aquinas’ final answer to the dispute on the divine attributes, and thoroughly examines his interpretation of Maimonides’ position on the issue of the knowledge of God by analysing this and other texts related to it chronologically and doctrinally. The examination of the Quaestio reveals the background of Thomas Aquinas’ renewed interest in Maimonides’ position on the issue and brings to light elements of Aquinas’ interpretation that are absent from his earlier references to Maimonides. Moreover, the chronological and doctrinal connection of the Quaestio de attributis to other Thomistic works with explicit references to Maimonides enables a reconstruction of his comprehensive approach to Maimonides’ teaching on the possibility and extent of the knowledge of God in the Guide of the Perplexed and highlights the place of Maimonides’ philosophical teachings in Thomas’ own thought in issues like "Being" as the proper name of God, the multiplicity of the divine names, the beatific vision in the afterlife, the causes that prevent the instruction of the multitude in divine matters and the role of faith and prophecy in the acquisition of the true knowledge of God in this life. The last chapter examines the reasons behind Aquinas’ silencing of Maimonides’ name when introducing his Five Ways for the knowledge of the existence of God, in spite of the evident relation between these and Maimonides’ Four Speculations. The study is completed with an extensive appendix that includes the text of the Quaestio de attributis with an English translation and the critical edition of several chapters of the 13th Century Latin translation of the Guide of the Perplexed known as Dux neutrorum. (shrink)

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a small (...) class of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper "Ein Redehandlungskalkül. (...) Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://philpapers.org/rec/CORERE.). (shrink)

History witnesses alternative approaches to “the proposition”. The proposition has been referred to as the object of belief, disbelief, and doubt: generally as the object of propositional attitudes, that which can be said to be believed, disbelieved, understood, etc. It has also been taken to be the object of grasping, judging, assuming, affirming, denying, and inquiring: generally as the object of propositional actions, that which can be said to be grasped, judged true or false, assumed for reasoning purposes, etc. The (...) proposition has also been taken to be the subject of truth and falsity: generally as the subject of propositional properties, that which can be said to be true, false, tautological, informative, inconsistent,etc. It has also been taken as the subject and object of logical relations, e.g. that which can be said to imply, be implied, contradict, be contradicted, etc. Prima facie, such properties and relations are non-mental and objective. It has also been taken to be the resultants or products of propositional operations, usually mental or linguistic; e.g. judging, affirming, and denying have been held to produce propositions called judgments, affirmations, and negations, respectively. Propositions have also been taken to be certain declarative sentences. Finally,propositions have been taken to be meanings of certain declarative sentences. This essay is an informal, selective, and incomplete survey of alternative approaches to “the proposition” with special attention to the views of the late American philosopher Peter Hare (1935–2008)and of those who influenced him. DOI: 10.5007/1808-1711.2011v15n1p51. (shrink)

The indexical sentence “I am here now” can be used any time and anywhere by anyone to say something true. Rather than yielding a special kind of infallible knowledge, this fact indicates that every speaker or thinker has a zero of an egocentric coordinate system at his disposal. Many idealist philosophers assume that this egocentric zero can be further reduced. The ability to make a de se-reference with the first person pronoun, they claim, need not involve spatiotemporal self-localization. The paper (...) challenges this idealistic view. Starting from the observation that even Descartes’ cogito argument, which expresses a tensed truth, involves a dated mental episode, it is argued that nothing can exist in time without being in space. The paper concludes that the egocentric zero of orientation with its three mutually dependent elements (I, here, now) cannot be further minimized. Thinkers of I-thoughts must have a spatiotemporal position. They must be Strawsonian persons rather than Cartesian egos. (shrink)

This paper discusses the first incarnation of what came to be known as the “Frege-Geach” point. The point was made by Peter Geach in his 1960 essay “Ascriptivism”, and developed in “Assertion”, a 1965 piece. Geach’s articles launch a wholesale attack on theories of non-descriptive performances advanced by “some Oxford philosophers” whom he accuses of ignoring “the distinction between calling a thing ‘P’ and predicating ‘P’ of a thing”. One view that Geach specifically targets is H. L. A. Hart’s claim (...) that sentences of the form “X φ-ed” are not primarily descriptive but ascriptive of responsibility for actions. Hart explicitly accepted Geach’s criticism, and disowned his essay. I argue that he was wrong to do so. Perhaps the essay was worth retracting, but not because of Geach’s objections. I begin by restating and refining Geach’s arguments, in order to bring out the flaw he claimed to have detected in the “pattern of philosophising” that he took Hart’s essay to exemplify. I go on to argue that Geach’s original point poses no obstacle either to non-descriptivism in general, or to Hart’s sui generis non-descriptivist claim in particular. (shrink)

This papers discuss the place, if any, of Convention T (the condition of material adequacy of the proper definition of truth formulated by Tarski) in the truth-makers account offered by Kevin Mulligan, Peter Simons and Barry Smith. It is argued that although Tarski’s requirement seems entirely acceptable in the frameworks of truth-makers theories for the first-sight, several doubts arise under a closer inspection. In particular, T-biconditionals have no clear meaning as sentences about truth-makers. Thus, truth-makers theory cannot be considered (...) as the semantic theory of truth enriched by metaphysical (ontological) data. The problem of truth-makers for sentences about future events is discussed at the end of the paper. (shrink)

This paper critically discusses Hacker’s reading of nonsense in Wittgenstein’s Tractatus in terms of his notion of misuse, which is taken to consist in the violation of rules of logical syntax. I argue that Hacker’s reading relies on an equivocation between sign and symbol: what is ‘misused’ is a mere sign, but the verdict of nonsensicality relies on seeing it as a symbol. Although Hacker seeks to distance himself from resolute readings – according to which nonsense always consists in nothing (...) but a failure to assign meaning to one’s sentences – I argue that his own verdicts of nonsensicality have their ultimate grounds in exactly the same sort of assessment, i.e. whether meaning has been assigned to a sentence. The rules of logical syntax, contrary to his own intentions, do no real work in determining whether a sentence is nonsensical or not. (shrink)