Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways (...) to offer explanations of the important properties of propositions. I present the core idea of the theory, and some developments of it. I discuss the relationship between the theory and the content–force distinction. I also present an important type of objection that has been raised to the explanations offered by the act-type theory. (shrink)

Soames and others have proposed that propositions are types of acts of predication. Soames has extended the act-type theory by proposing a distinction between direct and mediate predication. He does this in order to distinguish between the propositions expressed by sentences containing complex singular terms and those expressed by sentences containing proper names which denote the objects that those complex singular terms denote. In particular, he uses his extension to account for the cognitive distinctness of such propositions. I (...) argue that Soames’ extension of the act-type theory is not the best way to do so. I propose an alternative version of the act-type theory, which makes the distinctions that Soames wants to make without Soames’ extension. (shrink)

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. (...) I then argue that this theory is well motivated because it can be part of a theory of what is said. (shrink)

The aim of this paper is to show that central problems arising in the current debate about the nature of inferring can be solved by means of a predicative account of inference, which is inspired by Peter Hanks’s (2007, 2011, 2015) act-type theory of propositions. According to Hanks, the activity of judging is not the activity of assenting to an already structured content, but the activity of predicating a property of an object. The unity of the proposition is (...) constituted by this very activity, and propositions are understood as types of predicative acts. I will argue that we are able to formulate a new account of the activity of inferring on the basis of Hanks’s account of judgement and proposition. We are able to take an inference itself to be a complex kind of predicative activity if we understand the premises and the conclusion of an argument as judgements in Hanks’s sense. A valid (or invalid) argument can then be described as a type of predicative act. (Published Online: 04 May 2022). (shrink)

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as (...) the most promising one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

The notion of cognitive act is of importance for an epistemology that is apt for constructive type theory, and for epistemology in general. Instead of taking knowledge attributions as the primary use of the verb 'to know' that needs to be given an account of, and understanding a first-person knowledge claim as a special case of knowledge attribution, the account of knowledge that is given here understands first-person knowledge claims as the primary use of the verb 'to know'. (...) This means that a cognitive act is an act that counts as cognitive from a first-person point of view. The method of linguistic phenomenology is used to explain or elucidate our epistemic notions. One of the advantages of the theory is that an answer can be given to some of the problems in modern epistemology, such as the Gettier problem. (shrink)

Taking Per Martin-Löf’s constructive type theory as a starting-point a theory of assertion is developed, which is able to account for the epistemic aspects of the speech act of assertion, and in which it is shown that assertion is not a wide genus. From a constructivist point of view, one is entitled to assert, for example, that a proposition A is true, only if one has constructed a proof object a for A in an act of demonstration. (...) One thereby has grounded the assertion by an act of demonstration, and a grounding account of assertion therefore suits constructive type theory. Because the act of demonstration in which such a proof object is constructed results in knowledge that A is true, the constructivist account of assertion has to ward off some of the criticism directed against knowledge accounts of assertion. It is especially the internal relation between a judgement being grounded and its being known that makes it possible to do so. The grounding account of assertion can be considered as a justification account of assertion, but it also differs from justification accounts recently proposed, namely in the treatment of selfless assertions, that is, assertions which are grounded, but are not accompanied by belief. (shrink)

The proofs of universally quantified statements, in mathematics, are given as “schemata” or as “prototypes” which may be applied to each specific instance of the quantified variable. Type Theory allows to turn into a rigorous notion this informal intuition described by many, including Herbrand. In this constructive approach where propositions are types, proofs are viewed as terms of λ-calculus and act as “proof-schemata”, as for universally quantified types. We examine here the critical case of Impredicative Type (...) class='Hi'>Theory, i. e. Girard's system F, where type-quantification ranges over all types. Coherence and decidability properties are proved for prototype proofs in this impredicative context. (shrink)

I show that the act-type theories of Soames and Hanks entail that every sentence with alternative analyses (including every atomic sentence with a polyadic predicate) is ambiguous, many of them massively so. I assume that act types directed toward distinct objects are themselves distinct, plus some standard semantic axioms, and infer that act-type theorists are committed to saying that ‘Mary loves John’ expresses both the act type of predicating [loving John] of Mary and that of predicating [being (...) loved by Mary] of John. Since the two properties are distinct, so are the act types. Hence, the sentence expresses two propositions. I also discuss a non-standard “pluralist” act-type theory, as well as some retreat positions, which all come with considerable problems. Finally, I extrapolate to a general constraint on theories of structured propositions, and find that Jeffrey King’s theory has the same unacceptable consequence as the act-type theory. (shrink)

In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In (...) MTT-semantics, common nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: degree adjectives, comparatives and multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of \-types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context. We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured. (shrink)

Taking Per Martin-Löf’s constructive type theory as a starting-point a theory of assertion is developed, which is able to account for the epistemic aspects of the speech act of assertion, and in which it is shown that assertion is not a wide genus. From a constructivist point of view, one is entitled to assert, for example, that a proposition A is true, only if one has constructed a proof object a for A in an act of demonstration. (...) One thereby has grounded the assertion by an act of demonstration, and a grounding account of assertion therefore suits constructive type theory. Because the act of demonstration in which such a proof object is constructed results in knowledge that A is true, the constructivist account of assertion has to ward off some of the criticism directed against knowledge accounts of assertion. It is especially the internal relation between a judgement being grounded and its being known that makes it possible to do so. The grounding account of assertion can be considered as a justification account of assertion, but it also differs from justification accounts recently proposed, namely in the treatment of selfless assertions, that is, assertions which are grounded, but are not accompanied by belief. (shrink)

Båve has argued that act-type theories of propositions entail unwanted ambiguity of sentences such as ‘Donald loves Joan’. King has argued that act-type theories of propositions entail an unwanted abundance of propositions. I reply that a version of the act-type theory can avoid these objections. The key idea is that grammar constrains the acts that can be performed by the utterance of a sentence. I present enough of the details of this version of the act-type (...) theory to show how it can be used to respond to Båve's and King's objections. I conclude that this is a promising way to develop the act-type theory of propositions. (shrink)

Are there universal transcendent features that any natural language must possess in order to provide for its human speakers adequate means of expression and of communication of their conceptual thoughts? As Frege, Austin and Searle pointed out, complete speech acts of the type called illocutionary acts, and not isolated propositions, are the primary units of meaning in the use and comprehension of language. Thus it is in the very performance of illocutionary acts that speakers express and communicate their thoughts. (...) For this reason, speech act theory contributes to the theory of linguistic universals in formulating the necessary and universal laws governing the successful performance and satisfaction of illocutionary acts in language use and comprehension. I will argue that the logical form of illocutionary acts imposes certain formal constraints on the logical structure of a possible natural language as well as on the mind of competent speakers. In particular, certain syntactic, semantic and pragmatic features are universal because they are indispensable. Moreover, in order to perform and understand illocutionary acts, competent speakers and hearers must have certain mental states and abilities which are in general traditionally related to the faculty of reason.Há características transcendentes universais que qualquer linguagem natural tem que possuir para fornecer meios adequados de expressão e de comunicação de pensamentos conceituais aos seus falantes humanos? Como Frege, Austin e Searle mostraram, atos de fala completos do tipo denominado atos ilocucionários, e não proposições isoladas, são as unidades primárias de significado no uso e compreensão da linguagem. Assim, é no exato desempenho dos atos ilocucionários que os falantes expressam e comunicam os seus pensamentos. Por esta razão, a teoria dos atos de fala contribui para a teoria dos universais lingüísticos, formulando as leis necessárias e universais que governam o desempenho bem-sucedido e a satisfação dos atos ilocucionários no uso e compreensão da linguagem. Eu argumentarei que a forma lógica dos atos ilocucionários impõe certas restrições formais na estrutura lógica de uma possível linguagem natural como também na mente de falantes competentes. Em particular, certos aspectos sintáticos, semânticos e pragmáticos são universais porque eles são indispensáveis. Além disso, a fim de desempenhar e entender os atos ilocucionários, os falantes e ouvintes competentes têm que ter certos estados mentais e habilidades que estão, em geral, tradicionalmente relacionadas à faculdade de razão. (shrink)

It is shown that at least part of the terminology of the theory of speech acts can be methodically introduced within the constructive ortholanguage-programm. There is evidence that a methodical constraint leads the reconstruction of the basic speech-act-types from requests via statements to questions. Moreover there is evidence that requests and questions don't involve "propositional acts".

‘What is characteristic of every mental activity’, according to Brentano, is ‘the reference to something as an object. In this respect every mental activity seems to be something relational.’ But what sort of a relation, if any, is our cognitive access to the world? This question – which we shall call Brentano’s question – throws a new light on many of the traditional problems of epistemology. The paper defends a view of perceptual acts as real relations of a subject to (...) an object. To make this view coherent, a theory of different types of relations is developed, resting on ideas on formal ontology put forward by Husserl in his Logical Investigations and on the theory of relations sketched in Smith's "Acta cum fundamentis in re". The theory is applied to the notion of a Cambridge change, which proves to have an unforeseen relevance to our understanding of perception. (shrink)

In [17], we introduced an extensional variant of generic realizability [22], where realizers act extensionally on realizers, and showed that this form of realizability provides inner models of $\mathsf {CZF}$ (constructive Zermelo–Fraenkel set theory) and $\mathsf {IZF}$ (intuitionistic Zermelo–Fraenkel set theory), that further validate $\mathsf {AC}_{\mathsf {FT}}$ (the axiom of choice in all finite types). In this paper, we show that extensional generic realizability validates several choice principles for dependent types, all exceeding $\mathsf {AC}_{\mathsf {FT}}$. We then show (...) that adding such choice principles does not change the arithmetic part of either $\mathsf {CZF}$ or $\mathsf {IZF}$. (shrink)

The book presents a theory of illocutionary acts. It argues that the study of speech acts initiatied by Austin complements the truth theoretic approach to speaker meaning. It is shown that there are aspects of speaker meaning which cannot be explained by truth theoretic approaches. Though the nature of a speech act is partially determined by the semantic type of the the sentence uttered the speaker's intention and context of utterance are important also.

Using the theory of exact completions, I construct a certain class of pretoposes, consisting of what one might call “predicative realizability toposes”, that can act as categorical models of certain predicative type theories, including Martin-Löf Type Theory.

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or (...) cognizing, an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

According to hedonistic act utilitarianism, an act is morally right if and only if, and because, it produces at least as much pleasure minus pain as any alternative act available to the agent. This dissertation gives a partial defense of utilitarianism against two types of objections: action guidance objections and intuitive objections. In Chapter 1, the main themes of the dissertation are introduced. The chapter also examines questions of how to understand utilitarianism, including (a) how to best formulate the moral (...) explanatory claim of the theory, (b) how to best interpret the phrase "pleasure minus pain," and (c) how the theory is related to act consequentialism. The first part (Chapters 2 and 3) deals with action guidance objections to utilitarianism. Chapter 2 defines two kinds of action guidance: doxastic and evidential guidance. It is argued that utilitarianism is evidentially but not doxastically guiding for us. Chapter 3 evaluates various action guidance objections to utilitarianism. These are the objections that utilitarianism, because it is not doxastically guiding, is a bad moral theory, fails to be a moral theory, is an uninteresting and unimportant moral theory, and is a false moral theory. The second part (Chapters 4, 5 and 6) deals with intuitive objections to utilitarianism. Chapter 4 presents three intuitive objections: Experience Machine, Transplant, and Utility Monster. Three defenses of utilitarianism are subsequently evaluated. Chapter 5 and 6 introduces two alternative defenses of utilitarianism against intuitive objections, both of which concern the role that imagination plays in thought experimentation. In Chapter 5, it is argued that we sometimes unknowingly carry out the wrong thought experiment when we direct intuitive objections against utilitarianism. In many such cases, we elicit moral intuitions that we believe give us reason to reject utilitarianism, but that in fact do not. In Chapter 6, it is argued that using the right kind of sensory imagination when we perform thought experiments will positively affect the epistemic trustworthiness of our moral intuitions. Moreover, it is suggested that doing so renders utilitarianism more plausible. In Chapter 7, the contents of the dissertation are summarized. (shrink)

Michael Bratman’s work is established as one of the most important philosophical approaches to group agency so far, and Shared Agency, A Planning Theory of Acting Together confirms that impression. In this paper I attempt to challenge the book’s central claim that considerations of theoretical simplicity will favor Bratman’s theory of collective action over its main rivals. I do that, firstly, by questioning whether there must be a fundamental difference in kind between Searle style we-intentions and I-intentions within (...) that type of framework. If not, Searle’s type of theory need not be less qualitatively parsimonious than Bratman’s. This hangs on how we understand the notions of modes and contents of intentional states, and the relations between modes, contents, and categorizations of such states. Secondly, by questioning whether Bratman’s theory steers clear of debunking or dismissing collectivity. Elsewhere I have claimed that the manoeuvres Bratman suggested to avoid circularity in his conceptual analysis (in 1992 and 1997) undermine the strength of his resulting notion of collective action. Bratman responds in detail to this objection in his new book and I return to the issue towards the end of the paper. (shrink)

Hanks develops a theory of propositions as speech-act types. Because speech acts play a role in the contents themselves, the view overturns Frege’s force/content distinction, and as such, faces the challenge of explaining how propositions embed under logical operators like negation. The attempt to solve this problem has lead Hanks and his recent commentators to adopt theoretically exotic resources, none of which, we argue, is ultimately successful. The problem is that although there are three different ways of negating the (...) sentence “Mary’s card is an ace”, current speech-act theories of propositions can only accommodate two of them. We distinguish between “It is false that Mary’s card is an ace”, “Mary’s card is a non-ace”, and “Mary’s card is not an ace” and show that Hanks and his commentators cannot explain content negation. We call this Hanks’ Negation Problem. The problem is significant because content negation is the negation required for logic. Fortunately, we think there is a natural way for Hanks to accommodate content negation as successive acts of predication. The view solves Hanks’ Negation Problem with only resources internal to Hanks’ own view. (shrink)

John Searle's Speech Acts made a highly original contribution to work in the philosophy of language. Expression and Meaning is a direct successor, concerned to develop and refine the account presented in Searle's earlier work, and to extend its application to other modes of discourse such as metaphor, fiction, reference, and indirect speech arts. Searle also presents a rational taxonomy of types of speech acts and explores the relation between the meanings of sentences and the contexts of their utterance. The (...) book points forward to a larger theme implicit in these problems - the basis certain features of speech have in the intentionality of mind, and even more generally, the relation of the philosophy of language to the philosophy of mind. (shrink)

Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...) and argue that it has essential behavioral motifs that are relevant to the inherent variation, evolution and diversity in biology. We propose that qs-c is an especially innovative force. We apply qs-c thinking to RNA stem-loops and evaluate how it yields altered bulges and loops in the stem-loop regions, not as errors, but as a natural capability to generate diversity. This basic competence-not error-opens a variety of combinatorial possibilities which may alter and create new biological interactions, identities and newly emerged self identity functions. Thus RNA stem-loops typically operate as cooperative modules, like members of social groups. From such qs-c of stem-loop groups we can trace a variety of RNA secondary structures such as ribozymes, viroids, viruses, mobile genetic elements as abundant infection derived agents that provide the stem-loop societies of small and long non-coding RNAs. (shrink)

The purpose of this paper is to look at some of the apparent characteristics of consciousness in theories in which consciousness is said to play a role in the collapse of the state vector. In particular, these reflections are based primarily on the work of three theorists: Amit Goswami, Henry Stapp, and Evan Harris Walker. Upon looking at such theories, three characteristics of consciousness become apparent. The first is a volitional aspect of the mind that needs to be distinguished from (...) awareness or observation. The second is the stratification of consciousness such that the experiential stream that goes on privately for a given person can be distinguished from a universal deep consciousness, akin to David Bohm’s implicate order, that might underlie ordinary consciousness. Having done so, a question arises regarding the manner in which deliberately intentional acts that occur within one’s experiential stream can apparently have their intended effects. An indirect mechanism consistent with the M5 model of Robert Jahn and Brenda Dunne is proposed. Third, in transferring the notion of the collapse of the state vector from the context of observation in experimental physics to manifestation of everyday life, the temporal discontinuity of collapses implies that the experiential stream of ordinary waking consciousness is also discontinuous. Furthermore, in some collapse-type quantum mind theories, the subject–object distinction is thought to emerge with the collapse, so that the physical universe itself, including its spatial features, could be arising from a pre-physical substrate at the rate of once per Planck time. This idea can be modelled using Jack Ng’s notion of a spacetime lattice with Planck time timelike separations and Planck length spacelike separations. Furthermore, such modelling can be partially cast in category-theoretic form by adapting a previous application of Grothendieck topoi to Edmund Husserl’s conceptualization of conscious mental acts. Thus, a volitional aspect of mind, the stratification of consciousness, and discontinuity of the ordinary waking state are some of the characteristics of consciousness implicit in some collapse-type quantum mind theories. (shrink)

Libertarian philosophy asserts that only the initiation of physical force against persons or property, or the threat thereof, is inherently illegitimate. A corollary to this assertion is that all forms of speech, including fraudulent advertising, are not invasive and therefore should be considered legitimate. On the other hand, fraudulent advertising can be viewed as implicit theft under the theory of contract: if a seller accepts money knowing that his product does not have some of its advertised characteristics, he acquires (...) the property title to the customer’s money without voluntary consent, which is theft. The balance between these two logical extensions of property rights—the right of free speech and the right of contract—lies somewhere in the area of communication philosophy, and can be explained through understanding the role of communication in human interactions. Advertising is a form of communication that may convey important information about the conditions of the proposed contract. These conditions are expressed in particular words that may have different meanings in different circumstances. Therefore to determine whether a particular example or “misinterpretation” is mere sophistry or a type of fraud, the judicial system has to approach each issue on a case-by-case basis. The border between legal and illegal should be determined by precedents and by expectations based on commonly accepted definitions of terms—what people commonly understand by the words and other forms of communication they use. (shrink)

Illocutionary Force and Romanian Orthodox Sermons: An Application of Speech Act Theory to Some Romanian Orthodox Sermons The aim of the paper is to analyze religious discourse with the use of the instruments of semantics and pragmatics. Essentially, it sets out to identify the linguistic elements which enable the illocutionary force in the Romanian orthodox sermons, especially in the discourse of some important figures which have influenced and still influence the Romanian orthodox theology and the religious life in Romania: (...) Father Cleopa, Father Nicolae Steinhardt, and, nowadays, Father Teofil Pârâianu. It is usually assumed that a sermon implies, on the one hand, a kerugmatik action, that of annunciation, and, on the other hand, a translating action of the biblical induce the human will to practice the words in order to Christian precepts. Mutatis mutandis, the perlocutionary effect depends on the illocutionary act and of the illocutionary force. In theory, the illocutionary force of an utterance is strictly motivated by the pragmatic. But there are linguistic elements which function as efficient markers of the illocutionary force, for example performative verbs, verbal moods and some adverbs. The criteria proposed by Searle in order to differentiate the illocutionary acts resulted in the identification of several types inside this class. Searle's taxonomy serves the research purposes: the identification of illocutionary acts found in this kind of religious discourse and, finally, outlining a pattern of manifestation of the illocutionary force inside the sermon. (shrink)

Korta and Perry (2011) argue that the object a speaker refers to with a demonstrative expression combined with a pointing gesture is determined by her directing intention rather than by her demonstration. They acknowledge that our use of the ordinary concept of “what is said” is affected by our judgements about the speaker’s responsibility for the results of her careless pointing; however, they claim that the effects are perlocutionary and have no bearing on determining the referential content of the speaker’s (...) act. I argue that the consequences of careless pointing are illocutionary and play a role in determining demonstrative reference. I also distinguish between two types of referential content which are attributable to the speaker’s utterance and shape its discursive behaviour: what is intended, which is determined by the speaker’s directing intention, and what is public, which depends on what she can legitimately be held responsible for. (shrink)

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. This book characterizes a notion of type that covers both linguistic and non-linguistic action, and lays the foundations for a theory of action based on a Theory of Types with Records (TTR). Robin Cooper argues that a (...) class='Hi'>theory of language based on action allows the adoption of a perspective on linguistic content that is centred on interaction in dialogue; this approach is crucially different to the traditional view of natural languages as essentially similar to formal languages such as logics developed by philosophers or mathematicians. At the same time, he claims that the substantial technical advantages made by the formal language view of semantics can be incorporated into the action-based view, and that this can lead to important improvements in both intuitive understanding and empirical coverage. This enterprise uses types rather than possible worlds as commonly employed in studies of the semantics of natural language. Types are more tractable than possible worlds and offer greater potential for understanding the implementation of semantics both on machines and in biological brains. (shrink)

Authority arguments generate support for claims by appealing to an agent’s authority status, rather than to reasons independent of it. With few exceptions, the current literature on argument schemes acknowledges two basic authority types. The _epistemic_ type grounds in knowledge, the_ deontic_ type grounds in power. We review how historically earlier scholarship acknowledged an_ attractiveness-based_ and a _majority-based_ authority type as equally basic type. Crossing these with basic speech act types thus yields authority argument sub-schemes. Focusing (...) on the_ epistemic-assertive_ sub-scheme (‘an epistemic authority _A_ _E_ asserts a proposition _P_’), we apply a meta-level approach to specifying critical questions. Results improve the evaluation of this sub-scheme and show how similar improvements are obtainable for other schemes. (shrink)

Dans le § 8 de la 1ère recherche logique Husserl explique qu'est-ce que c'est l'expression, par opposition à un autre type de signe: l'indice. Ce qu'est en jeu, c'est la spécificité de l'expression, entendue par Husserl comme une sorte de signe qui présente un caractère clair. Mais afin de determiner l'expression Husserl effectue une opération interpretée par Derrida comme un premier type de réduction: réduction du langage a une forme du soliloque. En d'autres termes, au moment où Husserl (...) doit expliquer ce qu'est un signe linguistique, met entre parenthèses précisément la fonction symbolique des expressions.Je tiens à souligner dans cet article les raisons qui conduisent Husserl à ce surprenant geste de mettre entre parenthèses l'une des fonctions les plus essentielles des actes significatifs, la fonction comunicative de contenus intentionnels au moyen de signes dans un contexte intersubjectif. Je montrerai après ce que conduit Husserl à examiner à nouveau cette décision et à la critiquer dans les textes de 1913-1914 lors de la préparation de la deuxième édition des Recherches logiques et publiés aujourd'hui dans le volume XX/2 de Husserliana.En el § 8 de la 1ª Investigación lógica Husserl explica qué es la expresión por oposición a otro tipo de signo: el índice. Lo que se halla en juego es la especificidad de la expresión, entendida por Husserl como un tipo de signo que presenta un carácter intencional. Pero, con el fin de perfilar la expresión, Husserl realiza una operación interpretada por Derrida como un primer tipo de reducción: la reducción del lenguaje a la forma del soliloquio. En otras palabras, en el momento en el que Husserl debe explicar lo que es un signo lingüístico, pone entre paréntesis precisamente la función simbólica de las expresiones.Me gustaría poner de relieve en este artículo las razones que llevan a Husserl a este sorprendente gesto de poner entre paréntesis una de las más esenciales funciones de los actos significativos, la función de comunicar contenidos intencionales a través de signos en un context intersubjetivo. Mostraré más tarde qué lleva a Husserl revisar esta decisión y criticarla en los textos de 1913-1914 cuando preparaba la segunda edición de las Investigaciones lógi-cas y hoy publicados en el volumen XX/2 de Husserliana. (shrink)

John Searle's Speech Acts made a highly original contribution to work in the philosophy of language. Expression and Meaning is a direct successor, concerned to develop and refine the account presented in Searle's earlier work, and to extend its application to other modes of discourse such as metaphor, fiction, reference, and indirect speech arts. Searle also presents a rational taxonomy of types of speech acts and explores the relation between the meanings of sentences and the contexts of their utterance. The (...) book points forward to a larger theme implicit in these problems - the basis certain features of speech have in the intentionality of mind, and even more generally, the relation of the philosophy of language to the philosophy of mind. (shrink)

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

The theory that structured propositions are complex act-types has been independently articulated by Peter Hanks and Scott Soames. The present paper argues that the role of the act in such theories is supererogatory, for the individuation conditions of the act-based propositions remain wholly at the level of concepts and their formal combination, features which the traditional structured proposition theorist endorses. Thus, it is shown that the traditional problems for structured propositions are only ameliorable on the act conception by appeal (...) to the very resources of the traditional conception. It is also shown that the act theories have no act-based account of quantification and other operator-involving relations. An elementary account of propositions is sketched, after Fodor, which retains the virtues of the traditional structural conception without falling into ’Platonism’. (shrink)

L’article vise à comparer Reinach et Austin dans leur découverte des performatifs et d’un certain type d’acte langagier et social. Il y a des similarités évidentes entre les deux philosophes, mais aussi des différences importantes qui permettent de montrer les véritables enjeux de la théorie austinienne : non seulement une découverte de la dimension pragmatique du langage, mais une critique, inséparable de la théorie des performatifs, de la notion même d’état de choses et du représentationalisme. Cette critique permet de (...) distinguer la théorie d’Austin, qui est une théorie de la performance linguistique, d’une ontologie ou d’une théorie des objets sociaux.This study aims to a comparison between Reinach’s and Austin’s discovery of performative utterances and of a species of both linguistic and social acts. Reinach and Austin share obviously a common approach to the phenomenon of performatives utterances. But there are also some crucial differences between them are to be discovered, which may set in focus some of the actual stakes of Austin’s theory : not only the pragmatic approach to language but also a criticism of the very idea of state of affairs and of representationalism as such. This critique makes the difference between Austin’s theory of linguistic performance, and Reinach’s ontology, or theory, of social objects. (shrink)

Ben Bryan argues that the strongest challenge to natural rights theory is to explain how it overcomes the Problem of Authority. Given that our natural rights are multiply realisable by a range of equally reasonable social conventions, how or why ought one particular realisation have authority? I argue that Thomistic and Kantian solutions to this problem do not count as solutions from natural rights theory, and therefore offer my own solution. When theories of natural rights describe the rights (...) we have in terms that refer not only to moralised act-types, but rather, tell us which non-moralised act-types ought to be moralised in the relevant way, they avoid the Problem of Authority altogether. Such theories of natural rights are singularly realisable at the level of regulative conventional rules, and only multiply realisable at the level of constitutive conventional rules. The latter form of multiple realisability does not raise the Problem of Authority. (shrink)

A new theory of problem solving is presented, which embeds problem solving in the theory of action; in this theory, a problem is just a difficult action. Making this work requires a sophisticated language for‐talking about plans and their execution. This language allows a broad range of types of action, and can also be used to express rules for choosing and scheduling plans. To ensure flexibility, the problem solver consists of an interpreter driven by a theorem prover (...) which actually manipulates formulas of the language. Many examples of the use of the system six given. including an extended treatment of the world of blocks. Limitations and extensions of the system are discussed at length. It is concluded that a rule‐based problem solver is necessary and feasible, but that much more work remains to be done on the underlying theory of planning and acting. (shrink)

The classical distinction between leisure and work is often used to define features of the emancipated life. In Aristotle leisure is defined as time devoted to purposeful activity, and distinguished from the labour time expended merely to produce life’s necessities. In critical theory, this classical distinction has been adapted to provide an image of emancipated life, as purposively driven, fulfilling and meaningful activity. Aspects of this adapted definition undermine the classical leisure/work distinction to the extent that the demand for (...) meaningful work, i.e., a leisure-work conjunction, is now used as a critical perspective on unfulfilling, oppressive labour. Rancière, however, is critical both of this idea of an extended franchise for leisure and of its dependence on craft and artisanal labour as the model of satisfying, skilled work. Instead of Aristotelian leisure, or ‘fulfilling’ work, Rancière identifies in the state of reverie an alternative marker for the emancipated life. The theme is consistent across the scattered archival, historiographical, philosophical, literary and aesthetic contexts his writing treats. But since reverie is defined as disengagement from action, the position raises a number of difficulties. This article examines how Rancière connects reverie to emancipation. It focuses on two questions: the nature of the relation between his definition of reverie and the classical, Aristotelian concept of action; and, whether, given the constitutive non-relation between reverie and action that he outlines, Rancière’s position can address the persistent problem in critical theory of the motivation for the emancipated life. It is argued that his highlighting of the potential communicative significance of modes and scenes of emancipated life is relevant to this problem. The key argument is that rather than developing a ‘theory’, his approach to emancipation focuses on and values communicable experiences of emancipation, and that states of reverie are one such type of valued experience. (shrink)

The previous volume of the series Logic, Methodology and Philosophy of Science at Warsaw University---entitled Imperatives from Different Points of View---was the first result of the project Theory of Imperatives and Its Applications realized by the group composed by Anna Brożek, Jacek Jadacki and Berislav Žarnić. The project was supported by the Foundation for Polish Science within the program Homing Plus. One of the most important points of this project was the International Symposium Imperatives in Theory and Practice (...) which took place in Warsaw, on the 18th and 19th May, 2012. The symposium was the meeting of many specialists in the domain of the theory of imperatives – from China, Croatia, Japan, Poland and The United States. Contents: Berislav Žarnić, Logical Root of Linguistic Commitment; Jacek Jadacki, Witwicki’s Square; Tomoyuki Yamada, On the Very Idea of Imperative Inference; Fengkui Ju, Semantics of Sentences in Mixed Moods of Indicative and Imperative; Piotr Kulicki & Robert Trypuz, Two Faces of Obligation; Bartosz Brożek, Types of Obligations; Anna Brożek, Functional Ambiguity of Imperatives; Anna Brożek, Logic of Prescriptions and Instruction; Aleksandra Horecka, Imperative Sentence as a Performative Sentence, which Refers to the Optative State of Affairs; Jakub Bazyli Motrenko, The Concept of Praxiological Directive; Maciej Witek, How to Establish Authority with Words: Imperative Utterances and Presupposition Accommodation; Wojciech Załuski, Remarks on the Lexical Order of Rawls’s Two Principles of Justice; Natalia Miklaszewska, Acts of Will as Convictions; Anna Brożek, Imperatives in the Gospel. (shrink)

I defend the view that linguistic meaning is a relation borne by an expression to a type of speech act, and that this relation holds in virtue of our overlapping communicative dispositions, and not in virtue of linguistic conventions. I argue that this theory gives the right account of the semantics–pragmatics interface and the best-available semantics for non-declarative clauses, and show that it allows for the construction of a rigorous compositional semantic theory with greater explanatory power than (...) both truth-conditional and dynamic semantics. (shrink)

Consequentialist theories determine rightness solely based on real or expected consequences. Although such theories are popular, they often have difficulty with generalizing intuitions, which demand concern for questions like “What if everybody did that?” Rule consequentialism attempts to incorporate these intuitions by shifting the locus of evaluation from the consequences of acts to those of rules. However, detailed rule-consequentialist theories seem ad hoc or arbitrary compared to act consequentialist ones. We claim that generalizing can be better incorporated into consequentialism by (...) keeping the locus of evaluation on acts but adjusting the decision theory behind act selection. Specifically, we should adjust which types of dependencies the theory takes to be decision-relevant. Using this strategy, we formulate a new theory, generalized act consequentialism, which we argue is more compelling than rule consequentialism both in modeling the actual reasoning of generalizers and in delivering correct verdicts. (shrink)

Increase or decrease in subsequent action following a low-cost act of support for a cause can be predicted from both commitment theory and the slacktivism effect. In this paper, we report on three studies that tested type of motivation as a moderator of the effect of an initial act of support [wearing a badge and writing a slogan ] has on support for blood donation. Small-scale meta-analysis performed on data from the three studies shows that activating prosocial motivation (...) generally leads to greater support for the cause after an initial act of support compared to the control condition, while the effect from impression-management motivation can either be negative or null. (shrink)

ACT is compared with a particular type of connectionist model that cannot handle symbols and use nonbiological operations which do not learn in real time. This focus continues an unfortunate trend of straw man debates in cognitive science. Adaptive Resonance Theory, or ART-neural models of cognition can handle both symbols and subsymbolic representations, and meet the Newell criteria at least as well as connectionist models.

Leibniz uses the adjective “blind” in various texts to characterise a type of thought or knowledge. This concept is sometimes associated with the adjective “symbolic”. In his famous 1684 article, “Meditationes de cognitione, veritate et ideis”, he introduces the cogitatio caeca vel symbolica as one of the types of knowledge methodically classified in the text. Generally, the focus has been placed on the symbolic nature of this knowledge, since this is seen as a determining element in understanding the Leibnizian (...) theory of knowledge based on the mediation of signs subject to rules of composition. In the background are the various Leibnizian projects of characteristica universalis. This is the angle from which we tend to approach the Leibnizian distinction, contrasting blind or symbolic knowledge, which is essentially mediate in nature, with intuitive knowledge, which depends on immediate vision of its objects. But how are we to accurately interpret the relationship to the act of seeing? Is this act not yet required in the Leibnizian conception of knowledge by signs? In other words, can such knowledge be deployed without the effective act of seeing? If this is the case, it seems that we need to re-examine the “blind” nature of this knowledge in the hope of shedding light on the real conditions of its effectuation, and, ipso facto, on some cognitive properties attributed to sight. (shrink)

When new technologies create risks, government agencies use regulations to control the risks. This paper advances a method of evaluating a democracy’s regulation of risks. It assumes that a regulatory agency should act as the public would act in ideal conditions for negotiation if the public were rational and informed. The method relies on decision theory and game theory to ascertain whether a regulation has the public’s informed support. The Occupational Safety and Health Administration’s regulation of exposure to (...) carcinogens in the workplace illustrates the account of regulation. The illustration draws attention to a distinction between physical and information-sensitive risks. Regulations guided by the physical sciences alone may overlook the value of reducing information-sensitive risks. These risks exist objectively, and rational people generally have an aversion to them. An information-sensitive risk and an aversion to it may persist after acquisition of all available relevant information. Democratic regulation justifiably aims to reduce such risks. (shrink)

Speech acts have sometimes been considered as unembeddable, for principled reasons. In this paper, I argue that speech acts can be embedded under certain circumstances. In particular, I consider denegation and conjunction of speech acts, quantification into speech acts, conditionalization of speech acts, the embedding of speech acts by verbs like say and wonder, speechact-modifying adverbials like frankly, clauses commenting on speech acts, like certain uses of because-clauses, parentheticals, and appositive relative clauses. A crucial distinction is made between speech acts (...) and speech act potentials, linguistic objects that can be used to perform speech acts when applied in a specific communicative situation. I develop a semantic theory in which speech act potentials are captured as semantic functions that change a world-time index, reflecting the nature of speech acts as events that happen in the world. As index changers, speech act potentials become nearly regular semantic objects, with a proper semantic type on which other semantic objects can operate on. In this way, speech acts (or rather, speech-act potentials) become part of the recursive structure of language. (shrink)

The primary units of meaning in the use and comprehension of language are speech acts of the type called illocutionary acts. In Foundations of Illocutionary Logic John Searle and Daniel Vanderveken presented the first formalised logic of a general theory of speech acts. In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages. Volume I, Principles of Language Use, explains (...) the general principles that connect meaning, reason, thought and speech acts in the semantic structure of language. It presupposes no detailed knowledge of logical formalism, and will be accessible to a large readership of students and scholars from philosophy, linguistics, cognitive psychology and computer science. Volume II, Formal Semantics of Success and Satisfaction, uses the resources of philosophical and mathematical logics to develop a formalisation of the laws of the semantic theory advanced in Volume I. It will be of interest to theoretical linguists and those involved in mathematical logic and artificial intelligence. (shrink)

This article aims to provide a semiotic analysis of environmental law and youth protests. More precisely, drawing on speech act theory this article regards both as types of communication and teases out the inherent voice and message, specifically with regard to the interests of future generations. The argument unfolds in three steps. First, the article looks into speaker and speech of environmental law and argues that it speaks, as legislation does, in the first-person plural voice of a ‘we’. Second, (...) the article examines a speech of Greta Thunberg through the lens of Stanley Cavell’s theory of passionate utterances. This interpretation will unlock the political stakes of Thunberg’s speech as she claims standing with those responsible for enacting environmental law. Finally, the consequences of this reading will be analysed by relating message and voice of environmental law. As youth protests question ordinary forms of political representation, new ways of safeguarding the interests of future generations are called upon. (shrink)

When you type the word “serendipity” in a word-processor application such as Microsoft Word, the autocorrection engine suggests you choose other words like “luck” or “fate”. This correcting act turns out to be incorrect. However, it points to the reality that serendipity is not a familiar English word and can be misunderstood easily. Serendipity is a very much scientific concept as it has been found useful in numerous scientific discoveries, pharmaceutical innovations, and numerous humankind’s technical and technological advances. Therefore, (...) there have been many books written around the concept. So why do we need this additional book? This is not just another book about serendipity. It has evolved from the Editor’s question lingering for a decade after finishing his widely cited article (coauthored with Prof. Nancy K. Napier of Boise State University, ID, USA) “Serendipity as a strategic advantage?” in T. Wilkinson’s edited volume Strategic Management in the 21st Century, published by Praeger. The Editor and contributing authors have tried to achieve the following in this title. Demystifying the Serendipity Myth The phenomenon of serendipity has always been thought of as a “miracle”. It is the mystery of human innovation and one of the ultimate secrets of our society. But serendipity is not just a lucky coincidence nor any hidden conspiracy. This book explores the science of the information process behind this seemingly miraculous phenomenon. It connects human society with nature, going back to the root of our existence and looking at the flame of survival to discover the harmony in making creativity. Presenting the nuts and bolts of being an adventurer of science The authors present their conceptual investigations into serendipity’s nature and its mechanism by examining interesting real events and stories. The content is thought-provoking, and readers are led to question and explore their own life stories and problems along the journey of reading this book. Catching an elusive high-value target requires great strategies and efforts. But there are no dark secrets here because this is the “way of nature” – how we humans have always strived for innovation without realizing the blueprints behind such processes. Unlike other books on serendipity, this book will show you that a powerful “secret” is closer than you think. Delivering practical uses for different audiences By understanding the conditionality and survival drivers of serendipity, individuals or organizations can make better decisions on creating the right environment to facilitate the encounter and attainment of this valuable phenomenon. For scientists: With clear explanations of the information processes underlying serendipity, flexible theoretical frameworks of mindsponge and the 3D principle of creativity, researchers are provided with the tools they need to dig deeper into their own fields of study and find practical applications, be it psychology, economics, sociology, or anything that involves innovation (which is, in fact, every scientific discipline). For curious casual readers: Everybody needs innovation to make breakthroughs or spice up one’s life. If you think great ideas come to people randomly from an unknown fairy place, this book will convince you otherwise without taking away that awe and wonder. But above all, you will know how to become more creative, scientifically and straightforwardly, with no snake oil and no weird tricks. For ambitious business people: The flame that brought about great successes throughout human history is within you. But you can only use it if you understand it. While others wait for serendipity to come, you will be able to actively hunt for those precious moments. As it has always been: the best hunters triumph, not the passive wanderers. And in this age of information chaos, finding the golden fruits is not easy. Those from information technology know this problem well, and this book is the treasure map that they have been seeking to navigate that stormy ocean looking for jewels. Like a kingfisher tracking its prey through the water, waiting to gracefully strike, with serendipity, a person seizes the prize of creativity amid the chaos of life. ¤ ¤ ¤ Official introduction: The book explores the nature, underlying causes, and the information processing mechanism of serendipity. It proposes that natural or social survival demands drive serendipity, and serendipity is conditional on the environment and the mindset, on both individual and collective levels. From Darwin's evolution theory to Sun Tzu's war tactics, major innovations throughout human history are unified by this key concept. In the rapidly changing world, information is abundant but rather chaotic. The adaptive power of serendipity allows people to notice treasures within this wild sea, but only for those who understand how it works. To increase the probability of encountering and attaining serendipity, one should employ the mindsponge mechanism and the 3D process of creativity, for without these frameworks, serendipity is truly an elusive target. The book also discusses methods to build environments and cultures rich in navigational and useful information to maximize the chance of finding and capitalizing on serendipity. As a skill, serendipity has a resemblance to how kingfishers observe and hunt their prey. (shrink)