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)

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)

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.

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)

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. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as (...) a thesis only about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (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.

In artificial intelligence, recent research has demonstrated the remarkable potential of Deep Convolutional Neural Networks (DCNNs), which seem to exceed state-of-the-art performance in new domains weekly, especially on the sorts of very difficult perceptual discrimination tasks that skeptics thought would remain beyond the reach of artificial intelligence. However, it has proven difficult to explain why DCNNs perform so well. In philosophy of mind, empiricists have long suggested that complex cognition is based on information derived from sensory experience, often appealing to (...) a faculty of abstraction. Rationalists have frequently complained, however, that empiricists never adequately explained how this faculty of abstraction actually works. In this paper, I tie these two questions together, to the mutual benefit of both disciplines. I argue that the architectural features that distinguish DCNNs from earlier neural networks allow them to implement a form of hierarchical processing that I call “transformational abstraction”. Transformational abstraction iteratively converts sensory-based representations of category exemplars into new formats that are increasingly tolerant to “nuisance variation” in input. Reflecting upon the way that DCNNs leverage a combination of linear and non-linear processing to efficiently accomplish this feat allows us to understand how the brain is capable of bi-directional travel between exemplars and abstractions, addressing longstanding problems in empiricist philosophy of mind. I end by considering the prospects for future research on DCNNs, arguing that rather than simply implementing 80s connectionism with more brute-force computation, transformational abstraction counts as a qualitatively distinct form of processing ripe with philosophical and psychological significance, because it is significantly better suited to depict the generic mechanism responsible for this important kind of psychological processing in the brain. (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)

The way we understand the environment is analogous to the way we draw a map. Drawing insights from this analogy, this paper shows how the abstraction that occurs in ecological explanation can lead to damaging distortion. It is mistaken, therefore, to assume that by abstraction we can easily determine the correct variables for controlling a given ecosystem as if it were ideally closed. Recent work shows that the environment is a global composite with a very high degree of internal dependence (...) between its parts, a kind of dependence that makes it more holistic than a machine and perhaps even as holistic as an organism. This paper was presented at the 6th European Meeting of Jesuits in Science on “Science and Culture”, Frankfurt a. M., Germany (8th - 12th September 1999). (shrink)

I defend a distinction between abstraction and idealization. Idealizations distort; abstractions do not.

Neo-Fregeans such as Bob Hale and Crispin Wright seek a foundation of mathematics based on abstraction principles. These are sentences involving a relation called the abstraction relation. It is usually assumed that abstraction relations must be equivalence relations, so reflexive, symmetric and transitive. In this article I argue that abstraction relations need not be reflexive. I furthermore give an application of non-reflexive abstraction relations to restricted abstraction principles.

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)

The type-level abstraction is a formal way to represent molecular structures in biological practice. Graphical representations of molecular structures of biological objects are also used to identify functional processes of things. This paper will reveal that category theory is a formal mathematical language not only to visualize molecular structures of biological objects as type-level abstraction formally but also to understand how to infer biological functions from the molecular structures of biological objects. Category theory is a toolkit to understand biological knowledge (...) at the type-level formally, not individual token-level, as well as typical heuristic strategies in molecular biology. (shrink)

In this paper, I explore the approaches to methodological abstraction and self-alienation developed respectively in Karl Mannheim’s early sociology of intellectuals and in Edmund Husserl’s late transcendental phenomenology. In Mannheim’s early and experimental works, the resistance to abstraction and alienation is located in a stratum of intellectuals able to meaningfully combine diverse cultural currents in a social process of cultivation (Bildung). In Husserl, to contrast, this resistance is grasped as a constant crisis in the methods of pursuing philosophical truth. While (...) these approaches seem difficult to reconcile, I suggest in closing that this difficulty can be related to their shared emphasis on a theoretical response to the practical and historical reality of self-alienation. (shrink)

Abstract In this paper I criticise a recent account of fictional discourse proposed by Nathan Salmon. Salmon invokes abstract artifacts as the referents of fictional names in both object- and meta-fictional discourse alike. He then invokes a theory of pretence to forge the requisite connection between object-fictional sentences and meta-fictional sentences, in virtue of which the latter can be assigned appropriate truth-values. I argue that Salmon's account of pretence renders his appeal to abstract artifacts as the referents (...) of fictional names in object-fictional discourse explanatorily redundant. I further argue that his account is therefore no improvement over those he criticises, thus leaving his own account unmotivated. (shrink)

objects are standardly taken to be causally inert, but this claim is rarely explicitly argued for. In the context of his platonism about musical works, in order for musical works to be audible, Julian Dodd argues that abstracta are causally efficacious in virtue of their concrete tokens participating in events. I attempt to provide a principled argument for the causal inertness of abstracta by first rejecting Dodd’s arguments from events, and then extending and generalizing the causal exclusion argument to the (...) abstract/concrete distinction. For reasons of parsimony, if concrete tokens or instantiations of abstract objects account for all causal work, then there is no reason to attribute causal efficacy to abstracta, and thus reason to maintain their causal inertness. I then consider how one of the main arguments against causal exclusion, namely Stephen Yablo’s notion of “proportionality”, could be modified to support the causal efficacy of abstracta. I argue that from a few simple premises Yablo’s account in fact supports their causal inertness. Having a principled reason for the causal inertness of abstracta appears to entail that the musical platonist must admit that we never literally hear the musical work, but only its performances. I sketch a solution to this problem available to Dodd, so that the musical platonist can maintain that musical works are abstract objects and are causally inert while retaining their audibility. (shrink)

Hume’s critique of traditional abstraction entails a result that undercuts his account of the idea of identity. To save his account of identity, Hume would have to accept abstraction as well. What links these two discussions is (1) Hume’s widely shared assumption that traditional abstraction is separating in the mind what are inseparable in reality, (2) his principle that what are different are mentally separable, and (3) his principle that we cannot conceive of the impossible. Given these, it will turn (...) out that abstraction is mentally separating something from itself, which will entail that abstraction is conceiving of something as distinct from itself. But it is impossible for something to be distinct from itself, and so it is inconceivable. Therefore abstraction is impossible. Yet consider Hume’s account of the idea of identity. On that account, to conceive of an identity is to conceive of something as one single thing viewed one way and as two distinct things viewed another. How we can take these opposing views of the same thing is a problem that I’ve termed Hume’s Difficulty concerning Identity. It will turn out that we can take the opposing views only if we can conceive of the single thing viewed one way as somehow distinct from itself when viewed the other way. That is, we must be able to conceive of something as distinct from itself. However, if we cannot conceive of something as distinct from itself when abstracting, then we cannot do it when conceiving of an identity. So traditional abstraction and Hume’s account of the idea of identity stand or fall together. (shrink)

Beach's Gaelic Symphony is plausibly an abstract object that Beach created. The view that people create some abstract objects is called abstract creationism. There are abstract creationists about many kinds of objects, including musical works, fictional characters, arguments, words, internet memes, installation artworks, bitcoins, and restaurants. Alternative theories include materialism and Platonism. This paper discusses some of the most serious objections against abstract creationism. Arguably, these objections have ramifications for questions in metaphysics pertaining to the (...) abstract/concrete distinction, time, causation, vague existence, vague identity, and inadvertent creation. (shrink)

This is my main contribution to P. Gould (ed.) Beyond the Control of God?: Six Views on the Problem of God and Abstract Objects Bloomsbury. (The other contibutors to this work are: Keith Yandell; Paul Gould and Rich Davis; Greg Welty; William Lane Craig; and Scott Shalkowski.) I argue that, when it comes to a comparative assessment of the merits of theism and atheism, it makes no difference whether one opts for realism or fictionalism concerning abstract objects.

Can we feel emotions about abstract objects, assuming that abstract objects exist? I argue that at least some emotions can have abstract objects as their intentional objects and discuss why this conclusion is not just trivially true. Through critical engagement with the work of Dacher Keltner and Jonathan Haidt, I devote special attention to awe, an emotion that is particularly well suited to show that some emotions can be about either concrete or abstract objects. In responding (...) to a possible objection, according to which we can only feel emotions about things that we take to matter to our flourishing, and thus cannot feel emotions about causally inefficacious abstract objects, I explore how abstract objects can be relevant to human flourishing and discuss someemotions other than awe that can be about abstract objects. I finish by explaining somereasons why my conclusion matters, including the fact that it presents a challenge to perceptual theories of emotion and causal theories of intentionality. (shrink)

We present an abstract model of rationality that focuses on structural properties of attitudes. Rationality requires coherence between your attitudes, such as your beliefs, values, and intentions. We define three 'logical' conditions on attitudes: consistency, completeness, and closedness. They parallel the familiar logical conditions on beliefs, but contrast with standard rationality conditions like preference transitivity. We establish a formal correspondence between our logical conditions and standard rationality conditions. Addressing John Broome's programme 'rationality through reasoning', we formally characterize how you (...) can (not) become more logical by reasoning. Our analysis connects rationality with logic, and enables logical talk about multi-attitude psychology. (shrink)

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (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)

This study investigated the rhetorical move structure of the dental sciences research article abstract (RAA) genre using Swales’ (2004) model of move analysis, CARS (Create a Research Space), to find the frequency of rhetorical moves and steps in RAAs of the selected journals and also to examine the association between the frequency of moves and steps in the RAAs. To this end, 251 abstracts from articles published in 2018, 2019, and 2020 in four Iranian PubMed-indexed dentistry journals were selected (...) and examined. The frequencies were counted and compared using the Chi Square statistic. The findings revealed that all of the abstracts included M3S4 and M3S5, and all but only one, included M3S1. Yet, M3S2 and M3S7 had not been used in the abstracts whatsoever, and M1S3 had been employed only once. It was also found that the RAAs in the Journal of Dentistry and the Dental Research Journal used the steps considerably more frequently than the RAAs in the Journal of Dental Research and Frontiers in Dentistry. The findings of this study can provide EAP instructors with practical insights into the needs and wants of dental students, and also serve as a complement to the guidelines for academic writing for dental researchers to produce more received RAAs. (shrink)

Joining philosophy of language with phenomenological aesthetics, this book defines the epistemological status of abstract objects and works of art. Beginning with a provocative conversation between Socrates, Plato, Wittgenstein, and Jung, the book introduces the concept, and coins the term, "Platonic Inductive Fallacy," deriving from a cycle of language games. The author then invokes Robert Stalnaker to clarify the difference between real and actual objects, which gives new insight into the epistemology of abstract objects. Armed with defined (...) class='Hi'>abstract objects, the reader is taken through a fascinating journey from 1890s aestheticism to present-day phenomenological aesthetics. The book clearly establishes principles and methods for defining works of art, and applies them to two versions of a Henry James novella. The clear definitions and inventive methods, supported with impressive, detailed research, lead to compelling and well-taken conclusions. This journey pays off with important and exciting results. -/- The book has been added to the National Chengchi University (NCCU) Main Library, Taipei City, Taiwan—as part of the National Science Council-subsidized humanities and social science research: phenomenology. (shrink)

In this paper, we try to establish that some mathematical theories, like K-theory, homology, cohomology, homotopy theories, spectral sequences, modern Galois theory (in its various applications), representation theory and character theory, etc., should be thought of as (abstract) machines in the same way that there are (concrete) machines in the natural sciences. If this is correct, then many epistemological and ontological issues in the philosophy of mathematics are seen in a different light. We concentrate on one problem which immediately (...) follows the recognition of the particular status of these theories: the demarcation problem between ‘natural kinds’ and ‘artefacts’. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume's Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one‐to‐one:. The principal aim of this article is to use the notion of grounding to develop this (...) sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of metaphysical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege's Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (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)

This paper looks at the history of the problem of individuation from Plato to Whitehead. Part I takes as its point of departure Reiner Wiehl’s interpretation of the different meanings of “abstract” in the metaphysics of Alfred North Whitehead and arrives at a corresponding taxonomy of different ways things can be called concrete. Part II compares the way philosophers in different periods understand the relation between thought and intuition. The view mostly associated with ancient philosophy is that thought and (...) sense-perception target different kinds of objects. The view mostly associated with modern philosophy (although it was introduced by the Stoics) is that thought and sense-perception are different ways of targeting the same objects. These differences have specific consequences for theories of individuation, which are assessed historically in Part III and then applied to Whitehead’s difficult texts in part IV. (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)

In this paper, I explore a line of argument against one form of realism about fictional characters : abstract artifact theory, the view according to which fictional characters like Harry Potter are part of our reality, but, they are abstract objects created by humans, akin to the institution of marriage and the game of soccer. I will defend artifactualism against an objection that Mark Sainsbury considers decisive against it: the category-mistake objection. The objection has it that artifactualism attributes (...) to people who produce and process sentences and thoughts about Harry Potter massive error, indeed, a category mistake about what kind of thing Harry Potter is; for an abstract object isn’t the sort of thing that can wear glasses, ride a double-decker bus, attend school. Given problems with this objection, artifactualism, I shall conclude, remains a tenable contender. (shrink)

The present paper aims to contribute to the substantivalism versus relationalism debate and to defend general relativity (GR) against pseudoscientific attacks in a novel, especially inclusive way. This work was initially motivated by the desire to establish the incompatibility of any ether theories with accelerated cosmic expansion and inflation (motto: where would a hypothetical medium supposedly come from so fast?). The failure of this program is of interest for emergent GR concepts in high energy particle physics. However, it becomes increasingly (...) important to guard scientific results against their misrepresentation by fundamentally anti-scientific agendas. We therefore argue that although it is not known whether the perceived space-time is fundamental (rather than a condensed state or a particular membrane), in a fundamental theory, space-time must be abstract relational: fundamental space-time is the consistent spatial-temporal arrangement of events. To pursue its own goals, this work should be accessible to a wide audience: physicists, philosophers of science, those being tempted by anti-relativity theories, but also those who vigorously defend some orthodox relativity that is not actually supported by GR. It must thus be extensive in order to satisfy the different parties’ desire to have included and understood their respective positions. (shrink)

Some tools introduced by Linnebo to show that mathematical entities are thin objects can also be applied to non-mathematical entities, which have been thought to be thin as well for a variety of reasons. In this paper, I discuss some difficulties and opportunities concerning the application of abstraction and interpretational modalities to mereological sums. In particular, I show that on one hand some prima facie attractive candidates for the role of an explanatory plural abstraction principle for mereological sums (in terms (...) of pluralities of summed entities) are not really explanatory; on the other hand, singular abstraction principles (in terms of single summed entities) are materially inadequate. Nonetheless, explanatory criteria of identity and conditions of existence for mereological sums are provided by classical extensional mereology independent of abstraction principles. Thus, given classical extensional mereology, the reasons why, according to Linnebo, mathematical abstracted entities are thin also hold for mereological sums. Finally, I contend that interpretational modalities can be used to characterise the process by which a subject adds sums of previously admitted entities to the domain of quantification. (shrink)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be (...) seen—and probably should be seen—as being a structuralist approach to logic and it is from this angle that categorical logic is best understood. (shrink)

Libertarianism—and classical liberalism generally—entails (or presupposes) a specific, but implicit, conception of liberty. Imagine two lists of property-rights: one list is all those that currently appear to be libertarian (self-ownership, property acquired by use of natural resources, property acquired by consensual exchange, etc.); the other list is all those that currently appear not to be libertarian (aggressively imposed slavery, property acquired by theft or fraud, property acquired by coerced transfers due to welfare claims, etc.). What determines into which list a (...) property-right is to be assigned? If libertarianism is really about liberty, then the determining factor must be whether the property-right somehow fits what liberty is in a more abstract sense than property. It greatly clarifies matters to have an explicit theory of this entailed conception of abstract liberty and how it relates to its practical application and to morality. (shrink)

Berkeley and Hume object to Locke's account of abstraction. Abstraction is separating in the mind what cannot be separated in reality. Their objection is that if a is inseparable in reality from b, then the idea of a is inseparable from the idea of b. The former inseparability is the reason for the latter. In most interpretations, however, commentators leave the former unexplained in explaining the latter. This article assumes that Berkeley and Hume present a unified front against Locke. Hume (...) supplements Berkeley's argument just where there are gaps. In particular, Hume makes explicit something Berkeley leaves implicit: The argument against Locke depends on the principle that things are inseparable if and only if they are identical. Abstraction is thinking of one of an inseparable pair while not thinking of the other. But doing so entails thinking of something while not thinking of it. This is the fundamental objection. (shrink)

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that (...) avoids this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (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.

It is plausible to think that, in order to actively employ models in their inquiries, scientists should be aware of their existence. The question is especially puzzling for realists in the case of abstract models, since it is not obvious how this is possible. Interestingly, though, this question has drawn little attention in the relevant literature. Perhaps the most obvious choice for a realist is appealing to intuition. In this paper, I argue that if scientific models were abstract (...) entities, one could not be aware of them intuitively. I deploy my argumentation by building on Chudnoff’s elaboration on intuitive awareness. Furthermore, I shortly discuss some other options to which realists could turn in order to address the question of awareness. (shrink)

Methodological innovations have a special status in disciplinary histories, because they can be widely adopted and anonymised. In the 1950s, this occurred to Georges Laplace’s innovative use of 3-dimensional metric Cartesian coordinate system to record the positions of archaeological objects. This paper proposes a conceptual and social history of this process, with a focus on its spatial context, the Pyrenean region (Spain, Basque Country, and France). Main results of this research based on archives, publications, and bibliometric data, include: 1) a (...) critical discussion of the notions concerning authorship of such methodological innovations; 2) a presentation of the lesser-known aspects of Laplace’s method, showing its contribution to the abstraction and formalisation of archaeological observations and data recording; and 3) the identification of an international Pyrenean intellectual lineage of innovation regarding stratigraphy and excavation methods, from the late 19th century to the early 21th century. (shrink)

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but (...) second, that if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (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)

The characterization of early token-based accounting using a concrete concept of number, later numerical notations an abstract one, has become well entrenched in the literature. After reviewing its history and assumptions, this article challenges the abstract–concrete distinction, presenting an alternative view of change in Ancient Near Eastern number concepts, wherein numbers are abstract from their inception and materially bound when most elaborated. The alternative draws on the chronological sequence of material counting technologies used in the Ancient Near (...) East—fingers, tallies, tokens, and numerical notations—as reconstructed through archaeological and textual evidence and as interpreted through Material Engagement Theory, an extended-mind framework in which materiality plays an active role (Malafouris 2013). (shrink)

I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and (...) causal powers. (shrink)

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. (...) We argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons drawn from the ontology (...) of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

An important lesson that philosophy can learn from the Turing Test and computer science more generally concerns the careful use of the method of Levels of Abstraction (LoA). In this paper, the method is first briefly summarised. The constituents of the method are “observables”, collected together and moderated by predicates restraining their “behaviour”. The resulting collection of sets of observables is called a “gradient of abstractions” and it formalises the minimum consistency conditions that the chosen abstractions must satisfy. Two useful (...) kinds of gradient of abstraction – disjoint and nested – are identified. It is then argued that in any discrete (as distinct from analogue) domain of discourse, a complex phenomenon may be explicated in terms of simple approximations organised together in a gradient of abstractions. Thus, the method replaces, for discrete disciplines, the differential and integral calculus, which form the basis for understanding the complex analogue phenomena of science and engineering. The result formalises an approach that is rather common in computer science but has hitherto found little application in philosophy. So the philosophical value of the method is demonstrated by showing how making the LoA of discourse explicit can be fruitful for phenomenological and conceptual analysis. To this end, the method is applied to the Turing Test, the concept of agenthood, the definition of emergence, the notion of artificial life, quantum observation and decidable observation. It is hoped that this treatment will promote the use of the method in certain areas of the humanities and especially in philosophy. (shrink)