We present the first effectively presentable fully abstract model for Starkʼs Reduced ML, a call-by-value higher-order programming language featuring integer-valued references. The model is constructed using techniques of nominal game semantics. Its distinctive feature is the presence of carefully restricted information about the store in plays, combined with conditions concerning the participantsʼ ability to distinguish reference names. We show how it leads to an explicit characterization of program equivalence.

In an attempt to give a unified account of common properties of various resource bounded reducibilities, we introduce conditions on a binary relation ≤r between subsets of the natural numbers, where ≤r is meant as a resource bounded reducibility. The conditions are a formalization of basic features shared by most resource bounded reducibilities which can be found in the literature. As our main technical result, we show that these conditions imply a result about exact pairs which has been (...) previously shown by Ambos-Spies [2] in a setting of polynomial time bounds: given some recursively presentable ≤r-ideal I and some recursive ≤r-hard set B for I which is not contained in I, there is some recursive set C, where B and C are an exact pair for I, that is, I is equal to the intersection of the lower ≤r-cones of B and C, where C is not in I. In particular, if the relation ≤r is in addition transitive and there are least sets, then every recursive set which is not in the least degree is half of a minimal pair of recursive sets. (shrink)

Animals detect and acquire resources through a sequence of shape changes. This process is tightly coupled to the sensory and mechanical ecology of the animal. Building physical models allow us to prescind from modeling these aspects of the environment, which may not yet be described or suitably abstracted. The significance of this hybrid of physical modeling and experimentation to the acquisition of scientific knowledge is discussed.

This volume explores the roles and uses of abstraction in scientific and artistic practice. Conceived as an interdisciplinary dialogue between experts across histories and philosophies of art and science, this collection of essays draws on the shared premise that abstraction is a rich and generative process, not reducible to the mere omission of details in a representation. When scientists attempt to make sense of complex natural phenomena, they often produce highly abstract models of them. In the history and philosophy (...) of art, there is a long tradition of debate on the function of abstraction, and - more recently - its relation with theories of depiction. Adopting a process-oriented perspective, the chapters in this volume explore the epistemic potential of a diversity of practices of abstracting. The systematic analysis of a wide range of historical cases, from early twentieth-century abstractionist painting to contemporary abstract photography, and from nineteenth-century physics to recent research in biology and neurosciences, invites the reader to reflect on the material lives of abstraction through concrete artefacts, experimental practices and theoretical and aesthetic achievements. Abstraction in Science and Art: Philosophical Perspectives will be of interest to scholars and advanced students working in aesthetics, philosophy of science, and epistemology, as well as to historians of science and art, and to practicing artists and scientists interested in exploring foundational questions at the heart of the creative practice of abstracting. (shrink)

Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (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)

Abstract: This paper argues that instances of what are typically called ‘epistemic irresponsibility’ are better understood as instances of moral or prudenial failure. This hypothesis covers the data and is simpler than postulating a new sui generis form of normativitiy. The irresponsibility alleged is that embeded in charges of ‘You should have known better!’ However, I argue, either there is some interest at stake in knowing or there is not. If there is not, then there is no irresponsibility. If (...) there is, it is either the inquirer's interests—in which case it is a prudential shortcoming—or someone else's interests are at stake—in which case it is a moral shortcoming. In no case, I argue, is there any need to postulate a form of normativity in epistemology other than the traditional epistemological norm that one's attitudes should fit the evidence one has. (shrink)

Abstract Our growing demand for meat and dairy food products is unsustainable. It is hard to imagine that this global issue can be solved solely by more efficient technologies. Lowering our meat consumption seems inescapable. Yet, the question is whether modern consumers can be considered as reliable allies to achieve this shift in meat consumption pattern. Is there not a yawning gap between our responsible intentions as citizens and our hedonic desires as consumers? We will argue that consumers can (...) and should be considered as partners that must be involved in realizing new ways of protein consumption that contribute to a more sustainable world. In particular the large food consumer group of flexitarians offer promising opportunities for transforming our meat consumption patterns. We propose a pragmatic approach that explicitly goes beyond the standard suggestion of persuasion strategies and suggests different routes of change, coined sustainability by stealth, moderate involvement, and cultural change respectively. The recognition of more routes of change to a more plant-based diet implies that the ethical debate on meat should not only associate consumer change with rational persuasion strategies and food citizens that instantiate “strong” sustainable consumption. Such a focus narrows the debate on sustainable protein consumption and easily results in disappointment about consumers’ participation. A more wide-ranging concept of ethical consumption can leave the negative verdict behind that consumers are mainly an obstacle for sustainability and lead to a more optimistic view on modern consumers as allies and agents of change. Content Type Journal Article Category Articles Pages 1-18 DOI 10.1007/s10806-011-9345-z Authors Erik de Bakker, LEI Wageningen UR (Agricultural Economics Research Institute), P.O. Box 29703, 2505 LS The Hague, The Netherlands Hans Dagevos, LEI Wageningen UR (Agricultural Economics Research Institute), P.O. Box 29703, 2505 LS The Hague, The Netherlands Journal Journal of Agricultural and Environmental Ethics Online ISSN 1573-322X Print ISSN 1187-7863. (shrink)

Wójcicki has provided a characterization of selfextensional logics as those that can be endowed with a complete local referential semantics. His result was extended by Jansana and Palmigiano, who developed a duality between the category of reduced congruential atlases and that of reduced referential algebras over a fixed similarity type. This duality restricts to one between reduced atlas models and reduced referential algebra models of selfextensional logics. In this paper referential algebraic systems and congruential atlas systems are introduced, which (...) class='Hi'>abstract referential algebras and congruential atlases, respectively. This enables the formulation of an analog of Wójcicki’s Theorem for logics formalized as π-institutions. Moreover, the results of Jansana and Palmigiano are generalized to obtain a duality between congruential atlas systems and referential algebraic systems over a fixed categorical algebraic signature. In future work, the duality obtained in this paper will be used to obtain one between atlas system models and referential algebraic system models of an arbitrary selfextensional π-institution. Using this latter duality, the characterization of fully selfextensional deductive systems among the selfextensional ones, that was obtained by Jansana and Palmigiano, can be extended to a similar characterization of fully selfextensional π-institutions among appropriately chosen classes of selfextensional ones. (shrink)

ABSTRACT:Business ethics research has long been interested in understanding the conditions under which ethical consumption is consistent versus context-dependent. Extant research suggests that many consumers fail to make consistent ethical consumption decisions and tend to engage in ethical decisions associated with ingroup identity cues. To fill this gap, four experiments examine how construal levels moderate the influence of ingroup versus outgroup identity cues in ethical consumption. The studies support the contention that when consumers use concrete construal to process information, (...) they will focus on ingroup cues and make ethical consumption decisions that are aligned with ingroup biases. However, when consumers use abstract construal, they will act more consistently with their inner goals rather than focusing on ingroup and outgroup cues. Social goodwill, which indicates desires to give back to society, is identified as mediating the effects. The findings have important implications for ethical consumption and social influence literature. (shrink)

Philosophers often have tried to either reduce "disagreeable" objects or concepts to (more) acceptable objects or concepts. Reduction is regarded attractive by those who subscribe to an ideal of ontological parsimony. But the topic is not just restricted to traditional metaphysics or ontology. In the philosophy of mathematics, abstraction principles, such as Hume's principle, have been suggested to support a reconstruction of mathematics by logical means only. In the philosophy of language and the philosophy of science, the logical analysis of (...) language has long been regarded to be the dominating paradigm, and liberalized projects of logical reconstruction remain to be driving forces of modern philosophy. (shrink)

In this article, I articulate and defend an account of corporations motivated by John Searle’s discussion of them in his Making the Social World. According to this account, corporations are abstract entities that are the products of status function Declarations. They are also connected with, though not reducible to, various people and certain of the power relations among them. Moreover, these connections are responsible for corporations having features that stereotypical abstract entities lack (e.g., the abilities to take actions (...) and make profits). (shrink)

Abstract:This article builds on Bellucci’s and Murphey’s accounts of Peirce’s early logic of signs by making a pair of contributions to the literature on Peirce’s reduction of illation to the sign relation. First, I reinvesti-gate the connection between the structure of inference and the representative relation, relying here on Peirce’s early accounts of sign inference from 1865 and 1866. Second, with the development of Peirce’s theory of inquiry in mind, I elucidate the implications of Peirce’s early view of sign (...) inference. These contributions deepen our understanding of Fisch’s claim that the Illustrations series “is thought out within the framework of the doctrine of signs.”. (shrink)

This dissertation proposes a new working model of reductionism for biology and a new concept of the gene based on the new reduction model. My project aims to help biologists and philosophers understand what reductionism in biology really is, or, should be. Historical debates about reductionism testify us that the classical reduction model, i.e., Ernest Nagel's bridge-law model, offers us neither an appropriate ontological reductionism nor a reductive explanation about biological phenomena. Casting doubts on the received view of the layered (...) hierarchical model of ontology, I suggest that many interesting biological properties be construed as second-order functional properties and their first-order realizers. Providing for reduction finely-analyzed biological properties, I offer a new model for reductionism in biology - localized functional reductionism - which evolved from Jaegwon Kim's view of reductionism presented for the problems of mental causation. My localized functional reductionism shows that a localized functional property is reduced to its base/structural property. I emphasize that researchers in biology do not deal with abstract general properties but always localized, structure-specific biological properties. A localized functional property and the structure-specific biological property as its base property are what we are interested in and this is what makes biological properties appropriate for research and meaningful for philosophical discussion. The localized functional reduction model, which is actually a case of token reduction model, integrates the fine-grained ontological hierarchies of both macro/micro-levels and higher/lower-orders, and it also synthesizes functional reductionism and token identity thesis. In my localized functional reductionism, functional biological properties are not eliminated but they exist with their own causal powers and true explanatory powers. I also argue that the gene, construed as a second-order functional property, must be understood as gene expression network-specific. The gene, when it is realized on a given occasion, is reduced to, and is identical with, one of its genomic realizers on the given occasion, that is, the gene expression network. A new dynamic approach to the concept of the gene as the gene expression network vindicates reductionism. (shrink)

The objectives of the Center Leo Apostel for Interdisciplinary Studies were summarized by his creator as: interdisciplinarity, construction of world views and broad dissemination of scientific knowledge. In compliance with the third of these objectives, we provide a rigorous but accessible popular science version of a research article published by Aerts and Sassoli de Bianchi, where an extended version of the quantum formalism was proposed as a possible solution to the measurement problem. We hope that through articles of this kind, (...) written with an educational spirit and addressed to both academic and nonacademic readers, the interdisciplinary dialogue about foundational issues will be stimulated and the gap between the different sciences reduced. (shrink)

Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems that are also truth-equational, in the sense that the truth predicate of the class of their reduced matrix models is explicitly definable by some set of unary equations. (...) Raftery undertook the task of characterizing the property of truth-equationality for arbitrary deductive systems. In this paper, following Raftery, we extend the notion of truth-equationality for logics formalized as $\pi$-institutions and abstract several of the results that hold for deductive systems in this more general categorical context. (shrink)

The ardent antagonism between two aesthetic parties, figuration and abstraction, which for more than half a century has stamped art history in old Europe, with increasingly overlapping implications for youthful America, Japan and many other places, today tends to reduce itself to being simply the anecdotal imprint of an era: in the final analysis it seems already condemned to disappear in favor of a notion of complementarity and even synthesis.

One of the basic results in the theory of λ-conversion is the Church-Rosser Theorem, which says that, using certain rules for conversion and reduction of λ-formulae, any two interconvertible formulae can both be reduced to one formula. (I will not explain this in detail, as λ-conversion is described fully in Church's [2], where the Church-Rosser Theorem is Theorem 7 XXVII; see also Chapter 4 of Curry and Feys' [3].) The first part of the present paper contains an abstract form (...) of this theorem. (shrink)

Abstract Objective Intuitive inquiry meditation is a unique form of Buddhist Zen/Chan practice in which individuals actively and intuitively utilize the cognitive functions to cultivate doubt and explore the concept of the self. This event-related potential (ERP) study aimed to investigate the neural correlates by which long-term practice of intuitive inquiry meditation induces flexibility in self-schema processing, highlighting the role of doubt and belief processes in this exploration. Methods Twenty experienced and eighteen beginner meditators in intuitive inquiry meditation were (...) recruited for this ERP study. The interactions of doubt and belief processes with concepts of the self and Buddha were investigated. A 128-channel electroencephalography (EEG) system was used to collect EEG data. The ERP data were processed and analyzed using EEGLAB. Results The data showed a double dissociation between beginners and experienced meditators (monks) in the concepts of the self and Buddha: intuitive inquiry meditation reduced the brain activity of beginners when viewing Buddha image but not when viewing a picture of themselves. However, in experienced meditators, intuitive inquiry meditation reduced brain activity when they viewed images of themselves but not when they viewed Buddha image. Further event-related spectral perturbation (ERSP) analysis revealed that experienced meditators had a greater theta spectral power and higher intertrial coherence (ITC), indicating that they could more flexibly modulate ongoing cognitive processes than beginner meditators. Conclusion Intuitive inquiry meditation could help beginner meditators detach from the concept of Buddha but not from that of the self. However, in experienced meditators, the opposite was true. ERSP analysis showed that only experienced meditators exhibited significant alterations in brain activity dynamics during intuitive inquiry meditation, which might enable these practitioners to become spontaneously detached from the concept of the self. These findings revealed the neural mechanism by which long-term practice of intuitive inquiry meditation can influence the doubting process and its effect on self-schema processing. (shrink)

We talk as if there are natural kinds and in particular we quantify over them. We can count the number of elements discovered by Sir Humphrey Davy, or the number of kinds of particle in the standard model. Consequently, it looks at first sight at least, that natural kinds are entities of a sort. In the light of this we may ask certain questions: is the apparent existence of natural kinds real or an illusion? And if real, what sort of (...) entity are natural kinds? Are they sui generis? Or can they be identified with or reduced to some other kind of entity? In this essay I shall look at possible reasons for asserting that either kinds are no sort of entity, or, if they are entities, their existence is equivalent to some fact not involving kinds. Richard Boyd seems to take the view that the apparent existence of natural kinds is an illusion. (shrink)

In the paper “Categoricity in abstract elementary classes with no maximal models”, we address gaps in Saharon Shelah and Andrés Villavecesʼ proof in [4] of the uniqueness of limit models of cardinality μ in λ-categorical abstract elementary classes with no maximal models, where λ is some cardinal larger than μ. Both [4] and [5] employ set theoretic assumptions, namely GCH and Φμ+μ+).Recently, Tapani Hyttinen pointed out a problem in an early draft of [3] to Villaveces. This problem stems (...) from the proof in Shelah and Villavecesʼ [4] that reduced towers are continuous. Residues of this problem also infect the proof of Proposition II.7.2 in VanDieren [5]. We respond to the issues in Shelah and Villaveces [4] and VanDieren [5] with alternative proofs under the strengthened assumption that the abstract elementary class is categorical in μ+. (shrink)

Phenomena like meat sharing in hunter-gatherers, self-sacrifice in intergroup conflicts, and voluntary contribution to public goods provision in laboratory experiments have led to the development of numerous theories on the evolution of altruistic in-group beneficial behavior in humans. Many of these theories abstract away from the effects of kinship on the incentives for public goods provision, though. Here, it is investigated analytically how genetic relatedness changes the incentive structure of that paradigmatic game which is conventionally used to model and (...) experimentally investigate collective action problems: the linear public goods game. Using recent anthropological data sets on relatedness in 61 contemporary hunter-gatherer and horticulturalist societies the relevant parameters of this model are then estimated. It turns out that the kinship patterns observed in these societies substantially reduce the negative effect of increasing group size on incentives for public goods provision. It is suggested, therefore, that renewed attention should be given to inclusive fitness theory in the context of public goods provision also in sizable groups, because its explanatory power with respect to this central problem in the evolution of human cooperativeness and altruism might have been substantially underrated. (shrink)

According to Øystein Linnebo's account of abstractionism, abstraction principles, received as Fregean criteria of identity, can be used to reduce facts about singular reference to objects such as directions and numbers to facts that do not involve such objects. In this article, first I show how the resources of Linnebo's metasemantics successfully handle Dummett's challenge against the referentiality of the singular terms formed by abstraction principles. Then, I argue that Linnebo's metasemantic commitments do not provide us with tools for dispelling (...) the threat of a version of referential indeterminacy, according to which nothing in our use of a singular term, even when it is guided by an associated criterion of identity, could determine which particular object it refers to. I end by examining the bearing of the indeterminacy challenge to Linnebo's treatment of Frege's Caesar Problem: in the absence of an argument against the indeterminacy of reference, it is unclear how numerical expressions could qualify as genuine singular terms. (shrink)

This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states (...) of a multi-agent debate. This language allows to specify which arguments any agent is aware of, as well as their subjective justification status. We then extend our language and semantics to that of epistemic logic, in order to model individuals’ beliefs about the state of the debate, which includes uncertainty about the information available to others. As a third step, we introduce a framework of dynamic epistemic logic and its semantics, which is essentially based on so-called event models with factual change. We provide completeness results for a number of systems and show how existing formalisms for argumentation dynamics and unquantified uncertainty can be reduced to their semantics. The resulting framework allows reasoning about subtle epistemic and argumentative updates—such as the effects of different levels of trust in a source—and more in general about the epistemic dimensions of strategic communication. (shrink)

The object of this paper is to make a study of four systems of modal logic (S4, S5, and their intuitionistic analogues IM4 and IM5) with the techniques of the theory of abstract logics set up by Suszko, Bloom, Brown, Verdú and others. The abstract concepts corresponding to such systems are defined as generalizations of the logics naturally associated to their algebraic models (topological Boolean or Heyting algebras, general or semisimple). By considering new suitably defined connectives and by (...) distinguishing between having the rule of necessitation only for theorems or as a full inference rule (which amounts to dealing with all filters or with open filters of the algebras) we are able to reduce the study of a modal (abstract) logic L to that of two nonmodal logics L - and L + associated with L. We find that L is "of IM4 type" if and only if L - and L + are both intuitionistic and have the same theorems, and logics of type S4, IM5 or S5 are obtained from those of type IM4 simply by making classical L -, L + or both. We compare this situation with that found in recent approaches to intuitionistic modal logic using birelational models or using higher-level sequent-systems. The treatment of modal systems with abstract logics is rather new, and in our way to it we find several general constructions and results which can also be applied to other modal systems weaker than those we study in detail. (shrink)

In the philosophy of science, abstraction has usually been analyzed in terms of the interface between our experience and the design of our concepts. The often implicit assumption here is that such interface has a definite identifiable and universalizable structure, determining the epistemic correctness of any abstraction. Our claim is that, on the contrary, the epistemic grounding of abstraction should not be reduced to the structural norms of such interface but is also related to the constraints on the cognitive processes (...) of specific abstractions. This suggests that we should understand abstraction as embodied in different kinds of abstraction practices. (shrink)

Translations from Lambda calculi into combinatory logics can be used to avoid some implementational problems of the former systems. However, this scheme can only be efficient if the translation produces short output with a small number of combinators, in order to reduce the time and transient storage space spent during reduction of combinatory terms. In this paper we present a combinatory system and an abstraction algorithm, based on the original bracket abstraction operator of Schonfinkel [9]. The algorithm introduces at most (...) one combinator for each abstraction in the initial Lambda term. This avoids explosive term growth during successive abstractions and makes the system suitable for practical applications. We prove the correctness of the algorithm and establish some relations between the combinatory system and the Lambda calculus. (shrink)

We study classes of right-angled Coxeter groups with respect to the strong submodel relation of a parabolic subgroup. We show that the class of all right-angled Coxeter groups is not smooth and establish some general combinatorial criteria for such classes to be abstract elementary classes (AECs), for them to be finitary, and for them to be tame. We further prove two combinatorial conditions ensuring the strong rigidity of a right-angled Coxeter group of arbitrary rank. The combination of these results (...) translates into a machinery to build concrete examples of AECs satisfying given model-theoretic properties. We exhibit the power of our method by constructing three concrete examples of finitary classes. We show that the first and third classes are nonhomogeneous and that the last two are tame, uncountably categorical, and axiomatizable by a single Lω1,ω-sentence. We also observe that the isomorphism relation of any countable complete first-order theory is κ-Borel reducible (in the sense of generalized descriptive set theory) to the isomorphism relation of the theory of right-angled Coxeter groups whose Coxeter graph is an infinite random graph. (shrink)

Barsalou's hypothesis that mental representations are constructed by selecting parts of percepts encounters the same difficulties as other empiricist theories: They cannot explain concepts for which instances do not share perceptible features (e.g., furniture) or for which there are no relevant percepts (e.g., the end of time). Barsalou's attempt to reduce falsity to failed pattern matching is an elementary error, and the generativity of his simulators cannot be attained without nonterminal symbols. There is not now, and there never was, any (...) reason to be interested in empiricist theories of knowledge. Abstraction is a fundamental aspect of human cognition. (shrink)

Open peer commentary on the article “Heterarchical Reflexive Conversational Teaching and Learning as a Vehicle for Ethical Engineering Curriculum Design” by Philip Baron. Upshot: The target article advocates the use of conversational heterarchical curriculum design as part of the process of decolonisation in South African universities. A stated objective is to reduce the amount of abstraction in the syllabus. I discuss whether the reduction of abstraction is an appropriate aim of decolonisation, considering some of the potential consequences and questioning whether (...) a less abstract teaching style would be advisable in practical terms and compatible with students’ values. (shrink)

Charles S. Peirce’s second trichotomy, which introduces the concepts of iconicity, indexicality, and symbolicity, is probably the only piece of his semiotic that is familiar to visual artists and designers. Although the concepts have found their way into the academy, their utility in the field has been reduced for a couple of reasons. First, as with all of Peirce’s philosophy, his second trichotomy is a concept that is subtle, fluid, and difficult to fully grasp in a sound bite. Second, there (...) has simply been no bridge concept that would form a working connection between that philosophy in its logical guise and the studio practice in the visual arts. The purpose of this article is to remedy that situation by investigating the subtle ways the second trichotomy functions within the visual sphere, and to then suggest a model that can serve to bridge the divide between pure theory and practice. The article makes four main points: first, using examples from visual identity and the graphic arts, it demonstrates how the modes of icon, index, and symbol tend to be blended; second, examples from fine art are used to illustrate how the concept of abstraction, as used in the art world, can only be partially accounted for within the second trichotomy, but can be modeled by supplying a syntactical supplement; third, it expands on and elaborates a previously sketched model, the visual gamut, which makes it possible to classify visual entities according to their position within a map of semantic and syntactic space; finally, it concludes by suggesting ways this enhanced version of the visual gamut model might be used in the analysis of, or creation of, art and design, presenting suggestions for further study. (shrink)

From flea bites to galaxies, from love affairs to shadows, Paul Feyerabend reveled in the sensory and intellectual abundance that surrounds us. He found it equally striking that human senses and human intelligence are able to take in only a fraction of these riches. "This a blessing, not a drawback," he writes. "A superconscious organism would not be superwise, it would be paralyzed." This human reduction of experience to a manageable level is the heart of Conquest of Abundance, the book (...) on which Feyerabend was at work when he died in 1994. Prepared from drafts of the manuscript left at his death, working notes, and lectures and articles Feyerabend wrote while the larger work was in progress, Conquest of Abundance offers up rich exploration and startling insights with the charm, lucidity, and sense of mischief that are his hallmarks. Feyerabend is fascinated by how we attempt to explain and predict the mysteries of the natural world, and he looks at the ways in which we abstract experience, explain anomalies, and reduce wonder to formulas and equations. Through his exploration of the positive and negative consequences of these efforts, Feyerabend reveals the "conquest of abundance" as an integral part of the history and character of Western civilization. "Paul Feyerabend . . . was the Norman Mailer of philosophy. . . . brilliant, brave, adventurous, original and quirky."—Richard Rorty, New Republic "As much a smudged icon as a philosophical position holder, [Feyerabend] was alluring and erotic, a torch singer for philosophical anarchy."—Nancy Maull, New York Times Book Review "[A] kind of final testament of Feyerabend's thought . . . Conquest of Abundance is as much the product of a brilliant, scintillating style as of an immense erudition and culture. . . . This book is as abundant and rich as the world it envisions."—Arkady Plotnitsky, Chicago Tribune. (shrink)

From flea bites to galaxies, from love affairs to shadows, Paul Feyerabend reveled in the sensory and intellectual abundance that surrounds us. He found it equally striking that human senses and human intelligence are able to take in only a fraction of these riches. "This a blessing, not a drawback," he writes. "A superconscious organism would not be superwise, it would be paralyzed." This human reduction of experience to a manageable level is the heart of _Conquest of Abundance_, the book (...) on which Feyerabend was at work when he died in 1994. Prepared from drafts of the manuscript left at his death, working notes, and lectures and articles Feyerabend wrote while the larger work was in progress, _Conquest of Abundance_ offers up rich exploration and startling insights with the charm, lucidity, and sense of mischief that are his hallmarks. Feyerabend is fascinated by how we attempt to explain and predict the mysteries of the natural world, and he looks at the ways in which we abstract experience, explain anomalies, and reduce wonder to formulas and equations. Through his exploration of the positive and negative consequences of these efforts, Feyerabend reveals the "conquest of abundance" as an integral part of the history and character of Western civilization. "Paul Feyerabend... was the Norman Mailer of philosophy.... brilliant, brave, adventurous, original and quirky."—Richard Rorty, _New Republic_ "As much a smudged icon as a philosophical position holder, [Feyerabend] was alluring and erotic, a torch singer for philosophical anarchy."—Nancy Maull, _New York Times Book Review_ "[A] kind of final testament of Feyerabend's thought... Conquest of Abundance is as much the product of a brilliant, scintillating style as of an immense erudition and culture.... This book is as abundant and rich as the world it envisions."—Arkady Plotnitsky, _Chicago Tribune_. (shrink)

Intersubjectivity refers to one person’s awareness in relation to another person’s awareness. It is key to well-being and human development. From infancy to adulthood, human interactions ceaselessly contribute to the flourishing or impairment of intersubjectivity. In this work, we first describe intersubjectivity as a hallmark of quality dyadic processes. Then, using parent-child relationship as an example, we propose a dyadic active inference model to elucidate an inverse relation between stress and intersubjectivity. We postulate that impaired intersubjectivity is a manifestation of (...) underlying problems of deficient relational benevolence, misattributing another person’s intentions, and neglecting the effects of one’s own actions on the other person. These problems can exacerbate stress due to excessive variational free energy in a person’s active inference engine when that person feels threatened and holds on to his/her invalid beliefs. In support of this dyadic model, we briefly describe relevant neuroimaging literature to elucidate brain networks underlying the effects of an intersubjectivity-oriented parenting intervention on parenting stress. Using the active inference dyadic model, we identified critical interventional strategies necessary to rectify these problems and hereby developed a coding system in reference to these strategies. In a theory-guided quantitative review, we used this coding system to code 35 clinical trials of parenting interventions published between 2016 and 2020, based on PubMed database, to predict their efficacy for reducing parenting stress. The results of this theory-guided analysis corroborated our hypothesis that parenting intervention can effectively reduce parenting stress if the intervention is designed to mitigate the problems of deficient relational benevolence, under-coupling, and over-mentalizing. We integrated our work with several dyadic concepts identified in the literature. Finally, inspired by Arya Nagarjuna’s Buddhist Madhyamaka Philosophy, we described abstract expressions of Dependent Origination as a relational worldview to reflect on the normality, impairment, and rehabilitation of intersubjectivity. (shrink)

The thesis that follows proffers a solution to the mind-matter problem, the problem as to how mind and matter relate. The proposed solution herein is a variant of panpsychism – the theory that all (pan) has minds (psyche) – that we name pansentient monism. By defining the suffix 'psyche' of panpsychism, i.e. by analysing what 'mind' is (Chapter 1), we thereby initiate the effacement of the distinction between mind and matter, and thus advance a monism. We thereafter critically examine the (...) prevalent view, antithetical to a pansentient monism, that mind is not identical to matter but emergent therefrom (Chapter 2). This anti-emergentist critique acts also as a fortification of the Genetic Argument for panpsychism: if mind is not emergent (nor distinct) from matter, mind must always have existed with matter. But what is 'matter'? Chapter 3 investigates what we understand by 'matter', or 'the physical', and exposes it as a highly deficient concept and percept that in concreto points to its identity with that denoted by 'mind'. This also acts as a fortification of the Abstraction Argument for panpsychism, employing a new taxonomy of physicalism and a new taxonomy of the varieties of abstraction. Thus do we reach a monism that is a parsimonious psycho-physical identity theory. But here we face what can be called The Identity Problem for Panpsychism: if our panpsychism is a psycho-physical identity theory, how can it respond to the powerful objections that beset the identity theory of the twentieth century? In Chapter 4 it will be argued that, like emergentism, this psycho-neural identity theory presupposed a deficient concept of 'matter', down to which mind was reduced away, let alone identified. But to identify down phenomena to what is actually an abstraction is to commit failure of explanation. When the theory is amended accordingly, we move from a psycho-neural identity theory to a genuine psycho-physical identity theory that as such can overcome the aforementioned identity problem. Furthermore, as Chapter 5 clarifies, our pansentient monism has, in addition to parsimony, the explanatory power to resolve the problem of mental causation that afflicts both the reductive physicalism of psycho-neural identity theory and the non-reductive physicalism of emergentism, by genuinely identifying physical and mental causation. Jaegwon Kim considers the place of consciousness in a physical world and the nature of mental causation to be the two key components of the mind-matter problem. Through the critical analysis of our prosaic understanding of mind and matter in this thesis, which incorporates the thought of both classical and contemporary thinkers through a novel fusion, it is hoped that both components are addressed and redressed. That is to say that I present this pansentient monism as a plausible, parsimonious, explanatory, and thus, I think, powerful position towards this ever-perplexing mind-matter mystery. -/- [This thesis was passed in January 2019 with viva examination from Galen Strawson and Joel Krueger. (shrink)

The recent claiming of Simone de Beauvoir's legacy by French feminists for a policy of assimilation of Muslim women to Western models of self and society reduces the complexity and richness of Beauvoir's views in inacceptable ways. This article explores to what extent a politics of difference that challenges the ideals and political strategies of abstract liberalism can be extracted from and legitimized by the philosophies of Simone de Beauvoir and Jean-Paul Sartre. Without assuming their thought is identical, we (...) can read them as elucidating each other and as implicitly exposing weak and strong points in their respective philosophies on ethnocultural relations and social identities. (shrink)

We all know what water is, and we often take it for granted. But the spectre of a worldwide water crisis suggests that there might be something fundamentally wrong with the way we think about water. Jamie Linton dives into the history of water as an abstract concept, stripped of its environmental, social, and cultural contexts. Reduced to a scientific abstraction – to mere H20 – this concept has given modern society licence to dam, divert, and manipulate water with (...) apparent impunity. Part of the solution to the water crisis involves reinvesting water with social content, thus altering the way we see water. An original take on a deceptively complex issue, What Is Water? offers a fresh approach to a fundamental problem. (shrink)

A standard understanding of abstraction principles elicits two opposite readings: Intolerant Reductionism, where abstractions are seen as reducing talk of abstract objects to talk about non-problematic domains, and Robustionism, where newly introduced terms genuinely refer to abstract objects. Against this dichotomy between such “austere” and “robust” readings, Dummett suggested ways to steer intermediate paths. We explore different options for intermediate stances, by reviewing metaontological strategies and semantic ones. Based on Dummett’s and Picardi’s understanding of the Context Principle, the (...) paper acknowledges that Frege’s Grundlagen are open to several interpretations of contextual definitions, and argues that the prospects for broadly Fregean intermediate views are all but foreclosed. (shrink)