Cantor's abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor's proposal based upon the set theoretic framework of Bourbaki - called BK - which is a First-order set theory extended with Hilbert's ε-operator. Moreover, it is argued that the BK system and the ε-operator provide a faithful reconstruction of Cantor's insights on cardinal numbers. (...) I will introduce first the axiomatic setting of BK and the definition of cardinal numbers by means of the ε-operator. Then, after presenting Cantor's abstractionist theory, I will point out two assumptions concerning the definition of cardinal numbers that are deeply rooted in Cantor’s work. I will claim that these assumptions are supported as well by the BK definition of cardinal numbers, which will be compared to those of Zermelo-von Neumann and Frege-Russell. On the basis of these similarities, I will make use of the BK framework in meeting Frege's objections to Cantor's proposal. A key ingredient in the defence of Cantorian abstraction will be played by the role of representative sets, which are arbitrarily denoted by the ε-operator in the BK definition of cardinal numbers. (shrink)

Cantor’s abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor’s proposal based upon the set theoretic framework of Bourbaki—called BK—which is a First-order set theory extended with Hilbert’s \-operator. Moreover, it is argued that the BK system and the \-operator provide a faithful reconstruction of Cantor’s insights on cardinal numbers. I will introduce first (...) the axiomatic setting of BK and the definition of cardinal numbers by means of the \-operator. Then, after presenting Cantor’s abstractionist theory, I will point out two assumptions concerning the definition of cardinal numbers that are deeply rooted in Cantor’s work. I will claim that these assumptions are supported as well by the BK definition of cardinal numbers, which will be compared to those of Zermelo–von Neumann and Frege–Russell. On the basis of these similarities, I will make use of the BK framework in meeting Frege’s objections to Cantor’s proposal. A key ingredient in the defence of Cantorian abstraction will be played by the role of representative sets, which are arbitrarily denoted by the \-operator in the BK definition of cardinal numbers. (shrink)

Capacities for abstract thinking and problem‐solving are central to human cognition. Processes of abstraction allow the transfer of experiences and knowledge between contexts helping us make informed decisions in new or changing contexts. While we are often inclined to relate such reasoning capacities to individual minds and brains, they may in fact be contingent on human‐specific modes of collaboration, dialogue, and shared attention. In an experimental study, we test the hypothesis that social interaction enhances cognitive processes of rule‐induction, which (...) in turn improves problem‐solving performance. Through three sessions of increasing complexity, individuals and groups were presented with a problem‐solving task requiring them to categorize a set of visual stimuli. To assess the character of participants’ problem representations, after each training session, they were presented with a transfer task involving stimuli that differed in appearance, but shared relations among features with the training set. Besides, we compared participants’ categorization behaviors to simulated agents relying on exemplar learning. We found that groups performed superior to individuals and agents in the training sessions and were more likely to correctly generalize their observations in the transfer phase, especially in the high complexity session, suggesting that groups more effectively induced underlying categorization rules from the stimuli than individuals and agents. Crucially, variation in performance among groups was predicted by semantic diversity in members’ dialogical contributions, suggesting a link between social interaction, cognitive diversity, and abstraction. (shrink)

On the one hand, the absence of contraction is a safeguard against the logical (property theoretic) paradoxes; but on the other hand, it also disables inductive and recursive definitions, in its most basic form the definition of the series of natural numbers, for instance. The reason for this is simply that the effectiveness of a recursion clause depends on its being available after application, something that is usually assured by contraction. This paper presents a way of overcoming this problem within (...) the framework of a logic based on inclusion and unrestricted abstraction, without any form of extensionality. (shrink)

dialectical frameworks have been proposed as a generalization of the abstract argumentation frameworks. The semantics of abstract dialectical frameworks is defined by identifying different...

ABSTRACT Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for defeasible argumentation. Arguments are expressed in a logic-programming language with both weak and strong negation, conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled. (...) The semantics of the system is given with a fixpoint definition, while its proof theory is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument: an argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks. (shrink)

The principle-based approach is a methodology to classify and analyse argumentation semantics. In this paper we classify seven of the main alternatives for argumentation semantics using a set of new robustness principles. These principles complement Baroni and Giacomin’s original classification and deal with the behaviour of a semantics when the argumentation framework changes due to the addition or removal of an attack between two arguments. We distinguish so-called persistence principles and monotonicity principles, where the former deal with the question of (...) whether a labelling or extension of an argumentation framework under a given semantics persists after a change, and the latter with the question of whether new labellings or extensions are created after a change. We furthermore show in which sense labelling-based and extension-based semantics lead to subtly different principles and results. Our results can be used for choosing a semantics for a particular application, or to guide the search for new argumentation semantics, but they have been used also in the design of algorithms. (shrink)

The goal of the present commentary is to show that past results on automatic numerical processing in different notations are consistent with the idea of an abstract numerical representation. This is done by reviewing the relevant studies and giving alternative explanations to the ones proposed in the target article.

Discovering the influences between paintings and artists is very important for automatic art analysis. Lately, this problem has gained more importance since research studies are looking into explanations about the origin and evolution of artistic styles, which is a related problem. This paper proposes to build a multiplex artwork representation based on artistic formal concepts to gain more understanding about the aforementioned problem. We complement and built our approach on the previous notion of Creativity Implication Network. We used the recently (...) proposed MultiRank algorithm to suggest possible explanations of the dynamic of some artistic styles. Our results corroborate some well-known facts about the artists analyzed and give qualitative and quantitative information that show the possibilities and strengths of the proposed framework. We plan to expand our analysis to include more abstract artworks. Ideally, we are going to be able to validate more our results and test how our methodology could be used to generate visual artifacts too. (shrink)

Abstract‘[T]he “mainstream” of global governance has changed course’ and in so doing, might well have ‘outrun the standard tools of critical, progressive, and reform-minded international lawyers’, Fleur Johns wrote in 2019. It is especially the critical tools of ‘appeals to history, context, language [and] the grassroots’ in response to universalist planning that Johns sees absorbed in the turn to prototyping as a new ‘style’ of governance. In this article, we take on this observation and explore how the ‘lean start-up (...) mentality’ that Johns described has taken hold of tech-based climate governance. We base our reflections on the ‘Tech for Our Planet’ challenge that took place over 2021 and was showcased at the UNFCCC COP26 in Glasgow. While a turn ‘from planning to prototypes’ is observable, we question how exactly this ‘change of course’ affects the high modernist style of global governance and its critique by international lawyers. The ‘digital solutions for climate challenges’ that were showcased in Glasgow are indeed based on localized experiments with data science, thereby seemingly overcoming high modernist impulses towards universalist ideals. Yet, these experimental prototypes are developed with the ambition of being replicable and scaled up, to become a stack of tools deployable in any given scenario. This form of scaling up neither breaks with modernist aspirations based on technologically-mediated replicability—of moving the same logic inscribed in code to different sites and contexts—nor with a modernist understanding of knowledge as universal in its application. In our analysis, the determining feature is then not so much a matter of planning or prototyping in ideal type forms, but of replicability of knowledge production and scalability of technological know-how that underpin both planning and prototyping. Prototyping in the start-up space does not depart from, but rather reinscribes, a modernist representation of the human subject that forces its epistemological lens onto a world of nonhuman objects amenable to governance. Critical international lawyers’ toolkits must therefore be reconfigured with a focus on a governance style of disembodied knowledge production that runs through both planning and prototyping. (shrink)

Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general dependency-relations and patterning between (...) functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology. (shrink)

Abstract: Background: In spite of the fact that computers continue to improve in speed and functions operation, they remain complex to use. Problems frequently happen, and it is hard to resolve or find solutions for them. This paper outlines the significance and feasibility of building a desktop PC problems diagnosis system. The system gathers problem symptoms from users’ desktops, rather than the user describes his/her problems to primary search engines. It automatically searches global databases of problem symptoms and solutions, (...) and also allows ordinary users to contribute exact problem reports in a structured manner. Objectives: The main goal of this Knowledge Based System is to get the suitable problem desktop PC symptoms and the correct way to solve the errors. Methods: In this paper the design of the proposed Knowledge Based System which was produced to help users of desktop PC in knowing many of the problems and error such as : Power supply problems, CPU errors, RAM dumping error, hard disk errors and bad sectors and suddenly restarting PC. The proposed Knowledge Based System presents an overview about desktop PC hardware errors are given, the cause of fault are outlined and the solution to the problems whenever possible is given out. CLIPS Knowledge Based System language was used for designing and implementing the proposed expert system. Results: The proposed PC desktop troubleshooting Knowledge Based System was evaluated by IT students and they were satisfied with its performance. (shrink)

1. Argumentation consists in reasoning with conflicting information based on the exchange and evaluation of interacting arguments. It can be used for modelling dialogue (persuasion, negotiation), d...

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)

The developing academic field of machine ethics seeks to make artificial agents safer as they become more pervasive throughout society. In contrast to computer ethics, machine ethics is concerned with the behavior of machines toward human users and other machines. This study aims to use an action-based ethical theory founded on the combinational aspects of deontological and teleological theories of ethics in the construction of an artificial moral agent (AMA).,The decision results derived by the AMA are acquired via fuzzy logic (...) interpretation of the relative values of the steady-state simulations of the corresponding rule-based fuzzy cognitive map (RBFCM).,Through the use of RBFCMs, the following paper illustrates the possibility of incorporating ethical components into machines, where latent semantic analysis (LSA) and RBFCMs can be used to model dynamic and complex situations, and to provide abilities in acquiring causal knowledge.,This approach is especially appropriate for data-poor and uncertain situations common in ethics. Nonetheless, to ensure that a machine with an ethical component can function autonomously in the world, research in artificial intelligence will need to further investigate the representation and determination of ethical principles, the incorporation of these ethical principles into a system’s decision procedure, ethical decision-making with incomplete and uncertain knowledge, the explanation for decisions made using ethical principles and the evaluation of systems that act based upon ethical principles.,To date, the conducted research has contributed to a theoretical foundation for machine ethics through exploration of the rationale and the feasibility of adding an ethical dimension to machines. Further, the constructed AMA illustrates the possibility of utilizing an action-based ethical theory that provides guidance in ethical decision-making according to the precepts of its respective duties. The use of LSA illustrates their powerful capabilities in understanding text and their potential application as information retrieval systems in AMAs. The use of cognitive maps provides an approach and a decision procedure for resolving conflicts between different duties.,This paper suggests that cognitive maps could be used in AMAs as tools for meta-analysis, where comparisons regarding multiple ethical principles and duties can be examined and considered. With cognitive mapping, complex and abstract variables that cannot easily be measured but are important to decision-making can be modeled. This approach is especially appropriate for data-poor and uncertain situations common in ethics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Medicine-Based Values?Åge Wifstad (bio)KeywordsEthics committees, judgment, common moralityToulmin's DiagnosisIn his classical article with the unforgettable title "How medicine saved the life of ethics" (Toulmin 1982), Stephen Toulmin claims that medicine saved ethics by giving the philosophers a positive reality check through medical challenges: (1) Ethics in medicine is a serious topic, not just something to discuss at seminars. If, for example, both A and B need treatment and (...) there are only enough resources for one, the fundamental interests of these two people compete against each other. (2) In clinical medicine, the individual case might demand a different approach than that suggested by theory. Similarly, an ethicist who is confronted by a diversity of medical cases becomes aware of the fact that solutions drawn from ethical theory can be irrelevant in practice. (3) The moral philosopher has often focused on the individual and his or her universal commitments. The fact that ethical dilemmas can have deep roots in practical challenges and must be understood within a certain context has been "forgotten." (4) In clinically relevant ethics, it is important to find solutions that all involved parties find reasonable. This revitalizes central Aristotelian schools of thought on, for example, ethical judgment and situational understanding.Today, there is a common understanding that in both the education of doctors and in the implementation of medical knowledge and technology there needs to be ethical guidelines and control. Toulmin wants us to see that the background for this agreement is multifaceted. It was not just the ethicists who saved the doctors. The doctors helped the ethicists to escape their academic isolation.Ethics CommitteesThe establishment of ethics committees is perhaps the most interesting example of this. Here it is especially clear how ethical judgment establishes a basis for decision making: Each case presented to an ethics committee is special because one cannot reference decisions made in similar cases. At the same time, we are expected to handle similar cases equally. Consideration of the concrete, individual case must be balanced with the principle of similar treatment. Second, as a committee member, one must interpret and respect ethical principles that cannot be easily defined. Every principle must be interpreted and implemented within a specific and concrete context. Third, one must consider the law, but seen isolated, the implications of relevant rules can be difficult to determine. Fourth, the status of principles and rules are open for interpretation. The most important example of this is the Declaration of Helsinki, which was established through cooperation between the worlds' doctors unions. The strength and end result of such a document can be discussed. Fifth, multiple but partly conflicting juridical and ethical considerations can be [End Page 179] relevant at the same time. An example: Decisions about confidentiality can prevent data gathering that is crucial in ensuring that a research project is scientifically acceptable. Two important ethical considerations are then put up against one another. As a sixth and final point, it can be mentioned that the ethics committee is expected to make a qualitative, scientific judgment. But what kind of quality judgment and how detailed it should be is up for discussion.Two Definitions of Ethical JudgmentThe fact that the committee must base their holistic decision on ethical judgment means that the committee, in an important sense of the word, stands freely: It can be difficult to refer to specific ethical rules or laws when making an external review of the committee's decision. Unless the committee has clearly not followed known principles and rules, then the committee is able to confront criticism by replying that the decision is based on holistic considerations, where many views have been taken into account. In this way, the usage of ethical judgment makes sure that the committee has freedom to act. The catch here is that the committee's responsibility becomes even more obvious. One cannot simply say that the decision is made based on rules and principles formulated by others, such as the state. The committee must, as a unit, be able to defend their decision.The complexity of the work of the committee can, however, make it more tempting to think about ethics in... (shrink)

Although Aristotle (Metaphysics, Book IV, Chapter 2) was perhaps the first person to consider the part-whole relationship to be a proper subject matter for philosophic inquiry, the Polish logician Stanislow Lesniewski [15] is generally given credit for the first formal treatment of the subject matter in his Mereology.1 Woodger [30] and Tarski [24] made use of a specific adaptation of Lesniewski's work as a basis for a formal theory of physical things and their parts. The term 'calculus of individuals' was (...) introduced by Leonard and Goodman [14] in their presentation of a system very similar to Tarski's adaptation of Lesniewski's Mereology. Contemporaneously with Lesniewski's development of his Mereology, Whitehead [27] and [28] was developing a theory of extensive abstraction based on the two-place predicate, 'x extends over y\ which is the converse of 'x is a part of y\ This system, according to Russell [22], was to have been the fourth volume of their Pήncipia Mathematica, the never-published volume on geometry. Both Lesniewski [15] and Tarski [25] have recognized the similarities between Whitehead's early work and Lesniewski's Mereology. Between the publication of Whitehead's early work and the publication of Process and Reality [29], Theodore de Laguna [7] published a suggestive alternative basis for Whitehead's theory. This led Whitehead, in Process and Reality, to publish a revised form of his theory based on the two-place predicate, 'x is extensionally connected with y\ It is the purpose of this paper to present a calculus of individuals based on this new Whiteheadian primitive predicate. (shrink)

The study of creative, diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the contribution of modeling practices to discovery and conceptual change in science requires expanding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic (...) ways of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model-based reasoning. The term "model" comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. Moreover, in the modeling process, various forms of abstraction are used. Evaluation and adaptation take place in light of structural, causal, and/or functional constraints. Model simulation can be used to produce new states and enable evaluation of behaviors and other factors. Several of the papers in this volume aim at increasing epistemological knowledge about the role of model-based reasoning in various scientific tasks, other papers address fundamental cognitive issues related to model-based reasoning and illustrate novel analyses of cognitive "logical" models of model-based reasoning and of the interplay abduction/model-based reasoning/creative inferences. The volume is based on the papers that were presented at the International Conference Model-Based Reasoning in Science and Engineering: Abduction, Visualization, Simulation, held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in December 2004. (shrink)

I problematize Grounding-based formulations of physicalism. More specifically, I argue, first, that motivations for adopting a Grounding-based formulation of physicalism are unsound; second, that a Grounding-based formulation lacks illuminating content, and that attempts to imbue Grounding with content by taking it to be a strict partial order are unuseful and problematic ; third, that conceptions of Grounding as constitutively connected to metaphysical explanation conflate metaphysics and epistemology, are ultimately either circular or self-undermining, and controversially assume that physical dependence is incompatible (...) with explanatory gaps; fourth, that in order to appropriately distinguish physicalism from strong emergentism, a Grounding-based formulation must introduce one and likely two primitives in addition to Grounding; and fifth, that understanding physical dependence in terms of Grounding gives rise to ‘spandrel’ questions, including, e.g., “What Grounds Grounding?”, which arise only due to the overly abstract nature of Grounding. (shrink)

A number of contemporary philosophers have pointed out that justice is not primarily an intellectual virtue, grounded in abstract, detached beliefs, but rather an emotional virtue, grounded in certain beliefs and desires that are compelling and deeply embedded in human nature. As a complex emotional virtue, justice seems to encompass, amongst other things, certain desert-based emotions that are developmentally and morally important for an understanding of justice. This article explores the philosophical reasons for the rising interest in desert-based emotions (...) and offers a conceptual overview of some common emotions of this sort having to do with the fortunes of others and of oneself, respectively. The article does not give a definitive answer to the question of whether those emotions really are virtuous, but aims at enriching our understanding of what kind of virtue they might possibly represent. (shrink)

Abstract:How might reading fiction allow a victim of the deadly sin of pride to escape? Your fictive imagination uses the transworld exemplification of performance props playing the somaesthetic role of your avatar, a character whom you are not simply acting or identifying with but "being." You avoid the epistemic glitch of a point of view from nowhere. You play the fictive role of your avatar either in the make-believe world of sport and art without time past or in the (...) rhetorical activity of communication learning about history in that fictional world complete with moral judgment and the judgment of taste. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Painting in Tongues:Faith-Based Languages of Formalist ArtKevin Z. Moore (bio)A philosophical problem is created by the incoherence between the earlier state and the later one.—Ian Hacking, Historical OntologyWhatever is happening to evidence-based treatment? When the facts contravene conventional wisdom, go with the anecdotes?—New York Times, "Science Times," February 14, 2006Cephalopods have a visual language that may be considered artful; humans have written and vocalized languages that are sometimes (...) artful; but it is doubtful that there is such a thing as a "language of art," particularly in the sense that twentieth-century formalists and their critics carelessly speak of one or many. Cephalopods flash color-forms on their hides to communicate intents and emotions, maybe even to project plans. They speak in tattooed tongues through neurologically embossed patterns and color field designs displayed on the skin. The large-eyed sea creatures communicate voicelessly in a visual language of pure color-forms, each species perhaps having its own dialect. Though not a full or official language by any means, their color-forms display the ideal that twentieth-century formalist artists sought to graphically realize (referential and conceptual immediacy, emotional coloring, communication via pure, that is, nonpictorial, form). Formalist inspired artists and their critic-expositors describe abstract pattern-painting as though it were a visual language equal to that of the cephalopod. Yet [End Page 40] although we can reasonably imagine cephalopods getting the correct message by observation, we cannot reasonably imagine observers getting any message at all, let alone the intended message, from abstractionist painting. This casts suspicion on the formalists' claims about visual language. Observers cannot and famously do not get anything "out" of formalist pattern paintings, though they do project quite a lot "into" them. The telling difference between octopus and artist? Cephalopods communicate visually—their survival depends on it. Formalists do not, though the survival and flourishing of their art depends upon the belief that they do.Notably, explanations of what exactly a formalist language of art is goes missing from accounts of sense and reference in the relevant literature, where we learn that this or that painting exhibits this or that language of art but never how this or that painting functions as a language of any sort. The "language of art" phrase, it seems, has the same force as mentioning truth or existence: it explains nothing. Talk of a language of art suggests merely that a painting exhibits a communicative intent; it does not explain how that intent is linguistically mediated. The phrase is ostensive and nominal, not descriptive and expository.Prior to the twentieth century there may have been some justification for this language since art was shaped by objective reference, identifiable codes (sign and symbol systems), and recognizable scenes (compositions) that made painting a language-like public media. Observers could see immediately or "read" paintings by observation as though they were reading a language. Images were shaped by observation; reference was fixed by convention. The formalist revolution in the late nineteenth and early twentieth centuries dismantled the public character of representation in painting. After the revolution, the new art that appeared was a sort of visual humpty-dumptyism, to invoke a language metaphor. Formalist imagery functioned the way words did for Mr. Carroll's Mr. Dumpty: they meant what the artist intended them to mean and not what observation or convention constrained them to mean. Reference and meaning were as arbitrary as the visual forms chosen to bear them. Once a communicative medium, painting became an expressive medium, the values of the latter superseding those of the former wholly or in part. Even when a formalist painting alluded to a conventional arrangement (a landscape or portrait, for example), the composition was as visually parodic of genre as Mr. Carroll's Jabberwocky was verbally parodic of narrative poetry, preserving syntax (form) but not the integrity of the formal agents of communication. Both are forms of nonsense, yet only one intentionally so.Styles of formalism do not facilitate the observation of intended reference; they are not effective forms of communication because they are not languages. If the basic function of a visual art is to communicate a specific... (shrink)

Automated Software Testing (AST) using Model Checking is in this article epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified behavioural properties. Models algorithmically checked in Model Checking to select executions to be observed in Software Testing are acknowledged as analogical models which establish isomorphic relations with the (...) target system’s data set. Analogical models developed in AST are presented as abductive models providing hypothetical explanations to observed executions. The model assumption—algorithmic check—software testing process is understood as the abduction—deduction—induction process defining the selective abduction and turned to isolate a set of model-based hypotheses concerning the target system behaviours. A manipulative abduction process is finally recognized in the practice of adapting, abstracting and refining models that do not provide successful predictions. (shrink)

ABSTRACT This article aims to elucidate a philosophical foundation of a post-labor paradigm through the transindividual technical-psychic-collective culture based on Gilbert Simondon and Bernard Stiegler. Simondon predicts that the problem of the alienation of labor due to mechanical industrialization can be overcome through the spread of post-industrial technical culture based on both technical mentality and information technology. In contrast, Stiegler claims that, along with information networks, hyper-industrialization rather than post-industrialization has arrived and that, in order to recover human values (...) in a machine empire devoid of caring, the strengthening of the ability for non-automation based on automaticity is necessary. However, Simondon’s technical culture beyond labor implies a posthumanistic vision in that it assumes the capacity of technology to mediate between the preindividual and the transindividual beyond technical instrumentalism, which is anthropocentric, and opens up transductive relationships among humans and non-humans. I will argue that Stiegler’s urgent proposal that seeks to save human life from the control of a techno-capital system, such as the reinvention of work transcending employment, must be concretized within the Simondonian posthumanistic project. RESUMO O objetivo deste artigo é elucidar a base filosófica do paradigma pós-laboral por meio da cultura técnica-psiquica-coletiva transindividual de Gilbert Simondon e Bernard Stiegler. Simondon prediz que o problema da alienação laboral surgido da industrialização mecânica pode ser vencido mediante a expansão da cultura técnica pós-industrial baseada tanto na mentalidade técnica quanto na tecnologia da informação. Em contraste, Stiegler afirma que, além das redes de informação, a hiper-industrialização se estabeleceu para além da pós-industrialização e que, para recuperar valores humanos em um império das máquinas sem carinho, é necessário o fortalecimento da capacidade de não automação baseada em automatismo. Entretanto, a cultura técnica além do trabalho de Simondon implica uma visão pós-humanista em que se presume a capacidade da tecnologia em mediar entre o pré-individual e o transindividual, que é antropocêntrico, e inaugura relações transdutivas entre humanos e não humanos. Defendo que a proposta urgente de Stiegler busca salvar a vida humana do controle de um sistema de tecno-capital, como a reinvenção do trabalho transcendendo o emprego deve ser concretizada dentro do projeto pós-humanista simondoniano. (shrink)

Abstract. This article argues that a primary, contemporary product of four moments in the history of faith-based social services has been a highly selective and inconsistent use of the notion of human rights by churches and church leaders. Churches still occasionally reference a communitarian sense of human rights and public good but now more commonly use the rhetoric of individual rights to contest specific political positions and social policies in the arena of the social service agencies these churches sponsor. (...) Changing church views of human nature are not sweeping changes, but small changes of degree that still have the power to powerfully reorient social relations. In this sense, churches that sponsor social services increasingly espouse a privatized, economic, and individualistic “Civil Society” in sharp contrast to communitarian notions of social citizenship that formerly better reflected churches’ operating ontology. (shrink)

Agent-based modeling has become a common and well-established tool in the social sciences and certain of the humanities. Here, we aim to provide an overview of the different modeling approaches in current use. Our discussion unfolds in two parts: we first classify different aspects of the model-building process and identify a number of characteristics shared by most agent-based models in the humanities and social sciences; then we map relevant differences between the various modeling approaches. We classify these into different dimensions (...) including the type of target systems addressed, the intended modeling goals, and the models’ degree of abstraction. Along the way, we provide reference to related debates in contemporary philosophy of science. (shrink)

This article considers Cohen’s claim that the economic structure or base can be conceived independently of the superstructure by adressing his attempt to identify “a rechtsfrei (moralitätsfrei, etc.) economic structure to explain law (morals, etc.)”. It examines his programme of presenting relations of production as a set of (non-normative) powers and constraints that ‘match’ the rights and obligations of property relations. It is argued that, first, Cohen does not carry through this programme rigorously but, second, he could not do so, (...) since it cannot be carried out at all. Three arguments are advanced, the first two against the possibility of a determinate ‘objective’ account of such powers and constraints, the third against the possibility of abstracting norms (constitutive and regulative, formal and informal) from contractual relationships: it is argued that one cannot identify the powers and constraints embodied in norm-governed economic relationships independently of the norms which govern them. Alternative interpretations are considered of Cohen’s programme that might escape these objections, but these are rejected as untrue to his purpose, and in any case ineffective. It is concluded that Cohen fails to distinguish base from superstructure in the manner required. (shrink)

ABSTRACT Many phenomena appear to be indeterminate, including material macro-object boundaries and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous accounts of metaphysical indeterminacy have typically taken this to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative account, MI involves its being determinate that an indeterminate state of affairs obtains. I more specifically suggest that MI involves an object's having a (...) determinable property, but not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in illuminating fashion, both ‘glutty’ and ‘gappy’ cases of MI, while satisfactorily treating concerns about MI stemming from Evans’ argument and the problem of the many. (shrink)

Abstract(1) There is enough contradictory evidence regarding the role of base rates in category learning to confirm the nonexistence of biases in such learning. (2) It is not always possible to activate statistical reasoning through frequentist representation. (3) It is necessary to use the concept of systematic processing in reconsidering the published work on biases.

Dissertation is the most important research genre for graduate students as they step into the academic community. The abstract found at the beginning of the dissertation is an essential part of the dissertation, serving to “sell” the study and impress the readers. Learning to compose a well-organized abstract to promote one's research is therefore an important skill for novice writers when they step into the academic community in their discipline. By comparing 112 dissertation abstracts in material science by (...) Chinese and American doctoral students, this study attempts to analyze not only the rhetorical moves of dissertation abstracts but also the lexical-grammatical features of stance in different abstract moves. The findings show that most of the abstracts include five moves, namely, Situating the research, Presenting the research, Describing the methodology, Summarizing the findings, and Discussing the research. However, fewer abstracts by Chinese students include all five moves. In addition, the choices of stance expressions by the two groups vary across the five abstract moves for different communication purposes. The results of this study have pedagogical implications for facilitating the development of academic writing skills for L2 writers. (shrink)

Weisberg (2006) and Godfrey-Smith (2006, 2009) distinguish between two forms of theorising: data-driven ‘abstract direct representation’ and modeling. The key difference is that when using a data-driven approach, theories are intended to represent specific phenomena, so directly represent them, while models may not be intended to represent anything, so represent targets indirectly, if at all. The aim here is to compare and analyse these practices, in order to outline an account of model-based theorising that involves direct representational relationships. This (...) is based on the way that computational templates Humphreys (2002, 2004) are now used in cognitive neuroscience, and draws on the dynamic and tentative process of any kind of theory construction, and the idea of partial, purpose-relative representation. (shrink)

Ever since Frege, propositions have played a central role in philosophy of language. Propositions are generally conceived as abstract objects that have truth conditions essentially and fulfill both the role of the meaning of sentences and of the objects or content of propositional attitudes. More recently, the abstract conception of propositions has given rise to serious dissatisfaction among a number of philosophers, who have instead proposed a conception of propositional content based on cognitive acts (Hanks, Moltmann, Soames). This (...) approach is not entirely new, though, but has important precedents in early analytic philosophy and phenomenology. The aim of this volume is bring together some of the most important texts from the relevant historical literature and new contributions from contemporary proponents of act-based conceptions of propositional content. (shrink)