One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...) the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

This book is devoted to a thorough analysis of the role that models play in the practise of physical theory. The authors, a mathematical physicist and a philosopher of science, appeal to the logicians’ notion of model theory as well as to the concepts of physicists.

Explores the origin and evolution of the Greek concept of nature up until the time of Plato.

Current research findings on metaphor in language and thought may be interpreted as producing a paradox of metaphor; that is, most metaphor is not processed metaphorically by a cross-domain mapping involving some form of comparison. This paradox can be resolved by attending to one crucial aspect of metaphor in communication: the question whether metaphor is used as deliberately metaphorical or not. It is likely that most deliberate metaphor is processed metaphorically (by comparison), as opposed to most nondeliberate metaphor, which may (...) be assumed to be typically not processed metaphorically (that is, by categorization). This resolves the paradox of metaphor because it suggests that all “metaphor in communication” (all deliberate metaphor) is processed metaphorically. Detailed comments are offered on the notion of metaphor deliberateness and on the nature of a three-dimensional model of metaphor in discourse involving metaphor in language, thought, and communication. (shrink)

We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding a coimplication operator, (...) similar to Curry's subtraction operator, which is resituated with Linear Logic's contensor product. And we can add contraction to get nondistributive Relevance Logic. The model rests heavily on Urquhart's representation of nondistributive lattices and also on Dunn's Gaggle Theory. Indeed, the paper may be viewed as an investigation into nondistributive Gaggle Theory restricted to binary operations. The valuations on the Kripke model are three valued: true, false, and indifferent. The lattice representation theorem of Urquhart has the nice feature of yielding Priestley's representation theorem for distributive lattices if the original lattice happens to be distributive. Hence the representation is consistent with Stone's representation of distributive and Boolean lattices, and our semantics is consistent with the Lemmon-Scott representation of modal algebras and the Routley-Meyer semantics for Relevance Logic. (shrink)

Unlike the first generation of critical theorists, contemporary critical theory has largely ignored technology. This is to the detriment of a critical theory of society – technology is now a central feature of our daily lives and integral to the contemporary form of capitalism. Rather than seek to rescue the first generation’s substantive theory of technology, which has been partly outmoded by historical developments, the approach adopted in this article is to engage with today’s technology through the conceptual apparatus offered (...) by the early Frankfurt School. This rationale is guided by the conviction that the core ideas of critical theory still offer a sound basis for assessing the nature of technology today. Through a reconstruction and engagement with some of the core concepts of first-generation critical theory, as well as the work of Bernard Stiegler and Andrew Feenberg, we can arrive at a more robust theory of technology, capable of critically interrogating the role of technology in contemporary society. (shrink)

This paper examines patterns of metaphor in usage. Four samples of text excerpts of on average 47,000 words each were taken from the British National Corpus and annotated for metaphor. The linguistic metaphor data were collected by five analysts on the basis of a highly explicit identification procedure that is a variant of the approach developed by the Pragglejaz Group (Metaphor and Symbol 22: 1–39, 2007). Part of this paper is a report of the protocol and the reliability of the (...) procedure. Data analysis shows that, on average, one in every seven and a half lexical units in the corpus is related to metaphor defined as a potential cross-domain mapping in conceptual structure. It also appears that the bulk of the expression of metaphor in discourse consists of non-signalled metaphorically used words, not similes. The distribution of metaphor-related words, finally, turns out to be quite variable between the four registers examined in this study: academic texts have 18.5%, news 16.4%, fiction 11.7%, and conversation 7.7%. The systematic comparative investigation of these registers raises new questions about the relation between cognitive linguistic and other approaches to metaphor. (shrink)

In ‘An argument against causal decision theory’, Jack Spencer shows that standard formulations of causal decision theory run afoul of his Guaranteed Principle. In the sequential choice problem he employs to make this case, the transgression stems from an awkward discrepancy between how causalists typically value present vs future acts. This note suggests a version of causal decision theory that avoids this incongruity and so respects the Guaranteed Principle in Spencer’s problem. However, this formulation, and hence symmetric appraisal of present (...) and future acts, is also shown to be insufficient to secure causalist satisfaction of the Guaranteed Principle in general. (shrink)

Aristotle's _Nicomachean Ethics_ is one of the most important texts in western philosophy, and arguably the most influential text on contemporary moral theory. This _GuideBook_ introduces and assesses: * Aristotle's life and the background to the _Nicomachean Ethics_ * The ideas and text of the _Nicomachean Ethics_ * Aristotle's central role in philosophy and his continuing contribution to our ethical thought.

Trolley problems and like cases are often thought to show the inadequacy of purely consequentialist moral theories. In particular, they are often taken to reveal that consequentialists unduly neglect the moral significance of the causal structure of decision problems. To precisify such critiques and one sort of deontological morality they motivate, I develop a formal modeling framework within which trolley problems can be represented as suitably supplemented structural causal models and various consequentialist and double effect-inspired moral theories can be viewed (...) as disagreeing over the inputs of a common decision rule. (shrink)

Teaching requires much emotion work which takes its toll on teachers. Emotion work is usually studied from one of two perspectives, a job or an individual perspective. In this study, we assessed the relative importance of these two perspectives in predicting emotional exhaustion. More than 200 teachers completed a questionnaire comprising the DISQ , the Dutch Questionnaire on Emotional Labour , and the UBOS . In line with previous studies, our findings indicated that emotional exhaustion is positively associated with emotional (...) job demands and surface acting. The relative importance of the two operationalisations of emotion work was assessed by comparing the results of two regression analyses. Whereas the model with job demands explained 18% of the variance, the model with emotional labour explained only 5%. In understanding what might contribute to emotional exhaustion in teachers, the emotional job demands might be much more important than the self‐regulation perspective that is measured with emotional labour. (shrink)

In the standard formalism of quantum gravity, black holes appear to form statistical distributions of quantum states. Now, however, we can present a theory that yields pure quantum states. It shows how particles entering a black hole can generate firewalls, which however can be removed, replacing them by the ‘footprints’ they produce in the out-going particles. This procedure can preserve the quantum information stored inside and around the black hole. We then focus on a subtle but unavoidable modification of the (...) topology of the Schwarzschild metric: antipodal identification of points on the horizon. If it is true that vacuum fluctuations include virtual black holes, then the structure of space-time is radically different from what is usually thought. (shrink)

Defeasible reasoning is concerned with the logics of non-deductive argument. As is described in the literature, the study of this type of reasoning is considerably more involved than the study of deductive argument, even so that, in realistic applications, there is often a lack of resources to perform an exhaustive analysis. It follows that, in a theory of defeasible reasoning, the order and direction in which arguments are developed, i.e. theprocedure, is important. The aim of this article is to show (...) that debate is the most efficient procedure to argue in the presence of limited resources. To do so, there is first some general theory on defeasible argumentation, which is followed by an introduction to the problem of dialectical search. The problem of dialectical search is (or at least, should be) the essential issue in every theory on argumentation, and emerges at every occasion that involves adjudication on competing arguments. Starting with an example, it is explained that dialectical search can be best scheduled according to classical debating techniques, that work along well-tried methods. These methods (which include various forms of curtailment, interruption, and interpretation) have proven their value in keeping debating efforts within reasonable bounds. How they apply in a theory of formal argument, will be shown in this article. (shrink)

A promising strategy for better understanding space and time at the Planck scale, is outlined and further pursued. It is explained in detail, how black hole unitarity demands the existence of transformations that can remove firewalls. This must then be combined with a continuity condition on the horizon, with antipodal identification as an inevitable consequence. The antipodal identification comes with a \ inversion. We claim to have arrived at ‘new physics’, but rather than string theory, our ‘new physics’ concerns new (...) constraints on the topology and the boundary conditions of general coordinate transformations. The resulting theory is conceptually quite non trivial, and more analysis is needed. A strong entanglement between Hawking particles at opposite sides of the black hole is suspected, but questions remain. A few misconceptions concerning black holes, originating from older investigations, are discussed. (shrink)

Popper's methodology does not entail any playing down of the various indispensible distinctions such as the distinction between knowing and guessing, the distinction between myth and science, the distinction between the observational and the theoretical, and between the vernacular and technical sublanguages or technical vocabulary. By avoiding both the totalization that led to the foundationalist position and the scepticist reactions to these frustrated foundationalist hopes, Popper's methodology makes it possible to combine fallibilism with a realist view of theories. It combines (...) the perennial willingness to re-examine positions, statements, etc. with the claim that a particular theory (as an item of knowledge in the objective sense) constitutes cognitive progress over its rivals. However, some of his formulations have been deliberately provocative and in this way have given rise to certain misgivings about possible paradoxical implications, even in philosophers congenial with Popper's approach. The concept of knowledge in the objective sense is, of course, an explicatum which Popper proposes primarily for use in methodology and epistemology. The concept is an expression of the acknowledgment of fallibility in principle. The phrasing that ‘knowledge is conjectural’ or ‘knowledge is fallible’, even when it refers to knowledge in the objective sense, is but an abbreviation for: since our methods for ascertaining the truth-value of a particular statement about empirical reality are fallible in principle, there cannot be any certain knowledge about reality. In everyday life and in politics tolerance will be possible to the extent to which the recognition of this fallibility is more than a declaration. (shrink)

Pour cet article de réflexion critique, il s’agit de montrer en quoi les sites de rencontre, en proposant un dispositif spécifique de mise en relation de possibles partenaires, contribuent à modifier à différents niveaux la façon de concevoir le couple et de réfléchir à ce qu’il représente. L’intellectualisation que représente la nécessité de présentation de soi avant même l’éventuelle rencontre, tout autant que la définition des attentes envers le possible partenaire, positionnent différemment l’individu par rapport à une rencontre « classique (...) ». Les dimensions plus concrètes, physiques, et aussi inconscientes en jeu dans une rencontre « spontanée » semblent passer au second plan, au moins dans un premier temps. Mais ce processus de rationalisation porte en lui un certain nombre de contradictions, qui peuvent entrer en phase avec les paradoxes de l’hypermodernité : réalisation de soi dans l’autre et exacerbation des attentes envers autrui en parallèle avec l’affirmation individualiste de soi…. (shrink)

Le mérite le plus patent de Zur Kritik der Gewalt de Benjamin consiste à défaire toute représentation innocente de la violence et de ses usages, toute compréhension de la violence qui n’y verrait que l’innocuité d’un moyen neutre légitimé, ou pas, par les fins qu’il vise, les intérêts qu’il sert ou les classes qui le mobilisent. « Dans cette perspective, la violence est un produit naturel, en quelque sorte un matériau brut dont l’utilisation ne pose aucun problème ». S’interroger sur (...) la viole... (shrink)

Adam and Eve’s theft marks the beginning of the human career as moral agents. This article will examine the assumptions underlying the notion of moral agency from the perspective of three unremarkable human beings who found themselves in situations of moral difficulty. The article will conclude that these three people could not have acted differently than they did. It will conclude that it is unreasonable to assume that ordinary human beings will inevitably possess the resources to address difficult moral decisions.

La tradition utopique compte autant de projets de société promettant l’avènement d’une ère de loisirs que de projets dans lesquels le travail demeure le pilier de la cohésion sociale. Cette double lignée continue d’inspirer certains programmes politiques, mais à la différence des années 1970 une sorte de résignation semble s’être répandue. Cet article propose, au contact de l’histoire des idées politiques et de la philosophie politique contemporaine, de réexaminer les paradigmes de la conception du travail et de sa place dans (...) la société, et de dresser un bilan des théories et utopies sociales qui ont imaginé comment le règne de la liberté peut s’établir sur le règne de la nécessité. La relecture de la tradition utopique permet de faire justice d’une série de lieux communs. Par exemple la crainte qu’une organisation communautaire trop parfaite, « communiste », ne dissuade de travailler – un argument qui ne cesse de polluer toute réflexion sur une conception sociale globale (et non libéraleindividuelle) de la question du travail. (shrink)

This paper outlines limitations to integrating social meaning into cognitive models of speech production and processing. The authors remind the reader that acoustic space is not the same as articulatory or auditory space and they point to the benefits of using relatively uncommon dynamic methods of acoustic analysis. Further, the authors argue in favor of a more complex and socially‐informed conception of ‘style’ than is typically used in work on language cognition.

Journal Name: Philologus Issue: Ahead of print.