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)

The use of “levels of abstraction” in philosophical analysis (levelism) has recently come under attack. In this paper, I argue that a refined version of epistemological levelism should be retained as a fundamental method, called the method of levels of abstraction. After a brief introduction, in section “Some Definitions and Preliminary Examples” the nature and applicability of the epistemological method of levels of abstraction is clarified. In section “A Classic Application of the Method ofion”, the philosophical fruitfulness (...) of the new method is shown by using Kant’s classic discussion of the “antinomies of pure reason” as an example. In section “The Philosophy of the Method of Abstraction”, the method is further specified and supported by distinguishing it from three other forms of “levelism”: (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In that context, the problems of relativism and antirealism are also briefly addressed. The conclusion discusses some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)

Current state-of-the-art out-of-distribution algorithm does not address the variation in dynamic and static behavior between malware variants from the same family as evidence in their poor performance against an out-of-distribution malware attack. We aims to address this limitation by: 1) exploitation of the in-dimensional embedding space between variants from the same malware family to account for all variations 2) exploitation of the inter-dimensional space between different malware family 3) building a deep learning-based model with a shallow neural network with maximum (...) of two connected layers to overcome overfitting from the scratch 4) building a Bayesian inference based computation algorithm that intertwine with connected network and is able to create new and adjust existing data points in response to an exposure to new out-of-distribution variants of existing or new malware family which determines the extent at which model weight is adjusted which in turn triggers update on the gradient. Preliminary result of our proposed framework gave an accuracy of 81\% in the successful classification of a novel out-of-distribution malware attack, something that could not be achieve by any of the state-of-the-art algorithms on novel malware classification. (shrink)

Current state-of-the-art out-of-distribution algorithm does not address the variation in dynamic and static behavior between malware variants from the same family as evidence in their poor performance against an out-of-distribution malware attack. We aims to address this limitation by: 1) exploitation of the in-dimensional embedding space between variants from the same malware family to account for all variations 2) exploitation of the inter-dimensional space between different malware family 3) building a deep learning-based model with a shallow neural network with maximum (...) of two connected layers to overcome overfitting from the scratch 4) building a Bayesian inference based computation algorithm that intertwine with connected network and is able to create new and adjust existing data points in response to an exposure to new out-of-distribution variants of existing or new malware family which determines the extent at which model weight is adjusted which in turn triggers update on the gradient. Preliminary result of our proposed framework gave an accuracy of 81\% in the successful classification of a novel out-of-distribution malware attack, something that could not be achieve by any of the state-of-the-art algorithms on novel malware classification. (shrink)

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

Awareness is a two-place determinable relation some determinates of which are seeing, hearing, etc. Abstract objects are items such as universals and functions, which contrast with concrete objects such as solids and liquids. It is uncontroversial that we are sometimes aware of concrete objects. In this paper I explore the more controversial topic of awareness of abstract objects. I distinguish two questions. First, the Existence Question: are there any experiences that make their subjects aware of abstract objects? Second, the Grounding (...) Question: if an experience makes its subject aware of an abstract object, in virtue of what does it do so? I defend the view that intuitions, specifically mathematical intuitions, sometimes make their subjects aware of abstract objects. In defending this view, I develop an account of the ground of intuitive awareness. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Aquinas’s process of abstraction of the particular thing into a universal concept is of pivotal importance for grounding his philosophy and theology in a natural framework. Much has been said and written regarding Aquinas’s doctrine of abstraction, yet recent studies still consider it to be ‘nothing more than a kind of magic.’ This problematic claim is not without foundation, for in trying to understand exactly how this process works, we are constantly faced with an unbridgeable abyss and the (...) repeated vague explanations made by Aquinas. The plain truth is that Aquinas explains what abstraction ought to do and yet, most of the time, he does not explain how it is to be done. This paper intends to show that although Aquinas does not present us with a mechanism for the theory of abstraction, we are nevertheless able to construct a viable mechanism which accords with Aquinas’s guidelines. The aim of constructing a working mechanism that corresponds to what Aquinas demands of the process of abstraction is twofold: First, it attempts to extricate Aquinas’s doctrine of abstraction from the claims of being a quasi-natural doctrine. Second, a viable process of abstraction which is derived from Aquinian-Aristotelian sources can approach contemporary cognitive problems from a fresh point of view. (shrink)

It is illegitimate to read any ontology about "race" off of biological theory or data. Indeed, the technical meaning of "genetic variation" is fluid, and there is no single theoretical agreed-upon criterion for defining and distinguishing populations (or groups or clusters) given a particular set of genetic variation data. Thus, by analyzing three formal senses of "genetic variation"—diversity, differentiation, and heterozygosity—we argue that the use of biological theory for making epistemic claims about "race" can only seem plausible when it relies (...) on the user’s own assumptions about race; the move from biological measures to claims about “race” inevitably amounts to a pernicious reification. We also excavate assumptions in the history of the technical discourse over the concept of "race" (e.g., Livingstone's and Dobzhansky's 1962 exchange, Edwards' 2003 response to Lewontin 1972, as well as contemporary discussions of cladistic "race", and "races" as clusters). We show that claims about the existence (or non-existence) of "race" are underdetermined by biological facts, methods, and theories. Biological theory does not force the concept of "race" upon us; our social discourse, social ontology, and social expectations do. We become prisoners of our abstractions at our own hands, and at our own expense. (shrink)

The use of "levels of abstraction" in philosophical analysis (levellism) has recently come under attack. In this paper, we argue that a refined version of epistemological levellism should be retained as a fundamental method, which we call the method of abstraction. After a brief introduction, in section two we make clear the nature and applicability of the (epistemological) method of levels of abstraction. In section three, we show the fruitfulness of the new method by applying it to (...) five case studies: the concept of agenthood, the Turing test, the definition of emergence, quantum observation and decidable observation. In section four, we further characterise and support the method by distinguishing it from three other forms of "levellism": (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In this context, we also briefly address the problems of relativism and antirealism. In the conclusion, we indicate some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)

In Metaphysics A, Aristotle offers some objections to Plato’s theory of Forms to the effect that Plato’s Forms would not be explanatory in the right way, and seems to suggest that they might even make the explanatory project worse. One interesting historical puzzle is whether Aristotle can avoid these same objections to his own theory of universals. The concerns Aristotle raises are, I think, cousins of contemporary concerns about the usefulness and explanatoriness of abstract objects, some of which have recently (...) been receiving attention in the philosophy of mathematics. After discussing Aristotle’s objections and their contemporary cousins, the paper discusses some of the main available lines of response to these sorts of challenges, before concluding with an examination of whether these responses could assist Plato or Aristotle in responding to these challenges. (shrink)

In this paper a parallel is drawn between the problem of epistemic access to abstract objects in mathematics and the problem of epistemic access to idealized systems in the physical sciences. On this basis it is argued that some recent and more traditional approaches to solving these problems are problematic.

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)

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)

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)

The international debate on the ethics and legality of autonomous weapon systems (AWS), along with the call for a ban, primarily focus on the nebulous concept of fully autonomous AWS. These are AWS capable of target selection and engagement absent human supervision or control. This paper argues that such a conception of autonomy is divorced from both military planning and decision-making operations; it also ignores the design requirements that govern AWS engineering and the subsequent tracking and tracing of moral responsibility. (...) To show how military operations can be coupled with design ethics, this paper marries two different kinds of meaningful human control (MHC) termed levels of abstraction. Under this two-tiered understanding of MHC, the contentious notion of ‘full’ autonomy becomes unproblematic. (shrink)

Some explanations are relatively abstract: they abstract away from the idiosyncratic or messy details of the case in hand. The received wisdom in philosophy is that this is a virtue for any explanation to possess. I argue that the apparent consensus on this point is illusory. When philosophers make this claim, they differ on which of four alternative varieties of abstractness they have in mind. What’s more, for each variety of abstractness there are several alternative reasons to think that the (...) variety of abstractness in question is a virtue. I identify the most promising reasons, and dismiss some others. The paper concludes by relating this discussion to the idea that explanations in biology, psychology and social science cannot be replaced by relatively micro explanations without loss of understanding. (shrink)

There is a common practice of providing natural-language ‘glosses’ on sentences in the language of higher order logic: for example, the higher-order sentence ∃X(X Socrates) might be glossed using the English sentence ‘Socrates has some property’. It is widely held that such glosses cannot be strictly correct, on the grounds that the word ‘property’ is a noun and thus, if meaningful at all, should be meaningful in the same way as any other noun. Against this view, this paper argues that (...) natural languages feature pervasive type-ambiguity in such a way that the relevant English sentences are in fact semantically equivalent to the higher-order sentences of which they serve as ‘glosses’. It also responds to some objections that have often been taken to be fatal to such type-ambiguity, such as the challenge of accounting for the meaning of ‘mixed disjunctions’ like ‘Either Mars or the property of being red is interesting’. (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)

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)

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)

In § 49 of the Critique of the Power of Judgment Kant puts forward a view that the feeling of pleasure in the experience of the beautiful can be stimulated not merely by perceptual properties, but by ideas and thoughts as well. The aim of this paper is to argue that aesthetic ideas fill in the emptiness that abstract and emotion concepts on their own would have without empirical intuitions. That is, aesthetic ideas make these concepts more accessible to us, (...) by creating image schemas that allow us to think about these abstract concepts in a way linked to sensory experience, thereby imbuing them with a more substantive meaning and understanding. (shrink)

In this paper, I expand my upon earlier linguistic research (Lian, 2023), which delved into the genre of abstracts from Western philosophical papers. I engage with the philosophical ramifications emanating from the guidelines established for crafting philosophy paper abstracts (Lian, 2023) and underscore their significance in the domain of academic philosophical writing. A pivotal focus of this research is to navigate the intricate philosophical challenges posed by cross-disciplinary investigations bridging applied linguistic statistics with philosophical paper composition, specifically, the nuanced interpretation (...) of linguistic findings in a manner palatable to philosophers. My exploration probes into the dynamics of various concepts within Inter-Disciplinary Research (IDR), highlighting the complexities in reconciling semantic intuitions related to the notions of "Method (M)" and "Conclusion (C)". I delineate three philosophical stances: (1) deferring to scientific authority, (2) recognizing domain-specific terminologies, and (3) interrogating peripheral scientific theories. I posit that these stances significantly influence the ways philosophers engage with and resolve the cross-disciplinary semantic and theoretical contentions stemming from the rhetorical structures of "Method (M)" and "Conclusion (C)". This work proposes avenues to attain either "theoretical coherence" or "disciplinary synthesis", thereby fostering enhanced cross-disciplinary collaboration and fortifying academic discourse across diverse fields. -/- Keywords: Inter-Disciplinary Research (IDR), Applied linguistics, Philosophical writing, Genre Analysis, Rhetorical Moves . (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy theory. (...) I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (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)

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

Four experiments investigated the extent to which abstract quantitative information can be conveyed by basic visual features. This was done by asking observers to estimate and discriminate Pearson correlation in graphical representations where the first data dimension of each element was encoded by its horizontal position, and the second by the value of one of its visual features; perceiving correlation then requires combining the information in the two encodings via a common abstract representation. Four visual features were examined: luminance, color, (...) orientation, and size. All were able to support the perception of correlation. Indeed, despite the strikingly different appearances of the associated stimuli, all gave rise to performance that was much the same: just noticeable difference was a linear function of distance from complete correlation, and estimated correlation a logarithmic function of this distance. Performance differed only in regards to the level of noise in the feature, with these values compatible with estimates of channel capacity encountered in classic experiments on absolute perceptual magnitudes. These results suggest that quantitative information can be conveyed by visual features that are abstracted at relatively low levels of visual processing, with little representation of the original sensory property. It is proposed that this is achieved via an abstract parameter space in which the values in each perceptual dimension are normalized to have the same means and variances, with perceived correlation based on the shape of the joint probability density function of the resultant elements. (shrink)

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on truth and (...) the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (shrink)

This article addresses the so-called to human rights. Focusing specifically on the work of Onora O'Neill, the article challenges two important aspects of her version of this objection. First: its narrowness. O'Neill understands the claimability of a right to depend on the identification of its duty-bearers. But there is good reason to think that the claimability of a right depends on more than just that, which makes abstract (and not welfare) rights the most natural target of her objection (section II). (...) After examining whether we might address this reformulated version of O'Neill's objection by appealing to the specificity afforded to human rights in international, regional and domestic law (in section III), the article challenges a second important feature of that objection by raising doubts about whether claimability is a necessary feature of rights at all (section IV). Finally, the article reflects more generally on the role of abstraction in the theory and practice of human rights (section V). In sum, by allaying claimability-based concerns about abstract rights, and by illustrating some of the positive functions of abstraction in rights discourse, the article hopes to show that abstract rights are not only theoretically coherent but also useful and important. (shrink)

This paper is a result of a remarks delivered at the 2014 conference of the Florida Philosophical Association during a book symposium on Elijah Chudnoff's Intuition.

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

Este artículo examina el papel del grupo de artistas abstractos Forma 1 en relación con la política cultural del Partido Comunista Italiano durante la posguerra, como ejemplo de los intentos de superar la dicotomía establecida en Italia entre arte abstracto y realismo socialista y producir una alternativa a la confrontación entre ambos discursos estéticos. Mientras los artistas realistas socialistas subrayaban la necesidad de expresar contenidos políticos explícitos con un estilo que asegurase su máxima legibilidad para una audiencia de masas, los (...) artistas de Forma 1 argumentaban que la abstracción significaba una crítica de la representación pictórica que podía contribuir a la crítica de la ideología burguesa, armonizando de este modo el marxismo con los desarrollos artísticos más avanzados. El PCI, por su parte, basaba su política artística en amplias alianzas de artistas e intelectuales antifascistas, que cada vez eran más difíciles de mantener en el clima de creciente confrontación política y cultural que siguió a la II Guerra Mundial. (shrink)

In this paper, following the claims made by various mathematicians, I try to construct a theory of levels of abstraction. I first try to clarify the basic components of the abstract method as it developed in the first quarter of the 20th century. I then submit an explication of the notion of levels of abstraction. In the final section, I briefly explore some of main philosophical consequences of the theory.

This paper argues that many so-called digital technologies can be construed as notational technologies, explored through the example of Monegraph, an art and digital asset management platform built on top of the blockchain system originally developed for the cryptocurrency bitcoin. As the paper characterizes it, a notational technology is the performance of syntactic notation within a field of reference, a technologized version of what Nelson Goodman called a “notational system.” Notational technologies produce abstracted entities through positive and reliable, or constitutive, (...) tests of socially acceptable meaning. Accordingly, this account deviates from typical narratives of blockchains, instead demonstrating that blockchain technologies are effective at managing digital assets because they produce abstracted identities through the performance of notation. Since notational technologies rely on configurations of socially acceptable meaning, this paper also provides a philosophical account of how blockchain technologies are socially embedded. (shrink)

This study aims to grasp the two distinct artworks one is from the literary field: Penal Colony, written by F. Kafka and the other one is from painting: The Large Glass, designed by M. Duchamp. This text tries to unravel the similarities betwe- en these artworks in terms of two main significations around “The Officer” from Penal Colony and “The Bachelors” from The Large Glass. Because of their vital role on the re-production of status-quo, this text asserts that there is (...) a similarity between them in the name of being part of the dispositions of body and desire. First of all, the text focuses on Penal Colony, especially on “The Officer” in or- der to observe his obsession towards the order that ruled by former and the late officer of colony. Deleuze & Guattari conceptualize it as “abstract-machines” and it refers to a contingent state of being which is produced as an obligatory entity. Besides, The Officers’ application via a “labeling machine” on inmates creates a framewok of a dispositif in Foucauldian terminology. Secondly, it is emphasized that The Bachelors from the Large Glass for his context, due to its reference for the concept of desire and a metaphorical connotation for desire as “cocoa”. The Large Glass is also turn around the dispositif in a different way: love. It is stated that criticizing the love to nowhere which belongs to The Bachelors and it can be found that there is an abstract-machine again in back of this practice and it converts The Bachelors’ energeia to make an apparatus possible and operative. (shrink)

According to the Standard Model account of religion, religious concepts tend to conform to “minimally counterintuitive” schemas. Laypeople may, to varying degrees, verbally endorse the abstract doctrines taught by professional theologians. But, outside the Sunday school exam room, the implicit representations that tend to guide people’s everyday thinking, feeling, and behavior are about minimally counterintuitive entities. According to the Standard Model, these implicit representations are the essential thing to be explained by the cognitive science of religion. It is argued here (...) that this theoretical orientation of mainstream CSR misses a whole dimension of religiosity—the acceptance of certain religious authorities, that is, the acceptance of other people’s superior expertise. Average believers tend to accept the authority of religious experts who espouse highly counterintuitive ideas that they understand in a distorted form, if at all.... (shrink)

Propositions have played a central role in philosophy of language since Frege. I will argue that the notion of a proposition, because of a range of philosophical problems as well as problems of linguistic adequacy, should be replaced by a different notion, for almost all the roles for it has been invoked, namely by the notion of an attitudinal object. Attitudinal objects are entities like ‘John’s belief that S’, ‘John’s claim that S’, and ‘John’s desire to do X’. Attitudinal objects (...) are closely related to, yet ontologically distinct from mental events and speech acts. (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 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)

Because an unmeasured quantum system consists of information — neither tangible existence nor its complete absence — no property can be assigned a definite value, only a range of likely values should it be measured. The instantaneous transition from information to matter upon measurement establishes a gradient between being and not-being. A quantum system enters a determinate state in a particular moment until this moment is past, at which point the system resumes its default state as an evolving superposition (...) of potential values of properties, neither strictly being nor not-being. Like a “self-organized” chemical system that derives energy from breaking down environmental gradients, a quantum system derives information from breaking down the ontological gradient. An organism is a body in the context of energy and a mind in the context of information. (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)

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)

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.

I consider three explanatory strategies from recent systems biology that are driven by mathematics as much as mechanistic detail. Analysis of differential equations drives the first strategy; topological analysis of network motifs drives the second; mathematical theorems from control engineering drive the third. I also distinguish three abstraction types: aggregations, which simplify by condensing information; generalizations, which simplify by generalizing information; and structurations, which simplify by contextualizing information. Using a common explanandum as reference point—namely, the robust perfect adaptation of (...) chemotaxis in Escherichia coli—I argue that each strategy invokes a different combination of abstraction types and that each targets its abstractions to different mechanistic details. (shrink)

In this dissertation I examine the NeoFregean metaontology of mathematics. I try to clarify the relationship between what is sometimes called Priority Thesis and Platonism about mathematical entities. I then present three coherent ways in which one might endorse both these stances, also answering some possible objections. Finally I try to show which of these three ways is the most promising.

This study aimed to explore the rhetorical moves of article abstracts in Taiwanese Chinese philosophy journals. The most common theory for the discourse analysis of research abstracts is proposed by Hyland（2000）. Most of the research abstracts in the field of social sciences and natural sciences are composed of Hyland’s five rhetorical moves: introduction, purpose, method, results, and conclusion. Therefore, the question to be explored in this research is how to compose the rhetorical moves of abstracts of Chinese philosophy journal articles. (...) What is the frequency and order of each rhetorical move in the abstract of each paper? Do they reflect some particular type of distribution? Are there any rhetorical moves that occur exceptionally rarely? Does the abstract of research articles in Chinese philosophy journals apply the framework of the same five rhetorical moves? What are the conventions of the philosophy writing community reflected in the rhetorical moves of abstracts of academic journal articles in philosophy? -/- To answer the above questions, this research collected the abstracts of 18 papers from the representative Chinese philosophy journal "SOOCHOW JOURNAL OF PHILOSOPHICAL STUDIES " in Taiwan in the past five years (2017-2021) and used the five moves of Hyland（2000） one by one to answer the above questions. The rhetorical moves of each abstract were analyzed and presented in tables to show the frequency, order, and type of each rhetorical move. -/- The results of this study found that "method (M)" and "conclusion (C)" are not the rhetorical moves that constitute the abstract of articles in Taiwanese philosophy journals, but the rhetorical move "purpose (P)" is "necessary" to appear. In the Purpose move, the subject is usually "this article"; the verbs are "argue" or "inquire." Although "introduction (I)" is a "conventional" move, the total number of words in the introduction is the highest in the whole abstract. This study also shows rhetorical move variation of the abstracts of philosophy journal articles, reflecting the writing culture and conventions of the academic philosophy community. -/- Finally, this study proposes three teaching guidelines for abstract writing of academic papers in philosophy, which will be useful for philosophy scholars and graduate students to consult when writing and submitting abstracts of philosophy in conference or journal papers. -/- Keywords: philosophy, journal article, abstract, discourse analysis, rhetorical move . (shrink)

This article aims to provide a reassessment of the relationship between God and abstract objects. This reassessment will provide a new conceptualisation of this important relationship and will be formulated, first, within the theoretical framework of ‘Theistic Aspectivalism’, which is grounded on the notion of an aspect, proposed by Donald L.M. Baxter, which provides a means to ward off the ‘Bootstrapping Problem’. Second, within the theoretical framework of ‘Theistic Essentialism’, which is based on the notion of essence and essential dependence, (...) as proposed by Kit Fine, Jonathan Lowe, and Katherin Koslicki, which provides a metaphysical basis for the relationship between God and abstract objects to be further elucidated and for the position of 'Platonic Theism' to be free from the primary issues that are often raised against it. (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)

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)

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)