To define the determinants of impaired facial emotion recognition (FER) in patients with mesial temporal lobe epilepsy associated with hippocampal sclerosis (MTLE-HS), we examined 76 patients with unilateral MTLE-HS, 36 prior to antero-mesial temporal lobectomy (AMTL) and 40 after AMTL, and 28 healthy control subjects with a FER test consisting of 60 items (20 each for anger, fear, and happiness). Mean percentages of the accurate responses were calculated for different subgroups: right vs. left MTLE-HS, early (age at onset <6 years) (...) vs. late-onset, and before vs. after AMTL. After controlling for years of education, duration of epilepsy and number of antiepileptic drugs (AEDs) taken, on multivariate analysis, fear recognition was profoundly impaired in early-onset right MTLE-HS patients compared to other MTLE patients and control subjects. Happiness recognition was significantly better in post-AMTL MTLE-HS patients compared to pre-AMTL patients while anger and fear recognition did not differ. We conclude that patients with right MTLE-HS with age at seizure onset <6 years are maximally predisposed to impaired fear recognition. In them, right AMTL does not further worsen FER abilities. Longitudinal studies comparing FER in the same patients before and after AMTL will be required to refine and confirm our cross-sectional observations. (shrink)

The familiar Vendler-Kenny scheme of verb-types, viz., performances (further differentiated by Vedler into accomplishments and achievements), activities, and states, is too narrow in two important respects. First, it is narrow linguistically. It fails to take into account the phenomenon of verb aspect. The trichotomy is not one of verbs as lexical types but of predications. Second, the trichotomy is narrow ontologically. It is a specification in the context of human agency of the more fundamental, topic-neutral trichotomy, event-process-state.The central component in (...) this ontological trichotomy, event, can be sharply differentiated from its two flanking components by adapting a suggestion by Geoffrey N. Leech and others that the contrast between perfective and imperfective aspect in verbs corresponds to the count/mass distinction in the domain of nouns. With the help of two distinctions, of cardinal count adverbials versus frequency adverbials, and of occurrence versus associated occasion, two interrelated criteria for event predication are developed. Accordingly, Mary capsized the boat is an event predication because (a) it is equivalent to There was at least one capsizing of the boat by Mary, or (b) because it admits cardinal count adverbials, e.g., at least once, twice, three times. Ontologically speaking, events are defined as those occurrences that are inherently countable. (shrink)

In this paper the concept of supervenience is employed to explain the relationship between fitness as employed in the theory of natural selection and population biology and the physical, behavioral and ecological properties of organisms that are the subjects of lower level theories in the life sciences. The aim of this analysis is to account simultaneously for the fact that the theory of natural selection is a synthetic body of empirical claims, and for the fact that it continues to be (...) misconstrued, even by biologists, for a tautological system. The notion of supervenience is then employed to provide a new statement of the relation of Mendelian predicates to molecular ones in order to provide for the commensurability and potential reducibility of Mendelian to molecular genetics in a way that circumvents the theoretical complications which appear to stand in the way of such a reduction. (shrink)

The prescriptive force of methodological rules rests, I argue, on the acceptance of scientific theories; that of the most general methodological rules rests on theories in the philosophy of science, which differ from theories in the several sciences only in generality and abstraction. I illustrate these claims by reference to methodological disputes in social science and among philosophers of science. My conclusions substantiate those of Laudan except that I argue for the existence of transtheoretical goals common to all scientists and (...) concrete enough actually to have bearing on methodology. And I argue that Laudan is committed to such goals himself, willy nilly. (shrink)

Kim’s model of ‘functional reduction’ of properties is shown to fail in a class of cases from physics involving properties at different spatial levels. The diagnosis of this failure leads to a non-reductive account of the relation of micro and macro properties.

Constructivism is the idea that we construct our own world rather than it being determined by an outside reality. Its most consistent form, Radical Constructivism (RC), claims that we cannot transcend our experiences. Thus it doesn't make sense to say that our constructions gradually approach the structure of an external reality. The mind is necessarily an epistemological solipsist, in contrast to being an ontological solipsist who maintains that this is all there is, namely a single mind within which the only (...) world exists. RC recognizes the impossibility of the claim that the world does not exist. Yet, RC has the potential to go much further. I claim that RC provides the foundation of a new world-view in which we can overcome hard scientific problems. Thus, the paper is urging us to carry RC further, not just on philosophical grounds, but also into the domain of science. (shrink)

Beauty, or at least natural beauty, is famously a symbol of the morally good in Kant's theory of taste. Natural beauty is also, we argue, a symbol of the systematicity of nature. This symbolic connection of beauty and systematicity in nature sheds light on the relation between the principles underlying the use of reflecting judgement. The connection also motivates a more general interpretive proposal: the fact that the imagination can symbolize ideas plays a crucial role in the theory of taste; (...) it is the mechanism that underlies pure judgements of taste, the operation by which the imagination ‘schematizes without a concept’. (shrink)

I try to identify the characteristic and distinguishing features of a theory of natural beauty (as opposed to the sublime) that can be found in Kant's Critique of Judgement. Lest this may seem superfluous, I argue first that, contrary to a common view, Kant's theory does not take the experience of beauty in nature as theoretically basic and that he does not deal with beauty in art only as a derivative case of aesthetic experience. I then try to understand what (...) it means to require, as Kant famously does, that beautiful nature has to look as if it were art. Does this commit him to a projectionist view, according to which we appreciate nature aesthetically only for what it really is not (namely art) rather than for what it is? Pursuing this question we find that for Kant nature can be the object of pure judgements of taste only insofar as nature can be explained scientifically, which in Kant's framework means purely mechanically. This ‘blind mechanism’ of nature plays an important role in Kant's explication of the moral significance the experience of beautiful nature has for us. (shrink)

The preference for `reductive explanations', i.e., explanations of the behaviour of a system at one `basic' level of sub-systems, seems to be related, at least in the physical sciences, to the success of a formal technique –- perturbation theory –- for extracting insight into the workings of a system from a supposedly exact but intractable mathematical description of the system. This preference for a style of explanation, however, can be justified only in the case of `regular' perturbation problems in which (...) the zeroth-order term in the perturbation expansion (characterizing the `basic' level) is the uniform limit of the exact solution as the perturbation parameter goes to zero. For the much more frequent case of `singular' perturbation problems, various techniques have been developed which all introduce a hierarchy of levels or scales into the solutions. These levels describe processes or sub-systems operating simultaneously at different time or spatial scales. No single level, no reductive explanation in the above sense will provide an adequate explanation of the system behaviour. Explanations involving multiple levels should be recognized as far more common even in supposedly reductionist disciplines like physics. (shrink)

Freedom of association, as I understand it, refers to the liberty a person possesses to enter into relationships with others—for any and all purposes, for a momentary or long-term duration, by contract, consent, or acquiescence. It likewise refers to the liberty to refuse to enter into such relationships or to terminate them when not otherwise compelled by one's voluntary assumption of an obligation to maintain the relationship. Freedom of association thus is a quite capacious liberty.

This paper propounds an analysis of the Husserlian problem of time through the prism of his elaboration of succeeding time-diagrams. The author focuses his reflexions on the "Lectures on Inner Time-consciousness" (1905) and at the same time on the decisive advancements of the "Bernauer Time-Manuscripts" (1917-1918). These manuscripts complete the Husserlian description of constitution of time-consciousness by the element of protentional intentionality and the "original process" with its "core"-structure (Kernstruktur), on this side of immanent temporality, and try to work out (...) the problem of the statute of the sense-data and of the self-awareness of the ultimately constitutive "flow" of consciousness. (shrink)

The scaling of body parts is central to the evolution of morphology and shape. Most traits scale proportionally with each other and body size such that larger adults are essentially magnified versions of smaller ones. This pattern is so ubiquitous that departures from it – disproportionate scaling between trait and body size – pique interest because it can generate dramatically exaggerated traits. These extreme morphologies are frequently hypothesized to result from sexual selection and their study has a long history, with (...) several hypotheses seeking to explain their evolution. Despite this effort, surprisingly little progress has been made in demonstrating the forms of selection that produce different scaling patterns or in identifying the mechanisms that underlie the expression and evolution of scaling relationships. Here we review recent insights regarding the proximate mechanisms that regulate and integrate trait growth and that offer a new framework for studying the evolution of morphological scaling. (shrink)

Among all organisms, the size of each body part or organ scales with overall body size, a phenomenon called allometry. The study of shape and form has attracted enormous interest from biologists, but the genetic, developmental and physiological mechanisms that control allometry and the proportional growth of parts have remained elusive. Recent progress in our understanding of body‐size regulation provides a new synthetic framework for thinking about the mechanisms and the evolution of allometric scaling. In particular, insulin/IGF signaling, which plays (...) major roles in longevity, diabetes and the regulation of cell, organ and body size, might also be centrally involved in regulating organismal shape. Here we review recent advances in the fields of growth regulation and endocrinology and use them to construct a developmental model of static allometry expression in insects. This model serves as the foundation for a research program that will result in a deeper understanding of the relationship between growth and form, a question that has fascinated biologists for centuries. BioEssays 29:536–548, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

The key focus of this essay is the experience of encountering divine wonder in things. The examination of the divine encounter is staged against the phenomenological backdrop. Specifically, the concept of the divine wonder is taken in its original, Husserlian, definition as Verwunderung and is traced via Levinas and his concept of face (le visage) to the early 20th century Russian philosopher, Pavel Florensky (1882–1943), whose 1922 essay “Iconostasis” approaches divine representation (лuк) in icon painting explicitly and consistently as a (...) phenomenon of wonder. More broadly, by connecting Florensky and his work to the phenomenological project at large, this essay aspires to show that the early 20th century Russian contributions to phenomenological thought go beyond adaptations and simulations of the traditional phenomenological prolegomena toward highly original philosophical encounters. (shrink)

This article presents the genesis of Evolutionary Systems Design (ESD) as a praxis that draws on General Evolution Theory and Social Systems Design methodology, in addition to Critical Systems Theory, to engage in lifelong learning and human development in partnership with the Earth. The contributions of Bela H. Banathy to the creation of ESD are portrayed as bridging evolutionary consciousness and evolutionary action. Following a brief description of the inspiration and mentorship provided by Bela in this regard, the roots of (...) ESD are traced back to General Evolution Theory. It is described how notions of evolutionary stewardship grew out of encounters with Bela and his work at the International Systems Institute, and were given operational viability through the methodology of Social Systems Design he developed. The fundamental tenets of ESD are presented and discussed by way of a four-stage evolutionary learning framework. Finally, the vehicle of Evolutionary Learning Community through which ESD operates is shown to embody the potential for individuals and groups to think, live, and act in harmony with the dynamics of which they are a part as a means to guide the conscious creation of sustainability. (shrink)

The A-theory of time states that there is an absolute fact of the matter about what events are, respectively, in the past, present and future. The B-theory says that all there is to temporality are the relations of earlier-than, later-than and simultaneous-with, and the past, present and future are merely relative.

I argue that the answer is affirmative, pace Oppy.

This article analyzes a type of experiment, very popular in 18th-century natural philosophy, which has apparently not led to insights into nature but which was aesthetically especially attractive. These experiments--"mimetic experiments"--allow us to trace a connection between aesthetic appreciation in science and in art contemporaneous with the science. I use this case as a problem for McAllister's theory of aesthetic induction according to which aesthetic standards in science tend to be associated with empirical success and propose an alternative mechanism that (...) is able to account for the natural philosophers' predilection for unsuccessful but beautiful experiments. (shrink)

People use social categories to perceive and interact with the social world. Different categorizations often share similar cognitive, affective and behavioral features. This leads to a hypothesis of the common representational forms of social categorization. Studies in social categorization often use the terms “ingroup” and “outgroup” without clear conceptualization of the terms. I argue that the ingroup/outgroup distinction should be treated as an elementary relational ego-centric form of social categorization based on specific cognitive mechanisms. Such an abstract relational form should (...) produce specific effects irrespective of the nature of a particular social category. The article discusses theoretical grounds for this hypothesis as well as empirical evidence from behavioral and brain research. It is argued that what is commonly termed as “ingroup” and “outgroup” can be produced by distinct cognitive operations based on similarity assessment and coalitional computation. (shrink)

The variation in genome size and basic chromosome number was analyzed in the wide range of angiosperm plants. A divergence of monocots vs. dicots (eudicots) genome size distributions was revealed. A similar divergence was found for annual vs. perennial dicots. The divergence of monocots vs. dicots genome size distributions holds at different taxonomic levels and is more pronounced for species with larger genomes. Using nested analysis of variance, it was shown that putative constraints on genome size variation are not only (...) stronger in dicots as compared to monocots but in the former they start to operate already at the family level, whereas in the latter they do so only at the order level. At the same time, variation in basic chromosome number is constrained at the order level in both groups. Higher basic chromosome numbers were found in perennial plants as compared to the annual ones, which can be explained by their need for a higher genetic recombination as compensation for the longer life-cycles. A negative correlation was found between genome size and basic chromosome number, which can be explained as a trade-off between different recombination mechanisms. (shrink)

Philosophers of biology have been absorbed by the problem of defining evolutionary fitness since Darwin made it central to biological explanation. The apparent problem is obvious. Define fitness as some biologists implicitly do, in terms of actual survival and reproduction, and the principle of natural selection turns into an empty tautology: those organisms which survive and reproduce in larger numbers, survive and reproduce in larger numbers. Accordingly, many writers have sought to provide a definition for ‘fitness’ which avoid this outcome. (...) In particular the definition of fitness as a probabilistic propensity has been widely favored.1 Others, recognizing that no definition both correct and complete can actually be provided, have accepted the consequence that the leading principle of the theory is a definitional truth and attempted to mitigate the impact of this outcome for the empirical character of the theory.2 Still others have argued that ‘fitness’ is properly viewed as a term undefined in the theory of natural selection (on the model of mass—a term undefined in Newtonian mechanics).3 But few have contemplated the solution to this problem proposed by Mohan Matthen and André Ariew (hereafter, MA), in.. (shrink)

Neither art nor philosophy was kind to beauty during the twentieth century. Much modern art disdains beauty, and many philosophers deeply suspect that beauty merely paints over or distracts us from horrors. Intellectuals consigned the passions of beauty to the margins, replacing them with the anemic and rarefied alternative, "aesthetic pleasure." In Only a Promise of Happiness, Alexander Nehamas reclaims beauty from its critics. He seeks to restore its place in art, to reestablish the connections among art, beauty, and (...) desire, and to show that the values of art, independently of their moral worth, are equally crucial to the rest of life.Nehamas makes his case with characteristic grace, sensitivity, and philosophical depth, supporting his arguments with searching studies of art and literature, high and low, from Thomas Mann's Death in Venice and Manet's Olympia to television. Throughout, the discussion of artworks is generously illustrated.Beauty, Nehamas concludes, may depend on appearance, but this does not make it superficial. The perception of beauty manifests a hope that life would be better if the object of beauty were part of it. This hope can shape and direct our lives for better or worse. We may discover misery in pursuit of beauty, or find that beauty offers no more than a tantalizing promise of happiness. But if beauty is always dangerous, it is also a pressing human concern that we must seek to understand, and not suppress. (shrink)

For much of its history, philosophy was not merely a theoretical discipline but a way of life, an "art of living." This practical aspect of philosophy has been much less dominant in modernity than it was in ancient Greece and Rome, when philosophers of all stripes kept returning to Socrates as a model for living. The idea of philosophy as an art of living has survived in the works of such major modern authors as Montaigne, Nietzsche, and Foucault. Each of (...) these writers has used philosophical discussion as a means of establishing what a person is and how a worthwhile life is to be lived. In this wide-ranging, brilliantly written account, Alexander Nehamas provides an incisive reevaluation of Socrates' place in the Western philosophical tradition and shows the importance of Socrates for Montaigne, Nietzsche, and Foucault. Why does each of these philosophers—each fundamentally concerned with his own originality—return to Socrates as a model? The answer lies in the irony that characterizes the Socrates we know from the Platonic dialogues. Socratic irony creates a mask that prevents a view of what lies behind. How Socrates led the life he did, what enabled or inspired him, is never made evident. No tenets are proposed. Socrates remains a silent and ambiguous character, forcing readers to come to their own conclusions about the art of life. This, Nehamas shows, is what allowed Montaigne, Nietzsche, and Foucault to return to Socrates as a model without thereby compelling them to imitate him. This highly readable, erudite study argues for the importance of the tradition within Western philosophy that is best described as "the art of living" and casts Montaigne, Nietzsche, and Foucault as the three major modern representatives of this tradition. Full of original ideas and challenging associations, this work will offer new ways of thinking about the philosophers Nehamas discusses and about the discipline of philosophy itself. (shrink)

The rule-following debate, in its concern with the metaphysics and epistemology of linguistic meaning and mental content, goes to the heart of the most fundamental questions of contemporary philosophy of mind and language. This volume gathers together the most important contributions to the topic, including papers by Simon Blackburn, Paul Boghossian, Graeme Forbes, Warren Goldfarb, Paul Horwich, John McDowell, Colin McGinn, Ruth Millikan, Philip Pettit, George Wilson, and José Zalabardo. This debate has centred on Saul Kripke's reading of the rule-following (...) sections in Wittgenstein and his consequent posing of a "sceptical paradox" that threatens our every day notions of linguistic meaning and mental content. These essays are attempts to respond to this challenge and represent some of the most important work in contemporary theory of meaning. They examine the notion of meaning; whether it is possible to find a suitable meaning-constituting fact from our previous behaviour or mental histories; objections to, and defenses of, dispositional accounts of meaning; the plausibility of non-factualism about meaning; our attempts to develop non-reductionist accounts of meaning; and the sources of the normativity which attaches to meaning, such as the linguistic practice of the community or the dispositions of the individual. With an introductory essay and a comprehensive guide to further reading the book is an excellent resource for courses in philosophy of mind, philosophy of language, Wittgenstein, and metaphysics, as well as for all philosophers, linguists, and cognitive scientists with interests in these areas. Contributors include Simon Blackburn, Paul Boghossian, Graeme Forbes, Warren Goldfarb, Paul Horwich, John McDowell, Colin McGinn, Alexander Miller, Ruth Garrett Millikan, Philip Pettit, George. M. Wilson, Crispin Wright, and José L. Zalabardo. (shrink)

As the USA contends with another surge in COVID-19 cases, hospitals may soon need to answer the unresolved question of who lives and dies when ventilator demand exceeds supply. Although most triage policies in the USA have seemingly converged on the use of clinical need and benefit as primary criteria for prioritisation, significant differences exist between institutions in how to assign priority to patients with identical medical prognoses: the so-called ‘tie-breaker’ situations. In particular, one’s status as a frontline healthcare worker (...) has been a proposed criterion for prioritisation in the event of a tie. This article outlines two major grounds for reconsidering HCW prioritisation. The first recognises trust as an indispensable element of clinical care and mistrust as a hindrance to any public health strategy against the virus, thus raising concerns about the outward appearance of favouritism. The second considers the ways in which proponents of HCW prioritisation deviate from the very ‘ethics frameworks’ that often preface triage policies and serve to guide resource allocation—a rhetorical strategy that may undermine the very ethical foundations on which triage policies stand. By appealing to trust and consistency, we re-examine existing arguments in favour of HCW prioritisation and provide a more tenable justification for adjudicating on tie-breaker events during crisis standards of care. (shrink)

Can philosophy be a source of hope? Today it is common to believe that the answer is no - that providing hope, if it is possible at all, belongs either to the predictive sciences or to religion. In this exciting and simulating book, however, Alexander Douglas argues that the philosophy of Spinoza can offer something akin to religious hope. Douglas shows how Spinoza is able, without appealing to belief in any traditional afterlife or supernatural grace, to develop a profound (...) and original theory of how humans can escape from the conditions of death and sin. Douglas argues that this theory of escape, which Spinoza calls beatitude, is the centrepiece of his entire philosophy, though scholars have often downplayed or ignored it. One reason for this scholarly neglect might be the difficulty of understanding Spinoza's theory, which departs from the standard doctrines and methods of Western philosophy. Douglas's interpretation therefore seeks inspiration beyond the Western tradition, drawing especially on the classical Daoist text Zhuangzi and its commentaries. Here, Douglas argues, surprising resonances with Spinoza's core ideas can be found, leading to a new way of understanding his strange yet compelling theory of beatitude. (shrink)

A traditional interpretation holds that Kant's political theory simply constitutes an account of the constraints which reason places on the state's authority to regulate external action. Alexander Kaufman argues that this traditional interpretation succeeds neither as a faithful reading of Kant's texts nor as a plausible, philosophically sound reconstruction of a `Kantian' political theory. Rather, he argues that Kant's political theory articulates a positive conception of the state's role.

Alexander X. Douglas situates Spinoza's philosophy in its immediate historical context, and argues that much of his work was conceived with the aim of rebutting the claims of his contemporaries. In contrast to them, Spinoza argued that philosophy reveals the true nature of God, and reinterpreted the concept of God in profound and radical ways.

Anscombe claims that whenever a subject is doing something intentionally, this subject knows that they are doing it. This essay defends Anscombe's claim from an influential set of counterexamples, due to Davidson. It argues that Davidson's counterexamples are tacit appeals to an argument, on which knowledge can't be essential to doing something intentionally, because some things that can be done intentionally require knowledge of future successes, and because such knowledge can't ever be guaranteed when someone is doing something intentionally. The (...) essay argues that there are apparently sensible grounds for denying each of these two premises. (shrink)

Commentaries on Aristotle's writings have been produced since the 2nd century AD. This edition contains Greek commentaries on his work from the 3rd to the 8th centuries AD by, among others, Alexander of Aphrodiensias, Themistios, Joh. Philoponus, Simplicius in Greek.

Corrupt behavior presents major challenges for organizations in a wide range of settings. This article embraces a complexity theoretical perspective to elucidate the causal patterns of factors underlying consumers’ unethical judgments. This study examines how causal conditions of four distinct domains combine into configurational causes of unethical judgments of two frequent forms of corrupt consumer behavior: shoplifting and fare dodging. The findings of fuzzy-set Qualitative Comparative Analyses indicate alternative, consistently sufficient “recipes” for the outcomes of interest. This study extends prior (...) work on the topic by offering new insights into the interplay and the interconnected structures of multiple causal factors and by describing configurational causes of consumers’ ethical evaluations of corrupt behaviors. This knowledge may support practitioners and policy makers to develop education and control approaches to thwart corrupt consumer behaviors. (shrink)

The article shows that Kuhn's concept of incommensurability emphasizes mainly the objective dimension of communication. To the thesis about the incommensurability of the meanings of scientific concepts in competing paradigms, we oppose the idea of a three-dimensional space of communicative dimensions. We supplement the objective dimension of communication, within which the environmental evolutionary selection of the best knowledge is carried out, with equal social and temporal horizons.

I argue that embodied understanding and conceptual-representational understanding interact through schematic structure. I demonstrate that common conceptions of these two kinds of understanding, such as developed by Wheeler (2005, 2008) and Dreyfus (2007a, b, 2013), entail a separation between them that gives rise to significant problems. Notably, it becomes unclear how they could interact; a problem that has been pointed out by Dreyfus (2007a, b, 2013) and McDowell (2007) in particular. I propose a Kantian strategy to close the gap between (...) them. I argue that embodied and conceptual-representational understanding are governed by schemata. Since they are governed by schemata, they can interact through a structure that they have in common. Finally, I spell out two different ways to conceive of the schematic interaction between them—a close, grounding relationship and a looser relationship that allows for a minimal interaction, but preserves the autonomy of both forms of understanding. (shrink)

In 2009 Larry Alexander and Kimberly Ferzan published Crime and Culpability: A Theory of Criminal Law. The book set out a theory that those who deserve punishment should receive punishment commensurate with, but no greater than, that which they deserve. Reflections on Crime and Culpability: Problems and Puzzles expands on their innovative ideas on the application of punishment in criminal law. Theorists working in criminal law theory presuppose or ignore puzzles that lurk beneath the surface. Now those who wish (...) to examine these topics will have one monograph that combines the disparate puzzles in criminal law through a unified approach to culpability. Along with some suggestions as to how they might resolve the puzzles, Alexander and Ferzan lay out the arguments and analysis so future scholars can engage with questions about our understanding of culpability that very few have addressed. (shrink)

In September 2017 Alexander Nehamas kindly accepted our invitation to have a meeting in Athens in order to discuss several issues of philosophical interest; with his latest publication On Friendship as a starting point we soon moved over to a multitude of topics Nehamas has so far dealt with. The whole conversation spirals around the probably most challenging and demanding issue as far as practical philosophy is concerned – yet one every moral agent needs to provide an adequate answer (...) to during his lifetime: Values. Do they exclusively belong to the domain of morality? Nehamas claims that “although moral values […] are important […], they are not the only values that determine whether a life is or is not worthwhile”. This view inevitably shifts the focus from individual values - even fundamental ones such as friendship, art and truth- to the real issue: What is a good life, after all? (shrink)

A survey is given of three-valued paraconsistent propositionallogics connected with Jaśkowski’s criterion for constructing paraconsistentlogics. Several problems are raised and four new matrix three-valued paraconsistent logics are suggested.

We combine state-of-the-art techniques from computational linguisticsand theorem proving to build an engine for playing text adventures,computer games with which the player interacts purely through naturallanguage. The system employs a parser for dependency grammar and ageneration system based on TAG, and has components for resolving andgenerating referring expressions. Most of these modules make heavy useof inferences offered by a modern theorem prover for descriptionlogic. Our game engine solves some problems inherent in classical textadventures, and is an interesting test case for (...) the interactionbetween natural language processing and inference. (shrink)