Kosta Došen argued in his papers Inferential Semantics (in Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Berlin 2015) and On the Paths of Categories (in Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, pp. 65–77. Springer, Cham 2016) that the propositions-as-types paradigm is less suited for general proof theory because—unlike proof theory based on category theory—it emphasizes categorical proofs over hypothetical inferences. One specific instance of this, Došen points out, is that the Curry–Howard (...) isomorphism makes the associativity of deduction composition invisible. We will show that this is not necessarily the case. (shrink)

Showing that the arithmetic mean number of offspring for a trait type often fails to be a predictive measure of fitness was a welcome correction to the philosophical literature on fitness. While the higher mathematical moments of a probability-weighted offspring distribution can influence fitness measurement in distinct ways, the geometric mean number of offspring is commonly singled out as the most appropriate measure. For it is well-suited to a compounding process and is sensitive to variance in offspring number. The geometric (...) mean thus proves to be a predictively efficacious measure of fitness in examples featuring discrete generations and within- or between-generation variance in offspring output. Unfortunately, this advance has subsequently led some to conclude that the arithmetic mean is never a good measure of fitness and that the geometric mean should accordingly be the default measure of fitness. We show not only that the arithmetic mean is a perfectly reasonable measure of fitness so long as one is clear about what it refers to, but also that it functions as a more general measure when properly interpreted. It must suffice as a measure of fitness in any case where the geometric mean has been effectively deployed as a measure. We conclude with a discussion about why the mathematical equivalence we highlight cannot be dismissed as merely of mathematical interest. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY (...) 14260-4150 E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

This paper is dedicated to a critical discussion of the logical-philosophical conceptions of language that are presented in Rolandas Pavilionis’ book Language. Logic. Philosophy, its primary focus being an analysis of Pavilionis’ hypothesis of meaning as nonverbal continuous system. The paper consists of two parts. Two types of theories of meaning are distinguished and an analysis of the discussed conceptions of natural languages is proposed in the first, analytic, part of the paper: assumptions that are relevant for the philosophical (...) semantics are identified and used for clarification of the presuppositions of the alternative semantic programme advanced by Pavilionis. Two shortcomings of Pavilionis’ semantic theory are presented in the second, critical, part of the paper. First, it is maintained that Pavilionis’ theory of understanding, which suggests taking the notion of interpretation as fundamental, is unacceptable: interpretation is an enabling, not a constitutive condition of understanding. Second, due to the lack of discussion of the epistemic aspects of meaning and the relation between concepts and conceptual capacities, it remains unclear what theoretical value can be carried by the idea of innate concepts and how can it be made compatible with externalistic aspects of this semantic theory. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

Experiential evidence shows that pain is associated with common meanings. These include a meaning of threat or danger, which is experienced as immediately distressing or unpleasant; cognitive meanings, which are focused on the long-term consequences of having chronic pain; and existential meanings such as hopelessness, which are more about the person with chronic pain than the pain itself. This interdisciplinary book - the second in the three-volume Meanings of Pain series edited by Dr Simon van Rysewyk (...) - aims to better understand pain by describing experiences of pain and the meanings these experiences hold for the people living through them. The lived experiences of pain described here involve various types of chronic pain, including spinal pain, labour pain, rheumatic pain, diabetic peripheral neuropathic pain, fibromyalgia, complex regional pain syndrome, endometriosis-associated pain, and cancer-related pain. Two chapters provide narrative descriptions of pain, recounted and interpreted by people with pain. Language is important to understanding the meaning of pain since it is the primary tool human beings use to manipulate meaning. As discussed in the book, linguistic meaning may hold clues to understanding some pain-related experiences, including the stigmatisation of people with pain, the dynamics of patient-clinician communication, and other issues, such as relationships between pain, public policy and the law, and attempts to develop a taxonomy of pain that is meaningful for patients. Clinical implications are described in each chapter. This book is intended for people with pain, their family members or caregivers, clinicians, researchers, advocates, and policy makers. (shrink)

In this paper I question the tendency within some feminist circles to criticise attempts to develop typologies that delineate different feminist theoretical perspectives. I agree that many of the criticisms are valid, but only if typologies are viewed in a particular way. This particular way is when typologies are regarded as ahistorical, all-encompassing entities containing discrete categories that are designed for the once and for all fixing of individuals and their work in one box. Reading Max Weber through Karl Mannheim's (...) work on the sociology of knowledge, I argue that typologies, as ideal-types, are indispensable, socially situated practical tools for measuring similarities, differences and developments in thought within and across time and space. Despite being noted as an “attractive” argument by at least some of those who are otherwise critical of typologies (for example, Liz Stanley and Sue Wise), I believe that the “attractiveness” of this particular position has not been granted serious consideration. (shrink)

Experiential evidence shows that pain is associated with common meanings. These include a meaning of threat or danger, which is experienced as immediately distressing or unpleasant; cognitive meanings, which are focused on the long-term consequences of having chronic pain; and existential meanings such as hopelessness, which are more about the person with chronic pain than the pain itself. This interdisciplinary book - the second in the three-volume Meanings of Pain series edited by Dr Simon van Rysewyk (...) - aims to better understand pain by describing experiences of pain and the meanings these experiences hold for the people living through them. The lived experiences of pain described here involve various types of chronic pain, including spinal pain, labour pain, rheumatic pain, diabetic peripheral neuropathic pain, fibromyalgia, complex regional pain syndrome, endometriosis-associated pain, and cancer-related pain. Two chapters provide narrative descriptions of pain, recounted and interpreted by people with pain. Language is important to understanding the meaning of pain since it is the primary tool human beings use to manipulate meaning. As discussed in the book, linguistic meaning may hold clues to understanding some pain-related experiences, including the stigmatisation of people with pain, the dynamics of patient-clinician communication, and other issues, such as relationships between pain, public policy and the law, and attempts to develop a taxonomy of pain that is meaningful for patients. Clinical implications are described in each chapter. This book is intended for people with pain, their family members or caregivers, clinicians, researchers, advocates, and policy makers. (shrink)

This paper argues that donkey pronouns should be construed as definite articles, followed by an NP sister which has undergone deletion in the phonology. So Every man who owns a donkey beats it is claimed to share a Logical Form with Every man who owns a donkey beats the donkey, which means the same. There is independent evidence for assimilating pronouns to determiners, and for NP-deletion; so this theory explains E-type anaphora without postulating any special entity (`E-type pronoun') for the (...) purpose. Since NP-deletion, like other ellipsis, requires an antecedent, this theory also explains the requirement for a "formal link" between donkey pronoun and antecedent, which standard E-type theories find difficult to account for. Other empirical advantages of this theory include its ability to explain the pattern of strict and sloppy identity displayed by donkey sentences with phonologically reduced continuations. It is shown that Bach-Peters sentences, quantificational subordination, and paycheck sentences can also be dealt with on the present approach. (shrink)

The paper sets out a new strategy for theory reduction by means of functional sub-types. This strategy is intended to get around the multiple realization objection. We use Kim's argument for token identity (ontological reductionism) based on the causal exclusion problem as starting point. We then extend ontological reductionism to epistemological reductionism (theory reduction). We show how one can distinguish within any functional type between functional sub-types. Each of these sub-types is coextensive with one type of realizer. (...) By this means, a conservative theory reduction is in principle possible, despite multiple realization. We link this account with Nagelian reduction, as well as with Kim's functional reduction. (shrink)

This paper is a contribution to the historical roots of the analytical tradition. As Michael Dummett points out in his Origins of Analytic Philosophy, many tendencies in Central European thought contributed to the early development of analytic philosophy. Dummett himself concentrates on just one aspect of this historical complex, namely on the relationship between the theories of meaning and reference developed by Frege and by Husserl in the years around the turn of the century. It is to this specific issue (...) that the present essay is devoted, though we attempt a more sympathetic reading of Husserl's views on these matters than is to be found in Dummett’s work. Topics covered include Husserl’s theory of intentionality, his view of meanings as types or essences of mental acts, of the relation between meaning and expression, of states of affairs, and of indexicality. (shrink)

The medieval computus was intended primarily for literate and numerate ecclesiastical users; reading the Latin computus required a good knowledge of technical Latin, while understanding its calculations presupposed some formal education in arithmetic and astronomy. By the mid-thirteenth century, users would have included a small group of literate and numerate laymen; by the mid-fifteenth century, users would have included the less educated and even semiliterate, as a consequence of a more extensive range of computus material made available for the purpose (...) in the vernacular. (shrink)

In this wide-ranging conversation, Michael Hardt reflects on recent transformations within Empire. Several unique themes emerge concerning power and pedagogy as they intersect with subjectivity and global crisis. Drawing on the common in conjunction with the tradition of love in education uncovers a different path that attends to today’s real political, ecological, and social needs. Finally, a focus on collectivity points to a possible strategy—collective intellectuality—for educators to revise traditional notions of leadership to encourage more ethical, democratic, and sustainable futures. (...) Yet, what this looks like in practice remains for us to imagine. (shrink)

The article considers the notary as a subject of active influence on the formation of postmodern democratic legal society, mediation of law in postmodern society. The constitutional definition of the state in this status does not mean that the civil law consciousness prevails in all spheres of its life. Since no person in society does not need this type of legal service, it is quite objective to consider this community as a subject whose activities should be considered as a subject (...) of formation not only of legal consciousness of society but also a leading subject of civil society. This primarily applies to private notaries, who, unlike public notaries, are fully responsible for the results of their activities. After all, a legal duty is organically combined with the responsibility from which the public notary is released. The study of the manifestations of the phenomenon of postmodernism is relevant to many disciplines, including - the philosophy of law. Modern research shows that classical types of legal understanding do not satisfy the understanding of postmodern law, which indicates the need to find a fundamentally new concept of law. The author concludes that the solution to this problem should be sought in the field of theories that offer new approaches to the interpretation of legal texts; this area is considered the most promising. (shrink)

In this volume, critical scholars and educational activists explore the intricate dynamics between the enclosure of global commons and radical visions of a common social future that breaks through the logics of privatization, ecological degradation, and dehumanizing social hierarchies in education. In its institutional and informal configurations alike, education has been identified as perhaps the key stake in this struggle. Insisting on the urgency of an education that breaks free of the bonds of enclosure, the essays included in this volume (...) weave together bright threads of radical thought into a vivid tapestry illustrating a critical framework for enacting a global educational commons. (shrink)

Charles S. Peirce introduces the distinction between a token and a type into semiotics and philosophy by using as an example two ways of individuating words:(P1) A common mode of estimating the amount of matter in a MS. or printed book is to count the number of words. There will ordinarily be about twenty the's on a page, and of course they count as twenty words. In another sense of the word "word," however, there is but one word "the" in (...) the English language; and it is impossible that this word should lie visibly on a page or be heard in any voice, for the reason that it is not a Single thing or Single event. It does not exist; it only determines things that do exist. Such a definitely significant Form, I propose.. (shrink)

This essay explores aesthetics, affect, and educational politics through the thought of Gilles Deleuze and Jacques Rancière. It contextualizes and contrasts the theoretical valences of their ethical and democratic projects through their shared critique of Kant. It then puts Rancière's notion of dissensus to work by exploring it in relation to a social movement and hunger strike organized for educational justice in Chicago's Little Village neighborhood. This serves as a context for understanding how educational provisions are linked to the aesthetic (...) distribution of perception within the neoliberal city. It also serves as a powerful example of how these orders of perception are resisted and subverted at the local level by aesthetic and affective means. Through the Little Village hunger strike the essay argues that while Rancière allows us to recognize the aesthetic dimensions of the political, he falls short in addressing tactical and/or affective considerations. The essay concludes by seeking to extend the critical efficacy of Rancière's dissensus through a rendering of tactical affect within Deleuzian metaphysics. (shrink)

Benhabib recasts the Derridean idea of `iteration' in democratic terms. While adhering to the original idea that both the fundamental terms of political consociation and the identity of the people itself is `radically' open, Benhabib argues that deliberative norms do and should frame the process of reiteration. For the deliberative democrat, the democratic constitution is not a would-be barrier to iterability (which we are told cannot be contained anyway); it is rather a communicative or discursive space in which the hitherto (...) suppressed or not yet present voice of other people finds its way and expands the terms of meaning giving and hence reason giving. The democratic constitution enables iteration; it is one side of a dialectic that relies upon, balances and, in some sense, makes the most of people power. Immigrants, in the final analysis, are the latest group to proclaim their presence in the sphere of constitutional interpretation, and thereby recalibrate the interpretive frame. And when they make their presence known in this way they have truly become a part of the `people'. When, however, they make their presence known in ways that undermine constitutional self-understanding, instead of engaging it, they are `not us'. Benhabib is hesitant to add this last bit, as she is hesitant to admit how much the constitutional identity of a people `rift with otherness' is reliant upon the historical referent and the generative/steering power of the right sort of constitutional court. (shrink)

As it emerged in the late twentieth century, Empire promised a new era of global cooperation and stability through a seamless integration of late capitalism and neoliberal technocracy. Premised as an end to history itself, all that was left to accomplish was to tinker at the margins, stimulate corporate enterprise, embrace financialization and technological innovation, and encourage liberal rights and inclusion. As we enter the third decade of the twenty-first century, the narrative fictions sustaining Empire have broadly collapsed at the (...) level of symbolic identification and belief. Empire has entered into a period of global emergency and mutation. Engaging with Michael Hardt and Antonio Negri’s work, this paper considers what might emerge when we read education into the circuitry of Empire’s decay. First, we locate Empire within foundational tensions in modernity, using Kantian philosophy and colonialism as examples, to foreground the idea of education as immanent to historical processes of creativity, resistance, and innovation. Second, we highlight dead-end responses, from space colonization to neo-fascism, as representations of how modes of education circulate to stabilize and contain Empire’s crises, specifically in relation to capitalism, nationalism, and identity. Lastly, the paper develops a political ontology of education after Empire. (shrink)

Hardt and Negri’s Empire series has inspired twenty years of debate and experimentation across the social sciences and humanities in fields as divergent as international re...

This article focuses on strategic manoeuvring that takes place in Dutch administrative judi- cial decisions. These decisions may be seen as a distinct argumentative activity type. Starting from the char- acteristics that traditionally are per- tinent to this activity type, I will explore how implications of current discussions on the changing task of the administrative judge may be- come manifest in the judge’s strate- gic manoeuvring by means of the presentation of argumentation and the introduction of additional stand- points. The (...) case study of Dutch administrative law serves to demon- strate what consequences changing institutional demands may have for the starting points of the analysis of argumentation in judicial decisions. (shrink)

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...) atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

Jonathan Quong Ethics, 119, 507–537 has recently argued that the permissibility of killing innocent threats turns on a distinction between eliminative and opportunistic agency. When we kill bystanders we view them under the guise of opportunism by using them as mere survival tools, but when we kill threats we simply eliminate them. According to Quong, the distinction between opportunistic and eliminative agency reveals that there are two different ways of killing someone as a means to save your own life. Call (...) this the Means Distinction. In this note, I argue that although the Means Distinction seems prima facie plausible it is not a sufficient explanation for the permissibility of killing threats. My argument against the Means Distinction is two-fold. Most non-consequentialists accept that the Means Distinction carries some moral significance, but I argue that this is a mistake: we do not have any reason to believe that opportunistic killings are, in general, worse than eliminative killings. Following this, I argue that even if we accept the Means Distinction, there are threat-type scenarios in which there is no intuitive difference between killing a threat opportunistically and killing a threat eliminatively. (shrink)

Christian development agencies have been the primary vehicle of choice for holistic involvement and witness. This has played straight into an Enlightenment manner of thinking that compartmentalizes values, limiting the opportunities for explaining the theological and conceptual foundations for development practice and for public witness concerning religious faith. New institutional models appropriate to witness and holistic Christian service need to be considered. An `S4' type organization, explored in practice in Indonesia in an interfaith setting, allows for a more effective sharing (...) of the gospel and robust development work. (shrink)

The primary aim of the paper is to introduce a new notion of relevance of the antecedent of a true implication statement to its consequent, and to sketch a formalization of the new notion. The formalization is set up in the framework of the so called Logic of Strict Processes , as articulated by the author in collaboration with J. Podroužek. Their approach to the relevance is presented as a natural part of a wider specter of logics, including modal and (...) relevance logics. The formalization is compared with consequence relations in normal modal logic and in the relevance logic R. In conclusion the author outlines the most important problems of LSP, which still remain open. (shrink)

The author of the article discusses a political discourse of the US president Donald Trump. The political discourse is considered to be a type of discourse based on views and beliefs, the purpose of which is to manipulate the consciousness of the addressee using strategies in order to form certain beliefs. The strategy in this case means the plan of implementation of the communicative task, necessary for effective achievement of the addressee’s goal, realized with the help of certain tactics. The (...) choice of the subject matter is determined by the interest to political communication. The author analyses discourse strategies and markers, stylistic and lexico-grammatical means used as manipulative means in Donald Trump’s Acceptance Speech, Victory Speech, and Inaugural Address. Special attention is given to the strategy of improvement, strategy of enhancement, and strategy for evaluation of alternatives. It is known that presidential public addresses are of great importance, therefore communicative skills of politicians and ability to speak in public play a great role in their political career. The analysis of D. Trump’s presidential discourse has revealed the use of discursive manipulative strategies and manipulative markers, numerous repetitions, calls for joint action, the use of ‘unifying vocabulary‘, slogans, inversion. It is noted that the presidential political discourse is an effective means of manipulating the consciousness of the nation and the formation of its outlook. The author concludes that speech manipulation is a complex phenomenon, the effectiveness of which depends on linguistic, psychological, extralinguistic, and social factors. (shrink)

Engineering, as a complex and multidimensional practice of technology development, has long been a source of ethical concerns. These concerns have been approached from various perspectives. There are ongoing debates in the literature of the philosophy of engineering/technology about how to organize an optimized view of the values entailed in technology development processes. However, these debates deliver little in the way of a concrete rationale or framework that could comprehensively describe different types of engineering values and their multi-aspect interrelations (...) in real engineering practices. Approaching engineering values from a meaning-based perspective, as in this paper, can be a reliable method of tackling such a controversial problem. This paper therefore proposes that technology development be considered a systemic normative practice and attempts to provide a comprehensive view of various built-in values, their different origins and features, and a way of prioritizing them in real engineering processes. Studying two cases of the Zayandeh Rood Dam and the Abbasi Dam will lead to practical insights into how to understand norms in technology development and incorporate them into engineering practice. (shrink)

Engineering, as a complex and multidimensional practice of technology development, has long been a source of ethical concerns. These concerns have been approached from various perspectives. There are ongoing debates in the literature of the philosophy of engineering/technology about how to organize an optimized view of the values entailed in technology development processes. However, these debates deliver little in the way of a concrete rationale or framework that could comprehensively describe different types of engineering values and their multi-aspect interrelations (...) in real engineering practices. Approaching engineering values from a meaning-based perspective, as in this paper, can be a reliable method of tackling such a controversial problem. This paper therefore proposes that technology development be considered a systemic normative practice and attempts to provide a comprehensive view of various built-in values, their different origins and features, and a way of prioritizing them in real engineering processes. Studying two cases of the Zayandeh Rood Dam and the Abbasi Dam will lead to practical insights into how to understand norms in technology development and incorporate them into engineering practice. (shrink)

The ideal introduction for students of semantics, Lexical Meaning fills the gap left by more general semantics textbooks, providing the teacher and the student with insights into word meaning beyond the traditional overviews of lexical relations. The book explores the relationship between word meanings and syntax and semantics more generally. It provides a balanced overview of the main theoretical approaches, along with a lucid explanation of their relative strengths and weaknesses. After covering the main topics in lexical meaning, such (...) as polysemy and sense relations, the textbook surveys the types of meanings represented by different word classes. It explains abstract concepts in clear language, using a wide range of examples, and includes linguistic puzzles in each chapter to encourage the student to practise using the concepts. 'Adopt-a-Word' exercises give students the chance to research a particular word, building a portfolio of specialist work on a single word. (shrink)

Discourse particles have received a considerable amount of scholarly attention in linguistic research. Although their use in specific text types has been discussed, few studies have actually attempted to look at the effect of text type on their use. Therefore, how the use of discourse particles is related to the situational context in which they are produced remains a largely unexplored area. In this article, the use of one of the most frequently occurring yet often overlooked discourse particles, so, (...) in a number of monologic and dialogic texts is examined. Drawing on data from a spoken corpus of Hong Kong English, the present study shows that the frequency rates and functions of so as a discourse particle vary according to the text type in which it occurs. Findings from the study thus argue that the full range of functions realized by so as a discourse particle cannot be determined without taking into account the wide range of communicative events in which the particle is used. This highlights the fact that contextual cues are indispensable in the interpretation of the pragmatic meanings of discourse particles. (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 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)

The existence of different types of semiosis has been recognized, so far, in two ways. It has been pointed out that different semiotic features exist in different taxa and this has led to the distinction between zoosemiosis, phytosemiosis, mycosemiosis, bacterial semiosis and the like. Another type of diversity is due to the existence of different types of signs and has led to the distinction between iconic, indexical and symbolic semiosis. In all these cases, however, semiosis has been defined (...) by the Peirce model, i.e., by the idea that the basic structure is a triad of ‘sign, object and interpretant’, and that interpretation is an essential component of semiosis. This model is undoubtedly applicable to animals, since it was precisely the discovery that animals are capable of interpretation that allowed Thomas Sebeok to conclude that they are also capable of semiosis. Unfortunately, however, it is not clear how far the Peirce model can be extended beyond the animal kingdom, and we already know that we cannot apply it to the cell. The rules of the genetic code have been virtually the same in all living systems and in all environments ever since the origin of life, which clearly shows that they do not depend on interpretation. Luckily, it has been pointed out that semiosis is not necessarily based on interpretation and can be defined exclusively in terms of coding. According to the ‘code model’, a semiotic system is made of signs, meanings and coding rules, all produced by the same codemaker, and in this form it is immediately applicable to the cell. The code model, furthermore, allows us to recognize the existence of many organic codes in living systems, and to divide them into two main types that here are referred to as manufacturing semiosis and signalling semiosis. The genetic code and the splicing codes, for example, take part in processes that actually manufacture biological objects, whereas signal transduction codes and compartment codes organize existing objects into functioning supramolecular structures. The organic codes of single cells appeared in the first three billion years of the history of life and were involved either in manufacturing semiosis or in signalling semiosis. With the origin of animals, however, a third type of semiosis came into being, a type that can be referred to as interpretive semiosis because it became closely involved with interpretation. We realize in this way that the contribution of semiosis to life was far greater than that predicted by the Peirce model, where semiosis is always a means of interpreting the world. Life is essentially about three things: (1) it is about manufacturing objects, (2) it is about organizing objects into functioning systems, and (3) it is about interpreting the world. The idea that these are all semiotic processes, tells us that life depends on semiosis much more deeply and extensively than we thought. We realize in this way that there are three distinct types of semiosis in Nature, and that they gave very different contributions to the origin and the evolution of life. (shrink)

Qiyās, or “correlational inference”, comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause giving rise to a ruling in God’s Law. This was most often discussed under the rubric of “the modes of causal justification”. Among these modes was the much debated test (...) of dawarān. In brief, proponents of dawarān employed it to justify claims that a property occasioned the ruling in an authoritative source-case. In concert with other considerations, the demonstrated co-presence and co-absence of property and ruling—that is, their concomitance “in existence” and “in nonexistence” — was taken as an indication that the property was the ruling’s ʿilla. Delving further into dawarān and causation, the current study interprets “in existence” and “in nonexistence” not as a kind of metaphor for true and false, but as an accurate terminology vis-à-vis the meaning of causality statements, fully compatible with dominant Islamicate views on causal agency. In brief, a deeper logical and linguistic analysis of the different existential modes of dawarān strongly suggests that we should distinguish property and ruling as types as opposed to tokens. Our reading of dawarān as shaped by a finer-grained structure not only allows us to identify the efficient occasioning process as a function which takes some particular token of the ʿilla and renders a token of the general ruling type, but it allows us to elucidate the role of taʿlīl in shaping an epistemological theory of argument to the best explanation: a sophisticated, premodern manifestation of abductive reasoning. (shrink)

This paper critiques the view, widely held by philosophers of mind and cognitive scientists, that psychological explanation is a matter of ascribing propositional attitudes (such as beliefs and desires) towards language-like propositions in the mind, and that cognitive mental states consist in intentional attitudes towards propositions of a linguistic quasi-linguistic nature. On this view, thought is structured very much like a language. Denial that propositional attitude psychology is an adequate account of mind is therefore, on this view, is tantamount to (...) eliminative materialism, the denial that human beings are thinking beings. -/- I dispute this on the basis of recent work in cognitive psychology and artificial intelligence. Mental models theory, on which thought is better understood as nonpropositional intentional psychology, accords better with the evidence and offers an alternative view to propositional attitude psychology -- one that means that the denial that that is propositional is not eliminative. However, I argue that propositional attitude psychology is a useful idealization, as classical mechanics is of relativity theory, strictly but not radically false, and useful for prediction and indeed, as long as its idealized character is born in mind, for explanation of behavior. (shrink)

The issue of words combinations draws attention of linguists starting from the second half of the XX c. until the present day. This study is focused on the research of semantic mechanisms of unusually combined lexemes and unexpected collocations in English postmodern short-short stories. Reconsideration of the literary past and ironic view on traditional poetic canons are reflected in postmodern literary texts due to the principles of postmodern poetics. Being distinctive feature of postmodern literature in general, uncertainty creates multiplicity of (...) meanings of entire literary text, as well as separate unexpected collocations, by means of unusually combined lexemes. The aim of the study is to elaborate the phenomenon of valence violation, created by unusually combined lexemes and unexpected collocations in English postmodern short-short stories. To achieve this goal, it is necessary to define the notion of valence and lexeme compatibility, to identify types of valence violation in lexemes combinations, and to provide their possible interpretation. Functioning in English postmodern short-short stories such language units widen boundaries of their usage and their combinatorial profile. Unusually combined lexemes focus the reader’s attention and provoke a cognitive mechanism of continuous searching for a hidden meaning of unexpected collocations and the general message of a literary text. In this research unusually combined lexemes are regarded as special markers of postmodern short-short story genre for which violation of text structure, violation of usual relations between lexemes in logic, semantic and syntactic aspects are quite common. (shrink)

Although Max Weber does not specifically analyze the topic of esteem, his investigation of the Protestant ethic offers interesting insights into it. The change in mentality it engendered essentially contributed to enhancing the meaning and importance of esteem in modern society. In his analysis, Weber ascertains that esteem was fundamental to being accepted and integrated into the social life of congregations. Nevertheless, he also highlights that esteem was supported by a form of self-esteem which was not simply derived from a (...) good social reputation, but also achieved through a deep and continual self-analysis as well as a strict discipline in the ethical conduct of life. The present analysis reconstructs the different aspects of the relationship between social and self-esteem and analyzes the consequences of that relationship by focusing on the exemplary case of the politician’s personality and ethic. (shrink)

In this paper we want to reconcile two apparently conflicting intuitions: the first is that what a speaker means is just a function of his or her communicative intentions, independently of what the hearer understands, and even of the actual existence of a hearer; the second is that when communication is carried out successfully, the resulting meaning is, in some important sense, jointly construed by the speaker and the hearer. Our strategy is to distinguish between speaker’s meaning, understood as a (...) personal communicative intention, and joint meaning, understood as a joint construal of the speaker and the hearer. We define joint meaning as a type of propositional joint commitment, more precisely as the joint commitment of a speaker and a hearer to the extent that a specific communicative act has been performed by the speaker. Joint meaning is therefore regarded as a deontic concept, which entails obligations, rights, and entitlements, and cannot be reduced to epistemic and volitional mental states like personal belief, common belief, personal intention, and communicative intention. (shrink)

In this article we study how members of an interdisciplinary research team use an online forum for communicating about their research project. We use the concepts of "community of practice" and "connectivity" to consider the online interaction within a wider question of how people from different academic traditions "do" interdisciplinarity. The online forum for this Grey and Pleasant Land project did not take off as hoped, even after a series of interventions and amendments, and we consider what the barriers were (...) and how they might be overcome. Barriers to involvement included participants' expectations of interaction and collaboration--expectation that real interaction happens elsewhere, tensions between academic discourse and forum talk norms, unfamiliarity with the technology, and different conceptions of appropriate academic discussion. We suggest that common academic practice does not prepare us well for creating interdisciplinary research communities through online collaboration tools, whereas such tools are our best bet currently for including geographically dispersed members in collaborative projects. Therefore, careful planning and competence building would be necessary if such tools are to be used in collaborative research. Suggested interventions, based on our experience, include providing a more focused forum, making technical support easily available, and setting up particular tasks or items to debate, within a preset, synchronous timeframe, focusing on issues relevant to the project at that time. (shrink)

Deixis is the thing referred to by linguistic units outside the text or the discourse. The act of demonstrating or indicating the elements of a state through gestures or linguistic units is called deixis. Deictic is the name given to the linguistic elements such as pronouns, demonstrative nouns and adverbs which refer to the personal, spatial or temporal aspects of a speech act and which are, therefore, all directly related to the context surrounding its act of communication. Since the references (...) of the deixis expressions can only be identified within the context of actual communication, the subject is considered as a part of the pragmatics. This study aims to analyse the demonstrative nouns used in Qur’anic verses within the context of deixis and types of deixis, which are research areas of pragmatics, and to identify the types of deixis used in Qur’an. This study also aims to provide insight about how to present the references of demonstrative nouns especially in Qur’anic translations to be understood correctly by the readers. This is because the translations of Qur’an are presented in written form and the references of the deictic units are not expressed clearly in some of them. In this case, it is assumed that the reader might have difficulty understanding the meanings of the deixis such as “this, to this, these”. This study, firstly by studying deixis and types of deixis from the modern linguistics and pragmatics resources, aims to form a conceptual framework. After the first chapter, upon which the main problem of the study will be built, is completed, the demonstrative nouns are analysed in terms of their structural and referential aspects within balâg̲h̲a and tafsîr sources, classical Arabic language nahw sources being in the first place. After the obtained data is analysed, by associating the demonstrative nouns in Qur’anic verses to types of deixis, anaphora and cataphora, their references are determined. In this direction, firstly the demonstrative nouns in Qur’an will be identified and the type of deixis is tried to be explained by providing one example for each one of the demonstrative nouns in terms of their referential variety. For this purpose, this study highlights the demonstrative nouns which cannot be directly understood but only can be identified by checking the context. That is, the demonstrative nouns which take adjectives or which are adjectives themselves will not be included in the scope. The references of these nouns existing in the verses will be specifically analysed within the classical tafsîr works. This study is significant as it reveals the references of the demonstrative nouns by analysing the types of deixis in order to understand Qur’an more accurately. Though there are various studies regarding the demonstrative nouns, there are no studies found analysing the references of these nouns according to their types of deixis. With this study, it is understood that classical tafsîrs mention the deixis, types of deixis, and the references anaphora and cataphora for demonstrative nouns. As the demonstrative nouns, which are deictic elements, are used to point to all types of living and non-living creatures, they are considered as indefinite things. It is understood that for the other interpreters, the vagueness can only be eliminated by taking pragmatic factors such as the speaker, listener and the context of communication into consideration. 20 types of demonstrative nouns were used for a total of 1047 times in 89 different surahs. These demonstrative nouns are as following: “ذا، هذا، هذان، هاتين، هؤلاء، ذلك، ذانك، ذلكما، ذلكم، تلك، ذلكن، هذه، أولئك، أولئكم، أولاء، كذلك، كذلكم، هاهنا هنالك، ثم”. The fact that demonstrative nouns are used so often in Qur’an prove that these nouns are quite important in understanding the Qur’an. This study addresses the verses with demonstrative nouns in terms of types of deixis, as part of pragmatics, by referring to classical tafsîr and linguistic sources. It has been determined that demonstrative nouns in Qur’an make personal, spatial or temporal references, discourse deixis, anaphora and cataphora, however they do not perform as social deixis. It has been concluded that identifying the references of demonstrative nouns is quite important in understanding and interpreting Qur’an correctly. It is also understood that the methods to determine the references of demonstrative nouns by the sources used in the study have pragmatic characteristics. It is observed that the references of the demonstrative nouns are not presented in certain Qur’an translations. In this context, it has been concluded that stating the references of these nouns in written form for the translation of Qur’an into different languages is vital for these references to be understood correctly. It has also been concluded that it is a requirement in terms of pragmatics to take the references of the deictic elements mentioned especially in the primary sources into consideration. (shrink)

The linguistic meaning of a word in a language is what fully competent speakers of the language have a grasp of merely in virtue of their semantic competence. The meanings of words sometimes change over time. 'Meat' used to mean 'solid food', but now means 'animal flesh eaten as food'. This type of meaning change comes with change of topic, what we’re talking about. Many people interested in conceptual engineering have claimed that there is also meaning change where topic (...) is retained. For example, they claim that the meanings of ‘fish’ and ‘pasta’ have undergone such change and that the meaning of 'marriage' would change this way after gay marriages become legal and widely accepted. In this paper I relate two sets of relatively independent literatures: mainstream philosophy of language and conceptual engineering to argue that on a plausible and widely accepted Minimalist view of meaning that is part and parcel of anti-descriptivism none of the above sorts of cases involve meaning change with topic retention. I do this by showing how to distinguish minimalism about meaning from the related theses of externalism and anti-individualism about intension and how to separate meaning from intension in a way that allows meaning and topic to remain the same despite changes in intension. The larger lesson is that much like we shouldn’t disregard the boundary between the narrowly meaning-related (“semantics”) and the more broadly communication-related (“pragmatics”), we shouldn’t disregard the boundary between the former and the more broadly thought-related, conceptual or cognitive (“cognition”). (shrink)

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (shrink)