Relative blindsight is said to occur when different levels of subjective awareness are obtained at equality of objective performance. Using metacontrast masking, Lau and Passingham reported relative blindsight in normal observers at the shorter of two stimulus-onset asynchronies between target and mask. Experiment 1 replicated the critical asymmetry in subjective awareness at equality of objective performance. We argue that this asymmetry cannot be regarded as evidence for relative blindsight because the observers’ responses were based on different attributes of the stimuli (...) at the two SOAs. With an invariant criterion content , there was no asymmetry in subjective awareness across the two SOAs even though objective performance was the same. Experiment 3 examined the effect of criterion level on estimates of relative blindsight. Collectively, the present results question whether metacontrast masking is a suitable paradigm for establishing relative blindsight. Implications for theories of consciousness are discussed. (shrink)

I show that the recent account of levels in neuroscience proposed by Craver and Bechtel is unsatisfactory since it fails to provide a plausible criterion for being at the same level and is incompatible with Craver and Bechtel’s account of downward causation. Furthermore, I argue that no distinct notion of levels is needed for analyzing explanations and causal issues in neuroscience: it is better to rely on more well-defined notions such as composition and scale. One outcome of this (...) is that apparent cases of downward causation can be analyzed away. (shrink)

Frege believes that the content of declarative sentences divides into a thought and its ‘colouring’, perhaps combined with assertoric force. He further thinks it is important to separate the thought from its colouring. To do this, a criterion which determines sameness of sense between sentences must be deployed. But Frege provides three criteria for this task, each of which adjudicate on different grounds. In this article, rather than expand on criticisms levelled at two of the criteria offered, the author (...) focuses on the most promising candidate. As it stands, this criterion has problems, but not insuperable ones. He suggests an adjusted criterion that relies on the epistemic notion of triviality. He recommends this criterion as both harmonious with Frege’s broader thought and preferable to alternatives offered. The moral is that Frege individuates thoughts by deploying an epistemic concept, and this is the only suitable way for him to do so. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose (...) an alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

The study aimed at identifying the intermediate role of the criterion of emphasis on students and beneficiaries in the relationship between adopting the criterion of partnership and resources and achieving the satisfaction of the society. The study used the analytical descriptive method. The study was conducted on university leadership in Al-Azhar, Islamic and Al-Aqsa Universities. The sample of the study consisted of (200) individuals, 182 of whom responded, and the questionnaire was used in collecting the data. The study (...) reached a number of results, the most important of which were: The level of adoption by the Palestinian universities of the criterion of partnership and resources came to a large extent. The level of adoption by the Palestinian universities of the criterion of emphasis on the beneficiary students was very high. The criterion of partnership and resources to achieve the satisfaction of the community surrounding the Palestinian universities, the existence of a statistically significant impact of the adoption of the criterion of partnership and resources to strengthen the focus on students benefiting in Palestinian universities, The focus on the students benefiting from the satisfaction of the community surrounding the Palestinian universities, the existence of a statistically significant impact on the adoption of the criterion of partnership and resources to achieve the satisfaction of the community surrounding the Palestinian universities, The study presented a number of recommendations, most important of which are: Increase interest in the resource and partnership criterion through enhancing the university's resources and developing internal and external partnerships to serve the university and the society. Increase the focus on students and beneficiaries by providing an appropriate educational environment and academic programs that meet the needs of the labor market. Through the strengthening of existing community service centers and the establishment of new community centers, strengthening the partnership of industrial companies and promoting scientific research for the benefit of universities and society. -/- . (shrink)

The purpose of this paper is to introduce a two level account of moral thinking that, unlike other accounts, does justice to three very plausible propositions that seem to form an inconsistent triad: (1) People can be morally virtuous without the aid of philosophy. (2) Morally virtuous people non-accidentally act for good reasons, and work out what it is that they ought to do on the basis of considering such reasons. (3) Philosophers engaged in the project of normative ethics (...) are not wasting their time when they search after highly general moral principles which could not be discovered or be justifiably accepted through non-philosophical thinking, and which specify the good reasons that virtuous people act on, as well as provide a criterion or criteria for determining what it is that people ought to do. (shrink)

In the social sciences, within the explanatory paradigm of structural individualism, a theory of action – like rational choice theory – models how individuals behave and interact at the micro level in order to explain macro observations as the aggregation of these individuals actions. A central epistemological issue is that such theoretical models are stuck in a dilemma between falsity of their basic assumptions and triviality of their explanation. On the one hand, models which have a great empirical success (...) often rest on unrealistic or even knowingly false assumptions; on the other hand, more complex models, with additional more realistic hypotheses, can (trivially) adapt to a wide range of situations and thus loose their explanatory power. Our purpose here is epistemological and consists in wondering to which extent demanding realistic assumptions in such cases is a relevant criterion with respect to the acceptance of a given explanatory model. Via an analogical reasoning with physics, we argue that this criterion seems too strong and actually irrelevant. General physical principles are not just idealized or unrealistic, they can also be formulated in many different yet equivalent ways which do not imply the same fundamental unobservable entities or phenomena. However, the classification of phenomena that such principles allow to highlight does not depend, at the end, on any particular formulation of these basic assumptions. This suggests that some hypotheses in theoretical models are actually not genuine empirical statements that could be independently tested but only substrates of modeling embodying a classification principle. Thus, we develop a structural invariance criterion that we then apply to rational choice models in the social sciences. We argue that this criterion allows to escape from the epistemological dilemma without condemning formal approaches like rational choice theory for their lack of realisticness nor being stuck to any antirealist viewpoint. (shrink)

Henri Bergson developed an extensive analysis of duration, which consists of the subjective perception of changing situations in a fluid and continuous perspective, distinct from the notion of chronological time. From this starting point, he defined consciousness by this criterion of temporal continuity, as accumulated memory. Jean Schneider presented a formalization of the self-referential characteristic of duration. In this paper, a parallel will be drawn between these models and the theory of self-reference from causal superposition. Some extensions of this (...) theory will be presented, especially an approach to the problem of experience, and a generalization of referential properties to other types of information perspectives. -/- . (shrink)

In this paper, I discuss the use of after-effects as a criterion for showing that we can perceive high-level properties. According to this criterion, if a high-level property is susceptible to after-effects, this suggests that the property can be perceived, rather than cognized. The defenders of the criterion claim that, since after-effects are also present for low-level, uncontroversially perceptual properties, we can safely infer that high-level after-effects are perceptual as well. The critics of (...) the criterion, on the other hand, assimilate it to superficially similar effects in cognition and argue that the after-effect criterion is a cognitive phenomenon rather than a perceptual one, and that as a result it is not a reliable guide for exploring the contents of perception. I argue against both of these views and show that high-level after-effects cannot be identified either with low-level after-effects or with cognitive biases. I suggest an intermediate position: high-level after-effects are not cognitive, but they are nonetheless not a good criterion for exploring the contents of perception. (shrink)

When developing phylogenetic systematics, the entomologist Willi Hennig adopted elements from Nicolai Hartmann’s ontology. In this historical essay I take on the task of documenting this adoption. I argue that in order to build a metaphysical foundation for phylogenetic systematics, Hennig adopted from Hartmann four main metaphysical theses. These are (1) that what is real is what is temporal; (2) that the criterion of individuality is to have duration; (3) that species are supra-individuals; and (4) that there are levels (...) of reality, each of which may be subject to different kinds of law. Reliance on Hartmann’s metaphysics allowed Hennig to ground some of the main theoretical principles of phylogenetic systematics, namely that the biological categories—from the semaphoront to the highest rank—have reality and individuality despite not being universals, and that they form a hierarchy of levels, each of which may require different kinds of explanation. Hartmann’s metaphysics thereby provided a philosophical justification for Hennig’s phylogenetic systematics, both as a theory and as a method of classification. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first- (...) class='Hi'>level function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

Kant famously made a distinction between actions from duty and actions in conformity with duty claiming that only the former are morally worthy. Kant’s argument in support of this thesis is taken to rest on the claim that only the motive of duty leads non-accidentally or reliably to moral actions. However, many critics of Kant have claimed that other motives such as sympathy and benevolence can also lead to moral actions reliably, and that Kant’s thesis is false. In addition, many (...) readers of Kant find the claim that we should deny moral worth to a dutiful action performed from friendly inclination highly counterintuitive. Moreover, Kantian commentators disagree about the status of actions in conformity with duty, some claim that these can be taken as equally morally worthy as those performed from duty, while others argue that they are not even permissible. -/- It has also been claimed that Kant’s theory of moral worth should be related to the theory of the Gesinnung developed in the Religion. Thus, some authors claim that, in order for an action to possess moral worth, the agent has to be unconditionally committed to morality, that is, the agent must possess a virtuous character or good fundamental maxim (i.e. a good Gesinnung). However, according to Kant’s radical evil thesis (that is, the thesis that man is evil by nature ), the default position for man is to possess an evil Gesinnung, i.e. a Gesinnung which is only conditionally committed to morality insofar as morality does not demand a great sacrifice of our own happiness. So, an unwelcome consequence of this line of interpretation is that in Kantian ethics morally worthy actions become very rare indeed. -/- The paper is divided in two parts. The first part aims to clarify why Kant thought that only actions from duty are morally worthy, replying to some common objections against Kant’s view. I argue that Kant’s non-accidental condition should not be understood in terms of reliability because such interpretation is incompatible with Kant’s theory of motivation and rational agency. I propose an alternative interpretation which supports Kant’ s claim that only the motive of duty leads nonaccidently to dutiful actions, and thus only actions from duty possess moral worth. I end by showing that although actions in conformity with duty are worthless from the moral point of view, they are not (in many cases) impermissible. The first part concludes that the criterion for the permissibility of actions is different to the criterion for the ascription of moral worth. Thus, rightness, which pertains to actions performed on maxims that can be willed as universal laws, and moral worth, which pertains to actions performed from a sense of duty, should be understood as two different levels of moral assessment. -/- The second part of the paper examines Kant’s conception of virtue with the aim of showing that although only agents with a virtuous character (good Gesinnung) will reliably act from duty, a person with an evil character (evil Gesinnung) could on frequent occasions act from duty. I argue that we should not deny moral worth to actions performed from duty even when the agent has an evil Gesinnung. Goodness of Gesinnung is not a necessary condition of the action of an agent possessing moral worth; reliability of motivation is necessary for the ascription of virtue but not for the ascription of moral worth. It follows that virtue, which refers to the agent’s character or fundamental maxim (i.e. the agent’s Gesinnung), and moral worth are also two different levels of moral assessment. The paper concludes that three levels of moral assessment can be distinguished in Kant’s ethical system: (i) rightness, (ii) moral worth and (iii) moral virtue. Moral virtue is the highest level of moral perfection for a human being. Striving towards virtue requires constant progress and effort and ultimately a ‘revolution of the heart.’ The important point is that even when we are still striving to achieve virtue (i.e. an unconditional commitment to morality), we can ascribe moral worth to actions performed by a genuine sense of duty. It turns out that, contrary to many influential interpretations, Kantian ethics is not merely concerned with the rightness or wrongness of particular actions nor is Kantian ethics primarily an ethic of virtue. Instead, Kant’s ethical system is complex and allows for different levels of moral assessment in which both an action-centred and agent-centred perspective can be integrated. (shrink)

The article presents the results of an interdisciplinary (psychological, behavioral, sociological, urban) survey of residents of elite residential complexes of Odessa regarding theirs urban infrastructure preferences, as well as the degree of satisfaction with their place of residence. It was found that respondents are characterized by a high level of satisfaction with their place of residence. It was also revealed that the security criterion of the district is the main one for choosing a place of residence, which indicates (...) the unmet townspeople need for the general safety of the urban environment. Based on the obtained empirical data, an analysis of significant factors affecting the urban infrastructure preferences of residents from the point of view of the systemic concept of the social ecology of the city is conducted. Obtained data viewed that living in high-rise (multi-storey) buildings correlates with a low level of satisfaction, while low-rise buildings positively correlate with such significant aspects as the view from the window, a small number of neighbors, proximity to the sea, and effective house management. Multivariate regression revealed a positive relationship with such infrastructure objects as shopping and entertainment centers, postal services, places of family leisure, etc., which indicates the dominance of the consumer strategy in the behavior of the city resident. The collected empirical material served as the base for identifying the behavioral trends of the townspeople and allowed to simulate a qualitative profile of the activity of everyday support and personal development. (shrink)

In seeking an answer to the question of what it means for a theory to be fundamental, it is enlightening to ask why the current best theories of physics are not generally believed to be fundamental. This reveals a set of conditions that a theory of physics must satisfy in order to be considered fundamental. Physics aspires to describe ever deeper levels of reality, which may be without end. Ultimately, at any stage we may not be able to tell whether (...) we've reached rock bottom, or even if there is a base level – nevertheless, I draft a checklist to help us identify when to stop digging, in the case where we may have reached a candidate for a final theory. Given that the list is – according to (current) mainstream belief in high-energy physics – complete, and each criterion well-motivated, I argue that a physical theory that satisfies all the criteria can be assumed to be fundamental in the absence of evidence to the contrary (i.e., I argue that the necessary conditions are jointly sufficient for a claim of fundamentality in physics). (shrink)

Bourrat and Griffiths :33, 2018) have recently argued that most of the evidence presented by holobiont defenders to support the thesis that holobionts are evolutionary individuals is not to the point and is not even adequate to discriminate multispecies evolutionary individuals from other multispecies assemblages that would not be considered evolutionary individuals by most holobiont defenders. They further argue that an adequate criterion to distinguish the two categories is fitness alignment, presenting the notion of fitness boundedness as a (...) class='Hi'>criterion that allows divorcing true multispecies evolutionary individuals from other multispecies assemblages and provides an adequate criterion to single out genuine evolutionary multispecies assemblages. A consequence of their criterion is that holobionts, as conventionally defined by hologenome defenders, are not evolutionary individuals except in very rare cases, and for very specific host-symbiont associations. This paper is a critical response to Bourrat and Griffiths’ arguments and a defence of the arguments presented by holobiont defenders. Drawing upon the case of the hologenomic basis of the evolution of sanguivory in vampire bats, I argue that Bourrat and Griffiths overlook some aspects of the biological nature of the microbiome that justifies the thesis that holobionts are evolutionarily different to other multispecies assemblages. I argue that the hologenome theory of evolution should not define the hologenome as a collection of genomes, but as the sum of the host genome plus some traits of the microbiome which together constitute an evolutionary individual, a conception I refer to as the stability of traits conception of the hologenome. Based on that conception I argue that the evidence presented by holobiont defenders is to the point, and supports the thesis that holobionts are evolutionary individuals. In this sense, the paper offers an account of the holobiont that aims to foster a dialogue between hologenome advocates and hologenome critics. (shrink)

Right- and wrong-making features ("moral grounds") are widely believed to play important normative roles, e.g. in morally apt or virtuous motivation. This paper argues that moral grounds have been systematically misidentified. Canonical statements of our moral theories tend to summarize, rather than directly state, the full range of moral grounds posited by the theory. Further work is required to "unpack" a theory's criterion of rightness and identify the features that are of ground-level moral significance. As a result, it (...) is not actually true that maximizing value is the relevant right-making feature even for maximizing consequentialists. Focusing on the simple example of utilitarianism, I show how careful attention to the ground level can drastically influence how we think about our moral theories. (shrink)

To fully respond to the demands of multiculturalism, a view of toleration would need to duly respect diversity both at the level of the application of principles of toleration and at the level of the justificatory foundations that a view of toleration may appeal to. The paper examines Rainer Forst’s post-Rawlsian, ‘reason-based’ attempt to provide a view of toleration that succeeds at these two levels and so allows us to tolerate tolerantly. His account turns on the view that (...) a constructivist requirement of generality and reciprocity provides a suitable criterion of toleration since a commitment to this requirement is part of what defines people as reasonable. But it is neither plausible nor coherent to build such a requirement into an idea of reasonableness from which an account of toleration starts. Thus, constructivism cannot provide a tolerant criterion of toleration, if such criterion, in order to overcome the ‘paradox’ of intolerant toleration, must escape reasonable disagreement. (shrink)

The representation and classification of the structure of natural arguments has been one of the most important aspects of Aristotelian and medieval dialectical and rhetorical theories. This traditional approach is represented nowadays in models of argumentation schemes. The purpose of this article is to show how arguments are characterized by a complex combination of two levels of abstraction, namely, semantic relations and types of reasoning, and to provide an effective and comprehensive classification system for this matrix of semantic and quasilogical (...) connections. To this purpose, we propose a dichotomous criterion of classification, transcending both levels of abstraction and representing not what an argument is but how it is understood and interpreted. The schemes are grouped according to an end-means criterion, which is strictly bound to the ontological structure of the conclusion and the premises. On this view, a scheme can be selected according to the intended or reconstructed purpose of an argument and the possible strategies that can be used to achieve it. (shrink)

The representation and classification of the structure of natural arguments has been one of the most important aspects of Aristotelian and medieval dialectical and rhetorical theories. This traditional approach is represented nowadays in models of argumentation schemes. The purpose of this article is to show how arguments are characterized by a complex combination of two levels of abstraction, namely, semantic relations and types of reasoning, and to provide an effective and comprehensive classification system for this matrix of semantic and quasilogical (...) connections. To this purpose, we propose a dichotomous criterion of classification, transcending both levels of abstraction and representing not what an argument is but how it is understood and interpreted. The schemes are grouped according to an end-means criterion, which is strictly bound to the ontological structure of the conclusion and the premises. On this view, a scheme can be selected according to the intended or reconstructed purpose of an argument and the possible strategies that can be used to achieve it. (shrink)

Explanations in behavioural neuroscience are often said to be mechanistic in the sense that they explain an organism’s behaviour by describing the activities and organisation of the organism’s parts that are “constitutively relevant” to organism behaviour. Much has been said about the constitutive relevance of working parts (in debates about the so-called “mutual manipulability criterion”), but relatively little has been said about the constitutive relevance of the organising relations between working parts. Some New Mechanists seem to endorse a simple (...) causal-linking account: organising relations are constitutively relevant to organism behaviour if and only if (and because) they are causal relations that link the working parts that are constitutively relevant to organism behaviour. In this paper, I argue that the causal-linking account is inadequate because it neglects the constitutive relevance of anatomical relations that organise the working parts of a behaving organism. I demonstrate this by considering a case study where the anatomical organisation of the barn owl (Tyto alba) is constitutively relevant to their mechanism for sound localization. The anatomical organisation of this mechanism is best understood as the back-and-forth flow of task information across 7 “levels of anatomy” (a notion that I distinguish from levels of mechanism). A further implication, I conclude, is that at least some of the interlevel structure of neuroscientific explanation is accounted for by levels of anatomy, not levels of mechanism. (shrink)

This dissertation is about human knowledge of reality. In particular, it argues that scientific knowledge is bounded by historically available instruments and theories; nevertheless, the use of several independent instruments and theories can provide access to the persistent potentialities of reality. The replicability of scientific observations and experiments allows us to obtain explorable evidence of robust entities and properties. The dissertation includes seven chapters. It also studies three cases – namely, Higgs bosons and hypothetical Ϝ-particles (section 2.4), the Ptolemaic and (...) Kepler model of the planets (section 6.7), and the special theory of relativity (chapter 7). -/- Chapter 1 is the introduction of the dissertation. Chapter 2 clarifies the notion of the real on the basis of two concepts: persistence and resistance. These concepts enable me to explain my ontological belief in the real potentialities of human-independent things and the implications of this view for the perceptual and epistemological levels of discussion. On the basis of the concept of “overlapping perspectives”, chapter 3 argues that entity realism and perspectivism are complementary. That is, an entity that manifests itself through several experimental/observational methods is something real, but our knowledge of its nature is perspectival. Critically studying the recent views of entity realism, chapter 4 extends the discussion of entity realism and provides a criterion for the reality of property tokens. Chapter 5, in contrast, develops the perspectival aspects of my view on the basis of the phenomenological-hermeneutical approaches to the philosophy of science. This chapter also elaborates my view of empirical evidence, as briefly expressed in sections 2.5 and 4.5. Chapter 6 concerns diachronic theoretical perspectives. It first explains my view of progress, according to which current perspectives are broader than past ones. Second, it argues that the successful explanations and predictions of abandoned theories can be accounted for from our currently acceptable perspectives. The case study of Ptolemaic astronomy supports the argument of this chapter. Chapter 7 serves as the conclusion of the dissertation by applying the central themes of the previous chapters to the case study of special relativity theory. I interpret frame-dependent properties, such as length and time duration, and the constancy of the speed of light according to realist perspectivism. (shrink)

A continuous objection to virtue ethics has been its alleged inadequacy in providing a distinctive account of right action and determinate action guidance. The virtue ethical criterion “An action is right if and only if it is what a virtuous agent would characteristically (i.e., acting in character) do in the circumstances,” has been claimed by some to give wrong results in some cases, and thus doomed to failure. However, I argue that the opponents who raise these objections overlook an (...) important distinction between “action assessment” and “action guidance” in virtue ethics. Once this distinction which is alien to other dominant moral theories is taken into consideration, I show that virtue ethics can supply a distinctive theory of right action and sufficient action guidance. Moreover, I will demonstrate that this distinction allows us to see that virtue ethics has some structural advantages that enable it to provide multiple guidance strategies to different agents with differential cognitive and moral developmental levels. Finally, I will argue that while theories that tell moral agents what to do by providing exact answers might affect moral agency in negative ways by frustrating the development of an integrated moral character, virtue ethics also avoids this effect. (shrink)

Objective. Study of the validity and reliability of the discourse approach for the psycholinguistic understanding of the nature, structure, and features of the linguistic consciousness functioning. -/- Materials & Methods. This paper analyzes artificial neural network models built on the corpus of texts, which were obtained in the process of experimental research of the coronavirus quarantine concept as a new category of linguistic consciousness. The methodology of feedforward artificial neural networks (multilayer perceptron) was used in order to assess the possibility (...) of predicting the leading texts semantics based on the discourses ranks and their place in the respective linear sequence. Same baseline parameters were used to predict respondents' self-assessments of changes in their psychological well-being and in daily life routine during the quarantine, as well as to predict their preferences of the quarantine strategies. The study relied on basic ideas about discourse as a meaning constituted by the dispersion of other meanings (Foucault). The same dispersion mechanism realizes itself in interdiscourse interaction, forming a discursive formation at a higher level. The method of T-units (Hunt) was used to identify and count discourses in the texts. The ranking of discourses was provided based on the criterion of their semantic-syntactic autonomy. -/- Results. The conducted neural network modeling revealed a high accuracy in predicting the work of the linguistic consciousness functions associated with retrospective self-assessment and anticipatory imagination of the respondents. Another result of this modeling is a partial confirmation of the assumption concerning existence a relationship between the structural parameters of the discursive field (the rank of the discourses and their place in the respective linear sequence) and the leading semantics of the text. -/- Conclusions. A discourse approach to the study of linguistic consciousness, understanding of its structure and functioning features seems to be reasonably appropriate. The implementation of the approach presupposes the need to form a base of linguistic corpora with the inclusion in each text markup of such parameters as: the presence of specific discourses, their ranks, positions in the linear sequence of discourses. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern for improvement of (...) mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

Drawing on Anscombe, in this essay I argue that we should not take Aristotle to be a moral philosopher, nor a virtue ethicist. This is because contemporary virtue ethics has little to do with Aristotelian ethics. While contemporary virtue ethics (or aretaic moral theory, as one may call it) operates on the level of moral and thus categorical norms, Aristotelian ethics—an aretaic life ethics—is primarily concerned with pragmatic norms. The main question for Aristotle is what a good general conduct (...) of life is. The major concern of aretaic moral theory, on the other hand, is to provide a criterion of morally right action and hence to define the concepts of the morally right, the impermissible and moral duty in aretaic terms. This shows that contemporary authors assume a primacy of virtue, while Aristotle assumes a primacy of eudaimonia. I illustrate this distinction by addressing the question of how the virtues benefit their possessor. (shrink)

Defeasible argumentation has been applied successfully in several real-world domains in which it is necessary to handle incomplete and contradictory information. In recent years, there have been interesting attempts to carry out argumentation processes supported by massive repositories developing argumentative reasoning applications. One of such efforts builds arguments by retrieving information from relational databases using the DBI-DeLP framework; this article presents eDBI-DeLP, which extends the original DBI-DeLP framework by providing two novel aspects which refine the interaction between DeLP programs and (...) relational databases. First, we expand the expressiveness of dbi-delp programs by providing ways of controlling how the information in databases is recovered; this is done by introducing filters that enable an improved fine-grained control on the argumentation processes which become useful in applications, providing the semantics and the implementation of such filters. Second, we introduce an argument comparison criterion which can be adjusted at the level of literals to model particular features such as credibility and topic expertise, among others. These new tools can be particularly useful in environments such as medical diagnosis expert systems, decision support systems, or recommender systems based on argumentation, where datasets are often provided in the form of relational databases. (shrink)

In the domain of medical science, factual evidence is usually considered as the criterion on which to base decisions and construct hypotheses. Evidence-based medicine is the translation of this approach into the field of patient care, and it means providing only the type of care that is based on evidence that proves its effectiveness and appropriateness. However, while the literature has focused on the types and force of evidence used to establish the recommendation and treatment guidelines, the problem of (...) how evidence is used in doctor–patient interactions to motivate, or refuse, treatment or habit change has been almost completely neglected. In this specific context, characterized by the epistemic unbalance between the interlocutors and a specific conversational goal, the scientific categories of evidence are often irrelevant. The goal of this paper is to address this challenge by analyzing the role evidence plays in doctor–patient interactions in diabetes care. After introducing an analytical distinction between the epistemic and the pragmatic aspect of evidence, we will propose a classification of the types and functions of evidence in chronic care communication, and illustrate its possible uses through its application to our corpus of diabetes-care consultations. From our qualitative analyses, it is possible to observe how in this communicative context a crucial role is played by the conflicts of evidence, in which providers correct patients’ uses of evidence leading them to using less defeasible levels of evidence. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, (...) assuming three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

In this paper a Knowledge-Based System (KBS) for determining the appropriate students major according to his/her preferences for sophomore student enrolled in the Faculty of Engineering and Information Technology in Al-Azhar University of Gaza was developed and tested. A set of predefined criterions that is taken into consideration before a sophomore student can select a major is outlined. Such criterion as high school score, score of subject such as Math I, Math II, Electrical Circuit I, and Electronics I taken (...) during the student freshman year, number of credits passed, student cumulative grade point average of freshman year, among others, were then used as input data to KBS. KBS was designed and developed using Simpler Level Five (SL5) Object expert system language. KBS was tested on three generation of sophomore students from the Faculty of Engineering and Information Technology of the Al-Azhar University, Gaza. The results of the evaluation show that the KBS is able to correctly determine the appropriate students major without errors. (shrink)

This paper concerns an ethics of our medieval tradition (in particular good, happiness, natural law and virtue) and tries to show how to recover it, facing the problems of pluralism, freedom and scientific approach in modern and contemporary age. The author points out: - The central role of the desire for good and happiness and for goods adequate or inadequate to the openness of desire (particularly of the human person). Today we speak of the meaning of life. - The role (...) of ethical virtues as the flowering of the first principles of natural law. - The principle of the entirety of the good (bonum ex integra causa) in order to judge the moral goodness of an action and as a criterion to compare different ethics in a pluralistic world. This is to distinguish between different levels of the human and moral good. - The principles of natural law as a result of the encounter between certain inclinations and practical rationality that recognizes them as normative. Nature and natural law are the conditions of freedom, not primarily a limit to it. - Now we must increase the role of freedom of choice – which is based on rationality – and the virtues as a way to freedom. It is essential to emphasize the value of personal risk and the fact that evil can serve the good. In general the author tries to face the challenges of deontology, utilitarianism and contemporary virtue ethics. -/- . (shrink)

Background: The World Health Organization has endorsed a community-based health insurance scheme (CBHIS) as a shared financing plan to improve access to health services and ensure universal coverage of the healthcare delivery system. Such a contributory scheme is the most likely option to provide health insurance coverage when governments cannot offer direct health care support. Despite improvements in access to current healthcare services, Ethiopia’s healthcare delivery remained low, owing to the country’s underdeveloped healthcare finance system. As a result, the present (...) study assessed CBHIS coverage and its predictors in Ethiopia at the individual and community level. Methods: The availability of CBHIS was checked via a criterion: at least one of the cluster respondents had to be enrolled in CBHIS. This study was based on secondary data from the Ethiopia Mini Demography and Health Survey (EMDHS) 2019 and included 7724 respondents. The study population was described using percentage and frequency. Four multilevel mixed-effects logistic regression modelling stages were performed to control for variations due to heterogeneity across clusters, and determinant predictors of CBHIS enrollment were outplayed. Results: The prevalence of CBHIS enrollment in Ethiopia was 33.13%. Rural residents were 3.218 times (AOR = 3.218; 95% CI: 1.521, 6.809), male household heads were 1.574 times (AOR = 1.574, 95% CI: 1.105, 2.241), getting funds from the safety net program were times 2.062 (AOR = 2.062, 95% CI: 1.297, 3.279), attending the primary educational level was 1.686 times (AOR = 1.686, 95% CI: 1.007, 2.821), bank accounts were 1.373 times (AOR = 1.373, 95% CI: 1.052, 1.792), and wealth index was 1.356 times (AOR = 1.356, 95% CI: 1.001, 1.838) more likely associated with CBHIS coverage, whereas the regions, the other religions, and women aged 20– 24 had lower odds of CBHIS coverage. Conclusion: In Ethiopia, regional healthcare expenditure per capital, religious affiliation, women age range, residents, sex of household head, funds from the safety net program, formal educational level, and having bank accounts were associated with community-based health insurance scheme coverage. (shrink)

The relations between life and cogntion have been addressed through different perspectives [Stewart 1996, Boden 2001, Bourgine and Stewart 2004, van Duijn & all 2006, Di Paolo 2009]. We would like here to address that subject by relating life to cognition through a process of meaning generation. Life emerged on earth as a far from thermodynamic equilibrium performance that had to maintain herself. Life is charactertized by a ‘stay alive’ constraint that has to be satisfied (such constraint can be included (...) in the constraint of being able to maintain far from equilibrium thermodynamic conditions [Bickhard 2011]). The local ‘stay alive‘ constraint has to be satisfied in an environment containing elements potentially supportive or harmfull. A key activity for the living entity is to characterize these elements in terms of meaningfulness relatively to the ‘stay alive’ constraint. This process can be modeled with an existing tool where a system submitted to an internal constraint generates meaningful information characterizing elements of the environment: the Meaning Generator System (MGS) [Menant, 2003, 2014 a]. In a few words: when a system submitted to an internal constraint receives from the environment an information that has a connection with the constraint it generates a meaning usable for the implementation of an action satisfying the constraint.The generated meaning is the connection existing between the received information and the constraint. The MGS models this process and interfaces to the action implementation for constraint satisfaction The meaning is generated by and for the system. The MGS grounds meaning generation in constraint satisfaction and links the living entity to her environment in a relational process. A simple example is with a paramecium close to a drop of acid. The paramecium which is submitted to a ‘stay alive’ constraint will move away from the acid area. The received information ‘presence of acid’ generates the meaning ‘acid not compatible with the ‘stay alive’ constraint‘ which triggers the moving away action (that example is close to Varela’s bacteria swimming up a sugar gradient. What the MGS brings in addition is a modeling of the significance of the chemical gradient for the organism). The action implemented to satisfy the constraint modifies the environment and the received information, establishing an interactive process linking the living entity to her environment. During its evolution animal life has elaborated new constraints (like ‘live group life’) and new functions enriching meaning generation and action scenarios. As a result the build up of meaningful representations has improved the constraint satisfaction processes of animals, embedding them in their environments in relational and interactive terms [Menant, 2011]. Cognition can be defined by proposing that ‘a system is cognitive if and only if sensory inputs serve to trigger actions in a specific way, so as to satisfy a viability constraint’ [Bourgine, Stewart 2004]. Cognition can also be considered as exemplifying a ‘vital criterion of responsiveness’ [Boden, 2001 ]. Consequently the MGS can be positioned as an elementary and generic version of animal cognition. For animal life, meaning generation for internal constraint satisfaction links life and cognition in a relational and interactive process. Cognition for human life is more complex as new performances have to be taken into account like self-consciousness and free-will. Meaning generation at human level is a challenging subject as human constraints are not clearly understood [Menant, 2011]. Many research activities are in process looking for some understanding of human mind [Philpapers]. One area of investigation is an evolutionary approach to self-consciousness using meaning generation where anxiety limitation comes up as a generic human constraint [Menant, 2014 b]. Assuming that we can have clear enough an understanding of some human constraints, we can look at the MGS for partly extending to humans the link between life and cognition that has been established for animals. So overall, we can consider that the MGS approach makes available an evolutionary link between life and cognition for animals, and partly for humans. A characteristic of the proposed system approach to meaning generation is the possibility to use it for any type of agent, be it organic (with intrinsic constraints ) or artificial (with derived constraints). Such characterization of agents through meaning generation can be used to discriminate artificial itelligence from human intelligence (see the MGS usage to support Searle’s chinese room argument [Menant, 2013]). On a more general basis, the proposed system approach can positions the MGS as a simple model for an internal source of normativity. It’s usage as a simple building block allows a bottom-up modeling for normativity in the sensorimotor approach. The ‘stay alive’ constraint could also be taken as a starting point for an evolutionary grounding of sensorimotor norms ‘in the biological normativity of the agent as a whole’ [Di Paolo & all 2014]. The proposed presentation will develop the points summarized here above and position them relatively to the autopoietic and enactive approaches. Several possible continuations will also be highlighted. (shrink)

This paper adopts the philosophical approach of Stoicism as the basis for re-examining the cognitive and ethical relationship between Homo sapiens and Neanderthals. Stoicism sets out a clear criterion for the special moral status of human beings, namely rationality. We explore to what extent Neanderthals were sufficiently rational to be considered “human”. Recent findings in the fields of palaeoanthropology and palaeogenetics show that Neanderthals possessed high-level cognitive abilities and produced viable offspring with anatomically modern humans. Our discussion offers (...) insights for reflecting on the relationship between humans and other forms of natural life and any moral obligations that result. (shrink)

The question of what ontological insights can be gained from the knowledge of physics (keyword: ontic structural realism) cannot obviously be separated from the view of physics as a science from an epistemological perspective. This is also visible in the debate about 'scientific realism'. This debate makes it evident, in the form of the importance of perception as a criterion for the assertion of existence in relation to the 'theoretical entities' of physics, that epistemology itself is 'ontologically laden'. This (...) is in the form of the assumption that things (or entities) in themselves exist as such and such determined ones (independent of cognition, autonomously). This ontological assumption is not only the basis of our naïve understanding of cognition, but also its indispensable premise, insofar as this understanding is a fundamentally passive, 'receptive' one. Accordingly, just as 'perception' is the foundation, ('objective') description is the aim of cognition, that which cognition is about. In this sense, our idea of cognition and our idea of the things are inseparably linked. Without the ontological premise mentioned we just would not know what cognition is, but it is basically just a kind of image that we have in our minds (an assumption that helps us understand 'cognition'). Epistemology not only shares this basic assumption (which it also shares with metaphysics), but it revolves (unlike metaphysics) entirely around it by making the idea and demand of 'certainty' a condition of 'real' knowledge. As 'certainty' is a subjective criterion this entails the 'remodelling' of the real, holistic cognitive situation (to which metaphysics adheres) into a linear subject-object-relation (which results in the strict 'transcendence' of the objects). And it also establishes, due to its 'expertise' in matters of cognition, the 'primacy of epistemology' over all other sciences. Now, on closer inspection, however, the expertise of epistemology seems not all that dependable, because it basically consists only of paradigms which, from the point of view of the holism of the real cognitive situation itself, are nothing more than relatively simplistic interpretations of this situation. However, we do not yet know what another conception of cognition might look like (which is not surprising given the high rank of the phenomenon of cognition in the hierarchy of phenomena according to their complexity). 'Certainty' as a criterion of cognition is thus excluded from the outset, and thus the linear relational model of cognition appears as what it is, a gross distortion of the real, holistic cognitive situation. The significance of this argumentation with regard to physics is that the linear epistemological model of cognition itself is a major obstacle to an adequate epistemological understanding of physics. This is because it is fixed 'a priori' to an object-related concept of cognition, and to 'description' as the only mode of ('real') cognition. But physics (without questioning our naïve notion of cognition on the level of epistemology) simply works past it and its basic assumptions. Its cognitive concept (alias heuristic) is fundamentally different from that of metaphysics. The acceptance of the real, holistic cognitive situation is, in my opinion, the condition for an adequate understanding of physics' heuristic access to objects, its transcendental, generalizing cognitive concept, as well as its ontological relevance and dimension of its own. (shrink)

This paper presents REAL, a Real-Valued Attribute Classification Tree Learning Algorithm. Several of the algorithm's unique features are explained by úe users' demands for a decision support tool to be used for evaluating financial operations strategies. Compared to competing algorithms, in our applications, REAL presents maj or advantages : (1) The REAL classification trees usually have smaller error rates. (2) A single conviction (or trust) measure at each leaf is more convenient than the traditional (probability, confidence-level) pair. (3) No (...) need for an external pruning criterion. (shrink)

Application of the reliability of repairable systems on solving problems from constructing production systems takes an important place in the process of finding the optimal solution among the suggested system choices. The basic hypothesis when using the reliability of the repairable systems is that every machine is representing a component, a fact that is debatable when talking about technical sciences. However, considering the second assumption of the stationary process, the function of the availability is introduced. It represents the measure between (...) the reliability and the benefit of maintaining the components and the system as a whole one. An additional and the last reason for analyzing constructing machine as a whole one has an economic reason. From the aspect of the total cost and the capacity of the system, the function of the availability is catching more and more impact in the process of determinating the total cost in bill of quantities as the most important part of tender documents. Until former works, techno-economic optimisation usually ran over when choosing the system of the construction machines. In the work, there are shown the methodologies for gathering and analyzing the indicators of availabilities per unit of a company's machine park. The time of demission and reparation have been investigated among 34 components in the period of 6 years. Based on the obtained result for different conditions of machine exploitation and facilities, it is suggested the methodology of the future behaviour of the corresponding within the model optimization availability of constructing production system with the aim of eliminating extra criterion. The suggested model takes in consideration the total cost of the components when they are functional, and when they are not. This kind of approach enables the one who take choices decision of the height of profits, in the lenght of work in function of the projection of cash flow and managing with real indicators of functioning the system at the project level. Given the fact that the maintanance policy of machines is based on availability, and not on reliability of components, with the aim of maximizing the availability of different budget scenarios, a logical approach to the selection of the objective function in the terms of management of construction production systems is to minimize costs for a given availability of system constructing machinery is based on the use of historical data base with the values of the operational availability of components, conditions in which they function, in the process of forecasting the project availability for projects that follow. Ranking variant solutions is the result of the adopted function of the aim as a consequence due to enlargement methods of availability for serial parallel systems with the associated restrictions. For optimal system availability is taken a value that belongs to minimal total cost. However, it is predicted that after the end of the financial year, the real and projected indicators of system functions get compared to each other. Informational support to the proposed model is informational company system, which was built in the PHP programming language on the Linux software platform, and with data based in My SQL. The suggested model is tested on the system for the production and embedding bitumen bound materials on the specific project. Obtained results confirm the assumptions used in work. (shrink)

In the last few decades psychologists have gained a clearer picture of the notion of happiness and a more sophisticated account of its explanation. Their research has serious consequences for any ethic based on the maximization of happiness, especially John Stuart Mill’s classical eudaimonistic utilitarianism. In the most general terms, the research indicates that a congenital basis for homeostatic levels of happiness in populations, the hedonic treadmill effect, and other personality factors, contribute to maintain a satisfactory level of happiness (...) over the long run for a large percentage of any population, and relatively independently of the circumstances of the population. Consequently, although there are certainly ethical reasons to address the conditions of persons and populations, it is of marginal value to base such decisions on improvements in their levels of happiness. The happiness of others is not a sensible criterion for ethical decision-making. (shrink)

Introduction: There is a general agreement among previous studies that gender, merit and catchment area criteria allows for access to university education, but the pattern of these variables over the years has not been proven in these studies. Purpose: This study used a times series approach to evaluate the enrolment patterns in federally owned universities in South-South Zone, Nigeria, based on the gender, merit and catchment area criteria. Methodology: The descriptive survey design was adopted for this study. A purposive sampling (...) technique was adopted to choose three universities based on the generation of their establishment. The evaluation covered from 2010 to 2019 using stationary time-bound data collected from the academic planning units of the institutions through a checklist. Future enrolment forecasts were made to 2031 using the moving average forecasting technique. Results: A gender-based difference in enrolment, in favour of males was recorded between 2010 and 2019; there were notable fluctuations in the enrolment pattern based on the merit criterion from 2010 to 2019; the enrolment pattern in terms of the catchment area criterion was consistent from 2010 – 2019. In terms of the projection, it was predicted that enrolment at the aggregate level would rise continuously across federal universities, but not at the institutional level. more women than men are expected to be enrolled in academic programmes at federal institutions, while at the institutional level, gender-based enrolment can fluctuate. Recommendations/Classroom Implications: Based on these findings, implications are discussed for future enrolment decisions at both the institutional and national levels. (shrink)

The methodology of scientific research programmes is a collection of papers published over time expressing a radical review of Popper's demarcation criterion between science and non-science, leading to a new theory of scientific rationality. Volume I address aspects of the philosophy of science, and volume II contains works on the philosophy of mathematics. For a science historian, the reconstruction proposed by Lakatos is attractive and explains the evolution of science to a level that has not been achieved before. (...) The basic evaluation unit proposed by Lakatos is the research programme, and especially the dynamics of these programmes. DOI: 10.13140/RG.2.2.31605.01767. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

It is common in contemporary metaphysics to distinguish two levels of ontology: the ontology of ordinary objects and the ontology of fundamental reality. This papers argues that natural language reflects not only the ontology of ordinary objects, but also a language-driven ontology, which is involved in the mass-count distinction and part-structure-sensitive semantic selection, as well as perhaps the light ontology of pleonastic entities. The paper recasts my older theory of situated part structures without situations, making use of a primitive notion (...) of unity. (shrink)

Physicists routinely claim that the fundamental laws of physics are 'time symmetric' or 'time reversal invariant' or 'reversible'. In particular, it is claimed that the theory of quantum mechanics is time symmetric. But it is shown in this paper that the orthodox analysis suffers from a fatal conceptual error, because the logical criterion for judging the time symmetry of probabilistic theories has been incorrectly formulated. The correct criterion requires symmetry between future-directed laws and past-directed laws. This criterion (...) is formulated and proved in detail. The orthodox claim that quantum mechanics is reversible is re-evaluated. The property demonstrated in the orthodox analysis is shown to be quite distinct from time reversal invariance. The view of Satosi Watanabe that quantum mechanics is time asymmetric is verified, as well as his view that this feature does not merely show a de facto or 'contingent' asymmetry, as commonly supposed, but implies a genuine failure of time reversal invariance of the laws of quantum mechanics. The laws of quantum mechanics would be incompatible with a time-reversed version of our universe. (shrink)

What is the correct procedure for determining the contents of perception? Philosophers tackling this question increasingly rely on empirically-oriented procedures in order to reach an answer. I argue that this constitutes an improvement over the armchair methodology constitutive of phenomenal contrast cases, but that there is a crucial respect in which current empirical procedures remain limited: they are unimodal in nature, wrongly treating the senses as isolatable faculties. I thus have two aims: first, to motivate a reorientation of the admissible (...) contents debate into a multimodal framework, charting its various significances. The second is to explore whether any experimental studies of multimodal perception support a so-called Liberal (or ‘high-level’ or ‘rich’) account of perception’s admissible contents. I conclude that the McGurk effect and the ventriloquist effect are both explicable without the postulation of high-level content, but that at least one multimodal experimental paradigm may necessitate such content: the rubber hand illusion. One upshot of this argument is that Conservatives who claim that the Liberal view intolerably broadens the scope of perceptual illusions, particularly from the perspective of perceptual psychology, should pursue other arguments against that view. (shrink)

Negative subjective reports such as “I didn’t see the stimulus” can be interpreted as indicating either that the subject didn’t see the stimulus, or as indicating that, while the subject did see the stimulus, the strength of sensory signals associated with the stimulus fell below a conservative criterion for answering “seen”. Determining which of these two interpretations is correct is the criterion problem. I present two ways in which researchers can solve this problem. But there’s more. What I (...) call the “new criterion problem” consists in determining whether criteria effects reflect perceptual changes, or changes in response strategy. Through case studies, I argue that this new version of the problem can be solved as well, although there is currently no systematic way to solve it. I conclude that criterion problems do not constitute good reasons for skepticism about the scientific study of consciousness. (shrink)

The idea of levels of organization plays a central role in the philosophy of the life sciences. In this article, I first examine the explanatory goals that have motivated accounts of levels of organization. I then show that the most state-of-the-art and scientifically plausible account of levels of organization, the account of levels of mechanism proposed by Bechtel and Craver, is fundamentally problematic. Finally, I argue that the explanatory goals can be reached by adopting a deflationary approach, where levels of (...) organization give way to more well-defined and fundamental notions, such as scale and composition. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at the bottom? (...) And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher-level descriptions reducible to lower-level ones? (4) Can the relationship between normative and non-normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and (...) a natural extension of BLT is definitionally equivalent with ZF. (shrink)

The interventionist account of causal explanation, in the version presented by Jim Woodward, has been recently claimed capable of buttressing the widely felt—though poorly understood—hunch that high-level, relatively abstract explanations, of the sort provided by sciences like biology, psychology and economics, are in some cases explanatorily optimal. It is the aim of this paper to show that this is mistaken. Due to a lack of effective constraints on the causal variables at the heart of the interventionist causal-explanatory scheme, as (...) presently formulated it is either unable to prefer high-level explanations to low, or systematically overshoots, recommending explanations at so high of a level as to be virtually vacuous. (shrink)

Within physics there are two ways of establishing the relative fundamentality of one theory compared to another, via two senses of reduction: "inter-level" and "intra-level" (Crowther, 2018). The former is standardly recognised as roughly correlating with the chain of ontological dependence (i.e., the phenomena described by theories of macro-physics are typically supposed to be ontologically dependent on the entities/behaviour described by theories of micro-physics), and thus has been of interest to naturalised metaphysics. The latter, though, has not been (...) considered interesting for metaphysics, because it is not thought to correlate either with ontological dependence, nor causal or dynamical dependence. I argue, however, that this is a mistake, and that actually, the intra-level relation does reflect ontological dependence (in the same sense as the inter-level relation) and thus should not be neglected by metaphysics of physics. This argument further supports the assertion that the same notion of fundamentality underlies both the inter- and intra-level claims of fundamentality in physics, and that this notion of relative fundamentality in physics correlates with that of metaphysics. (shrink)