A principal type-scheme of a -term is the most general type-scheme for the term. The converse principal type-scheme theorem (J.R. Hindley, The principal typescheme of an object in combinatory logic, Trans. Amer. Math. Soc. 146 (1969) 29–60) states that every type-scheme of a combinatory term is a principal type-scheme of some combinatory term.This paper shows a simple proof for the theorem in -calculus, by constructing an algorithm which transforms a type assignment to a -term into a principal type assignment to (...) another -term that has the type as its principal type-scheme. The clearness of the algorithm is due to the characterization theorem of principal type-assignment figures. The algorithm is applicable to BCIW--terms as well. Thus a uniform proof is presented for the converse principal type-scheme theorem for general -terms and BCIW--terms. (shrink)

Inductive characterizations of the sets of terms, the subset of strongly normalizing terms and normal forms are studied in order to reprove weak and strong normalization for the simply-typed λ-calculus and for an extension by sum types with permutative conversions. The analogous treatment of a new system with generalized applications inspired by generalized elimination rules in natural deduction, advocated by von Plato, shows the flexibility of the approach which does not use the strong computability/candidate style à la Tait and (...) Girard. It is also shown that the extension of the system with permutative conversions by η-rules is still strongly normalizing, and likewise for an extension of the system of generalized applications by a rule of ``immediate simplification''. By introducing an infinitely branching inductive rule the method even extends to Gödel's T. (shrink)

Stalnaker’s conception of context as common ground possesses unquestionable explanatory power, shedding light on presupposition, presupposition accommodation, the behavior of certain types of conditionals, epistemic modals, and related phenomena. The CG-context approach is also highly abstract, so merely pointing out that it fails to account for an aspect of communication is an inconclusive criticism. Instead our question should be whether it can be extended or modified to account for such a phenomenon while preserving its spirit. To that end, this (...) essay assesses the prospects of the CG-context approach for making sense of the variety of ways in which interlocutors accept propositions as well as non-propositional contents, some different types of conversation and the norms distinctive of these different types, some pre-illocutionary pragmatic phenomena, conversational injustice, and fictional discourse. (shrink)

In this paper, I present a challenge for Michael McKenna’s conversational theory of moral responsibility. On his view, to be a responsible agent is to be able to engage in a type of moral conversation. I argue that individuals with autism spectrum disorder present a considerable problem for the conversational theory because empirical evidence on the disorder seems to suggest that there are individuals in the world who meet all of the conditions for responsible agency that the theory lays (...) out but who are nevertheless not responsible agents. Attending to the moral psychology of such individuals will, I think, help shed light on an important gap in the conversational theory. (shrink)

Sanford C. Goldberg explores the source, nature, and scope of the normative expectations we have of one another as we engage in conversation. He examines two fundamental types of expectation -- epistemic and interpersonal -- that are generated by the performance of speech acts themselves.

There is currently a strong focus on responsible research in relation to the development of nanoscience and nanotechnology. This study presents a series of conversations with nanoresearchers, with the ‘European Commission recommendation on a code of conduct for responsible nanosciences and nanotechnologies research’ (EC-CoC) as its point of departure. Six types of reactions to the document are developed, illustrating the diversity existing within the scientific community in responses towards this kind of new approaches to governance. Three broad notions of (...) responsible nanoresearch are presented. The article concludes by arguing that while the suggestion put forward in the EC-CoC brings the concept of responsible nanoresearch a long way, one crucial element is to be wanted, namely responsible nanoresearch as increased awareness of moral choices. (shrink)

Now in its sixth edition, this historically organized introductory text treats philosophy as a dramatic and continuous story--a conversation about humankind's deepest and most persistent concerns. Tracing the exchange of ideas among history's key philosophers, The Great Conversation: A Historical Introduction to Philosophy, Sixth Edition, demonstrates that while constructing an argument or making a claim, one philosopher almost always has others in mind. The book addresses the fundamental questions of human life: Who are we? What can we know? (...) How should we live? and What sort of reality do we inhabit? The sixth edition retains the distinctive feature of previous editions: author Norman Melchert provides a generous selection of excerpts from major philosophical works and makes them more easily understandable to students with his lucid and engaging explanations. Ranging from the Pre-Socratics to Derrida, Quine, and Dennett, the selections are organized historically and include four complete works: Plato's Euthyphro, Apology, and Crito, and Descartes' Meditations on First Philosophy. The author's commentary offers a rich intellectual and cultural context for the philosophical ideas conveyed in the excerpts. Extensive cross-referencing shows students how philosophers respond appreciatively or critically to the thoughts of other philosophers. The text is enhanced by two types of exercises--"Basic Questions" and "For Further Thought"--and fifty illustrations. NEW TO THE SIXTH EDITION: * Coverage of Taoism, Iris Murdoch, and Zen * An expanded portrait of Jean-Paul Sartre * A more concise, single-chapter treatment of Wittgenstein (Chapter 22) * Key terms, boldfaced throughout and listed at chapter ends * Brief and provocative quotations that stimulate thought and provoke questions * A new section on how to read philosophy * A new appendix: Writing a Philosophy Paper * A two-color format that enhances the text's visual appeal * A Companion Website at www.oup.com/us/melchert featuring resources for students including key points, flashcards, multiple-choice questions, and Internet resources * A revised Instructor's Manual and Test Bank (available on the companion website and on CD) containing key points, teaching suggestions, and multiple-choice, short-answer, and essay exam questions The Great Conversation, Sixth Edition, is also available in two paperback volumes to suit your course needs. Volume I: Pre-Socratics through Descartes includes chapters 1-13 of the combined volume, while Volume II: Descartes through Derrida and Quine includes chapters 12-25. (shrink)

How do people with brain damage communicate? How does the partial or total loss of the ability to speak and use language fluently manifest itself in actual conversation? How are people with brain damage able to expand their cognitive ability through interaction with others - and how do these discursive activities in turn influence cognition? This groundbreaking collection of new articles examines the ways in which aphasia and other neurological deficits lead to language impairments that shape the production, reception (...) and processing of language. Edited by noted linguistic anthropologist Charles Goodwin and with contributions from a wide range of international scholars, the articles provide a pragmatic and interactive perspective on the types of challenges that face aphasic speakers in any given act of communication. Conversation and Brain Damage will be invaluable to linguists, discourse analysts, linguistic and medical anthropologists, speech therapists, neurologists, psychiatrists, psychologists, workers in mental health care and in public health, sociologists, and readers interested in the long-term implications of brain damage. (shrink)

Ideal for courses in modern philosophy or modern and contemporary philosophy, The Great Conversation: A Historical Introduction to Philosophy, Volume II: Descartes through Derrida and Quine covers the same material as the second half of author Norman Melchert's longer volume, The Great Conversation. Tracing the exchange of ideas among history's key philosophers, the book demonstrates that while constructing an argument or making a claim, one philosopher almost always has others in mind. It addresses the fundamental questions of human (...) life: Who are we? What can we know? How should we live? and What sort of reality do we inhabit?The sixth edition retains the distinctive feature of previous editions: author Norman Melchert provides a generous selection of excerpts from major philosophical works and makes them more easily understandable to students with his lucid and engaging explanations. Ranging from Descartes to Derrida and Quine, the selections are organized historically and include a translation of Descartes' Meditations on First Philosophy. The author's commentary offers a rich intellectual and cultural context for the philosophical ideas conveyed in the excerpts. Extensive cross-referencing shows students how philosophers respond appreciatively or critically to the thoughts of other philosophers. The text is enhanced by two types of exercises--"Basic Questions" and "For Further Thought"--and forty illustrations.NEW TO THE SIXTH EDITION:* Coverage of Iris Murdoch and Zen, and an expanded portrait of Jean-Paul Sartre* A more concise, single-chapter treatment of Wittgenstein* Key terms, boldfaced throughout and listed at chapter ends* Brief and provocative quotations that stimulate thought and provoke questions* A new section on how to read philosophy* A new appendix: Writing a Philosophy Paper* A Companion Website at www.oup.com/us/melchert featuring resources for students including key points, flashcards, multiple-choice questions, and Internet resources* A revised Instructor's Manual and Test Bank containing key points, teaching suggestions, and multiple-choice, short-answer, and essay exam questions Also available to suit your course needs: The Great Conversation: A Historical Introduction to Philosophy, Sixth Edition and The Great Conversation: Volume I: Pre-Socratics through Descartes. (shrink)

Legal texts are often given interpretations that deviate from their literal meanings. While legal concerns often motivate these interpretations, others can be traced to linguistic phenomena. This paper argues that systematicities of language usage, captured by certain theories of conversational implicature, can sometimes explain why the meanings given to legal texts by judges differ from the literal meanings of the texts. Paul Grice's account of conversational implicature is controversial, and scholars have offered a variety of ways to conceptualize implicatures and (...) Grice's maxims of conversation. Approaches that emphasize the systematic nature of implicatures can provide explanatory accounts of the gap between literal meaning and the meaning communicated in the text. For example, a theory of scalar implicature, a type of generalized conversational implicature, can account for the application of the interpretive principle known as ejusdem generis, which narrows the scope of “catch-all” clauses located at the end of lists of items. Despite the availability of such theories, some scholars have argued that conversational implicatures are not applicable to legislation. The arguments, based primarily on the uniqueness of the legislative context and its noncooperative nature, though, do not establish the inapplicability of conversational implicatures to legislation. (shrink)

The article introduces the Vygotskian tradition in the realist theoretical discussion of the structure-agency problem. Archer's concept of internal conversation is discussed in terms of internalization and externalization of conversational dynamics. The article addresses in particular the methodological issue of observing how external events trigger internal use of language, and how these internal dynamics are externalized. The experience of talk is proposed as a conceptual key to the understanding of internal conversations and of the relation between structured activity and (...) agency. The experience of talk is defined with the help of the notions of emotional experience, personal sense and inner speech, as they are conceptualized in activity theory and in particular in the works of L.S. Vygotsky and A.N. Leont’ev. Students’ experiences of critical conversational events with teachers are analyzed on the basis of written autobiographical accounts. The experience of talk emerges from the analysis as a form of emotional experience in which the horizon of the individual's subjective view relates to specific circumstances external to the individual. Autobiographical accounts of critical conversations are suggested as a type of data which allows access to the experience of talk. (shrink)

This book presents the methodological framework of combining Multimodal Conversation Analysis (MCA) with Interpretative Phenomenological Analysis (IPA) to interpretively analyse translanguaging practices in educational contexts. Beginning with an overview of the three uses of translanguaging - translanguaging as a theory of language, as a pedagogical practice and as an analytical perspective - the book goes on to critically examine the different methodological approaches for analysing translanguaging practices in multilingual classroom interactions. It explains how MCA and IPA are useful methodologies (...) for understanding how and why translanguaging practices are constructed by participants in the classroom and discusses types of data collected and data collection procedures. The author, Kevin W. H. Tai, shows how combining these approaches enables researchers to study how translanguaging practices are constructed in multilingual classrooms and how teachers make sense of their own translanguaging practices at particular moments of classroom interaction. This detailed and concise guide is indispensable for students, practitioners, policymakers, and researchers from across the globe, particularly those working in the fields of applied linguistics and language education. (shrink)

Typed λ-calculus uses two abstraction symbols which are usually treated in different ways: λx:*.x has as type the abstraction Πx:*.*, yet Πx:*.* has type □ rather than an abstraction; moreover, C is allowed and β-reduction evaluates it, but C is rarely allowed. Furthermore, there is a general consensus that λ and Π are different abstraction operators. While we agree with this general consensus, we find it nonetheless important to allow Π to act as an abstraction operator. Moreover, experience with AUTOMATH (...) and the recent revivals of Π-reduction as in [11, 14], illustrate the elegance of giving Π-redexes a status similar to λ-redexes. However, Π-reduction in the λ-cube faces serious problems as shown in [11, 14]: it is not safe as regards subject reduction, it does not satisfy type correctness, it loses the property that the type of an expression is well-formed and it fails to make any expression that contains a Π-redex well-formed. In this paper, we propose a solution to all those problems. The solution is to use a concept that is heavily present in most implementations of programming languages and theorem provers: abbreviations or let-expressions. We will show that the λ-cube extended with Π-conversion and abbreviations satisfies all the desirable properties of the cube and does not face any of the serious problems of Π-reduction. We believe that this extension of the λ-cube is very useful: it gives a full formal study of two concepts that are useful for theorem proving and programming languages. (shrink)

Intrateam competition is an inherently social and interactional process, yet it is not often studied as such. Research on competition is mostly limited to studying it as an individual state and assumes that the resulting team outcomes are equivalent across different competition types. Often overlooked in competition research are the means through which competition can lead to constructive outcomes for the team. Constructive competition occurs when the primary motivation is not to win at the expense of others, but rather (...) to make social comparisons and gain knowledge of relative competence. This study furthers insight into constructive competition by studying its interpersonal characteristics as it develops within a team, and its impact on task conflict, perceived performance, and team satisfaction. The conversations of 24 student project teams were recorded over 4 weeks and analyzed, operationalizing competition as an attempt to exert control and influence on the team. Each individual then provided sociometric ratings of perceived performance of each team member, and rated the level of task conflict and satisfaction of the team. The effects of competition on perceived performance and team satisfaction, both directly and indirectly through task conflict, were examined. Findings demonstrated a negative direct effect of competition on the range of perceived performance ratings, and a positive indirect effect of competition on team satisfaction as mediated through task conflict. The study broadens understanding on the construct of competition and underscores the positive implications competition can bring to the teams. (shrink)

People partaking in a conversation can add to the common ground of said conversation by performing different speech acts. That is, they can influence which propositions are presumed to be shared among them. In this paper, I am going to apply the common ground framework to the phenomenon of epistemic injustice. In doing so, I am going to focus on two kindsof speech acts: making assertions and asking certain kinds of questions. And I am going to look at (...) three varieties of epistemic injustice: testimonial injustice, inquiring injus-tice and interpretative injustice.I am going to argue that what all these varieties of epistemic injustice have in common is that they unfairly inhibit the speaker’s ability to add to the common ground in the way intended by her. This in turn negatively affects which con-versational roles a speaker can play in a given conversation. Based on these results, I am going to end by looking at some of the harms that epistemic injustice inflicts upon its victims. (shrink)

A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)C is unprovable in S when C does not contain . In A Routley-Meyer semantics for Converse Ackermann Property (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called semiclassical negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type semantics are (...) provided for each one of the resulting systems (the positive systems plus the semiclassical negation). (shrink)

Stone & Wang collate the nascent research examining the mnemonic consequences associated with social media use. In particular, they highlight two important factors in understanding how social media use shapes the way individuals and groups remember the past: the type of information (personal vs. public) and the role (producer vs. consumer) individuals undertake when engaging with social media. Stone and Wang investigate those two features in relation to induced forgetting for personal information and false memories/truthiness for public information.

Using tools like argument diagrams and profiles of dialogue, this paper studies a number of examples of everyday conversational argumentation where determination of relevance and irrelevance can be assisted by means of adopting a new dialectical approach. According to the new dialectical theory, dialogue types are normative frameworks with specific goals and rules that can be applied to conversational argumentation. In this paper is shown how such dialectical models of reasonable argumentation can be applied to a determination of whether (...) an argument in a specific case is relevant are not in these examples. The approach is based on a linguistic account of dialogue and text from congruity theory, and on the notion of a dialectical shift. Such a shift occurs where an argument starts out as fitting into one type of dialogue, but then it only continues to makes sense as a coherent argument if it is taken to be a part of a different type of dialogue. (shrink)

In this article, we first study abduction in human dialogues. Given an utterance, objective abduction produces a hearer’s belief that could explain the utterance, while subjective abduction produces a hearer’s belief that could explain the belief state of a speaker. Different types of abduction are formulated using propositional epistemic logic. We next consider conversational implicature used as pragmatic inference in speech acts. Two conflicting implicatures, Q-implicature and I-implicature, are formulated and contrasted with abduction. We also argue how speakers could (...) use abduction or conversational implicature for the purpose of misleading hearers. (shrink)

The nature of the relationship between the two types of meiotic recombination outcomes, exchange (crossing‐over) and simple gene conversion, has been debated for years. I here propose that these two types of events are not necessarily causally related and hypothesize that the primary role of events detected as simple gene conversion is in the recognition of homology during synapsis.

The British philosopher Herbert Paul Grice observed that the total significance of an utterance embraces not only “what is said” but what is implied. His term of art for the latter was “implicature，” and he identified conversational implicature as an important type of implicit meaning or signification.

Pure Type Systems, PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic. First we consider (...) a simplification of the start and weakening rules of PTSs, which allows contexts to be sets of statements, and a generalisation of the conversion rule. The resulting Set-modified PTSs or SPTSs, though essentially equivalent to PTSs, are closer to standard logical systems. A simplification of the abstraction rule results inion-modified PTSs or APTSs. These turn out to be equivalent to standard PTSs if and only if a condition holds. Finally we consider SAPTSs which have both modifications. (shrink)

El presente trabajo tiene como objetivo determinar los tipos de actividades de reformulación conversacional que aparecen en conversaciones en adultos mayores con diferentes niveles de desempeño cognitivo: normales y trastorno cognitivo leve, a partir de una tarea de construcción de un discurso narrativo-argumentativo. Desde una perspectiva de investigación cualitativa, se obtuvo un corpus de 4 entrevistas, que fue codificado con la ayuda del software ATLAS.ti lo que permitió la generación de conceptos y el desarrollo de explicaciones a partir de los (...) datos, los que fueron contrastados con el marco teórico disponible. Los resultados indicaron que los hablantes realizaron actividades de auto-reformulación auto-iniciada, auto-reformulación iniciada por otro y hetero-reformulación derivada del auto-inicio. Las dos primeras se redujeron en los hablantes identificados con trastorno cognitivo leve, mientras que el último tipo de actividad fue el más frecuente y dominante en la conversación. Los hablantes con trastorno cognitivo leve realizaron reformulaciones que no corregían o adecuaban el discurso, por lo que no cumplieron con la finalidad de la reparación. This study aimed to determine the types of activities of conversational reformulation that occur during oral dialogues with older adults who have varying levels of cognitive performance. Study participants, who ranged between normal cognitive function and mild cognitive impairment, were given the task of constructing a narrative-argumentative dialogue. For qualitative investigation purposes, a corpus of four interviews was obtained. Each series of interviews were encoded using ATLAS.ti software which generated linked concepts and explanations from the data. Findings were then compared with the available theoretical framework. The results indicated that participants exhibited three modes of reformulation technique: self-initiated self-reformulation activities; self-reformulation started by another person; and hetero-reformulation derived from self-start. The first two were reduced in speakers exhibiting mild cognitive impairment, while the latter was the most frequent and dominant mode in the conversation. Speakers with mild cognitive impairment executed reformulations that did not correct or enhance the speech, and as such did not meet the purpose of reformulation. (shrink)

When a person performs a certain action, it signifies that he is causing a certain event to occur. Therefore the action is conveying a certain true sentence. Playing a game is a mutual activity, namely the listener and the speaker undertake an exchange through a linguistic dialogue or communicate through action. Because of the peculiar nature of the action, the actions in games belong to an activity where the speaker speaks true words and the listener hears true words. A static (...) game is a process through which the participants are simultaneously speaking and listening ; and a dynamic game is a process where speaking and listening take place in turn. Each step of a dynamic game is a speaking-listening exchange. Through listening and speaking, changes in the epistemic states of the participants occur. Of course, the degree of change depends on the type of game being played. In a dynamic game, each participant proceeds through a process of induction, and thus forms new epistemic states. (shrink)

Catcalls have been said to insult, intimidate, and silence their targets. The harms that catcalls inflict on individuals are reason enough to condemn them. This paper argues that they also inflict a type of structural harm by subordinating their targets. Catcalling initiates an unwanted conversation where none should exist. This brings the rules and norms governing conversations to bear in such a way that the catcall assigns their target a ‘subordinate discourse role’. This not only constrains the behaviour of (...) the target here and now, but also influences the norms governing future conversations. Catcalls are then not only bad because of the effects on their target, but also because of their pernicious contribution to the wider normative landscape. (shrink)

As the first large online event of the American Society for Cybernetics, the ASC2020 Global Conversation offered an opportunity to develop new online types of cybernetic conversations on cybernetics, in cybernetic formats. This article discusses the design decisions that led to a particular organizational structure of the event, and observations on how the event unfolded from this organizational structure. Based on observations made throughout the event as well as its preparation stage, the article maps seven different types (...) of conversations taking place before and during the event and discusses opportunities and constraints encountered in relation to each identified type. As online conferences have proliferated exponentially due to the impact of COVID-19, this article aims to contribute a cybernetic perspective to the broader discourse on scholarly international exchange in online media, and offers a new perspective on how such conversations might be designed in a cybernetic manner. (shrink)

The article examines entire dispute courses in family interaction with regard to argumentation. The approach is an interdisciplinary one integrating both linguistic conversation analysis and empirical psychology, and leads to a typology of dispute courses. Research is guided by the presupposition that the presentation of an argument depends on two systems, a cognitive one and a motivational one, and that both systems are reflected in the realization of the interaction.Six types of dispute courses were detected and grouped in (...) the dichotomy of more constructive and more destructive courses where the latter were divided again into courses disturbed in topical progress or disturbed in interpersonal relationships. The types were evaluated through quantitative methods referring to an exhausting coding of the utterances in the material used. Quantitative evaluations yield a synopsis of the different dispute courses concerning the kind of mutual interaction control, the argumentation itself, and the argumentation levels of the participants. (shrink)

This article argues that what Grice termed ‘particularized conversational implicatures’ can be divided into two types. In some cases, it is possible to reconstruct the inference from the explicit content of the utterance to the implicature without employing a premise to the effect that that the speaker expressed that content (by means of an utterance). I call these ‘material implicatures’. Those whose reconstruction relies on a premise about the speaker's verbal behaviour, by contrast, I call ‘behavioural implicatures’. After showing (...) that the division is theoretically significant, I ask whether current pragmatic theory is able to accommodate it. I conclude that, while (neo)-Gricean pragmatics cannot do so straightforwardly, the distinction is already implicit in Relevance Theory. The article ends by considering the question of whether, in the light of previous discussion, speaker meaning really is always an instance of non-natural meaning. (shrink)

Pure Type Systems, PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic. First we consider (...) a simplification of the start and weakening rules of PTSs, which allows contexts to be sets of statements, and a generalisation of the conversion rule. The resulting Set-modified PTSs or SPTSs, though essentially equivalent to PTSs, are closer to standard logical systems. A simplification of the abstraction rule results in Abstraction-modified PTSs or APTSs. These turn out to be equivalent to standard PTSs if and only if a condition (*) holds. Finally we consider SAPTSs which have both modifications. (shrink)

In this paper we use the concept of the person to examine person‐centred dialogue and show how person‐centred dialogue is different from and significantly more than transfer of information, which is the dominant notion in health care. A further motivation for the study is that although person‐centredness as an idea has a strong heritage in nursing and the broader healthcare discourse, person‐centred conversation is usually discussed as a distinct and unitary approach to communication, primarily related to the philosophy of (...) dialogue—the philosophy of Martin Buber. In this paper we start with the concept of person to critically reflect on theoretical perspectives on communication to understand person‐centred conversations in the context of nursing and health. We position the concept of the person through the use of Paul Ricoeur's philosophy and follow by distinguishing four theoretical perspectives on communication before reflecting on the relevance of each of these for person‐centred communication. These perspectives are: a linear view of communication as transfer of information, communication as a relation in the sense of philosophy of dialogue, practice‐based communication on constructionist grounds, and communication as a practice to create social community. In relation to the concept of the person, we do not find transfer of information relevant as a theoretical underpinning for person‐centred conversations. From the other three perspectives that are relevant we distinguish five types of person‐centred conversations pertinent to nursing and health: problem identifying conversations, instructive conversations, guiding and supportive conversations, caring and existential conversations, and therapeutic conversations. Through this analysis it is argued that person‐centred communication and conversations are substantially different to transfer of information. We also discuss the significance of communication adjusted to specific situations, including emphasis on how we speak in relation to the aim or topic of a conversation. (shrink)

The present study claims that the use of spontaneous gestures can contribute to accomplishing coherence in sequential conversational exchanges. Three types of speech-accompanying gestures were analyzed in Chinese conversation. Based on the syntactic-semantic relation with the co-occurring utterance, the first type is associated with words that do not convey explicit meaning; the second type is associated with covert constituents; the third type does not have any linguistic affiliates. They suggest different ways in which gesture adds information to the (...) propositional content of the associated utterance or to the content of the speech event under discussion. They also play a role in achieving conversational coherence: on the part of the speaker, it is only by using the various types of gesture that a current speaker can make the message to be conveyed in the utterance complete. On the part of the next speaker, the recognition and negotiation with the former speaker of the gestured information is a way to acknowledge or confirm mutual knowledge. The collaborative efforts contribute to the coherence of the talk in the subsequent interaction. (shrink)

Unlike a great deal of research on expert/non-expert communication, most of which is based on written materials, this article focuses on face-to-face communication. The analysis is based on a large corpus of transcribed recordings of medical seminars in rehabilitation centres and of interviews with chronically ill patients suffering from heart conditions. The focus is on procedures of illustration, which are often combined with reformulation procedures. Four main types are described: metaphors, exemplification, `scenarios', concretization. Whatever the type of illustration used, (...) participants in face-to-face interaction show a marked preference for procedures which relate abstract medical information to everyday life and experience. After a brief outline of the theoretical approach adopted the analysis proceeds in two steps: first, the emphasis is on techniques employed by the `experts', then on those used by `non-experts', i.e. patients. This is followed by an examination of the question how the roles of expert and non-expert are constituted in and by interaction. (shrink)

This paper expands on the notion of "moral conversion" (advanced by Bernard Lonergan but underdeveloped in his work) by developing a typology that uses two "cross-hatching" criteria. First, it distinguishes between moral conversions that have to do with a person's relation to moral obligation, good and evil, and between moral conversions that have to do with how a person regards the question of happiness and the meaning of life. Secondly, it distinguishes between conversions regarding the _content_ (what is good/evil or (...) the meaning of life?), regarding _attitude_ (becoming committed to doing good or to the meaning-seeking process), and regarding _coherence_ (conforming one's actual life to what is understood to be right/wrong or meaning-giving). Combining both criteria leaves us with six types of moral conversion. Each type is then illustrated and supported with concrete real-life narratives. I conclude with an attempt at a definition of moral conversion that includes all types. The article is a summary of Chapter 5 of my dissertation (2008) "Narratives of Hope: A Philosophical Study of Moral Conversion.". (shrink)

In this paper I pursue two goals. Firstly, I try to evaluate how Susan Haack receives and categorically rejects Rorty's anti-epistemological message from Philosophy and the Mirror of the Nature and some subsequent writings. I reconstruct Haack's counterarguments and Rorty's responses to these counterarguments. Secondly, I propose to deconstruct the theoretical position from which Haack orchestrates her attack on Rorty. On the one hand I show that she assumes a series of classical metaphysical presuppositions that are difficult to accept today, (...) which predisposes her to a lack of hermeneutical flexibility and clarity. On the other hand, at least some of Haack's arguments against Rorty are erroneous. Following Michael Williams, I point out that Rorty's position in Mirror is not against knowledge, since it raises questions about the legitimacy of epistemology. The challenge of my approach is not to defend Rorty, but rather to examine the mechanism of a charge against him in the name of a pretended philosophical correctness. I call this type of charge “hermeneutics of annihilation”. Haack's hermeneutics of annihilation is a pseudo-hermeneutics, since her goal is not to understand the stake of Rorty's philosophy exposed in Mirror. She only understood, from the point of view of an epistemologist ideology, that this work would be a threat to Truth, Knowledge, Epistemology, Science, and Reason. (shrink)

The article deals with an approach to the analysis of propositional attitudes based on the type-theoretical semantics proposed by A. Ranta and originating from the type theory of P. Martin-Löf. Type-theoretical semantics contains the notion of context and tools of extracting information from it in an explicit form. This allows us to correctly formalize the dependence on contexts typical of propositional attitudes. In the article the context is presented as a dependent sum type (Record type in the proof assistant Coq). (...) Ranta’s approach is refined and applied to the analysis of Quine’s phrase “Ralph believes that someone is a spy”. Three variants of formalization for this phrase are described which differ in the content of contextual knowledge and the way the truth values of the phrase are derived. Contexts are connected through the function of conversion, making it possible to relate truth values. As a result, it is shown that the instruments for working with contexts provided by type-theoretical semantics allow us to avoid the problem of opacity described by Quine. Provided formalization along with proofs is coded in Coq and made freely available. (shrink)

I argue against the view that metalinguistic usage is a form of conversational implicature. That view, suggested by Thomasson (Anal Philos 57(4):1-28, 2016) and Belleri (Philos Stud 174(9):2211–2226, 2017), has been most recently fleshed out by Mankowitz (Synthese 199:5603–5622, 2021). I provide two types of criticism to the implicature view. From an empirical point of view, metalinguistic usage differs in key respects from standard cases of conversational implicature. From a conceptual standpoint, I argue that the calculation algorithm provided by (...) the implicature view makes undesirable predictions. Although my main objective is negative, I end the paper by sketching an alternative neo-Stalnakerian view of metalinguistic usage, that can be gathered from work by Barker (Linguist Philos 25(1):1–36, 2002; Inquiry 56(2–3):240–257, 2013) and others. (shrink)

This essay investigates the applicability of Grice’s theory of conversational implicatures to legal interpretation, in order to highlight some of its characteristics. After introducing the notions of language and discourse, and briefly explaining the most salient aspects of Grice’s theory, I will analyse the interpretation of two types of legal acts; authoritative legal acts and acts of private autonomy. Regarding the first class, exemplified by statutes, I will argue against the applicability of Gricean theory due to the conflictual behaviour (...) of the addressees and, above all, to the insurmountable indeterminacy of the contextual elements. As far as acts of private autonomy are concerned, exemplified by contracts, I will argue that the cooperative principle is applicable, at least in those legal systems that include the principle of bona fides among the interpretative regulations of such acts. (shrink)

We present the paradigm of categories-as-syntax. We briefly recall the even stronger paradigm categories-as-machine-language which led from -calculus to categorical combinators viewed as basic instructions of the Categorical Abstract Machine. We extend the categorical combinators so as to describe the proof theory of first order logic and higher order logic. We do not prove new results: the use of indexed categories and the description of quantifiers as adjoints goes back to Lawvere and has been developed in detail in works of (...) R. Seely. We rather propose a syntactic, equational presentation of those ideas. We sketch the (quasi-equational) categorical structures for dependent types, following ideas of J. Cartmell (contextual categories). All these theories of categorical combinators, together with the translations from -calculi into them, are introduced smoothly, thanks to the systematic use of– - an abstract variable-free notation for -calculus, going back to N. De Bruijn, – - a sequent formulation of the natural deduction. (shrink)

Danielle Davis : Firstly, I wonder if you could briefly outline your position on mixed race identities. Are they desirable? My concern about these categories/identities is they present US with a double-edged sword. That is, on the one hand they perhaps enable difference, yet they also have the capacity to erase it. Lewis Gordon : The first part of the question is loaded, Danielle. When you say "desirable", what follows are other questions. "To whom?" "In what sense?" "For what purpose?" (...) Already embedded in notions of desire are subjects whose wishes and wants already structure a certain relation to the objects of their desire. Of course, there is the other sense, for example, in which John Stuart Mill referred to its being desirable to be Socrates. In that sense, we are asking about a normative ideal. My position on that issue is not unique to mixed-race people but also to any people. The notion of its being desirable to be a certain type of people already has within it the notion of there being people whom it is less desirable to be. Of course, being bad people is not desirable. But here, the comparison is not between good and bad, ethical or unethical, or even good and evil, but between modes of existing over which an ontological configuration may intervene regardless of what one may think or prefer. Much of that is at the heart of mixture. (shrink)

One of the success stories of formal semantics is explicating responsive moves like answers to questions. There is, however, a significant lacune concerning the characterization of _initiating utterances_, which are strongly tied to the conversational activity [language game (Wittgenstein), speech genre (Bakhtin)], or—our terminology—_conversational type_, one is engaged in. To date there has been no systematic proposal trying to account for the range of possible _language games_/_speech genres_/_conversational types_ and their global structure. In particular, concerning the range of subject matter (...) that can and needs to be discussed and by whom—ultimately a semantic analogue of Laplace’s demon. We suggest that the subject matter problem for conversational types is a central task for any semantic theory for conversation. This paper develops a theory of conversational types, which embedded in the theory of conversational interaction KoS, enables this problem to be tackled for a wide range of conversational types drawn from the British National Corpus classification of conversational domains. The theory we develop treats conversational types as first class, not metatheoretical entities, in contrast to explications of corresponding notions in game theoretic approaches. We demonstrate that this allows us to explicate the possibilities interlocutors have to refer to and seek clarification about the types of conversations they are engaged in. (shrink)

We have developed a broadcasting agent system, public opinion channel (POC) caster, which generates understandable conversational form from text-based documents. The POC caster circulates the opinions of community members by using conversational form in a broadcasting system on the Internet. We evaluated its transformation rules in two experiments. In experiment 1, we examined our transformation rules for conversational form in relation to sentence length. Twenty-four participants listened to two types of sentence (long sentences and short sentences) with conversational form (...) or with single speech. In experiment 2, we investigated the relationship between conversational form and the user’s knowledge level. Forty-two participants (21 with a high knowledge level and 21 with a low knowledge level) were selected for a knowledge task and listened to two kinds of sentence (sentences about a well-known topic or sentences about an unfamiliar topic). Our results indicate that the conversational form aided comprehension, especially for long sentences and when users had little knowledge about the topic. We explore possible explanations and implications of these results with regard to human cognition and text comprehension. (shrink)

Strategic maneuvering refers to the efforts parties make to reconcile rhetorical effectiveness with dialectical standards of reasonableness. It manifests itself in topical selection, audience-directed framing and presentational devices. In analyzing strategic maneuvering one category of parameters to be considered are the constraints of the institutional context. In this paper I explore the institutional constraints for topical selection for the legal argumentative activity type insulting. I will make a distinction between statutory constraints, constraints developed in case law and constraints regarding language (...) use and the logic of conversational implicatures. (shrink)

In this paper I prove the following theorems which are the converses of some results of Judah and Laver (1983) and of Judah and Marshall (1993).-IfKM+ATW is not an extension by definition ofKM (and the model involved is well founded), then the existence of two inaccessible cardinals is consistent with ZF.-IfKM+ATW is not a conservative extension ofKM (and the model involved is well founded), then the existence of an inaccessible number of inaccessible cardinals is consistent with ZF.whereKM is Kelley Morse (...) theory andKM+ATW isKM with types of well-orders. (shrink)

This case study investigates how people ‘listen’ and act as ‘listeners’ in instant messages. Little research has been done on listenership and listeners in text-based digital discourse; to address this gap, I analyze a group instant message conversation among five Korean young women via KakaoTalk, a free instant messaging application. Demonstrating previous studies on listenership and listeners in spoken discourse and defining ‘listenership’ as the act of giving feedback on prior messages, I identify and explicate four ways of showing (...) listenership in instant message interaction: minimal responses, machine gun listenership, laughing and sticker reaction. My analysis illuminates how verbal and non-verbal forms of listenership are adapted to typed-based online contexts as well as how listenership contributes to the construction of talk in typed-based digital environments. (shrink)

This essay ties together some main strands of the author’s research spanning the last quarter-century. Because of its broad scope and space limitations, he prescinds from detailed arguments and instead intuitively motivates the general points which are supported more fully in other publications to which he provides references. After an initial delineation of several distinct notions of meaning, the author considers such a notion deriving from the evolutionary biology of communication that he terms ‘organic meaning’, and places it in the (...) context of evolutionary game theory. That provides a framework for a special type of organic meaning found in the phenomenon of expression, of which the author here offers an updated characterization while highlighting its wide philosophical interest. Expression in turn generalizes to a paradigmatic form of human communication—conversation—and section 4 provides a taxonomy of conversation-types while arguing that attention to such types helps to sharpen predictions of what speakers say rather than conversationally implicate. We close with a view of fictional discourse on which authors of fictional works are engaged in conversation with their readers, and can provide them with knowledge in spite of the fictional character of their conversation. Such knowledge includes knowledge of how an emotion feels and is thus a route to empathy. (shrink)

Inspired by recent Bayesian interpretations about the psychology underlying religion, the paper introduces a theory proposing that religious conversion is shaped by three factors: (i) novel relevant information, experienced in perceptual or in social form (e.g., following interaction with missionaries); (ii) changes in the utility (e.g., expressed in an opportunity to raise in social rank) associated with accepting a new religious creed; and (iii) prior beliefs, favouring religious faiths that, although new, still remain consistent with entrenched cultural views (resulting in (...) the phenomenon of syncretism). From the theory, a multifactorial picture of conversion emerges. Based on which factor is primarily engaged in each case, a classification of different types of conversion can be derived, with a remarkable fit with empirical literature. The theory offers a description of the processes underlying religious conversion and, highlighting the links among apparently incompatible previous views, it reconciles these views within a unifying framework. (shrink)