First paragraph: Some reasons for action are relational. I have a relational reason to Φ when I have reason to Φ in virtue of a relationship in which I stand, or a role that I fill; absent that relationship or that role I would not have that reason to Φ ; others who do not stand in that relationship or fill that role do not have that reason to Φ . I have a relational reason to feed (...) this child -- that he is my child: absent that parental relationship, I might still have a reason to feed him, as might others who are not his parents -- for instance that he is starving; but absent that relationship, I would not have and others cannot have that specific relational reason to feed this child. I have a relational reason to respond to this person's philosophical queries -- that she is my student: absent that pedagogical relationship, I might still have reason to respond to her questions, as might others who are not her teachers -- for instance that it is good to help such seekers after philosophical insight; but absent that relationship, I would not have and others cannot have that specific relational reason to respond to her queries. I have relational reason to pay John ￡10 -- that I borrowed it from him and promised to repay him today: absent that promissory relationship I might still have, and others might have, reason to give him ￡10 -- for instance that he is impoverished and I am (or they are) rich; but absent that promissory relationship, neither I nor others could have that specific relational reason to give him ￡10. (shrink)

Relational reasoning is a higher-order executive function that involves the ability to perceive meaningful patterns within a body of seemingly unrelated information. In this study, the ability of 749 fourth (Mage= 10), sixth (Mage= 12), eighth (Mage= 14), and tenth graders (Mage= 16) to identify meaningful relational patterns was investigated. This general cognitive ability was assessed by means of the Test of Relational Reasoning-Junior (TORRjr), a 32-item measure organized into four 8-item scales that assess analogical, (...) anomalous, antinomous, and antithetical reasoning. Students’ performance on the TORRjr was analyzed using confirmatory factor analysis, measurement invariance test, and non-parametric median-based analyses. The confirmatory factor analysis supported that the higher-order factor model was the best fit for the TORRjr data for the Korean students. The measurement was determined to be invariant by gender but variant across grade levels. The non-parametric analysis resulted in an asymptotic (a constant increasing up to grade 6 and then a level off witnessed from grades 8 to 10) development pattern in overall relational reasoning across the grades. In comparison to analogy and anomaly, antinomy and antithesis scores were more fully developed by grade 8 and that level of performance was maintained at grade 10. The TORRjr appeared to be a viable measure for the Korean samples up to approximately 15 years of age. The significance of these findings for research and instructional practice are discussed. (shrink)

As Kant claimed in the Groundwork, and as the idea has been developed by Korsgaard 1997, Bratman 1987, and Broome 2002. This formulation is agnostic on whether reasons for ends derive from our desiring those ends, or from the relation of those ends to things of independent value. However, desire-based theorists may deny, against Hubin 1999, that their theory is a combination of a principle of instrumental transmission and the principle that reasons for ends are provided by desires. Instead, they (...) may say, there is just one principle, a principle of, if you will, instrumental transmutation: if one desires the end, then one has reason to take the means. See the discussion of General Production, in section 8, for a doubt about this. (shrink)

In the first section of this paper I draw, on a purely conceptual level, a distinction between two kinds of reasons: content-related and attitude-related reasons. The established view is that, in the case of the attitude of believing something, there are no attitude-related reasons. I look at some arguments intended to establish this claim in the second section with an eye to whether these argument could be generalized to cover the case of preferences as well. In the third section I (...) argue against such generalizations and present a case in favour of accepting attitude-related reasons for preferences. In the fourth section I present an objection to which I react in the fifth section where I try to strengthen my case for attitude-related reasons for preferences. Finally, I discuss and reject criticisms raised by two opponents of the view defended here. (shrink)

Recent philosophical work on inquiry yields important results about when it is appropriate to inquire and to what extent norms on inquiry are compatible with other epistemic norms. However, philosophers have been remarkably silent on the matter of what questions we ought to take up in the first place. In this paper, I take up this question, and argue that moral considerations constitute fit-related, right-kind reasons to adopt interrogative attitudes towards, and so inquire about, particular questions. This is a conclusion (...) of more general interest, because – as I explain – we might think that moral considerations are at best wrong-kind reasons for attitudes. If my contentions are right, then there is at least one kind of attitude – namely interrogative attitudes – of which this is not true. (shrink)

I start by explaining what attitude-related reasons are and why it is plausible to assume that, at least in the domain of practical reason, there are such reasons. Then I turn to Raz’s idea that the practice of practical reasoning commits us to what he calls exclusionary reasons. Being excluded would be a third way, additional to being outweighed and being undermined, in which a reason can be defeated. I try to show that attitude-related reasons can explain the phenomena (...) Raz appeals to equally well. Attitude-related reasons, however, are weighted against other reasons and, thus, don’t determine a third relation of defeat. On this basis, I voice some doubts about Raz’s conception of exclusionary reasons. (shrink)

Researchers currently working on relational reasoning typically argue that mental model theory (MMT) is a better account than the inference rule approach (IRA). They predict and observe that determinate (or one-model) problems are easier than indeterminate (or two-model) problems, whereas according to them, IRA should lead to the opposite prediction. However, the predictions attributed to IRA are based on a mistaken argument. The IRA is generally presented in such a way that inference rules only deal with determinate relations (...) and not with indeterminate ones. However, (a) there is no reason to presuppose that a rule-based procedure could not deal with indeterminate relations, and (b) applying a rule-based procedure to indeterminate relations should result in greater difficulty. Hence, none of the recent articles devoted to relational reasoning currently presents a conclusive case for discarding IRA by using the well-known determinate vs indeterminate problems comparison. (shrink)

Relational reasoning is a complex form of human cognition involving the evaluation of relations between mental representations of information. Prior studies have modified stimulus properties of relational reasoning problems and examined differences in difficulty between different problem types. While subsets of these stimulus properties have been addressed in separate studies, there has not been a comprehensive study, to our knowledge, which investigates all of these properties in the same set of stimuli. This investigative gap has resulted (...) in different findings across studies which vary in task design, making it challenging to determine what stimulus properties make relational reasoning—and the putative formation of mental models underlying reasoning—difficult. In this article, we present the Multidimensional Relational Reasoning Task, a task which systematically varied an array of stimulus properties within a single set of relational reasoning problems. Using a mixed-effects framework, we demonstrate that reasoning problems containing a greater number of the premises as well as multidimensional relations led to greater task difficulty. The MRRT has been made publicly available for use in future research, along with normative data regarding the relative difficulty of each problem. (shrink)

Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

A novel explanation of belief bias in relational reasoning is presented based on the role of working memory and retrieval in deductive reasoning, and the influence of prior knowledge on this process. It is proposed that belief bias is caused by the believability of a conclusion in working memory which influences its activation level, determining its likelihood of retrieval and therefore its effect on the reasoning process. This theory explores two main influences of belief on the (...) activation levels of these conclusions. First, believable conclusions have higher activation levels and so are more likely to be recalled during the evaluation of reasoning problems than unbelievable conclusions, and therefore, they have a greater influence on the reasoning process. Secondly, prior beliefs about the conclusion have a base level of activation and may be retrieved when logically irrelevant, influencing the evaluation of the problem. The theory of activation and memory is derived from the Atomic Components of Thought-Rational (ACT-R) cognitive architecture and so this account is formalized in an ACT-R cognitive model. Two experiments were conducted to test predictions of this model. Experiment 1 tested strength of belief and Experiment 2 tested the impact of a concurrent working memory load. Both of these manipulations increased the main effect of belief overall and in particular raised belief-based responding in indeterminately invalid problems. These effects support the idea that the activation level of conclusions formed during reasoning influences belief bias. This theory adds to current explanations of belief bias by providing a detailed specification of the role of working memory and how it is influenced by prior knowledge. (shrink)

Over the last decades, understanding the sources of the difficulty of Bayesian problem solving has been an important research goal, with the effects of numerical format and individual numeracy being widely studied. However, the focus on the comprehension of probability numbers has overshadowed the relational reasoning demand of the Bayesian task. This is particularly the case when the statistical data are verbally described since the requested quantitative relation (posterior ratio) is misaligned with the presented ones (prior and likelihood (...) ratios). In this regard, here I develop the proposal that research on Bayesian reasoning might improve by considering the notational alignment framework of mathematical problem-solving. Specifically, this framework can help to understand the sources of the main difficulties underlying Bayesian inferences based on verbal descriptions. In essence, the present proposal supports the general claim in math education regarding the need to foster relational comprehension to avoid misleading alignments and improve problem solving. (shrink)

Relational representation abilities are a crucial cognitive difference between human and nonhuman animals. We argue that relational reasoning and representation supports the development of culture that increases in complexity. Thus, these abilities are a force that magnifies the apparent difference in cognitive abilities between humans and nonhumans.

Three experiments are reported in which the relationships between task format, item type, and strategy usage were investigated for a two-dimensional relational inference task. Contrary to past findings with linear syllogisms, it was found that parallel presentation (presenting problem statements simultaneously) did not result in any increased use of deduction rule processes compared with serial presentation (presenting problem statements individually). Instead, the results suggested that mental models were used by the majority of subjects, and that multiple models were more (...) likely to be constructed with parallel presentation. It is proposed that, in general, multiple model construction will be more frequent for deduction tasks where the cognitive load is relatively low. Hence, contrary to suggestions by Polk and Newell (1995), reasoning in this way appears to be prevalent and highly robust - where supported by task format - even where the use of this strategy is disadvantageous. (shrink)

Working memory limits are best defined in terms of the complexity of the relations that can be processed in parallel. Complexity is defined as the number of related dimensions or sources of variation. A unary relation has one argument and one source of variation; its argument can be instantiated in only one way at a time. A binary relation has two arguments, two sources of variation, and two instantiations, and so on. Dimensionality is related to the number of chunks, because (...) both attributes on dimensions and chunks are independent units of information of arbitrary size. Studies of working memory limits suggest that there is a soft limit corresponding to the parallel processing of one quaternary relation. More complex concepts are processed by or In segmentation, tasks are broken into components that do not exceed processing capacity and can be processed serially. In conceptual chunking, representations are to reduce their dimensionality and hence their processing load, but at the cost of making some relational information inaccessible. Neural net models of relational representations show that relations with more arguments have a higher computational cost that coincides with experimental findings on higher processing loads in humans. Relational complexity is related to processing load in reasoning and sentence comprehension and can distinguish between the capacities of higher species. The complexity of relations processed by children increases with age. Implications for neural net models and theories of cognition and cognitive development are discussed. (shrink)

The development of analogical reasoning has traditionally been understood in terms of theories of adult competence. This approach emphasizes structured representations and structure mapping. In contrast, we argue that by taking a developmental perspective, analogical reasoning can be viewed as the product of a substantially different cognitive ability – relational priming. To illustrate this, we present a computational (here connectionist) account where analogy arises gradually as a by-product of pattern completion in a recurrent network. Initial exposure to (...) a situation primes a relation that can then be applied to a novel situation to make an analogy. Relations are represented as transformations between states. The network exhibits behaviors consistent with a broad range of key phenomena from the developmental literature, lending support to the appropriateness of this approach (using low-level cognitive mechanisms) for investigating a domain that has normally been the preserve of high-level models. Furthermore, we present an additional simulation that integrates the relational priming mechanism with deliberative controlled use of inhibition to demonstrate how the framework can be extended to complex analogical reasoning, such as the data from explicit mapping studies in the literature on adults. This account highlights how taking a developmental perspective constrains the theory construction and cognitive modeling processes in a way that differs substantially from that based purely on adult studies, and illustrates how a putative complex cognitive skill can emerge out of a simple mechanism. (shrink)

We examine the use of Confucian relational morality as an alternative reference point to that of modernist morality in judging workplace ethical conduct. A semi-structured interview based study involving 46 ethnic Chinese managers and 30 non-Chinese expatriate managers in Singapore, provided evidence of the use of traditional guanxi-linked morality as a moral resource by some of the former group in judging workplace ethical dilemmas. While such morality played only a minor role in moral reasoning, and was largely overshadowed (...) by modernist morality, the research nonetheless demonstrates that moral reasoning reflects wider cultural heritage, and is not merely a function of corporate culture and individual moral development. (shrink)

Reasoning in Biological Discoveries brings together a series of essays, which focus on one of the most heavily debated topics of scientific discovery. Collected together and richly illustrated, Darden's essays represent a groundbreaking foray into one of the major problems facing scientists and philosophers of science. Divided into three sections, the essays focus on broad themes, notably historical and philosophical issues at play in discussions of biological mechanism; and the problem of developing and refining reasoning strategies, including interfield (...) relations and anomaly resolution. Darden summarizes the philosophy of discovery and elaborates on the role that mechanisms play in biological discovery. Throughout the book, she uses historical case studies to extract advisory reasoning strategies for discovery. Examples in genetics, molecular biology, biochemistry, immunology, neuroscience and evolutionary biology reveal the process of discovery in action. (shrink)

A nexus of imperfect duty, defined as positive commitments that have practical limits, describes business behavior toward building affable and virtuous relations, maintaining reasoned social discourse, and performing the due diligence necessary for making knowledgeable business decisions. A theory of the development and extent of the limits of these imperfect managerial duties is presented here, a theory that in part explains the activities and personnel included under the firm’s umbrella. As a result, the nexus of imperfect duty is shown to (...) complement the perfect-duty-based nexus-of-contracts theory of the firm. The existence of flexible trade-offs involving these duties, trade-offs limited by contractual arrangements whether explicit or implicit, is shown to be one of the advantages of imperfect duty for developing business relations. (shrink)

This paper questions the conceptual and pragmatic worth of the category of relational values. Combining philosophical reasoning with ethnographic field-work in Wallmapu/Chile, I analyse a variety of ways in which people think about, value and behave toward the land. I thereby demonstrate that relational-ity is inherent to held, instrumental and intrinsic values. This means that there is no meaningful way in which to distinguish relational values from more familiar types of values. Yet, to be able to (...) argue that a distinct class of relational values exists, those who have proposed the term have been compelled to silence or downplay the relational natures of those other values. This has the perverse effect of confining, rather than promoting, relational thinking. (shrink)

Little has been studied on the relationship between affect and school problems related with attendance. This study aims to identify different affective profiles and to determine whether these profiles differ from each other based on the four functional conditions of school refusal behavior. Participants comprised 1,816 Spanish adolescents aged 15–18 years. The Positive and Negative Affect Schedule for Children-Short Form and the School Refusal Assessment Scale-Revised for Children were administered. Latent profile analysis revealed five affective profiles: low affective profile, self-fulfilling (...) profile, low positive affect profile, self-destructive profile, and high affective profile. The self-destructive profile revealed the highest average scores in the first three factors of the SRAS-R-C, whereas the high affective profile reached the highest average score in the fourth factor. On the contrary, the self-fulfilling profile obtained the lowest average scores in the first two factors of the SRAS-R-C, whereas the low affective profile revealed the lowest average scores in the last two factors. Findings suggest the relevance of developing more adaptative affective profiles, such as the self-fulfilling profile, which would contribute to diminishing school attendance problems. (shrink)

Three experiments investigated whether the similarity of relational structures influences the interpretation of spatial representations. Adults were shown diagrams of hand gestures paired with simple statements and asked to judge the meaning of new gestures. In Experiment 1 the gestures were paired with active declarative statements. In Experiment 2, the gestures were paired with conjunctive and disjunctive relations. Experiment 3 used statements similar to those used in Experiment 1, but eliminated the initial object‐to‐object mapping provided in Experiments 1 and (...) 2. In all three experiments, most participants chose an interpretation that set up a parallel relational structure between the gesture and its meaning: spatial elements were paired with conceptual elements and spatial relations were paired with conceptual relations. These results are consistent with the hypothesis that similarity of relational structures influences spatial reasoning, and have implications for analogical reasoning, diagrammatic reasoning, and language processing. (shrink)

Defeasible argumentation has been applied successfully in several real-world domains in which it is necessary to handle incomplete and contradictory information. In recent years, there have been interesting attempts to carry out argumentation processes supported by massive repositories developing argumentative reasoning applications. One of such efforts builds arguments by retrieving information from relational databases using the DBI-DeLP framework; this article presents eDBI-DeLP, which extends the original DBI-DeLP framework by providing two novel aspects which refine the interaction between DeLP (...) programs and relational databases. First, we expand the expressiveness of dbi-delp programs by providing ways of controlling how the information in databases is recovered; this is done by introducing filters that enable an improved fine-grained control on the argumentation processes which become useful in applications, providing the semantics and the implementation of such filters. Second, we introduce an argument comparison criterion which can be adjusted at the level of literals to model particular features such as credibility and topic expertise, among others. These new tools can be particularly useful in environments such as medical diagnosis expert systems, decision support systems, or recommender systems based on argumentation, where datasets are often provided in the form of relational databases. (shrink)

What is the relation between moral reasons and moral requirement? Specifically: what relation does an action have to bear to one’s moral reasons in order to count as morally required? This paper defends the following answer to this question: an action is morally required just in case the moral reasons in favor of that action are enough on their own to outweigh all of the reasons, moral and nonmoral, to perform any alternative. I argue that this decisive moral reason view (...) satisfies three key desiderata: it is compatible with either affirming or denying the existence of moral options; it vindicates moral rationalism, the thesis that an action can be morally required only if one ought to do it all things considered; and most distinctively, it explains why unexcused moral wrongdoing necessarily shows disregard for moral reasons. (shrink)

Inferences about spatial, temporal, and other relations are ubiquitous. This article presents a novel model-based theory of such reasoning. The theory depends on 5 principles. The structure of mental models is iconic as far as possible. The logical consequences of relations emerge from models constructed from the meanings of the relations and from knowledge. Individuals tend to construct only a single, typical model. They spontaneously develop their own strategies for relational reasoning. Regardless of strategy, the difficulty of (...) an inference depends on the process of integration of the information from separate premises, the number of entities that have to be integrated to form a model, and the depth of the relation. The article describes computer implementations of the theory and presents experimental results corroborating its main principle. (shrink)

This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of (...) modern diagrammatic logic and introduce an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences. (shrink)

This essay is concerned with the relation between motivating and normative reasons. According to a common and influential thesis, a normative reason is identical with a motivating reason when an agent acts for that normative reason. I will call this thesis the ‘Identity Thesis’. Many philosophers treat the Identity Thesis as a commonplace or a truism. Accordingly, the Identity Thesis has been used to rule out certain ontological views about reasons. I distinguish a deliberative and an explanatory version of the (...) Identity Thesis and argue that there are no convincing arguments to accept either version. Furthermore, I point out an alternative to the Identity Thesis. The relation between motivating and normative reasons can be thought of as one of representation, not identity. (shrink)

the structure of medical science with a special focus on the role of generalizations and universals in medicine, and (2) philosophy of medicine's relation with the philosophy of science. I argue that a usually overlooked aspect of Kuhnian paradigms, namely, their characteristic of being "exemplars", is of considerable significance in the biomedical sciences. This significance rests on certain important differences from the physical sciences in the nature of theories in the basic and the clinical medical sciences. I describe those differences (...) and maintain that they are these differentiating features that require the use of more comparative and analogical reasoning in medicine. I suggest that Kitcher's recent introduction of the notion of a ‘practice’ may have similar implications if it is construed to contain more analogical elements than he appears to recognize in his initial formulation. Finally I argue that though Gorovitz and MacIntyre's characterization of medicine as a "science of particulars" bears some similarities with my thesis, I maintain that such a position without careful qualification can lead to ignoring both the nature of generalizations in these sciences and their role as positive analogies tying together a family of overlapping models. Keywords: medical reasoning, biomedical theories/paradigms, science of particulars, philosophy of medicine CiteULike Connotea Del.icio.us What's this? (shrink)

Should we give moral standing to machines? In this paper, I explore the implications of a relational approach to moral standing for thinking about machines, in particular autonomous, intelligent robots. I show how my version of this approach, which focuses on moral relations and on the conditions of possibility of moral status ascription, provides a way to take critical distance from what I call the “standard” approach to thinking about moral status and moral standing, which is based on properties. (...) It does not only overcome epistemological problems with the standard approach, but can also explain how we think about, experience, and act towards machines—including the gap that sometimes occurs between reasoning and experience. I also articulate the non-Cartesian orientation of my “relational” research program and specify the way it contributes to a different paradigm in thinking about moral standing and moral knowledge. (shrink)

When is a conclusion worth deriving? We claim that a conclusion is worth deriving to the extent that it is relevant in the sense of relevance theory (Sperber & Wilson, 1995). To support this hypothesis, we experiment with ''indeterminate relational problems'' where we ask participants what, if anything, follows from premises such as A is taller than B, A is taller than C . With such problems, the indeterminate response that nothing follows is common, and we explain why. We (...) distinguish several types of determinate conclusions and show that their rate is a function of their relevance. We argue that by appropriately changing the formulation of the premises, the relevance of determinate conclusions can be increased, and the rate of indeterminate responses thereby reduced. We contrast these relevance-based predictions with predictions based on linguistic congruence. (shrink)

I investigate the consequences of interpreting Lehrer's account of system-relative justification as a theory of inductive inference. I discuss which assumptions about coherence would be sufficient to make the account of inductive inference derived from Lehrer's theory conform to a series of widely discussed general principles, including those constitutive of cumulative reasoning. I then discuss the epistemological significance of the resulting theory of inductive inference.

Leech et al.'s demonstration that analogical reasoning can be an emergent property of low-level incremental learning processes is critical for analogical theory. Along with insights into neural learning based on the salience of dynamic spatio-temporal structure, and the neural priming mechanism of repetition suppression, it establishes relational primacy as a plausible theoretical description of how brains make analogies.

Despite its strengths, Leech et al.'s model fails to address the important benefits that derive from self-explanation and task feedback in analogical reasoning development. These components encourage explicit, self-reflective processes that do not necessarily link to knowledge accretion. We wonder, therefore, what mechanisms can be included within a connectionist framework to model self-reflective involvement and its beneficial consequences.

The fundamental relations that underlie cognitive comparisons—“same” and “different”—can be defined at multiple levels of abstraction, which vary in relational complexity. We compared response times to decide whether or not two sequentially‐presented patterns, each composed of two pairs of colored squares, were the same at three levels of abstraction: perceptual, relational, and system (higher order relations). For both 150 ms and 5 s inter‐stimulus intervals (ISIs), both with and without a masking stimulus, decision time increased with level of (...) abstraction. Sameness at lower complexity levels contributed to decisions based on the higher levels. The pattern of comparison times across levelswas not predictable solely from encoding times. The results indicated that relations at multiple levels of complexity can be abstracted and compared in working memory, with higher complexity levels requiring more processing time. We simulated the impact of relational complexity on response time using Learning and Inference with Schemas and Analogies (LISA), a computational model of relational comparisons based on dynamic binding of elements into roles in a relational working memory. (shrink)

Inspired by legal reasoning, this paper presents a formal framework for assessing conflicting arguments. Its use is illustrated with applications to realistic legal examples, and the potential for implementation is discussed. The framework has the form of a logical system for defeasible argumentation. Its language, which is of a logic-programming-like nature, has both weak and explicit negation, and conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these (...) priorities are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled.The proof theory of the system is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument. An argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks. Despite this dialectical form, the system reflects a declarative, or relational approach to modelling legal argument. A basic assumption of this paper is that this approach complements two other lines of research in AI and Law, investigations of precedent-based reasoning and the development of procedural, or dialectical models of legal argument. (shrink)

We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude (...) reasoning and its dual tableau system which is a validity checker for the modal logic. For that purpose, we define a validity preserving translation of the modal language into relational language. Then we prove that the system is sound and complete with respect to the relational logic defined as well as with respect to the logic for order of magnitude reasoning. Finally, we show that in fact relational dual tableau does more. It can be used for performing the four major reasoning tasks: verification of validity, proving entailment of a formula from a finite set of formulas, model checking, and verification of satisfaction of a formula in a finite model by a given object. (shrink)

The fundamental relations that underlie cognitive comparisons—“same” and “different”—can be defined at multiple levels of abstraction, which vary in relational complexity. We compared response times to decide whether or not two sequentially‐presented patterns, each composed of two pairs of colored squares, were the same at three levels of abstraction: perceptual, relational, and system (higher order relations). For both 150 ms and 5 s inter‐stimulus intervals (ISIs), both with and without a masking stimulus, decision time increased with level of (...) abstraction. Sameness at lower complexity levels contributed to decisions based on the higher levels. The pattern of comparison times across levelswas not predictable solely from encoding times. The results indicated that relations at multiple levels of complexity can be abstracted and compared in working memory, with higher complexity levels requiring more processing time. We simulated the impact of relational complexity on response time using Learning and Inference with Schemas and Analogies (LISA), a computational model of relational comparisons based on dynamic binding of elements into roles in a relational working memory. (shrink)

​This volume brings together a group of philosophically oriented logicians and logic-minded philosophers, mainly from Asia, to address a variety of logical and philosophical topics, such as modal logic and related directions (e.g. temporal logic, epistemic logic, deontic logic, logic of conditionals, and modal proof theory), theory of truth, paradoxes, intentionality, and social networks. New approaches are also proposed, such as extended modal logic with planarity of graphs, extended branching time temporal logic with conditional operators, and a relational treatment (...) of language and logical systems, to name but a few.Given the variety of topics and issues discussed here, the book will appeal to readers from a broad range of disciplines, from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. (shrink)

We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.