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.

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)

A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedureofcontent recarvingwhich Frege describes in the passage. In this paper I argue that Frege’sprocedure of content recarving while possibly correct in the case of first-order equivalencerelations is insufficient to grant the truth of second-order abstractions. Moreover, I propose apossible way of justifying second-order abstractions by referring to the operation of contentrecarving and (...) I show that the proposal relies to a certain extent on the Basic Law V. Therefore,if we are to justify the truth of second-order abstractions by invoking the content recarvingprocedure we are committed to a special status of some instances of the Basic Law V and thusto a special status of extensions of concepts as abstract objects. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in (...) a system treating apparent terms for numbers using these definitions. (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.

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)

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)

Linguistics of Saying is to be analyzed in the speech act conceived as an act of knowing. The speaking, saying and knowing subject, based on contexts and the principles of congruency and trust in the speech of other speakers, will create meanings and interpret the sense of utterances supplying the deficiencies of language by means of the intellective operations mentally executed in the act of speech. In the intellective operations you can see three steps or processes: first the starting (...) point, intuition or aísthesis; second, the process of abstraction; and third, the inverse: the process of determination or fixing the construct created. (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)

abstract This article briefly examines Onora O'Neill's account of the relation between normative principles and practical ethical problems with an eye to suggesting that philosophers of practical ethics have reason to adopt fairly high moral ambitions to be edifying and instructive both as educators and as advisors on public policy debates.

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)

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true (...) on all sufficiently large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (shrink)

Bioethics seems preoccupied with establishing, debating, promoting and sometimes debunking principles. While these tasks trade on the status of the word ‘principle’ in our ordinary language, scant attention is paid to the way principles operate in language. In this paper, we explore how principles relate to rules and practices so as to better understand their logic. We argue that principles gain their sense and power from the practices which give them sense. While general principles can (...) be, and are, establishable in abstraction from specific practices, as they are in principlist bioethics, such principles are impotent as moral guides to action. We show that the purchase any principle has as a moral guide to action emerges from its indexical properties as a principle which has sense in a specific practice. The meaning of any principle is internal to the practice and context in which it is invoked and, therefore, principles are not kinds of master rule which dictate moral judgement in new contexts but rather chameleon-like rules which change with the contexture in which they are invoked. (shrink)

The Principle of Analogy. ABSTRACT. Sceptics question whether ‘distinctively human’ predicates such as ‘just’, ‘loving’ and ‘powerful’ can intelligibly be attributed to a divine being. If not, then a vicious form of agnosticism seems to threaten orthodox theism. Especially if one assumes a broadly empiricist semantics the challenge, whether formulated in terms of a univocal or an equivocal understanding of predicates, seems to generate intractable philosophical problems. Aquinas’ theory of analogical predication, understood either in terms of ‘analogy duorum ad tertium’ (...) or in terms of ‘analogy unus ad alterum’, is an influential response to this sceptical challenge. Difficulties in each understanding are explored and it is suggested that a more fruitful framework for understanding theistic language is to be found in late 20th century nativism of Fodor and Quine. (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 artifacts such as musical works and fictional entities are human creations; they are intentional products of our actions and activities. One line of argument against abstract artifacts is that abstract objects are not the kind of objects that can be created. This is so, it is argued, because abstract objects are causally inert. Since creation requires being caused to exist, abstract objects cannot be created. One common way to refute this argument is to reject the causal inefficacy of abstracta. (...) I argue that creationists should rather reject the principle that creation requires causation. Creation, in my view, is a non-causal relation that can be explained using an appropriate notion of ontological dependence. The existence and the creation of abstract artifacts depend on certain individuals with appropriate intentions, along with events of a certain kind that include but are not limited to creations of certain concrete objects. (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)

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)

According to Popper's rationality principle, agents act in the most adequate way according to the objective situation. I propose a new interpretation of the rationality principle as consisting of an idealization and two abstractions. Based on this new interpretation, I critically discuss the privileged status that Popper ascribes to it as an integral part of all social scientific models. I argue that as an idealization, the rationality principle may play an important role in the social sciences, but it also has (...) inherent limitations that inhibit it from having the privileged status that Popper ascribes to it in all cases. (shrink)

The relationship between space and human occurs through the actions performed with the body. The abstraction study as an exploration of the body is one of the significant practices for first-year design students. However, there are not enough investigations for design students regarding body, space and basic design principles. This paper aims to explore the potentiality and limitations of the body-abstraction process by comparing the impact of two different educational models on students' perception and improvement. The applied (...) methodology includes comparing two design processes of the basic design course depending on parameters: Given example, source of the video, type of movement, the number of the selected-used scenes, mode of sketching, the method for production, requested outcome, the scale of the study, the material of models and critique of the video. The results present that the activation of the body through mental practice, drawing and modelling stages is critical to understand its abstract and spatial capabilities. The realisation of the potentials in the relationship between body and abstraction in spatial perception would enable us to create an advanced design process addressing more original concepts. (shrink)

This paper delves into Hegel's critique of Kantian ethics, focusing on the accusation that Kant's Categorical Imperative (CI) represents an abstract ethical philosophy. Hegel argues that Kantian ethics relies on an unproductive form of abstract thinking, exemplified in Kant's emphasis on universalizing maxims without considering the concrete particularities of situations. The author contends that Hegel's critique remains valid even when considering Christine Korsgaard's responses. The paper unfolds by elucidating Hegel's notion of "abstract thinking" and explaining how the CI's emphasis on (...) formal principles leads to abstract ethical judgments. It critically analyzes Korsgaard's defense, asserting that her responses do not sufficiently address Hegel's concerns. The paper underscores Hegel's claim that the CI lacks concrete content, rendering it unable to accommodate the complexities of real-world ethical situations. Furthermore, this analysis explores how the inheritance of abstract thinking from Kantian ethics continues to detrimentally impact contemporary approaches to ethical challenges. Ultimately, the paper upholds Hegel's assertion that the CI's abstract nature hinders its effectiveness as a comprehensive ethical framework and that any abstract approach to ethics is destined to fail when it comes to teaching someone how one ought to act. (shrink)

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard (2010) contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on the (...) one hand, all mechanisms are more or less general (or abstract), and on the other, many (if not all) design principles are causal systems. (shrink)

I argue that Kant’s Categorical Imperative should be applied to individual maxim tokens rather than abstract maxim types. The article is divided into five sections. In the first, I explain my thesis. In the second, I show that my thesis disagrees with Rawls. In the third, I argue for my thesis on the basis of the wording of the Categorical Imperative and on the basis of considerations about autonomy. In the fourth, I argue for my thesis on the basis of (...) considerations about the ‘ought implies can’ principle. In the fifth, I provide a summary of the main argumentative moves and also explain some of the philosophical advantages of my thesis. (shrink)

Abstract In the light of the analysis of Avicenna’s definition of “nature” we can discover the main principles of his physics, which are: ‘The agency of the nature’, ‘the directness of this agency’, ‘the natural object’, and ‘the essential agency of the nature’. One of the main consequences of this analysis is that the nature could be considered as the direct cause of the motion, immobility and spatial balance of the material objects. Moreover, it shows that natural objects are (...) essentially capable of possess natural properties. Accordingly, Avicenna considers that the natural properties are the same as the essential properties, which material objects have them necessarily. (shrink)

Abstract: In Vacco v. Quill, 521 U.S. 793 (1997), the Supreme Court for the first time in American case law explicitly applied the principle of double effect to reject an equal protection claim to physician-assisted suicide. Double effect, traced historically to Thomas Aquinas, proposes that under certain circumstances it is permissible unintentionally to cause foreseen evil effects that would not be permissible to cause intentionally. The court rejected the constitutional claim on the basis of a distinction marked out by the (...) principle, i.e., between directly intending the death of a terminally ill patient as opposed to merely foreseeing that death as a consequence of medical treatment. The Court held that the distinction comports with fundamental legal principles of causation and intent. Id. at 802. -/- Critics allege that the principle itself is intrinsically flawed and that, in any event, its employment in Vacco is without legal precedent. I argue in response to contemporary objections that double effect is a valid principle of ethical reflection (Part II); claims to the contrary notwithstanding, double effect analysis is a pervasive, albeit generally unacknowledged principle employed regularly in American case law (Part III); and drawing on the preceding two sections, Vacco's application of the principle of double effect is appropriate (Part IV). -/- My conclusion is that [o]peration of some form of the principle, by whatever name, is inevitable. In an imperfect world where duties and interests collide, the possibility of choices of action foreseen to have both good and evil consequences cannot be avoided. In rare circumstances, ethics and the law require that a person refrain from acting altogether. More often, however, they provide that a determination of whether an actor may pursue a good effect although knowing it will or may unintentionally cause an harmful effect requires a more complex analysis - a double effect analysis. -/- Keywords: Equal protection, double effect, intention, physician-assisted suicide, Constitutional Law, Bioethics. (shrink)

Recent AI ethics has focused on applying abstract principles downward to practice. This paper moves in the other direction. Ethical insights are generated from the lived experiences of AI-designers working on tangible human problems, and then cycled upward to influence theoretical debates surrounding these questions: 1) Should AI as trustworthy be sought through explainability, or accurate performance? 2) Should AI be considered trustworthy at all, or is reliability a preferable aim? 3) Should AI ethics be oriented toward establishing protections (...) for users, or toward catalyzing innovation? Specific answers are less significant than the larger demonstration that AI ethics is currently unbalanced toward theoretical principles, and will benefit from increased exposure to grounded practices and dilemmas. (shrink)

How surprising is the insight, that being equals I in the 15th lecture of the Doctrine of Science 1804/II? It might have been indeed an unexpected turn for his contemporaries in Berlin listening to Fichte for the first time, but should it be surprising for us, having at least since 2012 (the year the last volume of [Gesamtausgabe] appeared) access to all his published and unpublished works? I want to propose a way of reading Fichte, which bypasses two popular and (...) contradictory interpretations of his philosophy in the post-Jena period: (a) the Absolute is the new first principle (hence the I is just a shadow of the much higher being) and (b) his system basically remains unchanged (hence the being is nothing more than the I). At first, I analyze the functions of later Fichte’s improved version of the Kantian and Reinholdian abstract subject-object-symbolism and assign specific content to it. This will shed light on the structure and the first principle of the Doctrine of Science 1804/II. In the second section I give reasons why Fichte calls both God and I “absolute” and “pure being” and explain their relation to each other referring to a thought experiment sometimes used by Kant—an analogy between the divine and human (pure) reason. The analogical thinking of this kind remains within the borders of transcendental philosophy as long as it is used only for certain didactic purposes. (shrink)

This is a technical supplement to "Abstraction and Grounding", forthcoming in /Philosophy and Public Affairs/.

With recent advancements in systems engineering and artificial intelligence, autonomous agents are increasingly being called upon to execute tasks that have normative relevance. These are tasks that directly—and potentially adversely—affect human well-being and demand of the agent a degree of normative-sensitivity and -compliance. Such norms and normative principles are typically of a social, legal, ethical, empathetic, or cultural nature. Whereas norms of this type are often framed in the abstract, or as high-level principles, addressing normative concerns in concrete (...) applications of autonomous agents requires the refinement of normative principles into explicitly formulated practical rules. This paper develops a process for deriving specification rules from a set of high-level norms, thereby bridging the gap between normative principles and operational practice. This enables autonomous agents to select and execute the most normatively favourable action in the intended context premised on a range of underlying relevant normative principles. In the translation and reduction of normative principles to SLEEC rules, we present an iterative process that uncovers normative principles, addresses SLEEC concerns, identifies and resolves SLEEC conflicts, and generates both preliminary and complex normatively-relevant rules, thereby guiding the development of autonomous agents and better positioning them as normatively SLEEC-sensitive or SLEEC-compliant. (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 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 his groundbreaking work, Abstraction and Empathy, Wilhelm Worringer delved into the intricacies of various abstract and figurative artworks, contending that they evoke distinct impulses in the human audience—specifically, the urges towards abstraction and empathy. This article asserts the presence of empirical evidence supporting the extension of Worringer’s concepts beyond the realm of art appreciation to the domain of art-making. Consequently, it posits that abstraction and empathy serve as foundational principles guiding the production of both abstract (...) and figurative art. This holds particular significance in the 21st century, where artificial intelligence (AI) assumes a creative role that was absent during Worringer’s initial formulation of his theory. Thus, this paper postulates that AI inherently harbors a predisposition for the generation of abstract art, owing to its non-living and inorganic origins and functioning. (shrink)

In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...) on the relation of determination between properties. The main advantage of the proposal is its generality, for it is applicable not just to the case of abstraction principles. (shrink)

For smart cities, data-driven innovation promises societal benefits and increased well-being for residents and visitors. At the same time, the deployment of data-driven innovation poses significant ethical challenges. Although cities and other public-sector actors have increasingly adopted ethical principles, employing them in practice remains challenging. In this commentary, we use a virtue-based approach that bridges the gap between abstract principles and the daily work of practitioners who engage in and with data-driven innovation processes. Inspired by Aristotle, we describe (...) practices of data-driven innovation in a smart city applying the concepts of virtue and phronêsis, meaning good judgment of and sensitivity to ethical issues. We use a dialogic case-study approach to study two cases of data-driven innovation in the city of Helsinki. We then describe as an illustration of how our approach can help bridge the gap between concrete practices of data-driven innovation and high-level principles. Overall, we advance a theoretically grounded, virtue-based approach, which is practice oriented and linked to the daily work of data scientists and other practitioners of data-driven innovation. Further, this approach helps understand the need for and importance of individual application of phronêsis, which is particularly important in public-sector organizations that can experience gaps between principle and practice. This importance is further intensified in cases of data-driven innovation in which, by definition, novel and unknown contexts are explored. (shrink)

ABSTRACT: Sellars formulated his thesis of 'psychological nominalism' in two very different ways: (1) most famously as the thesis that 'all awareness of sorts…is a linguistic affair', but also (2) as a certain thesis about the 'psychology of the higher processes'. The latter thesis denies the standard view that relations to abstract entities are required in order to explain human thought and intentionality, and asserts to the contrary that all such mental phenomena can in principle ‘be accounted for causally' without (...) any use of normative terms in the explanation. Recent 'Hegelian Sellarsians' such as Rorty, McDowell, and Brandom have argued that the holistic, normative themes in (1) support various non-realist or rather (German) 'idealist but common-sense realist' outlooks. By contrast, Sellars' own defenses of (2) reveal psychological nominalism itself to be a naturalistic empiricism intended to sustain the normative-holistic themes in (1) within an exhaustively scientific naturalist conception of reality. (shrink)

A topological model of elementary semiotic schemes is presented. Implications are discussed with respect to the establishment of abstract terms and the search for ultimate meaning.

The link between the high-order metaphysics and abstractions, on the one hand, and choice in the foundation of set theory, on the other hand, can distinguish unambiguously the “good” principles of abstraction from the “bad” ones and thus resolve the “bad company problem” as to set theory. Thus it implies correspondingly a more precise definition of the relation between the axiom of choice and “all company” of axioms in set theory concerning directly or indirectly abstraction: the principle (...) of abstraction, axiom of comprehension, axiom scheme of specification, axiom scheme of separation, subset axiom scheme, axiom scheme of replacement, axiom of unrestricted comprehension, axiom of extensionality, etc. (shrink)

Abstract: My aim is to reconstruct Kant's argument for the principle of the synthetic unity of apperception. I reconstruct Kant's argument in stages, first showing why thinking should be conceived as an activity of synthesis (as opposed to attention), and then showing why the unity or coherence of a subject's representations should depend upon an a priori synthesis. The guiding thread of my account is Kant's conception of enlightenment: as I suggest, the philosophy of mind advanced in the Deduction belongs (...) to an enlightenment epistemology. Kant's conception of enlightenment turns on the requirement that a subject be able to recognize herself as the source of her cognitions. The argument for the apperception principle is reconstructed under the guidance of this conception of the ideal of enlightenment. (shrink)

Linear Algebra is an extremely important field that extends everyday concepts about geometry and algebra into higher spaces. This text serves as a gentle motivating introduction to the principles (and philosophy) behind linear algebra. This is aimed at undergraduate students taking a linear algebra class - in particular engineering students who are expected to understand and use linear algebra to build and design things, however it may also prove helpful for philosophy majors and anyone else interested in the ideas (...) behind linear algebra. Linear algebra is used extensively in statistics, mechanical engineering, circuit theory, signal processing, economics and data science/machine learning. I have found in my teaching career that students tend to struggle the most with motivating the "why" behind the abstract concepts discussed in linear algebra. This can be difficult for professors to understand because we are so used to using the language of linear algebra we take for granted why these questions are important in the first place. In other words, we may understand the “why” (after years of using these tools), but our students may not. This text seeks to explain this “why” in an accessible, engaging way. (shrink)

Leibniz claims that Berkeley “wrongly or at least pointlessly rejects abstract ideas”. What he fails to realize, however, is that some of his own core views commit him to essentially the same stance. His belief that this is the best (and thus most harmonious) possible world, which itself stems from his Principle of Sufficient Reason, leads him to infer that mind and body must perfectly represent or ‘express’ one another. In the case of abstract thoughts he admits that this can (...) happen only in virtue of thinking of some image that, being essentially a mental copy of a brain state, expresses (and is expressed by) that state. But here he faces a problem. In order for a thought to be genuinely abstract, its representational content must differ from that of any mental image, since the latter can represent only particular things. In that case, however, an exact correspondence between the accompanying mental image and the brain state would not suffice to establish a perfect harmony between mind and body. Even on Leibniz’s own principles, then, it appears that Berkeley was right to dismiss abstract ideas. (shrink)

An outstanding group of leaders left evidence that a richer and more sustainable democracy could be achieved with American independence and democratic principles integrated into a new republican form of government. They were moved by principles that are the very spirit of democracy. These principles are needed to enhance democracy and improve well-being. Using the constructivist tradition of grounded theory and Aristotle’s conception of abstraction, the article proposes a theory of the first principles of democracy (...) based on substantive data: the Declaration of Independence, the Articles of Confederation, The Federalist Papers, and the United States Constitution. Knowledge, fairness, human dignity, hope, unity, and security are the first principles of democracy and are regarded as the bedrock of democracy and a government framework for the people. This theory contributed to a formal model of democratic social change. It also contributes a conceptual framework that supports Solum’s semantic originalism, a theory of constitutional interpretation. The principles of democracy can revitalize democracy and provide new possibilities by protecting education as an innate human right, abolishing capital punishment, criminalizing private prisons on the stock market, and reevaluating the proportionality of prison sentences. (shrink)

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which (...) the purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

Primarily a response to Paul Horwich's "Composition of Meanings", the paper attempts to refute his claim that compositionality—roughly, the idea that the meaning of a sentence is determined by the meanings of its parts and how they are there combined—imposes no substantial constraints on semantic theory or on our conception of the meanings of words or sentences. Show Abstract.

ABSTRACT: The largest obstacle to saving people in today's world is from violence and wars. There is a long line of people waiting for peace so that they can survive the conflict. People will promise that no country can exploit another and that no country can produce weapons capable of mass murder. They believe that their plan can be realised by transforming the world's goodwill and efforts toward world peace into world peace in paradise. The whole world is waiting for (...) a human universe that seems to be taking us to Mohandas Karamchand Gandhi (Mahatma Gandhi). This article's main issue is an extinct political ideology that Mahatma Gandhi promoted many years ago as a supporter of nonviolent policy in search of the human world. Here, the communication style has been shown to have the missing Gandhian ideals. This post will attempt to analyse Mahatma Gandhi's policy & ideology in communication style as we approach his 150th birthday celebrations. Through extensive study, this article will attempt to determine how Gandhi's philosophy and communications relate to one another. As a method of exploration and analysis, Gandhi’s principles Nonviolence, and Chamber-Pots have been scientifically reviewed in this article. Keywords: Violence, principles, chamber pots, Mohandas K. Gandhi, mass murder. (shrink)

Abstract: This article offers a new formulation of the Socratic principle known as the Principle of the Sovereignty of Virtue (PSV). It is divided in three sections. In the first section I criticize Vlastos’ formulation of the PSV. In the second section I present the weighing model of practical deliberation, introduce the concepts of reason for action, simple reason, sufficient reason and conclusive reason that were offered by Thomas Scanlon in Being realistic about reasons (2014), and then I adapt these (...) concepts so as to render them apt to be used in the formulation I intend to offer. In the third section I present my formulation of the PSV using the concepts introduced in the second section and explain why I believe this formulation is better than the one offered by Vlastos. (shrink)

According to the Bad Company objection, the fact that Frege’s infamous Basic Law V instantiates the general definitional pattern of higher-order abstraction principles is a good reason to doubt the soundness of this sort of definitions. In this paper I argue against this objection by showing that the definitional pattern of abstraction principles – as extrapolated from §64 of Frege’s Grundlagen– includes an additional requirement (which I call the specificity condition) that is not satisfied by the (...) Basic Law V while is satisfied by other higher-order abstractions such as Hume’s Principle. I also show that the failure of this additional requirement in the case of Basic Law V is engendered by an essential feature of Frege’s conception of logic and thus that Frege himself should not have regarded the Basic Law V as a definition by abstraction. (shrink)

Despite pervasive variation in the content of laws, legal theorists and anthropologists have argued that laws share certain abstract features and even speculated that law may be a human universal. In the present report, we evaluate this thesis through an experiment administered in 11 different countries. Are there cross‐cultural principles of law? In a between‐subjects design, participants (N = 3,054) were asked whether there could be laws that violate certain procedural principles (e.g., laws applied retrospectively or unintelligible laws), (...) and also whether there are any such laws. Confirming our preregistered prediction, people reported that such laws cannot exist, but also (paradoxically) that there are such laws. These results document cross‐culturally and –linguistically robust beliefs about the concept of law which defy people's grasp of how legal systems function in practice. (shrink)

The principle of maximal entropy (further abbreviated as “MaxEnt”) can be founded on the formal mechanism, in which future transforms into past by the mediation of present. This allows of MaxEnt to be investigated by the theory of quantum information. MaxEnt can be considered as an inductive analog or generalization of “Occam’s razor”. It depends crucially on choice and thus on information just as all inductive methods of reasoning. The essence shared by Occam’s razor and MaxEnt is for the relevant (...) data known till now to be postulated as an enough fundament of conclusion. That axiom is the kind of choice grounding both principles. Popper’s falsifiability (1935) can be discussed as a complement to them: That axiom (or axiom scheme) is always sufficient but never necessary condition of conclusion therefore postulating the choice in the base of MaxEnt. Furthermore, the abstraction axiom (or axiom scheme) relevant to set theory (e.g. the axiom scheme of specification in ZFC) involves choice analogically. (shrink)

ABSTRACT Clinicians, researchers and the informed public have come to view addiction as a brain disease. However, in nature even extreme events often reflect normal processes, for instance the principles of plate tectonics explain earthquakes as well as the gradual changes in the face of the earth. In the same way, excessive drug use is predicted by general principles of choice. One of the implications of this result is that drugs do not turn addicts into compulsive drug users; (...) they retain the capacity to say ?no?. In support of the logical implications of the choice theory approach to addiction, research reveals that most addicts quit using drugs by about age 30, that most quit without professional help, that the correlates of quitting are the correlates of decision making, and, according to the most recent epidemiological evidence, the probability of quitting remains constant over time and independent of the onset of dependence. This last result implies that, after an initial period of heavy drug use, remission is independent of any further exposure to drugs. In short, there is much empirical support for the claim that addiction emerges as a function of the rules of everyday choice. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a modal predicative response (...) to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

Human behavior is frequently described both in abstract, general terms and in concrete, specific terms. We asked whether these two ways of framing equivalent behaviors shift the inferences people make about the biological and psychological bases of those behaviors. In five experiments, we manipulated whether behaviors are presented concretely (i.e. with reference to a specific person, instantiated in the particular context of that person’s life) or abstractly (i.e. with reference to a category of people or behaviors across generalized contexts). People (...) judged concretely framed behaviors to be less biologically based and, on some dimensions, more psychologically based than the same behaviors framed in the abstract. These findings held true for both mental disorders (Experiments 1 and 2) and everyday behaviors (Experiments 4 and 5) and yielded downstream consequences for the perceived efficacy of disorder treatments (Experiment 3). Implications for science educators, students of science, and members of the lay public are discussed. (shrink)