Theory of mind refers to the human capacity for reasoning about others’ mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed computational intractability. A possible reason could be that it may involve higher-order thinking. To investigate this we formalize theory of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic, as this formalism allows to parameterize ‘order of thinking.’ (...) We prove that theory of mind reasoning, so formalized, indeed is intractable. Using parameterized complexity we prove, however, that the ‘order parameter’ is not a source of intractability. We furthermore consider a set of alternative parameters and investigate which of them are sources of intractability. We discuss the implications of these results for the understanding of theory of mind. (shrink)

Background Conducting ethically sound research is a fundamental principle of scientific inquiry. Recent research has indicated that ethical concerns are insufficiently dealt with in dissertations. Purpose To examine which research ethical topics were addressed and how these were presented in terms of complexity of reasoning in Swedish nurses' dissertations. Methods Analyses of ethical content and complexity of ethical reasoning were performed on 64 Swedish nurses' PhD dissertations dated 2007. Results A total of seven ethical topics were (...) identified: ethical approval (94% of the dissertations), information and informed consent (86%), confidentiality (67%), ethical aspects of methods (61%), use of ethical principles and regulations (39%), rationale for the study (20%) and fair participant selection (14%). Four of those of topics were most frequently addressed: the majority of dissertations (72%) included 3–5 issues. While many ethical concerns, by their nature, involve systematic concepts or metasystematic principles, ethical reasoning scored predominantly at lesser levels of complexity: abstract (6% of the dissertations), formal (84%) and systematic (10%). Conclusions Research ethics are inadequately covered in most dissertations by nurses in Sweden. Important ethical concerns are missing, and the complexity of reasoning on ethical principles, motives and implications is insufficient. This is partly due to traditions and norms that discount ethical concerns but is probably also a reflection of the ability of PhD students and supervisors to handle complexity in general. It is suggested that the importance of ethical considerations should be emphasised in graduate and post-graduate studies and that individuals with capacity to deal with systematic and metasystematic concepts are recruited to senior research positions. (shrink)

An application of the Method of Analysis of Relational Complexity (MARC) to suppositional reasoning in the knight-knave task is outlined. The task requires testing suppositions derived from statements made by individuals who either always tell the truth or always lie. Relational complexity (RC) is defined as the number of unique entities that need to be processed in parallel to arrive at a solution. A selection of five ternary and five quaternary items were presented to 53 psychology students (...) using a pencil and paper format. A computer-administered version was presented to 50 students. As predicted, quaternary problems were associated with higher error rates and longer response times than ternary problems. The computer-administered form was more difficult than the pencil and paper version of the test. These differences are discussed in terms of RC theory and alternative processing accounts. Together, they indicate that the relational complexity metric is a useful and parsimonious way to quantify complexity of reasoning tasks. (shrink)

Axel Honneth has been instrumental in advancing the work of the Frankfurt School of critical theorists, rebuilding their effort to combine radical social and political analysis with rigorous philosophical inquiry. These eleven essays published over the past five years reclaim the relevant themes of the Frankfurt School, which counted Theodor W. Adorno, Max Horkheimer, Walter Benjamin, Jürgen Habermas, Franz Neumann, and Albrecht Wellmer as members. They also engage with Kant, Freud, Alexander Mitscherlich, and Michael Walzer, whose work on morality, history, (...) democracy, and individuality intersects with the Frankfurt School's core concerns. Collected here for the first time in English, Honneth's essays pursue the unifying themes and theses that support the methodologies and thematics of critical social theory, and they address the possibilities of continuing this tradition through radically changed theoretical and social conditions. According to Honneth, there is a unity that underlies critical theory's multiple approaches: the way in which reason is both distorted and furthered in contemporary capitalist society. And while much is dead in the social and psychological doctrines of critical social theory, its central inquiries remain vitally relevant. Is social progress still possible after the horrors of the twentieth century? Does capitalism deform reason and, if so, in what respects? Can we justify the relationship between law and violence in secular terms, or is it inextricably bound to divine justice? How can we be free when we're subject to socialization in a highly complex and in many respects unfree society? For Honneth, suffering and moral struggle are departure points for a new "reconstructive" form of social criticism, one that is based solidly in the empirically grounded, interdisciplinary approach of the Frankfurt School. (shrink)

Individuals who disagree that organizational interests legitimately supersede those of the wider society may experience conflict between their personal standards of ethics and those demanded by an employing organization, a conflict that is well documented. An additional question is whether or not individuals capable of complex moral reasoning experience greater conflict than those reasoning at a less developed level. This question was first positioned in a theoretical framework and then investigated using 115 survey responses from a student sample. (...) Correlational analysis and hierarchical regression indicated that individuals scoring high on the Defining Issues Test measure of Kohlberg's stages of moral development experienced significantly greater workplace ethical conflict than low scorers. The finding that complex moral reasoners perceive greater conflict between their personal standards and typical organizational demands raises the issue of what reasoning orientation is rewarded in organizations. Individuals capable of complex moral reasoning may be likely to leave traditional organizations due to high conflict but more ethically friendly organizations for complex reasoners seem unlikely unless these people occupy influential positions. (shrink)

An outstanding question for Hybrid dual process models of reasoning is whether both basic and more complex forms of conditional inference result...

My contribution is a review of the Proceedings of the V Meeting of Italian-American Philosophy Autonomy of Reason? Autonomie der Vernunft? that toke place in Rome . American and European philosophers established a fruitful dialog aiming to show the complexity of the notion of “Reason” and, in particular, the possibility of its “Autonomy”. As we will see in the following discussion, human reason seems to be characterized by somewhat vague borders.

Axel Honneth has been instrumental in advancing the work of the Frankfurt School of critical theorists, rebuilding their effort to combine radical social and political analysis with rigorous philosophical inquiry. These eleven essays published over the past five years reclaim the relevant themes of the Frankfurt School, which counted Theodor W. Adorno, Max Horkheimer, Walter Benjamin, Jürgen Habermas, Franz Neumann, and Albrecht Wellmer as members. They also engage with Kant, Freud, Alexander Mitscherlich, and Michael Walzer, whose work on morality, history, (...) democracy, and individuality intersects with the Frankfurt School's core concerns. Collected here for the first time in English, Honneth's essays pursue the unifying themes and theses that support the methodologies and thematics of critical social theory, and they address the possibilities of continuing this tradition through radically changed theoretical and social conditions. According to Honneth, there is a unity that underlies critical theory's multiple approaches: the way in which reason is both distorted and furthered in contemporary capitalist society. And while much is dead in the social and psychological doctrines of critical social theory, its central inquiries remain vitally relevant. Is social progress still possible after the horrors of the twentieth century? Does capitalism deform reason and, if so, in what respects? Can we justify the relationship between law and violence in secular terms, or is it inextricably bound to divine justice? How can we be free when we're subject to socialization in a highly complex and in many respects unfree society? For Honneth, suffering and moral struggle are departure points for a new "reconstructive" form of social criticism, one that is based solidly in the empirically grounded, interdisciplinary approach of the Frankfurt School. (shrink)

Long‐term potentiation and long‐term depression are thought to be cellular mechanisms contributing to learning and memory. Although the physiological phenomena have been well characterized, little consensus of their underlying molecular mechanisms has emerged. One reason for this may be the under‐appreciated complexity of the signaling pathways that can arise if key signaling molecules are discretely localized within the synapse. Recent findings suggest an unanticipated degree of structural organization at the synapse, and improved methods in cellular imaging of living tissue (...) have provided much‐needed information about the intracellular dynamics of Ca2+, thought to be critical for both LTP and LTD. In this review, we briefly summarize some of these developments, and show that a more complete understanding of cellular signaling depends on the successful integration of traditional biochemistry and molecular biology with the spatial and temporal details of synaptic ultrastructure. Biophysically realistic computer simulations can have an important role in bridging these disciplines. BioEssays 24:1130–1144, 2002. © 2002 Wiley‐Periodicals, Inc. (shrink)

We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schröder . Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: (...) for every natural number k there is an equation in E containing more than k distinct variables and all the operation symbols, if 2 < n < ω. Completely analogous statement holds for the case n ω. This improves Monk's famous non-finitizability theorem for which we give here a simple proof. We prove analogous nonfinitizability properties of the larger varieties SNrnCAn + k. We prove that the complementation-free subreducts of RCAn do not form a variety. We also investigate the reason for the above “non-finite axiomatizability” behaviour of RCAn. We look at all the possible reducts of RCAn and investigate which are finitely axiomatizable. We obtain several positive results in this direction. Finally, we summarize the results and remaining questions in a figure. We carry through the same programme for RPEAn and for RRA. By looking into the reducts we also investigate what other kinds of natural algebras of relations are possible with more positive behaviour than that of the well known ones. Our investigations have direct consequences for the logical properties of the n-variable fragment Ln of first order logic. The reason for this is that RCAn and RPEAn are the natural algebraic counterparts of Ln while the varieties SNrnCAn + k are in connection with the proof theory of Ln. This paper appears in two parts. The first part contains the non-finite axiomatizability results. The present second part contains finite axiomatizations of some fragments together with a figure summarizing the finite and non-finite axiomatizability results in this area and the problems left open. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 9.1 (2002) 23-26 [Access article in PDF] The Complexity of Evil Behavior David E. Ward I WOULD LIKE TO BEGIN this reply by thanking the commentators. The reports of their clinical experience contained some interesting evidence regarding evil behavior that, I think, supports my thesis and their full frontal criticism has given me a chance to reemphasize how complex the problem of evil behavior (...) is.On the question raised by Steven Sverdlik, as to whether Kant was in possession of the idea of the unconscious: it never occurred to me that Kant's notion of the subreption of the will—the idea that we could somehow be deceived with regard to our true motives (1956, 121)—could be regarded as a reason for assuming that Kant had a concept of the unconscious. Certainly talk of being unsure of one's motives has been common currency in every age that has had the idea of acting out of duty as opposed to desire. This uncertainty allows us to think about unconscious motives and thus of a set of hidden mechanisms that might motivate our actions without our being aware of them. However, I think we would both agree that Kant nowhere articulates this hypothesis. Freud did articulate it. So I agree that I should have said that Kant was not in possession of a concept of unconscious mechanisms that may generate behavior in such a way as to be opaque to the agent involved.Sverdlik has two worries with regard to my thesis. The first concerns my characterization of evil behavior as wrongdoing for wrongdoing's sake. He believes that rather than insisting that all principled behavior must fit this formula, "Ward is really interested in wrongdoing that is non-impulsive and actuated by some principle, but not necessarily the satanic one." This is, indeed, exactly what I was interested in. It is the unconscious adherence to some principle that causes all the trouble for evil people. Sverdlik thinks that my proposal was "to attribute acceptance [of such principles] to the unconscious" and to maintain that though the agent does "not consciously accept it, [it] does do so unconsciously" (my emphasis). What I actually said was: In my account, there is a near-perfect dovetailing of the two different psychological perspectives—that of Kant's moral psychology (which lacks the resources to accommodate the possibility of evil) and that of Peck's psychiatric diagnosis of evil—that explains (on my construal) how an unconscious adherence to unacknowledged principles could be the driving power behind evil behaviour. What is the difference between unconscious acceptance of a principle and unconscious adherence to it? This difference can be illustrated in connection with Sverdlik's continuation of his argument: Ward suggests that the agent does not consciously accept it, but does so unconsciously. But why does the unconscious not see that it is not universalizable? And if it does see this, why does it proceed to act on it? Ward's picture of the unconscious must allow it to be rational enough to understand the narcissistic principle, for example, [protect your self-image at all costs] and to act on it. But if it is that rational, then it is puzzling that it does not draw the same conclusion [End Page 23] that the agent's conscious deliberation can and will draw. Therefore, if consciously acting on a non-universalizable principle is inexplicable, then so is unconsciously acting on it. According to my picture of the unconscious, what the unconscious is rational about are hypothetical principles: it sees the connection between means and ends with perfect rationality. When, in my article, I distinguished between categorical and hypothetical imperatives I pointed out that... it is clear that hypothetical principles like always dress in woolens can only motivate us if we already have a desire to be warm. Strictly speaking, hypothetical principles do not motivate us by themselves. They are only useful in specifying the means to an end that a rational person would follow if she wanted to satisfy a certain desire. (My emphasis.) I was assuming, then... (shrink)

In this symposium response, I suggest that a key to thinking about the implications of Hobbes’s materialism for his arguments about ethics, politics, and law is to trace his efforts to defend complex causation. I suggest that when we read Hobbes as trying to hold onto complex causation as an ontological and epistemological fact, we have to rethink the relationship between freedom, reason, sovereignty, and the law.

A simple recurrent artificial neural network is used to classify situations as permissible or impermissible. The trained ANN can be understood as having set up a similarity space of cases at the level of its internal or hidden units. An analysis of the network’s internal representations is undertaken using a new visualization technique for state space approaches to understanding similarity. Insights from the literature on moral philosophy pertaining to contributory standards will be used to interpret the state space set up (...) by the ANN as being structured by implicit reasons. The ANN, on its own, is not capable of explicitly representing or offering reasons to itself or others. That said, the low level similarity space set up by the network could be made available to higher order processes that exploit it for case-based reasoning. It is argued that for normative purposes, similarity could be seen as a contributor to procedural coherence in case-based reasoning and local forms of substantive coherence, but not to global forms of coherence given the computational complexity of managing those more ambitious forms of coherence. (shrink)

The interpretability logic ILP is the interpretability logic of all sufficiently strong |$\varSigma _1$|-sound finitely axiomatised theories, such as the Gödel-Bernays set theory. The interpretability logic IL is a strict subset of the intersection of the interpretability logics of all so-called reasonable theories, IL(All). It is known that both ILP and ILW are decidable, however their complexity has not been resolved previously. In [10] it was shown that the basic interpretability logic IL is PSPACE-complete. Here we prove the same (...) for ILP and ILW. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 22 (2002) 115-121 [Access article in PDF] Instrumentality, Complexity, and Reason: A Christian Approach to Religions Terry C. Muck Asbury Theological Seminary I want to call into question The Paradigm, the threefold classification of Christian approaches to other religions as Exclusivism, Inclusivism, and Pluralism. I call this classification The Paradigm, with a capital T and a capital P, because it is the way we have categorized (...) Christian theological approaches to the other religions ever since 1982, when Alan Race proposed this "broad typological framework within which most of the current Christian theologies of religions can be placed," in his book Christians and Religious Pluralism: Patterns in the Christian Theology of Religions (Orbis Books). 1Race's was not the first attempt at such a paradigm. He was preceded by others, most notably Owen Thomas, who classified Christian responses to other religions under the headings of rationalism, romanticism, relativism, exclusivism, dialectic, reconception, tolerance, dialogue, catholicism, and presence. 2 But Thomas's categories have not stuck like Race's, perhaps because of the larger number and perhaps because they seem a mixture of apples and oranges, that is, a conglomeration of logical positions, emotive states, and simple demographics. Although this hodgepodge may be more true to the reality of the complex ways Christians relate to people of other faiths, Race's paradigm, simple and straightforward, has won out in the descriptive derby.I think it is time to question whether Race's paradigm should continue to be the primary way we classify the many ways Christian theologians and other Christians relate to the world's other religious traditions. I will describe why I think The Paradigm is losing its usefulness, make a proposal for a new way of looking at the other religions, and list both the losses/dangers and benefits of thinking in a new way. The Problem with the Paradigm The first sign that The Paradigm is showing its age is that very few people seem to really fit in any one of the three categories. I suspect that few of us here would be willing to say unambiguously, "I am an exclusivist," or "I am an inclusivist," or "I am [End Page 115] a pluralist." 3 And even if we were willing to identify with one or another of the options, then most likely we would in the same breath quickly say something like, "But let me tell you what I mean when I say I am an exclusivist (or inclusivist or pluralist)." That is, we quickly define the words in qualifying ways that address the objections that have been raised in reference to each of the positions:Exclusivists, for example, struggle to counter the charges of being inhumane, 4 or of making God seem inhumane, 5 or of being narrow, or of being misinformed, 6 or of being unscholarly. 7Inclusivists, for their part, struggle to counter the charges of being Christian exclusivists in disguise, 8 or of being offensive to non-Christians, 9 or of being pluralists in disguise, 10 or of holding a philosophically unstable position.Pluralists, in turn, make sure we know they are not relativists, 11 that they are not necessarily universalists, 12 that being a pluralist does not mean they are a-religious or that they consider themselves above the fray of common religious commitment. 13I don't think that this problem has just to do with the fact that the paradigm is what Max Weber called an ideal-type paradigm, where we set up ideal types as a way of clearly delineating logically possible positions vis-à-vis a presenting issue as a heuristic device. 14 Were that the case, it seems to me that we could still embrace The Paradigm as a way of talking about interreligious interchange and explicitly/implicitly acknowledge to one another that we recognize the ambiguity of the categories when it comes to applying them to complex individual adherents of complex religious traditions. 15I think dissatisfaction with The Paradigm goes beyond frustration with it as an ideal-type typology. The Paradigm has come to stand for... (shrink)

Ned Block’s Overflow Argument purports to establish that the neural basis of phenomenal consciousness is independent of the neural basis of access consciousness. In a recent paper, Block’s argument has been challenged by Peter Carruthers. Carruthers concedes the truth of one of the argument’s key steps, namely, that phenomenal consciousness overflows what is in working memory. At the same time, he rejects the conclusion of the argument by developing an account of this overflow that is alternative to Block’s. In this (...) paper, I argue that Carruthers’s account does not pose a real threat to the Overflow Argument. The overall plausibility of Carruthers’s account rests on the empirical plausibility of a claim concerning global broadcasting which, albeit intuitively plausible in light of a lightly-sketched picture of the impact of attention upon neural matters, he offers no sufficient empirical evidence for. Drawing on some important imaging studies that reveal striking facts about neural responses to visual stimuli, I argue for two intimately related claims: first, that the intuitive plausibility of claims like Carruthers’s is not a guarantee of empirical plausibility; second, that as concerns the same claims, strong empirical evidence is needed before confident judgments of empirical plausibility can reasonably be formulated. (shrink)

An anticipatory system is a system with the capacity to anticipate its own evolution. This paper generalizes the idea of anticipatory systems from its original biological setting to the fields of cognitive and social sciences, and it shows that anticipatory systems are a generalization of autopoietic systems. Anticipatory systems, almost by definition, escape the possibilities of rote iteration. This argument shows that the complexity of an anticipatory system extends well beyond mainstream complexity theory. For this reason, the idea (...) of systems of higher-order complexity has been introduced. These types of systems come in at least two forms: impredicative or self-referential systems, and living systems. It follows that anticipation does not necessarily require life. (shrink)

The History of Reason in the Age of Madness revolves around three axes: the Foucauldian critical-historical method, its relationship with enlightenment critique, and the way this critique is implemented in Foucault's seminal work, History of Madness. Foucault's exploration of the origins of psychiatry applies his own theories of power, truth and reason and draws on Kant's philosophy, shedding new light on the way we perceive the birth and development of psychiatric practice. Following Foucault's adoption of 'limit attitude', which investigates the (...) limits of our thinking as points of disruption and renewal of established frames of reference, this book dispels the widely accepted belief that psychiatry represents the triumph of rationalism by somehow conquering madness and turning it into an object of neutral, scientific perception. It examines the birth of psychiatry in its full complexity: in the late eighteenth century, doctors were not simply rationalists but also alienists, philosophers of finitude who recognized madness as an experience at the limits of reason, introducing a discourse which conditioned the formation of psychiatry as a type of medical activity. Since that event, the same type of recognition, the same anthropological confrontation with madness has persisted beneath the calm development of psychiatric rationality, undermining the supposed linearity, absolute authority and steady progress of psychiatric positivism. Iliopoulos argues that Foucault's critique foregrounds this anthropological problematic as indispensable for psychiatry, encouraging psychiatrists to become aware of the epistemological limitations of their practice, and also to review the ethical and political issues which madness introduces into the apparent neutrality of current psychiatric discourse. (shrink)

The aim of the present research was to develop a difficulty model for logical reasoning problems involving complex ordered arrays used in the Graduate Record Examination. The approach used involved breaking down the problems into their basic cognitive elements such as the complexity of the rules used, the number of mental models required to represent the problem, and question type. Weightings for these different elements were derived from two experimental studies and from the reasoning literature. Based on (...) these weights, difficulty models were developed which were then tested against new data. The models had excellent predictive validity and showed the relative influence of rule based factors and factors relating to the number of underlying models. Different difficulty models were needed for different question types, suggesting that people used a variety of approaches and, at a wider level, that both mental models and mental rules may be used in reasoning. (shrink)

In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the (...) satisfiability problem of a number of hybrid temporal logics: the basic hybrid language over transitive trees; nominal Until logic; and referential interval logic. We discuss the effects of including nominals, the @ operator, the somewhere modality E, and the difference operator D. Adding nominals to tense logic leads for several frame-classes to an increase in complexity of the satisfiability problem from PSPACE to EXPTIME. On transitive trees, however, the satisfiability problem for this language can be decided in PSPACE. Along the way we make a detour through hybrid propositional dynamic logic: we establish upper bounds for a number of temporal logics by generalizing results due to Passy and Tinchev [29] and De Giacomo [16]. We conclude with some remarks on the relevance of our results to description logic, and draw attention to the utility of the spypoint technique for proving upper and lower bounds. (shrink)

The concept of conscience continues to play a central role in our ethical reasoning as well as in public and philosophical debate over medical ethics, religious freedom, and conscientious objection in many fields, including war. Despite this continued relevance the nature of conscience itself has remained a relatively neglected topic in recent philosophical literature. In this paper I discuss some historical background to the concept and outline the essential features required for any satisfactory account of conscience and its significance (...) for a coherent moral psychology. It will become clear that conscience is a complex concept resisting reduction to any one of its component features. In doing so I critique recent accounts of conscience which have been insufficiently attentive to these complexities and as a consequence have drawn mistaken conclusions about the legitimate role of conscience in moral reasoning. I also discuss the significance of various distortions of conscience such what I call “the fanaticised conscience”. Clarifying our concept of conscience helps us avoid both conceptual confusion in moral psychology and misapplications of the concept in our understanding of conscientious objection both theoretically and in practice. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Complexities of Aesthetic Experience:Response to JohnstonRichard J. ShustermanI am grateful for this opportunity to clarify my views on aesthetic experience and somaesthetics that Scott Johnston discusses. Combining two very vague and contested ideas ("experience" and "the aesthetic"), the concept of aesthetic experience is an extremely ambiguous notion some of whose principal different conceptions I have carefully tried to outline.1 It is therefore rash for Johnston to presume that what (...) I mean by aesthetic experience is simply "the [Deweyan] sort of experience that connotes an immediate, qualitative whole" that is "consummatory." Though I deeply appreciate John Dewey's view, I have also criticized it on several counts. I insist, for example, on the existence and value of aesthetic experiences of fragmentation and rupture that have neither the unity of coherence nor that of completion that Dewey demands. In fact, as I have often pointed out, part of my interest in rap music was connected to its aesthetic of fragmentation.2Dewey and I both affirm (in sometimes different ways) some sort of primacy of the immediate in aesthetic experience. But primacy and immediacy are polysemic notions whose meaning is very context-dependent and shifting. Insufficient attention to these multiple meanings and contexts seems to confuse some of Johnston's discussion and leads to his puzzlement about how I can emphasize both immediacy and reflection and whether I consistently accord primacy to the former. The first step toward clarifying matters is to note that affirming immediacy in aesthetic experience is not to deny two important dimensions in which aesthetic experience is importantly mediated. First, aesthetic experiences are rarely, if ever, immediate in the sense of being instantaneous; they require some time of processing. Even with allegedly nontemporal arts such as painting (and even with paintings that do not demand complex decoding), there is, in aesthetic experience, a process of focusing on the work, of reacting to it, and of deepening appreciation or absorption. Second, at least in the arts, an aesthetic experience should be mediated by some prior (typically extensive) training in what is necessary to understand and appreciate such art. My aesthetic experience of French poetry required a sustained training in French language, literature, and culture, a training that required reflective thinking.However, despite these crucial mediations, aesthetic experience is usefully characterized as distinctively immediate in that its meanings and values are perceived and savored directly in our experience of the work rather than being only revealed, understood, or appreciated at a later time. I appreciate [End Page 109] the poetry of Baudelaire as I hear or read it, and not only after it is explained to me or after I subsequently reflect on or recollect this poetic experience. Aesthetic experience is immediate in the sense of being immediately enjoyed and valued rather than being an experience in which gratification and appreciation is deferred to a later time. An aesthetic experience of climbing a mountain (which obviously takes time and requires some training) means enjoying the climb while one is climbing, not when one's enjoyment is postponed till one has reached the summit and enjoys its view. When I emphasize the immediacy of aesthetic experience, I am celebrating this character of direct, undeferred, imminent appreciation or sense of value, which is what makes such experience enjoyed or valued for its own sake.3 Such immediate enjoyment is all that is usefully meant by saying that aesthetic experience is appreciated intrinsically or as an end in itself rather than a mere means to some further end, even though there are obviously many good ends to which aesthetic experience can usefully serve as means.This sense of immediacy — of direct, undeferred appreciation of meaning, enjoyment, and value — does not deny a role for reflection. Not only can prior reflection prepare the way for immediate enjoyment but reflection itself offers its own aesthetic pleasures of immediacy. We can enjoy the process of reasoning, speculating, interpreting in a direct or immediate way without postponing our satisfaction to a subsequent appreciation of the results of our reflective process, that is, when we (meta-)reflect, at a later time, on what that initial reflective experience has engendered. Moreover, subsequent reflection on an... (shrink)

This book develops a new naturalist theory of reason and scientific knowledge from a synthesis of philosophy and the new sciences of complex adaptive systems.

This chapter examines the scope and limits of the tractability argument. It argues for two claims. First, that when explored with appropriate care and attention, it becomes clear that the argument provides no good reason to prefer massive modularity to the more traditional rationalist alternative. Second, while it is denied that tractability considerations support massive modularity per se, this does not mean that they show nothing whatsoever. Careful analysis of tractability considerations suggests a range of characteristics that any plausible version (...) of psychological rationalism is likely to possess. The chapter proceeds as follows: Section 1 outlines and clarifies the general form of the tractability argument. Section 2 explains how massive modularity is supposed to resolve intractability worries. Sections 3 to 7 highlight the deficiencies of the main extant arguments for claiming that nonmodular mechanisms are intractable. Section 8 concludes by sketching some of the general characteristics that a plausible rationalist alternative to massive modularity — one capable of subserving tractable cognitive processes — is likely to possess. (shrink)

With the innovation of computer, virtual clothing has also emerged. This research mainly discusses the real-time animation complex of interactive clothing design based on computer simulation. In the process of realizing virtual clothing, the sample interpolation synthesis method is used, and the human body sample library is constructed using the above two methods first, and then, the human body model is obtained by interpolation calculation according to the personalized parameters. Building a clothing model is particularly important for the effect of (...) trying on. The clothing that needs to be displayed can be scanned and then input into the computer to build the model. The model can be directly built in 3DMAX and other software and then its surface texture can be mapped, or the clothing model can be directly built. The 3D model in the 3ds file is loaded by the loop body nested switch branch selection structure. Correspondingly, the write-back operation of 3ds files is similar. Just follow the general structure of the 3ds file and write the root block, version information block, edit information block, key frame information block, etc. to a brand new file in sequence. The main reason for this article to perform the 3ds file write-back operation is that, after the clothing model is dynamically simulated through the dynamic principle, the deformed key animation frame needs to be saved as a 3ds file so that it can be further imported into the 3DSMAX software and generated by the renderer, form high-quality picture information, and finally get high-definition animation video. In the CPU-GPU hybrid method, modules such as force calculation, collision processing, and position update use the GPU method, while overstretching is processed by the CPU method, making the overall performance 10 times higher than the pure CPU method. This research helps to promote the development of 3D virtual clothing design. (shrink)

Philosophy & Social Criticism, Volume 48, Issue 7, Page 937-955, September 2022. Reasonableness is a complex notion recently developed by legal and political theorists. John Rawls’s famous proposal of ‘reasonableness as reciprocity’ requires careful testing in the light of several criteria arising from legal doctrine and adjudication. I enquire into this variety of concepts in search of a common thread that makes sense of the use of the same concept in diverse contexts. I assume the normative thrust of reasonableness as (...) an institutional and an individual virtue the basic core of which derives from Aristotelian phronesis. However, this double aspect of reasonableness betrays its major complexity that I try to shape through the help of two categories: subjective agency and objective context. The upshot of my enquiry will be that of showing that we can use another model, alternative to Rawls’s and better able to make sense of the variety of legal and ethical uses: Von Wright’s reasonableness as ‘the right way of living’. (shrink)

Liang Shuming’s 梁漱溟 China: the Country of Reason is a little-known, posthumously published manuscript composed between 1967 and 1970 during the Cultural Revolution. It offers a unique perspective on Liang’s philosophical attempt to reconcile the Communist revolutionary legacy with the Confucian tradition that he continued to uphold in mainland China after the founding of the People’s Republic. By presenting and analyzing the main themes and concepts of this book, I try to cast some light on Liang’s idiosyncratic repurposing of historical (...) materialist concepts in reinterpreting what he takes to be “early enlightenment” accomplished through the Confucian celebration of “reason” and its “replacement of religion by morality.” In doing so, I explore the complex relations between revolutionary, religious, and ethnic identity in his late philosophy. (shrink)

In this chapter, we begin by sketching in the broadest possible strokes the ideas behind two formal systems that have been introduced with to goal of explicating the ways in which reasons interact to support the actions and conclusions they do. The first of these is the theory of defeasible reasoning developed in the seminal work of Pollock; the second is a more recent theory due to Horty, which adapts and develops the default logic introduced by Reiter to provide (...) an account of reasons. However, the implementations are complex enough, in both cases, to prevent anything more than this sketch. And we would not want to give the impression that we think that work on the logic of reasons must follow the path mapped out in either of these theories—indeed, we feel that the field is wide open. In the remainder of the chapter, therefore, will concentrate on a number of issues bearing on the logic of reasons that are either not treated in the work of Pollock and Horty, or whose treatment there is, we feel, either inadequate or incomplete. These are: first, the question of whether it is necessary to understand logical interactions among reasons themselves, rather than simply between reasons and the actions or conclusions they support, and if so, what principles might govern these interactions; second, priority relations among reasons and the notion of reason accrual; and third, some problems posed by undercutting defeat. (shrink)

We analyzed the patients’ perception of prenatal diagnosis of fetal cardiac pathology, and the reasons for choosing to continue with pregnancy despite being eligible to receive a medical termination of pregnancy. We also identified the challenges, the motives interfering in decision-making, and the consequences of the decisions on pregnancy, child and mother. This descriptive, prospective and longitudinal study was conducted in France, amongst pregnant women who wished to continue their pregnancy despite an unfavorable medical advice. Socio-demographic data were collected through (...) a questionnaire. Such questionnaire covered information assessing the parents/mother’s perception of prenatal diagnosis, and medical termination of pregnancy, their interpretation of the established diagnosis and their motives for not considering pregnancy termination. 72 eligible patients were analyzed over one year: mean age 33 ± 6.89 years, 47 patients had already given birth to ≥1 healthy child. Mean gestational age at the detection of fetal cardiac pathologies was 30 ± 4.37 weeks of amenorrhea. Patients decided to keep the child after 3 ± 1.25 consultations. 56 patients made their decision with their husbands and 16 made their decision alone. Reasons for declining the medical termination were culpability and responsibility, ideologies and convictions, mistrust and hope. Newborns of 67 patients died with a mean survival duration of 38 days. Patient informed consent should be sought before any decision in neonatology, even if conflicting with the medical team’s knowledge and the pregnant mother’s benefits. Decisions to accept or decline pregnancy termination depend on the patients’ psychological character, ideologies, convictions, and mistrust in the diagnosis/prognosis, or hope in the fetus survival. (shrink)

Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic. In this paper we examine these calculi from a proof-complexity perspective. In particular, we show that the calculus for credulous reasoning obeys almost the same bounds on the proof size as Gentzen’s system LK. Hence proving lower bounds for credulous reasoning will be as (...) hard as proving lower bounds for LK. On the other hand, we show an exponential lower bound to the proof size in Bonatti and Olivetti’s enhanced calculus for skeptical default reasoning. (shrink)

We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schröder . Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: (...) for every natural number k there is an equation in E containing more than k distinct variables and all the operation symbols, if 2 < n < ω. Completely analogous statement holds for the case n ω. This improves Monk's famous non-finitizability theorem for which we give here a simple proof. We prove analogous nonfinitizability properties of the larger varieties SNrnCAn + k. We prove that the complementation-free subreducts of RCAn do not form a variety. We also investigate the reason for the above “non-finite axiomatizability” behaviour of RCAn. We look at all the possible reducts of RCAn and investigate which are finitely axiomatizable. We obtain several positive results in this direction. Finally, we summarize the results and remaining questions in a figure. We carry through the same programme for RPEAn and for RRA. By looking into the reducts we also investigate what other kinds of natural algebras of relations are possible with more positive behaviour than that of the well known ones. Our investigations have direct consequences for the logical properties of the n-variable fragment Ln of first order logic. The reason for this is that RCAn and RPEAn are the natural algebraic counterparts of Ln while the varieties SNrnCAn + k are in connection with the proof theory of Ln. This paper appears in two parts. The first part contains the non-finite axiomatizability results. The present second part contains finite axiomatizations of some fragments together with a figure summarizing the finite and non-finite axiomatizability results in this area and the problems left open. (shrink)

The inherence heuristic offers modest insights into the complex nature of both the is–oughttension in moral reasoning and moral reasoning per se, and does not reflect the complexity of domain-specific moral heuristics. Formal and general in nature, we contextualize the process described as “inherence heuristic” in a web of domain-specific heuristics.

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, their (...) definitions do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non-logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

Kant and the Unity of Reason is a comprehensive reconstruction and a detailed analysis of Kant's Critique of Judgment. In the light of the third Critique, the book offers a final inter­pretation of the critical project as a whole. It proposes a new reading of Kant's notion of human experience in which domains, as different as knowledge, morality, and the experience of beauty and life, are finally viewed in a unified perspective. The book proposes a reading of Kant's critical project (...) as one of the most sophisticated attempts in the history of philosophy to articulate a complex notion of human "sensi­bility" as an alternative to both eighteenth-century empiricism and rationalism. The fun­damental contribution of rationality to human experience cannot be fully appreciated if the sensuous component of experience is not adequately taken into account. For Kant, "sensibility" includes functions as different as sensation, intuition, perception, emotion, passion, drive, moral feeling, and feeling of pleasure and displeasure. Kant's idea of "reflective" judgment is the peculiar discovery of the third Critique. Re­flective judgment articulates the interplay between sensibility and rationality, the world of nature and the human mind, in order to constitute human experience and the sphere of human intersubjective relationships. In the act of reflection, Kant's philosophy fi­nally comes to reflect upon itself and the meaning of its critical endeavor. (shrink)

What makes scientific knowledge possible? The philosopher Immanuel Kant in his magnum opus, the Critique of Pure Reason, had a fascinating and puzzling answer to this question. Scientific knowledge, for Kant, is made possible by the faculty of reason and its demand for systematic unity. In other words, cognition about empirical objects can aspire to be scientific only if it is rationally embedded within or transformed into a system. But how can such system form once we take into account the (...) perspectival nature of knowledge, i.e., its being situated in individual human cognitive faculties? My PhD thesis has a two-pronged objective: to reconstruct the complexity of the notion of systematicity in Kant’s Critique of Pure Reason; and to defend its plausibility in contemporary debates on the unity or plurality of scientific knowledge. As far as is concerned, Kant’s position is far from being clearly understood in the literature. Despite a renewed interest in Kant’s notion of systematicity in recent decades, existing contributions fail to offer a satisfactory account of it. The aim of my thesis is to provide a unified reading of reason’s systematicity as an essential feature of Kant’s analysis of the sources of cognition. In particular, I defend a novel account of theoretical reason the aims to support the following claims: systematicity is grounded in a legitimate use of reason’s ideas as prescriptive rules for empirical investigation; it is necessary to make empirical cognition possible and generate scientific hypotheses; and it gives us fundamental insights into Kant’s ‘empirical realism’ and his understanding of the role of metaphysics in science. With regard to, I show that Kant’s account of theoretical reason has much more to offer than generally acknowledged. In particular, I present it as providing a reconciling solution to the conflict between unity and pluralism in contemporary philosophy of science. Drawing inspiration from Kant’s ‘perspectivism,’ I argue that unity and pluralism are to be thought as mutually inclusive principles of scientific knowledge. (shrink)

Aspects of the world are normative in as much as they or their existence constitute reasons for persons, i.e. grounds which make certain beliefs, moods, emotions, intentions or actions appropriate or inappropriate. Our capacities to perceive and understand how things are, and what response is appropriate to them, and our ability to respond appropriately, make us into persons, i.e. creatures with the ability to direct their own life in accordance with their appreciation of themselves and their environment, and of the (...) reasons with which, given how they are, the world presents them. An explanation of normativity would explain the various puzzling aspects of this complex phenomenon. In particular it would explain how it is that aspects of the world can constitute reasons for cognitive, emotive, and volitional responses; how it is that we can come to realise that certain cognitive, emotional or volitional responses are appropriate in various circumstances, and inappropriate in others; and how it is that we can respond appropriately. This paper explores an aspect of the last of these questions. (shrink)

This chapter examines the scope and limits of the tractability argument. It argues for two claims. First, that when explored with appropriate care and attention, it becomes clear that the argument provides no good reason to prefer massive modularity to the more traditional rationalist alternative. Second, while it is denied that tractability considerations support massive modularity per se, this does not mean that they show nothing whatsoever. Careful analysis of tractability considerations suggests a range of characteristics that any plausible version (...) of psychological rationalism is likely to possess. The chapter proceeds as follows: Section 1 outlines and clarifies the general form of the tractability argument. Section 2 explains how massive modularity is supposed to resolve intractability worries. Sections 3 to 7 highlight the deficiencies of the main extant arguments for claiming that nonmodular mechanisms are intractable. Section 8 concludes by sketching some of the general characteristics that a plausible rationalist alternative to massive modularity — one capable of subserving tractable cognitive processes — is likely to possess. (shrink)

Hume discusses the distinction of reason to explain how we distinguish things inseparable, and so identical, e.g., the color and figure of a white globe. He says we note the respect in which the globe is similar to a white cube and dissimilar to a black sphere, and the respect in which it is dissimilar to the first and similar to the second. Unfortunately, Hume takes these differing respects of resemblance to be identical with the white globe itself. Contradiction results, (...) undermining his theory of abstraction. The way out is apparently to admit an intrinsic complexity in even simple things. (shrink)