As a rule, the Kantian capacity for self-control is interpreted as a kind of tool for compelling ourselves to act on the basis of the maxims we have adopted. To the extent that we merely acknowledge its role in following already-adopted maxims, however, we fail to capture the distinctive aspect of moral self-control identified by Kant. In this paper, I propose a fuller account of the Kantian capacity for moral self-control; I do so mainly by analyzing this capacity as our (...) ability to “abstract from” various sensible impressions. This analysis shows that Kant’s conception of moral self-control involves two intimately related levels, which are subject to different criteria. Whereas the first level is connected to our ability to adopt moral maxims and requires that we abstract from all sensible impressions, the second is associated with our ability to follow these maxims and does not necessarily require this radical abstraction. (shrink)

This essay introduces the concept of deictic abstraction , taking as a point of departure Husserl’s prototypical but insufficient description of the act of ideation in which a shade of color comes to givenness as an ideal object, i.e., a non-individual or abstract object, on the basis of a perceived individual object. This concept comprises not only color-ideation and ideations of universalities of the sensuous sphere , but all acts founded in perceptions in which ideal objects are directly referred (...) to by means of demonstrative expressions . This allows various types of deictic ideations or abstractions, corresponding to the degree of universality and the kind of ideal object concerned, to be brought to light through the analysis of particular cases of everyday acts of deictic abstraction, including deictic abstractions of predicative universals of the lowest level of universality ; deictic abstractions of non-predicative universals, especially of universal ways of doing something ; and deictic abstractions of individual styles of doing something . Deictic abstractions not only turn out to be constitutive for the formation of perceptual concepts of the lower and lowest levels, but also prove to be foundational for all kinds of learning in which schemata of actions are acquired from a model. (shrink)

We focus on the theory of abstraction proposed by the target article. We suggest that abstraction varies at different levels of learning, cognitive development, or cognitive ability. We argue that this theory does not specify how abstraction is done at each of these levels. Because of these weaknesses, the theory cannot explicate how individuals differ in mental time travel at different phases of life or different levels of cognitive ability.

We conducted an on-line survey to investigate the professor’s idea of “morality” and then to compare their moral thinking at the abstract level with their moral thinking in the real life situations by sampling 257 professors from the University of Novi Sad. We constructed questionnaire based on related theoretical ethical concepts. Our results show (after we performed exploratory factor analysis) that the professor’s idea of “morality” consists of the three moral thinking patterns which are simultaneously activated during the process of (...) their abstract moral thinking. We have identified these patterns in the following manner: deontological, formal and subjective pattern. In addition, our results show that of the three, the subjective pattern is more activated than the other two during their process of the moral thinking at the abstract level. We also discovered that there is a statistically significant difference between professor’s moral thinking patterns activation level at the abstract level and their moral thinking patterns activation level in the real life situation. (shrink)

The interventionist account of causal explanation, in the version presented by Jim Woodward, has been recently claimed capable of buttressing the widely felt—though poorly understood—hunch that high-level, relatively abstract explanations, of the sort provided by sciences like biology, psychology and economics, are in some cases explanatorily optimal. It is the aim of this paper to show that this is mistaken. Due to a lack of effective constraints on the causal variables at the heart of the interventionist causal-explanatory scheme, as presently (...) formulated it is either unable to prefer high-level explanations to low, or systematically overshoots, recommending explanations at so high of a level as to be virtually vacuous. (shrink)

In recent years, language has been shown to play a number of important cognitive roles over and above the communication of thoughts. One hypothesis gaining support is that language facilitates thought about abstract categories, such as democracy or prediction. To test this proposal, a novel set of semantic memory task trials, designed for assessing abstract thought non-linguistically, were normed for levels of abstractness. The trials were rated as more or less abstract to the degree that answering them required the (...) participant to abstract away from both perceptual features and common setting associations corresponding to the target image. The normed materials were then used with a population of people with aphasia to assess the relationship of abstract thought to language. While the language-impaired group with aphasia showed lower overall accuracy and longer response times than controls in general, of special note is that their response times were significantly longer as a function of a trial’s degree of abstractness. Further, the aphasia group’s response times in reporting their degree of confidence (a separate, metacognitive measure) were negatively correlated with their language production abilities, with lower language scores predicting longer metacognitive response times. These results provide some support for the hypothesis that language is an important aid to abstract thought and to metacognition about abstract thought. (shrink)

Several modern accounts of explanation acknowledge the importance of abstraction and idealization for our explanatory practice. However, once we allow a role for abstraction, questions remain. I ask whether the relation between explanations at different theoretical levels should be thought of wholly in terms of abstraction, and argue that changes of the quantities in terms of which we describe a system can lead to novel explanations that are not merely abstractions of some more detailed picture. I (...) use the example of phase transitions as described by statistical mechanics and thermodynamics to illustrate this, and to demonstrate some details of the relationship between abstraction, idealization, and novel explanation. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

Talkers are recognized more accurately if they are speaking the listeners’ native language rather than an unfamiliar language. This “language familiarity effect” has been shown not to depend upon comprehension and must instead involve language sound patterns. We further examine the level of sound-pattern processing involved, by comparing talker recognition in foreign languages versus two varieties of English, by English speakers of one variety, English speakers of the other variety, and non-native listeners. All listener groups performed better with native than (...) foreign speech, but no effect of language variety appeared: Native listeners discriminated talkers equally well in each, with the native variety never outdoing the other variety, and non-native listeners discriminated talkers equally poorly in each, irrespective of the variety's familiarity. The results suggest that this talker recognition effect rests not on simple familiarity, but on an abstract level of phonological processing. (shrink)

Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also (...) consider Floridi's structural account of reality and its fit for describing abstract computational worlds. Being abstract, such worlds are products of programmers' creative imaginations, so any "laws" in these worlds are easily broken. The worlds of computational objects need laws in the form of self-prescribed invariants, but the suspension of these laws might be creative acts. Bending the rules of abstract reality facilitates algorithm design, as we demonstrate through the example of search trees. (shrink)

In his well-known essay “Who Thinksly?” Hegel argues that abstraction is in fact the sign of nonphilosophical thought.1 Despite the common misconception, only philosophical thought is truly concrete. In fact, thought itself, according to Hegel, is the movement from the abstract to the concrete. For philosophers this is an intuitively appealing idea insofar as it rescues philosophy from a charge leveled against it since Thales, namely, that philosophy is more concerned about abstract ideas than concrete reality. Within this context (...) it is difficult to know what to do with Deleuze’s championing of concepts such as “abstract machine” and his criticisms of some ideas as “not abstract enough.” The crucial... (shrink)

The concept of compactness is a necessary condition of any system that is going to call itself a finitary method of proof. However, it can also apply to predicates of sets of formulas in general and in that manner it can be used in relation to level functions, a flavor of measure functions. In what follows we will tie these concepts of measure and compactness together and expand some concepts which appear in d'Entremont's master's thesis, "Inference and Level." We will (...) also provide some applications of the concept of level to the "preservationist" program of paraconsistent logic. We apply the finite level compactness theorem in this paper to get a Lindenbaum flavor extension lemma and a maximal "forcibility" theorem. Each of these is based on an abstract deductive system X which satisfies minimal conditions of inference and has generalizations of 'and' and 'not' as logical words. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of (...) a trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

Here are four examples of “seeing.” You see that something green is wriggling. You see that an iguana is in distress. You see that someone is wrongfully harming an iguana. You see that torturing animals is wrong. The first is an example of low-level perception. You visually represent color and motion. The second is an example of high-level perception. You visually represent kind properties and mental properties. The third is an example of moral perception. You have an impression of moral (...) properties. The fourth is an example of intuition. You intellectually grasp a general moral truth. Should moral perceptions be thought of as high-level perceptions or as intuitions? Most proponents of moral perception have thought of them as high-level perceptions. I give epistemological and methodological reasons for thinking that at least some are examples of what I call low-level intuitions—experiences in which we both apprehend abstract generalities and apply them to concrete particulars. (shrink)

Protoalgebraic logics are characterized by the monotonicity of the Leibniz operator on their theory lattices and are at the lower end of the Leibniz hierarchy of abstract algebraic logic. They have been shown to be the most primitive among those logics with a strong enough algebraic character to be amenable to algebraic study techniques. Protoalgebraic π-institutions were introduced recently as an analog of protoalgebraic sentential logics with the goal of extending the Leibniz hierarchy from the sentential framework to the π-institution (...) framework. Many properties of protoalgebraic logics, studied in the sentential logic framework by Blok and Pigozzi, Czelakowski, and Font and Jansana, among others, have already been adapted in previous work by the author to the categorical level. This work aims at further advancing that study by exploring in this new level some more properties of protoalgebraic sentential logics. (shrink)

We consider a sequence of successively more restrictive definitions of abstraction for causal models, starting with a notion introduced by Rubenstein et al. (2017) called exact transformation that applies to probabilistic causal models, moving to a notion of uniform transformation that applies to deterministic causal models and does not allow differences to be hidden by the "right" choice of distribution, and then to abstraction, where the interventions of interest are determined by the map from low-level states to high-level (...) states, and strong abstraction, which takes more seriously all potential interventions in a model, not just the allowed interventions. We show that procedures for combining micro-variables into macro-variables are instances of our notion of strong abstraction, as are all the examples considered by Rubenstein et al. (shrink)

Even the simplest known living organisms are complex chemical processing systems. But how sophisticated is the behaviour that arises from this? We present a framework in which even bacteria can be identified as capable of representing information in arbitrary signal molecules, to facilitate altering their behaviour to optimise their food supplies, for example. Known asion/Representation theory, this framework makes precise the relationship between physical systems and abstract concepts. Originally developed to answer the question of when a physical system is computing, (...) AR theory naturally extends to the realm of biological systems to bring clarity to questions of computation at the cellular level. (shrink)

Ethicists of care have objected to traditional moral philosophy's reliance upon abstract universal principles. They claim that the use of abstraction renders traditional theories incapable of capturing morally relevant, particular features of situations. I argue that this objection sometimes conflates two different levels of moral thinking: the level of justification and the level of deliberation. Specifically, I claim that abstraction or attention to context at the level of justification does not entail, as some critics seem to think, (...) a commitment to abstraction or attention to context at the level of deliberation. It follows that critics who reject a theory's use of abstraction at the level of justification have not shown that the theory recommends abstraction at the level of deliberation and that it, therefore, compels the deliberating agent to overlook morally salient details. (shrink)

In view of current scientific knowledge, it seems premature to hypothesize a qualitative distinction between processes, networks, and structures involved in abstract processes from those based on perception, episodic, or procedural memories. Predictive thought and mental travel strongly rely, at different levels of consciousness, on past and ongoing sensory input, bodily information, and the results of perceptual elaboration.

The main purpose of this essay is to explore the relationship between the incommensurability of paradigms or general theories, a thesis due to Kuhn and Feyerabend, and the idealizations and abstractions that permeate concepts and fundamental laws of physical theories. One can find some unrealistic or idealizational suppositions underlying the semantic level of the differences between the conceptual vocabularies of incommensurable theories, on which these theories rest. This kind of suppositions relates to the idealizations and abstractions involved in forming concepts (...) and formulating laws. Generally, the fundamental laws of physical theories have an abstract and idealized character. Physical theories contain conceptual networks of kind concepts and quantitative concepts, which are interconnected by several sorts of relationships. The discrepancies between such conceptual network, and their underlying assumptions, of alternative paradigms or theories make their comparison at a theoretical level, that is, their commensurability implausible. That at once strengthens the incommensurability thesis and further supports it. In addition, it follows that Kuhn’s philosophy of science indeed involves a version of conceptual or epistemological relativism about science. (shrink)

Scientific models describe natural phenomena at different levels of abstraction. Abstract descriptions can provide the basis for interventions on the system and explanation of observed phenomena at a level of granularity that is coarser than the most fundamental account of the system. Beckers and Halpern (2019), building on work of Rubenstein et al. (2017), developed an account of abstraction for causal models that is exact. Here we extend this account to the more realistic case where an abstract (...) causal model offers only an approximation of the underlying system. We show how the resulting account handles the discrepancy that can arise between low- and high-level causal models of the same system, and in the process provide an account of how one causal model approximates another, a topic of independent interest. Finally, we extend the account of approximate abstractions to probabilistic causal models, indicating how and where uncertainty can enter into an approximate abstraction. (shrink)

Philosophers have studied mechanisms in many fields in biology. The focus has often been on molecular mechanisms in disciplines such as neuroscience, genetics and molecular biology, with some work on population-level mechanisms in ecology and evolution. We present a novel philosophical case study of individual-level mechanisms, mechanisms in ecology and evolution that concern the interactions between an individual and its environment. The mechanisms we analyze are called Niche Choice, Niche Conformance and Niche Construction (NC3) mechanisms. Based on a detailed analysis (...) of biologists’ research practices, we develop metaphysical claims about the components and organization of NC3 mechanisms, the phenomena they bring about and how these phenomena relate to individual differences, a major explanatory target in the field. We provide reasons for why processes of niche choice, conformance and construction are mechanisms and how they differ from molecular mechanisms underlying individual differences. Finally, we demonstrate that a general representation of NC3 mechanisms is highly abstract, with more specific types of NC3 mechanisms in particular study systems exhibiting more complex components organized in more complex ways. Our case study highlights some distinctive features of individual-level mechanisms in ecology and evolution, such as complex and heterogeneous organization and multiple phenomena. (shrink)

This work introduces the Attack-Support Argumentation Framework (ASAF), an approach to abstract argumentation that allows for the representation and combination of attack and support relations. This framework extends the argumentation Framework with Recursive Attacks (AFRA) in two ways. Firstly, it adds a support relation enabling to express support for arguments; this support can also be given to attacks, and to the support relation itself. Secondly, it extends AFRA’s attack relation by allowing attacks to the aforementioned support relation. Moreover, since the (...) support relation of the ASAF has a necessity interpretation, the ASAF also extends the Argumentation Framework with Necessities (AFN). Thus, the ASAF provides a unified framework for representing attack and support for arguments, as well as attack and support for the attack and support relations at any level. (shrink)

We argue that two powerful error-theoretic concepts provide a general framework that satisfactorily accounts for key aspects of the explanation of physical patterns. This method gives an objective criterion to determine which mathematical models in a class of neighboring models are just as good as the exact one. The method also emphasizes that abstraction is essential for explanation and provides a precise conceptual framework that determines whether a given abstraction is explanatorily relevant and justified. Hence, it increases our (...) epistemological understanding of how one should go about reconstructing scientific practices by making clear that, at a fundamental level, a key aspect of mathematical modeling consists in exactly solving nearby problems. (shrink)

> Context • The alleged dichotomy between mind and matter is pervasive. Therefore, the attempt to explain mat- ter in terms of mind (idealism) is often considered a mirror image of that of explaining mind in terms of mat- ter (mainstream physicalism), in the sense of being structurally equivalent despite being reversely arranged. > Problem • I argue that this is an error arising from language artifacts, for dichotomies must reside in the same level of abstraction. > Method • (...) I show that, because matter outside mind is not an empirical observation but rather an explanatory model, the epistemic symmetry between the two is broken. Consequently, matter and mind cannot reside in the same level of abstraction. > Results • It then becomes clear that attempting to explain mind in terms of matter is epistemically more costly than attempting to explain matter in terms of mind. > Implications • The qualities of experience are suggested to be not only epistemically, but also ontologically primary. > Constructivist content • I high- light the primacy of perceptual constructs over explanatory abstraction on both epistemic and ontic levels. > Key words • Idealism, physicalism, pancomputationalism, anti-realism, hard problem of consciousness, epistemic symmetry, explanatory abstraction, levels of abstraction. (shrink)

1. "The map of logic." Comparatively recently, Kant's words to the effect that in the two thousand years since Aristotle logic had made "not a single step forward and, all things considered, it seems to be a fully finished and completed discipline" used to be quoted widely and not unsympathetically. Today, however, there are works about logic in which the listing of logical disciplines runs into the dozens. In this regard the attempt by the American logician N. Rescher to compile (...) a diagram or "map of logic," in which the list of the branches of logic takes up several pages, is noteworthy. Also characteristic is the following statement by one of the major modern representatives of mathematical logic, S. Kleene: "Since the discovery of non-Euclidean geometries by Lobachevsky and Bolyai , it has become clear that different systems of geometries are conceptually equally possible…. Identically, there are different logics.". (shrink)

The abstract individual is a model that represents real human beings in moral and political philosophy. It occupies a central role in individualist theories such as political liberalism and mainstream Western medical ethics. This article presents two methodological standards for assessing competing models. Taken together, the standards form an objective yardstick against which different constructions of the abstract individual can be evaluated. Thereby, the article introduces a new level of abstraction, and a new set of normative principles, to individualist (...) moral and political philosophy which facilitates reliable moral judgments between different models of human beings. (shrink)

Machamer, Darden, and Craver's account of the nature and role of mechanisms in the special sciences has been very influential. Unfortunately, a confusing array of ontic, epistemic, and pragmatic distinctions is required to individuate their mechanisms, mechanism schemata, and mechanism sketches. I diagnose this as a conflation of token-level causal relations with type-level relations. I propose instead that a mechanism is an abstraction that relates entity types and activity types on the model of a directed graph. Mechanisms have an (...) ontic status distinct from the causal chains of token entities and token activities that instantiate them. (shrink)

Philosophers and psychologists alike have argued recently that relatively abstract beliefs or cognitive categories like those regarding race can influence the perceptual experience of relatively low-level visual features like color or lightness. Some of the proposed best empirical evidence for this claim comes from a series of experiments in which White faces were consistently judged as lighter than equiluminant Black faces, even for racially ambiguous faces that were labeled ‘White’ as opposed to ‘Black’ (Levin and Banaji 2006). The latter result (...) is considered especially indicative of cognitive penetration, based on the reasoning that the relevant distortions were a function of lexical labeling, and hence the effect must have been mediated by categorization at the cognitive level. I argue that this reasoning is flawed, and that the assumptions on which it relies are questionable on both empirical and theoretical grounds. I propose an alternative, low-level explanation of the phenomena, which I argue is empirically more plausible and abductively preferable to the cognitive-penetration account. The upshot is that cognitively impenetrable perceptual systems may be psychologically more plastic and hence philosophically more significant than is nowadays commonly assumed. (shrink)

Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.

Kant’s subject as source of universality and necessity in human understanding is Modern Philosophy's solution to the old problem of the universals, a solution which appeared to supersede once and for all the Aristotelian theory of abstraction. The present paper intends to show how Aquinas's Aristotelian doctrine on abstraction may stand the Kantian challenge and resolve the old problem when three principles are brought into play: 1) the same perfection can subsist in two different modes of being, and (...) thus the universal content of knowledge can be present in the particular reality (Summa, I, 84, 1); 2) things which are really distinct between themselves can be known in their distinction, even when they cannot exist separately (metaphysical distinction justifies gnoseological separation); 3) as Cornelio Fabro suggests, it is artificial to separate in the object of experience the object’s different levels of objectivity (quality, configuration and meaning) and, as a result, human experience could be considered the source not only of sensible content but also of intelligible content. This “defense” of Thomistic abstraction intends to offer an account of knowledge which reunites again epistemology with common sense experience, so that philosophy may no longer be a Platonic abstraction but a meaningful explanation of life. (shrink)

While Hermann Lotze's philosophy was widely received all over the world, his views on abstraction and Platonic ideas are of particular interest because they were to a large extent adopted by one of the most eminent philosophers of the twentieth century, namely Edmund Husserl. In this paper these views are examined in three distinct aspects. The first of these aspects is to be found in Lotze's thesis that there is a mental process, prior to abstraction, whereby "first universals" (...) are apprehended. The second one lies in his view that there is yet a higher level of apprehension, as found in the process of abstraction itself. According to Lotze, abstraction is not to be identified with the mere removal of particular features, but rather the replacement of these with first universals, resulting in "general images" and ultimately concepts. In addition to Lotze's analysis of the cognition of universals, there is finally a third thesis (an ontological one) which is examined in this paper, namely that the universals are Platonic Ideas in the sense that they have "validity" (Geltung) independently of their corresponding particulars and also of the mind which grasps them. The three claims in question are examined here in detail. Also, an attempt is made to point out some of the connections between Lotze and Husserl on the topic under discussion. (shrink)

Reification is to abstraction as disease is to health. Whereas abstraction is singling out, symbolizing, and systematizing, reification is neglecting abstractive context, especially functional, historical, and analytical-level context. William James and John Dewey provide similar and nuanced arguments regarding the perils and promises of abstraction. They share an abstraction-reification account. The stages of abstraction and the concepts of “vicious abstractionism,” “/the/ psychologist’s fallacy,” and “the philosophic fallacy” in the works of these pragmatists are here analyzed (...) in detail. For instance, in 1896 Dewey exposes various fallacies associated with reifying dualistic reflex arc theory. The conclusion prescribes treatments (pluralism and assumption archaeology) for de-reifying ill models (i.e., universalized, narrowed, and ontologized models) in contemporary scientific fields such as cognitive science and biology. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with (...) a fundamental level at the bottom? And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher-level descriptions reducible to lower-level ones? (4) Can the relationship between normative and non-normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion. (shrink)

In this paper we specialize the notion of abstract computational procedure previously introduced for intensionally presented structures to those which are extensionally given. This is provided by a form of generalized recursion theory which uses schemata for explicit definition, conditional definition and least fixed point recursion in functional of type level 2 over any appropriate structure. It is applied here to the case of potentially infinite streams as an abstract data type.

When creating theory to understand or implement change at the social and/or organizational level, it is generally accepted that part of the theory building process includes a process of abstraction. While the process of abstraction is well understood, it is not so well understood how abstractions “fit” together to enable the creation of better theory. Starting with a few simple ideas, this paper explores one way we work with abstractions. This exploration challenges the traditionally held importance of abstracting (...) concepts from experience. That traditional focus has been one-sided—pushing science toward the discovery of data without the balancing process that occurs with the integration of the data. Without such balance, the sciences have been pushed toward fragmentation. Instead, in the present paper, new emphasis is placed on the relationship between abstract concepts. Specifically, this paper suggests that a better theory is one that is constructed of concepts that exist on a similar level of abstraction. Suggestions are made for quantifying this claim and using the insights to enable scholars and practitioners to create more effective theory. (shrink)

Natural language processing techniques contribute more and more in analyzing legal documents recently, which supports the implementation of laws and rules using computers. Previous approaches in representing a legal sentence often based on logical patterns that illustrate the relations between concepts in the sentence, often consist of multiple words. Those representations cause the lack of semantic information at the word level. In our work, we aim to tackle such shortcomings by representing legal texts in the form of abstract meaning representation, (...) a graph-based semantic representation that gains lots of polarity in NLP community recently. We present our study in AMR Parsing and AMR-to-text Generation specifically for legal domain. We also introduce JCivilCode, a human-annotated legal AMR dataset which was created and verified by a group of linguistic and legal experts. We conduct an empirical evaluation of various approaches in parsing and generating AMR on our own dataset and show the current challenges. Based on our observation, we propose our domain adaptation method applying in the training phase and decoding phase of a neural AMR-to-text generation model. Our method improves the quality of text generated from AMR graph compared to the baseline model. 2018; and “Legal Text Generation fromMeaning Representation”, published in the 32nd International Conference on Legal Knowledge and Information Systems 2019.). (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality (...) and abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

The target article concludes that it is essential to introduce the personal level in cognitive science. We propose to take this conclusion one step further. The personal level should consist of first-person accounts of specific, contextualized experiences, not abstract or imagined cases. Exploring first-person accounts at their own level of detail calls for the refinements of method that can link up with neural accounts.

Causal Bayes nets (CBNs) provide one of the most powerful tools for modelling coarse-grained type-level causal structure. As in other fields (e.g., thermodynamics) the question arises how such coarse-grained characterisations are related to the characterisation of their underlying structure (in this case: token-level causal relations). Answering this question meets what is called a “coherence-requirement” in the reduction debate: How are different accounts of one and the same system (or kind of system) related to each other. We argue that CBNs as (...) tools for type-level causal inference are abstract enough to roughly fit any current token-level theory of causation as long as certain modelling assumptions are satisfied, but accounts of actual causation, i.e. accounts that attempt to infer token-causation based on CBNs, for the very same reason, face certain limitations. (shrink)

In its formlessness and potentiality, prime matter is a problematic entity of medieval metaphysics and its ontological limitations drastically affect human possibility of conceiving it. In this article, I analyse three influential strategies elaborated to justify an epistemic access to prime matter. They are incidental perception, negative abstraction, and analogy. Through a systematic and historical analysis of these procedures, the article shows the richness of interpretations and theoretical stakes implied by the conundrum of how prime matter can be known (...) by human beings. In particular, the reasons behind the later medieval acceptance of analogy as the main way to unveil prime matter become clearer by pointing out the correlation between the ontological and epistemological levels of the medieval examination of prime matter. (shrink)

Construal-level theory emphasizes that representing events at greater spatial, temporal, social, or hypothetical distance results in processing information at high construal levels (more conceptual, abstract). We posit that psychological distance and construal level are somewhat separable constructs, and can have different effects on emotion, and therefore, emotion regulation. We argue that psychological distance influences emotional appraisal, such that increasing distance results in lower emotion intensity, which can be leveraged to down-regulate emotions. However, we consider construal level a mindset, which (...) can occur with either high or low psychological distance. Furthermore, we argue that compared with psychological distance, construal level has a more nuanced relationship with emotion, and changing construal level for the purpose of changing emotion also requires considering the construal level of one's emotion-regulation goals. (shrink)

This essay has three general themes. The first involves the claim that nudging threatens human agency. My basic response is that human agency is fully retained (because nudges do not compromise freedom of choice) and that agency is always exercised in the context of some kind of choice architecture. The second theme involves the importance of having a sufficiently capacious sense of the category of nudges, and a full appreciation of the differences among them. Some nudges either enlist or combat (...) behavioral biases but others do not, and even among those that do enlist or combat such biases, there are significant differences. The third general theme is the need to bring various concerns (including ethical ones) in close contact with particular examples. A legitimate point about default rules may not apply to warnings or reminders. An ethical objection to the use of social norms may not apply to information disclosure. Here as elsewhere, abstraction can be a trap. We continue to learn about the relevant ethical issues, about likely public reactions to nudging, and about differences across cultures and nations. Future progress will depend on a high level of concreteness, perhaps especially in dealing with the vexing problem of time-inconsistency. (shrink)

Whether pattern-parsing mechanisms are specific to language or apply across multiple cognitive domains remains unresolved. Formal language theory provides a mathematical framework for classifying pattern-generating rule sets (or “grammars”) according to complexity. This framework applies to patterns at any level of complexity, stretching from simple sequences, to highly complex tree-like or net-like structures, to any Turing-computable set of strings. Here, we explored human pattern-processing capabilities in the visual domain by generating abstract visual sequences made up of abstract tiles differing in (...) form and color. We constructed different sets of sequences, using artificial “grammars” (rule sets) at three key complexity levels. Because human linguistic syntax is classed as “mildly context-sensitive,” we specifically included a visual grammar at this complexity level. Acquisition of these three grammars was tested in an artificial grammar-learning paradigm: after exposure to a set of well-formed strings, participants were asked to discriminate novel grammatical patterns from non-grammatical patterns. Participants successfully acquired all three grammars after only minutes of exposure, correctly generalizing to novel stimuli and to novel stimulus lengths. A Bayesian analysis excluded multiple alternative hypotheses and shows that the success in rule acquisition applies both at the group level and for most participants analyzed individually. These experimental results demonstrate rapid pattern learning for abstract visual patterns, extending to the mildly context-sensitive level characterizing language. We suggest that a formal equivalence of processing at the mildly context sensitive level in the visual and linguistic domains implies that cognitive mechanisms with the computational power to process linguistic syntax are not specific to the domain of language, but extend to abstract visual patterns with no meaning. (shrink)