In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...

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)

Think of a number, any number, or properties like fragility and humanity. These and other abstract entities are radically different from concrete entities like electrons and elbows. While concrete entities are located in space and time, have causes and effects, and are known through empirical means, abstract entities like meanings and possibilities are remarkably different. They seem to be immutable and imperceptible and to exist "outside" of space and time. This book provides a comprehensive critical assessment of the problems raised (...) by abstract entities and the debates about existence, truth, and knowledge that surround them. It sets out the key issues that inform the metaphysical disagreement between platonists who accept abstract entities and nominalists who deny abstract entities exist. Beginning with the essentials of the platonist–nominalist debate, it explores the key arguments and issues informing the contemporary debate over abstract reality: arguments for platonism and their connections to semantics, science, and metaphysical explanation the abstract–concrete distinction and views about the nature of abstract reality epistemological puzzles surrounding our knowledge of mathematical entities and other abstract entities. arguments for nominalism premised upon concerns about paradox, parsimony, infinite regresses, underdetermination, and causal isolation nominalist options that seek to dispense with abstract entities. Including chapter summaries, annotated further reading, and a glossary, _Entities_ is essential reading for anyone seeking a clear and authoritative introduction to the problems raised by abstract entities. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and degrees (...) is considerably more marginal than generally held. (shrink)

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)

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle is at (...) the core of neo-logicism. In the first two chapters of the book, Mancosu provides a historical analysis of the mathematical uses and foundational discussion of definitions by abstraction up to Frege, Peano, and Russell. Chapter one shows that abstraction principles were quite widespread in the mathematical practice that preceded Frege's discussion of them and the second chapter provides the first contextual analysis of Frege's discussion of abstraction principles in section 64 of the Grundlagen. In the second part of the book, Mancosu discusses a novel approach to measuring the size of infinite sets known as the theory of numerosities and shows how this new development leads to deep mathematical, historical, and philosophical problems. The final chapter of the book explore how this theory of numerosities can be exploited to provide surprisingly novel perspectives on neo-logicism. (shrink)

Abstract creationism about fictional characters is the view that fictional characters are abstract objects that authors create. I defend this view against criticisms from Stuart Brock that hitherto have not been adequately countered. The discussion sheds light on how the number of fictional characters depends on authorial intention. I conclude also that we should change how we think intentions are connected to artifacts more generally, both abstract and concrete.

argumentation has been shown to be a powerful tool within many fields such as artificial intelligence, logic and legal reasoning. In this paper we enhance Dung’s well-known abstract argumentation framework with explanatory capabilities. We show that an explanatory argumentation framework (EAF) obtained in this way is a useful tool for the modeling of scientific debates. On the one hand, EAFs allow for the representation of explanatory and justificatory arguments constituting rivaling scientific views. On the other hand, different procedures for selecting (...) arguments, corresponding to different methodological and epistemic requirements of theory evaluation, can be formulated in view of our framework. (shrink)

A number of philosophers have recently suggested that some abstract, plausibly non-causal and/or mathematical, explanations explain in a way that is radically dif- ferent from the way causal explanation explain. Namely, while causal explanations explain by providing information about causal dependence, allegedly some abstract explanations explain in a way tied to the independence of the explanandum from the microdetails, or causal laws, for example. We oppose this recent trend to regard abstractions as explanatory in some sui generis way, and argue (...) that a prominent ac- count of causal explanation can be naturally extended to capture explanations that radically abstract away from microphysical and causal-nomological details. To this end, we distinguish di erent senses in which an explanation can be more or less abstract, and analyse the connection between explanations’ abstractness and their explanatory power. According to our analysis abstract explanations have much in common with counterfactual causal explanations. (shrink)

We develop a functional abstraction principle for the type-free algorithmic logic introduced in our earlier work. Our approach is based on the standard combinators but is supplemented by the novel use of evaluation trees. Then we show that the abstraction principle leads to a Curry fixed point, a statement C that asserts C ⇒ A where A is any given statement. When A is false, such a C yields a paradoxical situation. As discussed in our earlier work, this (...) situation leaves one no choice but to restrict the use of a certain class of implicational rules including modus ponens. (shrink)

Purpose – The purpose of this paper is to explain how abstract space of the State – universally and specifically within the context of Middle Eastern cities – aims to homogenise the city and eliminate any anomaly that threatens its power structure. Design/methodology/approach – Through a historical and discourse analysis of these policies and processes in the two case studies, this paper presents a contextualised reading of Lefebvre’s concept of abstract space and process of abstraction in relation to the (...) alienation of political public spaces. Findings – The paper proposes that regardless of these homogenising strategies being applied universally, they fail to respond to contextual particularities and therefore they – in a contradictory manner – may themselves produce a space of resistance and difference. Originality/value – This paper focusses on Iran, the case of Tehran and Turkey, the case of Taksim Square and Gezi Park in Istanbul. Recent policies and strategies have been proposed and implemented to reduce, alienate and possibly neutralise the impacts of urban and political protests in these cities and socio-political contexts. (shrink)

This article improves two existing theorems of interest to neologicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic. The improved theorem states that if an equivalence relation E is defined without nonlogical vocabulary, then the bicardinal slice of any equivalence class—those equinumerous elements of the equivalence class with equinumerous complements—can have one of only three profiles. The improvements to Fine’s theorem allow for an analysis of (...) the well-behaved models had by an abstraction principle, and this in turn leads to an improvement of Walsh and Ebels-Duggan’s relative categoricity theorem. (shrink)

Theories of explanation need to account for a puzzling feature of our explanatory practices: the fact that we prefer explanations that are relatively abstract but only moderately so. Contra Franklin-Hall ([2016]), I argue that the interventionist account of explanation provides a natural and elegant explanation of this fact. By striking the right balance between specificity and generality, moderately abstract explanations optimally subserve what interventionists regard as the goal of explanation, namely identifying possible interventions that would have changed the explanandum.

The concept of the environment appears to be indispensably involved in adaptive explanation. Quite what its role is, however, is a matter of some dispute. The environment is customarily viewed as the dual of the organism; a wholly external, discrete, autonomous cause of evolution. On this view, the external environment is the principal cause of the adaptedness of form, and the determinant of what it is to be an adaptation. I argue that this conception of the environment neither adequately explains (...) nor individuates evolutionary adaptations. Instead, adaptation, properly construed, is an evolutionary response to affordances. The environment, traditionally construed, underdetermines an organism’s affordances. Instead, I argue that the environment takes its place in evolutionary models not as a discrete causal entity, but as an abstraction. (shrink)

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction (...) through information hiding is a primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, preferences may (...) be used, which leads to three corresponding kinds of defeat: undermining, rebutting and undercutting defeats. The nature of the inference rules, the structure of the logical language on which they operate and the origin of the preferences are, apart from some basic assumptions, left unspecified. The resulting framework integrates work of Pollock, Vreeswijk and others on the structure of arguments and the nature of defeat and extends it in several respects. Various rationality postulates are proved to be satisfied by the framework, and several existing approaches are proved to be a special case of the framework, including assumption-based argumentation and DefLog. (shrink)

The neo-Fregean program in the philosophy of mathematics seeks a foundation for a substantial part of mathematics in abstraction principles—for example, Hume’s Principle: The number of Fs D the number of Gs iff the Fs and Gs correspond one-one—which can be regarded as implicitly definitional of fundamental mathematical concepts—for example, cardinal number. This paper considers what kind of abstraction principle might serve as the basis for a neo- Fregean set theory. Following a brief review of the main difficulties (...) confronting the most widely discussed proposal to date—replacing Frege’s inconsistent Basic Law V by Boolos’s New V which restricts concepts whose extensions obey the principle of extensionality to those which are small in the sense of being smaller than the universe—the paper canvasses an alternative way of implementing the limitation of size idea and explores the kind of restrictions which would be required for it to avoid collapse. (shrink)

rationality has increasingly been a target of attack in contemporary educational research and practice and in its place practical reason and situated thinking have become a focus of interest. The argument here is that something is lost in this. In illustrating how we might think about the issue, this paper makes a response to the charge that as a result of his commitment to the ‘Enlightenment project’ Vygotsky holds abstract rationality as the pinnacle of thought. Against this it is argued (...) that Vygotsky had a far more sophisticated appreciation of reason and of its remit. The paper proceeds first by examining the picture of Vygotsky that is presented in the work of James Wertsch, and especially his claim that Vygotsky was an ambivalent rationalist, goes on to provide an account of Vygotsky that corrects this picture, and develops this in the light of the work of Robert Brandom, who shares Vygotsky’s inheritance of Hegel. The conclusion towards which this piece points is that the philosophical underpinnings of Vygotsky’s work provide a radically different idea of rationality and epistemology from that characterised as abstract rationality and that this has significance for education studies. (shrink)

Proponents of mechanistic explanation all acknowledge the importance of organization. But they have also tended to emphasize specificity with respect to parts and operations in mechanisms. We argue that in understanding one important mode of organization—patterns of causal connectivity—a successful explanatory strategy abstracts from the specifics of the mechanism and invokes tools such as those of graph theory to explain how mechanisms with a particular mode of connectivity will behave. We discuss the connection between organization, abstraction, and mechanistic explanation (...) and illustrate our claims by looking at an example from recent research on so-called network motifs. (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)

Recent scholarship emphasizes the scaffolding role of language for cognition. Language, it is claimed, is a cognition-enhancing niche (Clark, 2006), a programming tool for cognition (Lupyan and Bergen, 2016), even a neuroenhancement (Dove, 2019), and augments cognitive functions such as memory, categorization, cognitive control as well as meta-cognitive abilities (‘thinking about thinking’). Yet the notion that language enhances or augments cognition does not fit in with embodied approaches to language processing, or so we will argue. Accounts aiming to explain how (...) language enhances various cognitive functions often employ a notion of abstract representation. Yet embodied approaches to language processing have it that language processing crucially, according to some accounts even exclusively, involves embodied, modality-specific, i.e. non-abstract representations. In coming to understand a particular phrase or sentence, a prior experience has to be simulated or reenacted. The representation thus activated is embodied (modality-specific) as sensorimotor regions of the brain are thereby recruited. In the paper, we will first discuss the notion of representation, clarify what it takes for a representation to be embodied or abstract respectively, and distinguish between conceptual and (other) linguistic representations. We will then put forward a characterization of cognitive control and examine its representational infrastructure. The remainder of the paper will be devoted to arguing that language augments cognitive control. To that end, we will draw on two lines of research, which investigate how language augments cognitive control: i. research on the availability of linguistic labels, and ii. research on the active usage of a linguistic code, specifically in inner speech. Eventually, we will argue that the cognition-enhancing capacity of language can be explained once we assume that it provides us with a. abstract, non-embodied representations, and with b. abstract, sparse linguistic representations that may serve as easy-to-manipulate placeholders for fully embodied or otherwise more detailed representations. (shrink)

Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended (...) generality. This article argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (shrink)

Our thoughts depend on knowledge about objects, people, properties, and events. In order to think about where we left our keys, what we are going to make for dinner, when we last fed the dogs, and how we are going to survive our next visit with our family, we need to know something about locations, keys, cooking, dogs, survival, families, and so on. Researchers have sought to explain how our brains can store and access such general knowledge. A growing body (...) of evidence suggests that many of our concepts are grounded in action, emotion, and perception systems. We appear to think about the world by means of the same mechanisms that we use to experience it. Abstract concepts like ‘democracy,’ ‘fermion,’ ‘piety,’ ‘truth,’ and ‘zero’ represent a clear challenge to this idea. Given that they represent a uniquely human cognitive achievement, answering the question of how we acquire and use them is central to our ability to understand ourselves. This book argues that abstract concepts are heterogeneous and pose three important challenges to embodied cognition. They force us to ask: How do we generalize beyond the specifics of our experience? How do we think about things that we do not experience directly? How do we adapt our thoughts to specific contexts and tasks? It argues that a successful theory of grounding must embrace multimodal representations, hierarchical architecture, and linguistic scaffolding. Abstract concepts are the product of an elastic mind. (shrink)

It is widely supposed that every entity falls into one of twocategories: Some are concrete; the rest abstract. The distinction issupposed to be of fundamental significance for metaphysics andepistemology. This article surveys a number of recent attempts to sayhow it should be drawn.

Invariantists argue that the notion of concept in psychology should be reserved for knowledge that is retrieved in a context-insensitive manner. Contextualists argue that concepts are to be understood in terms of context-sensitive ad hoc constructions. I review the central empirical evidence for and against both views and show that their conclusions are based on a common mischaracterization of both theories. When the difference between contextualism and invariantism is properly understood, it becomes apparent that the way the question of stability (...) is currently investigated will not lead to a consensus. Instead of focusing directly on stability, we should turn our attention to other desiderata on a theory of concepts. In particular, I show that invariantism, but not contextualism, fails to account for compositionality and abstract concepts. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

This article focuses on a case that expert practitioners count as an explanation: a mathematical account of Plateau’s laws for soap films. I argue that this example falls into a class of explanations that I call abstract explanations.explanations involve an appeal to a more abstract entity than the state of affairs being explained. I show that the abstract entity need not be causally relevant to the explanandum for its features to be explanatorily relevant. However, it remains unclear how to unify (...) abstract and causal explanations as instances of a single sort of thing. I conclude by examining the implications of the claim that explanations require objective dependence relations. If this claim is accepted, then there are several kinds of objective dependence relations. 1 Introduction2 A Case3 Abstract and Causal Explanations4 Recent Work on Mathematical Explanation5 Explanation and Dependence6 Conclusion. (shrink)

The need for quantitative measurement represents a unifying bond that links all the physical, biological, and social sciences. Measurements of such disparate phenomena as subatomic masses, uncertainty, information, and human values share common features whose explication is central to the achievement of foundational work in any particular mathematical science as well as for the development of a coherent philosophy of science. This book presents a theory of measurement, one that is "abstract" in that it is concerned with highly general axiomatizations (...) of empirical and qualitative settings and how these can be represented quantitatively. It was inspired by, and represents a generalization and extension of, the last major research work in this field, Foundations of Measurement Vol. I, by Krantz, Luce, Suppes, and Tversky published in 1971. (shrink)

Philosophers have often claimed that general ideas or representations have their origin in abstraction, but it remains unclear exactly what abstraction as a psychological process consists in. We argue that the Lockean aspiration of using abstraction to explain the origins of all general representations cannot work and that at least some general representations have to be innate. We then offer an explicit framework for understanding abstraction, one that treats abstraction as a computational process that operates (...) over an innate quality space of fine-grained general representations. We argue that this framework has important philosophical implications for the nativism-empiricism dispute, for questions about the acquisition of unstructured representations, and for questions about the relation between human and animal minds. (shrink)

In the recent literature on causal and non-causal scientific explanations, there is an intuitive assumption according to which an explanation is non-causal by virtue of being abstract. In this context, to be ‘abstract’ means that the explanans in question leaves out many or almost all causal microphysical details of the target system. After motivating this assumption, we argue that the abstractness assumption, in placing the abstract and the causal character of an explanation in tension, is misguided in ways that are (...) independent of which view of causation or causal explanation one takes to be most accurate. On major accounts of causation, as well as on major accounts of causal explanation, the abstractness of an explanation is not sufficient for it being non-causal. That is, explanations are not non-causal by dint of being abstract. (shrink)

A general theory of logical oppositions is proposed by abstracting these from the Aristotelian background of quantified sentences. Opposition is a relation that goes beyond incompatibility (not being true together), and a question-answer semantics is devised to investigate the features of oppositions and opposites within a functional calculus. Finally, several theoretical problems about its applicability are considered.

Abstraction and idealization are the two notions that are most often discussed in the context of assumptions employed in the process of model building. These notions are also routinely used in philosophical debates such as that on the mechanistic account of explanation. Indeed, an objection to the mechanistic account has recently been formulated precisely on these grounds: mechanists cannot account for the common practice of idealizing difference-making factors in models in molecular biology. In this paper I revisit the debate (...) and I argue that the objection does not stand up to scrutiny. This is because it is riddled with a number of conceptual inconsistencies. By attempting to resolve the tensions, I also draw several general lessons regarding the difficulties of applying abstraction and idealization in scientific practice. Finally, I argue that more care is needed only when speaking of abstraction and idealization in a context in which these concepts play an important role in an argument, such as that on mechanistic explanation. (shrink)

This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics". The logics studied (...) here arise from the algebraic and lattice-theoretical properties we review of Tetravalent Modal Algebras, a class of algebras studied mainly by Loureiro, and also by Figallo, Landini and Ziliani, at the suggestion of the late Antonio Monteiro. (shrink)

Two famous negative results about da Costa’s paraconsistent logic ${\mathscr {C}}_1$ (the failure of the Lindenbaum–Tarski process [44] and its non-algebraizability [39]) have placed ${\mathscr {C}}_1$ seemingly as an exception to the scope of Abstract Algebraic Logic (AAL). In this paper we undertake a thorough AAL study of da Costa’s logic ${\mathscr {C}}_1$. On the one hand, we strengthen the negative results about ${\mathscr {C}}_1$ by proving that it does not admit any algebraic semantics whatsoever in the sense of Blok (...) and Pigozzi (a weaker notion than algebraizability also introduced in the monograph [6]). On the other hand, ${\mathscr {C}}_1$ is a protoalgebraic logic satisfying a Deduction-Detachment Theorem (DDT). We then extend our AAL study to some paraconsistent axiomatic extensions of ${\mathscr {C}}_1$ covered in the literature. We prove that for extensions ${\mathcal {S}}$ such as ${\mathcal {C}ilo}$ [26], every algebra in ${\mathsf {Alg}}^*({\mathcal {S}})$ contains a Boolean subalgebra, and for extensions ${\mathcal {S}}$ such as,, or [16, 53], every subdirectly irreducible algebra in ${\mathsf {Alg}}^*({\mathcal {S}})$ has cardinality at most 3. We also characterize the quasivariety ${\mathsf {Alg}}^*({\mathcal {S}})$ and the intrinsic variety $\mathbb {V}({\mathcal {S}})$, with,, and. (shrink)

While the fundamental laws of physics are time-reversal invariant, most macroscopic processes are irreversible. Given that the fundamental laws are taken to underpin all other processes, how can the fundamental time-symmetry be reconciled with the asymmetry manifest elsewhere? In statistical mechanics, progress can be made with this question. What I dub the ‘Zwanzig–Zeh–Wallace framework’ can be used to construct the irreversible equations of SM from the underlying microdynamics. Yet this framework uses coarse-graining, a procedure that has faced much criticism. I (...) focus on two objections in the literature: claims that coarse-graining makes time-asymmetry ‘illusory’ and ‘anthropocentric’. I argue that these objections arise from an unsatisfactory justification of coarse-graining prevalent in the literature, rather than from coarse-graining itself. This justification relies on the idea of measurement imprecision. By considering the role that abstraction and autonomy play, I provide an alternative justification and offer replies to the illusory and anthropocentric objections. Finally, I consider the broader consequences of this alternative justification: the connection to debates about inter-theoretic reduction and the implication that the time-asymmetry in SM is weakly emergent. 1Introduction 1.1Prospectus2The Zwanzig–Zeh–Wallace Framework3Why Does This Method Work? 3.1The special conditions account3.2When is a density forwards-compatible?4Anthropocentrism and Illusion: Two Objections 4.1The two objections in more detail4.2Against the justification by measurement imprecision5An Alternative Justification 5.1Abstraction and autonomy5.2An illustration: the Game of Life6Reply to Illusory7Reply to Anthropocentric8The Wider Landscape: Concluding Remarks 8.1Inter-theoretic relations8.2The nature of irreversibility. (shrink)

An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present paper contributes to the development of the categorical theory by abstracting some of these model theoretic aspects and results from the (...) level of sentential logics to the level of π-institutions. (shrink)

concepts typically are defined in terms of lacking physical or perceptual referents. We argue instead that they are not devoid of perceptual information because knowledge of real-world situations is an important component of learning and using many abstract concepts. Although the relationship between perceptual information and abstract concepts is less straightforward than for concrete concepts, situation-based perceptual knowledge is part of many abstract concepts. In Experiment 1, participants made lexical decisions to abstract words that were preceded by related and unrelated (...) pictures of situations. For example, share was preceded by a picture of two girls sharing a cob of corn. When pictures were presented for 500 ms, latencies did not differ. However, when pictures were presented for 1,000 ms, decision latencies were significantly shorter for abstract words preceded by related versus unrelated pictures. Because the abstract concepts corresponded to the pictured situation as a whole, rather than a single concrete object or entity, the necessary relational processing takes time. In Experiment 2, on each trial, an abstract word was presented for 250 ms, immediately followed by a picture. Participants indicated whether or not the picture showed a normal situation. Decision latencies were significantly shorter for pictures preceded by related versus unrelated abstract words. Our experiments provide evidence that knowledge of events and situations is important for learning and using at least some types of abstract concepts. That is, abstract concepts are grounded in situations, but in a more complex manner than for concrete concepts. Although people's understanding of abstract concepts certainly includes knowledge gained from language describing situations and events for which those concepts are relevant, sensory and motor information experienced during real-life events is important as well. (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)

Although Burke, Bentham, Hegel and Marx do not often agree, all criticized certain ethical theories, in particular theories of rights, for being too abstract. The complaint is still popular. It was common in Existentialist and in Wittgensteinian writing that stressed the importance of cases and examples rather than principles for the moral life; it has been prominent in recent Hegelian and Aristotelian flavoured writing, which stresses the importance of the virtues; it is reiterated in discussions that stress the distinctiveness and (...) particularity of moral vicissitudes and query the importance of ethical theory. Recent critics of abstraction are opposed not only to theories of rights, and the Kantian notions with which these are linked, but also to consequentialist ethical theories. The two ethical theories that are most influential in the English-speaking world now both stand accused of being too abstract. (shrink)