Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, I (...) address two criticisms that have been raised in Tatton-Brown against our approach: that it leads to a form of relativism according to which validity is equated with social agreement and that it implies an antiformalizability thesis according to which it is not the case that all rigorous mathematical proofs can be formalized. I reject both criticisms and suggest that our previous case studies provide insight into the plausibility of two related but quite different theses. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather (...) a metamathematical axiom about the relation of mathematics and reality. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception of (...) rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

No livro I da Ethica Eudemia, Aristóteles dedica um capítulo a considerações acerca de seu método. No entanto, analisando passagens de outros tratados do autor, é possível concluir que há algo comum que perpassa as diversas considerações acerca de seu método, a saber: que o ponto de partida de toda investigação é dado pelo que é mais cognoscível a nós, e todo o procedimento de investigação visa chegar ao que é mais cognoscível em si mesmo – o conhecimento estrito do (...) objeto, que inclui compreender suas causas. O objetivo deste trabalho é tentar compreender como esse procedimento acontece na investigação moral, que opera no âmbito do discurso e, portanto, das definições. Para isso, pretendemos analisar como acontece a passagem da análise do que é dado na experiência em direção ao conhecimento de suas causas, que é próprio de outros tratados aristotélicos, para a análise das opiniões vagas e imprecisas em direção às definições estritas com as quais a Ethica Eudemia pretende operar. (shrink)

Since philosophy is a notoriously difficult subject, one may think that the concept of adding rigor to a philosophy course is misguided. Isn’t reading difficult texts by Immanuel Kant or Friedrich Nietzsche enough to categorize a class as academically rigorous? This question is based on the misguided assumption that academic rigor has only to do with course content. While course content is a component of academic rigor, other aspects such as higher-order thinking, as well as how an instructor designs and (...) grades assignments, contribute to the level of academic rigor in a course. The author provides several ways to increase the level of academic rigor in a philosophy course based upon Bloom’s Taxonomy using examples from an introductory ethics course and then provides recommendations as to how to grade to promote academic rigor. (shrink)

In this paper I intend to grapple with the idea of philosophy as rigorous science from the point of view of Husserl‟s phenomenology in order to show that this idea may have an important contribution to the way in which the scientific character of sciences in general, and of human and social sciences in particular, is being conceived. As rigorous science, phenomenology emphasizes and investigates the a priori context of other sciences. In this way, it plays a vital role in (...) the development of every particular eidetic upon which any sciences rely. This eidetic (or the eidetic layer of any mature science) embraces the goal and strives to reach the objective of determining the valid sense of the fundamental notions used by the scientist in his research, without, nevertheless, stirring a radical questioning of this sense and of the ultimate validity of these notions. To define them requires passing from the usual level of inquiring of that particular science (the processes of dealing with facts and experiments) to the level (or meta-level) of a radical reflection on the sense or the meaning of the basic notions of the science in question (its own foundations). Philosophy as rigorous science connects the researcher´s assertions not only to the empirical state of affairs envisaged by his work, but, moreover and in a fundamental way, to their noematic content, to their intrinsic intentional meaning. Therefore, the idea of rigorous science elaborated in Husserl‟s phenomenology is heavy with the potential of clarifying the foundations and stakes of the research undertaken by the other sciences. (shrink)

Husserl (a mathematician by education) remained a few famous and notable philosophical “slogans” along with his innovative doctrine of phenomenology directed to transcend “reality” in a more general essence underlying both “body” and “mind” (after Descartes) and called sometimes “ontology” (terminologically following his notorious assistant Heidegger). Then, Husserl’s tradition can be tracked as an idea for philosophy to be reinterpreted in a way to be both generalized and mathenatizable in the final analysis. The paper offers a pattern borrowed from the (...) theory of information and quantum information (therefore relating philosophy to both mathematics and physics) to formalize logically a few key concepts of Husserl’s phenomenology such as “epoché” “eidetic, phenomenological, and transcendental reductions” as well as the identification of “phenomenological, transcendental, and psychological reductions” in a way allowing for that identification to be continued to “eidetic reduction” (and thus to mathematics). The approach is tested by an independent and earlier idea of Husserl, “logical arithmetic” (parallelly implemented in mathematics by Whitehead and Russell’s Principia) as what “Hilbert arithmetic” generalizing Peano arithmetics is interpreted. A basic conclusion states for the unification of philosophy, mathematics, and physics in their foundations and fundamentals to be the Husserl tradition both tracked to its origin (in the being itself after Heidegger or after Husserl’s “zu Sache selbst”) and embodied in the development of human cognition in the third millennium. (shrink)

Latin American rigorous thought has consisted of a reconstruction of western rigorous thought. This inflexion is not only limited to literary practice, it also, and most importantly, reaches all sciences, and here visibly touches the social sciences. As such, the relation between literature and t..

The hard problem of consciousness is generally approached from the distinct avenues of materialism, dualism or monism. We will examine the structure that is at the core of all matter that exists in the universe. This dynamic, mathematical description of the specific type of field oscillation that generates all particles that have any tactile substance to them amazingly seems to be a physical manifestation of the most fundamental aspects of the experience of being a conscious agent. By adopting this novel (...) description of consciousness where there is a quantum of potential for consciousness intrinsic to all matter particles, the distinctions between materialism, dualism and monism become an arbitrary matter of how this mechanism is described rather than distinct ideologies, competing against one another in a winner-take-all race to the bottom of consciousness. (shrink)

Some physicians, in their care of patients at risk of misusing opioids, use machine learning (ML)-based prediction drug monitoring programmes (PDMPs) to guide their decision making in the prescription of opioids. This can cause a conflict: a PDMP Score can indicate a patient is at a high risk of opioid abuse while a patient expressly reports oppositely. The prescriber is then left to balance the credibility and trust of the patient with the PDMP Score. Pozzi1 argues that a prescriber who (...) downgrades the credibility of a patient’s testimony based on a low PDMP Score is epistemically and morally unjustified and contributes to a form of testimonial injustice. This results in patients being silenced, excluded from decision-making processes and subjected to structural injustices. Additionally, the use of ML systems in medical practices raises concerns about perpetuating existing inequalities, overestimating their capabilities and displacing human authority. However, almost the very same critiques apply to human-based systems. Formalisation, ML systems included, should instead be viewed positively,2 and precisely as a powerful means to begin eroding these and other problems in ethically sensitive domains. In this case, the epistemic virtues of formalisation include promoting transparency, consistency and replicability in decision making. Rigorous ML systems can also help ensure that models …. (shrink)

Abstract: Brentano’s conception of scientific philosophy had a strong influence on his students and on the intellectual atmosphere of Vienna in the late nineteenth century. The aim of this article is to expose Brentano’s conception and to contrast his views with that of two traditions he is said to have considerably influenced: phenomenology and analytic philosophy. I will shed light on the question of how and to what extent Brentano’s conception of philosophy as a rigorous science has had an impact (...) on these two traditions. The discussion will show that both took their liberties in the interpretation of the thesis, a move that allowed them to liberate themselves from Brentano’s inheritance and to fully develop their own philosophical positions. (shrink)

We are pleased to feature a video interview with Jonathan Sim, where he shares his ongoing journey of integrating artificial intelligence (AI) in his teaching, the challenges encountered along the way, and what educators can do to get their students to meaningfully engage with AI tools like ChatGPT to enhance their learning.

Our purpose in this article is to identify and suggest resolution for two core problematics of grounded theory. First, while grounded theory provides transparency to one part of the conceptualization process, where codes emerge directly from the data, it provides no such systematic or transparent way for gaining insight into the conceptual relationships between discovered codes. Producing a grounded theory depends not only on the definition of conceptual pieces, but the delineation of a relationship between at least two of those (...) pieces. Second, the conceptualization process of grounded theory is done in hierarchical fashion, where individual codes emerge from the data but then are used to generate insight into more general concepts and thematic statements. But various works on grounded theory have failed to provide any systematic way of using data specific levels of scale (the codes) to gain insight into more macro levels of scale (concepts and themes). We offer fractal concept analysis as a means of resolving both of these issues. By using a logic structure generator, fractal concept analysis delineates self-similar conceptual frameworks at various levels of abstraction, yielding a method for linking concepts together within and between levels of scale encountered in the grounded theory coding and categorization process. We conclude that this fractal analytic technique can bolster the aims of grounded theory as a formalized and systematic process for generating theory from empirical data. (shrink)

Knowledge is correct and reliable when its foundation is correct, but humans never have the correct beliefs and methodology. Thus, knowledge is unreliable and the foundation of knowledge needs to be reconstructed. A pure rationalist only believes in logic. Thus, all matter and experience must be propositions derived from logic. The logically necessary consequence of this belief is truth; logically possible consequences are phenomena, and logically impossible consequence are fallacies and evils. This paper introduces belief and its logical consequences, such (...) as discovering first knowledge, both logically and illogically, establishing logical methodology, deducing truths purely through logic, and discovering unprovable truths by imitating the Universe. Logic and illogic are undeniable beliefs, and the reality of the Universe is the ultimate cause of everything. (shrink)

This chapter argues for an interpretation of Kant's psychology of moral evil that accommodates the so-called excluded middle cases and allows for variations in the magnitude of evil. The strategy involves distinguishing Kant's transcendental psychology from his empirical psychology and arguing that Kant's character rigorism is restricted to the transcendental level. The chapter also explains how Kant's theory of moral evil accommodates 'the badass'; someone who does evil for evil's sake.

Questions about the morality of lying tend to be decided in a distinctive way early in discussions of Kant’s view on the basis of readings of the false promising example in his Groundwork of The metaphysics of morals. The standard deception-as-interference model that emerges typically yields a very general and strong presumption against deception associated with a narrow and rigorous model subject to a range of problems. In this paper, I suggest an alternative account based on Kant’s discussion of self-deception (...) in the Metaphysics of Morals. I argue that we make the concern with respect for our capacity for inner freedom seen in the case of self-deception the model for deception in general. Focusing on the case of paternalistic lying, I claim that this approach yields a subtle and integrated account that promises the kind of resources we need if we are to be able to make headway with hard cases where deception may seem permissible. (shrink)

Among historians of philosophy it is often taken for granted that the “Brentano school” was one of the influential philosophical movements at the end of the nineteenth and the beginning of the twentieth century – but Brentano’s own contributions are often eclipsed by that of his direct students. This invites to reflect on the nature of and the unity within the school. Since Brentano’s conception of a rigorous, scientific philosophy had a strong impact on his students, it has been argued (...) that this conception constitutes a unifying element in an otherwise heterogeneous group. The scope of this article is to shed light on this thesis and to show its limits. I argue for a differentiated view: the Brentano school is best seen not as a compact movement, but as a heterogeneous group of scholars who approached, in a given historical and geographical period, similar topics in very similar ways. (shrink)

Methodologically rigorous description, analysis, and critique of postmodern phenomena presuppose a rigorous theory of postmodernity, for which the philosophy of Martin Heidegger holds great untapped promise. This essay explicates the basic content of Heidegger’s “metametaphysics,” since for Heidegger a “metaphysics” is the epochally prevailing projection of the meaning of being in general, and he offers a theory of Western metaphysics. I begin with Heidegger’s analysis of the “regional ontologies” of the sciences in his 1927 magnum opus Being and Time, since (...) the metametaphysical works of the “late middle” Heidegger in the 1930s–1940s extend this analytical framework to metaphysics as global ontology. I then explicate Heidegger’s views on modern metaphysics, focusing on his analyses of modern science and the philosophy of Descartes, before turning to his theory of postmodernity, which I extract from his analyses of modern technology and the philosophy of Nietzsche. (shrink)

Theoretically rigorous approach to the key problems of Molinism.

A rigorous approach to the study of the mind–body problem is suggested. Since humans are able to talk about consciousness (produce phenomenal judgments), it is argued that the study of neural mechanisms of phenomenal judgments can solve the hard problem of consciousness. Particular methods are suggested for: (1) verification and falsification of materialism; (2) verification and falsification of interactionism; (3) falsification of epiphenomenalism and parallelism (verification is problematic); (4) verification of particular materialistic theories of consciousness; (5) a non-Turing test for (...) machine consciousness. A complex research program is constructed that includes studies of intelligent machines, numerical models of human and artificial creatures, language, neural correlates of con- sciousness, and quantum mechanisms in brain. (shrink)

El rigor en pensar la vida psíquica le lleva a Leibniz a disociar la percepción de la con­ciencia, rompiendo con la tradición filosófica, carente de la idea de una vida psíquica incons­ciente. Nuestro conocimiento no se limita a la “apercepción” o percepción consciente, sino que alcanza una mayor profundidad. Desarrolla Leibniz una teoría puntillista de la sensa­ción, un hormigueo incesante de innumerables percepciones individuales imperceptibles componen toda percepción consciente.

The rise of experimental philosophy has placed metaphilosophical questions, particularly those concerning concepts, at the center of philosophical attention. X-phi offers empirically rigorous methods for identifying conceptual content, but what exactly it contributes towards evaluating conceptual content remains unclear. We show how x-phi complements Rudolf Carnap’s underappreciated methodology for concept determination, explication. This clarifies and extends x-phi’s positive philosophical import, and also exhibits explication’s broad appeal. But there is a potential problem: Carnap’s account of explication was limited to empirical and (...) logical concepts, but many concepts of interest to philosophers are essentially normative. With formal epistemology as a case study, we show how x-phi assisted explication can apply to normative domains. (shrink)

The rigor and precision of Leibniz's "possible world" evolved into the concept of Turing machine, and with the birth of the first computer and the physical realization of Turing machine, human cognitive and intelligent activities were optimistically considered by cognitive scientists to be convertible into computational programs for simulation by machines. Cognitive science then formed the research agenda of "cognitive computationalism", and our Chinese scholars have responded to this general view that "the essence of cognition is computation" and that the (...) human brain and computers are merely formal systems for manipulating and processing symbols in their respective fields. Professor Hong Dingguo used the concepts of "manifest order" and "hidden order", Professor Jin Gulun used the philosophical categories of "constitutive theory" and "generative theory", and Liu Yuesheng used the concept of "cognition". Professor Hong Dingguo reinterpreted the relationship between the "real world" and the "possible world" by using the concepts of "manifest sequence" and "hidden sequence", Professor Jin Wulun used the philosophical categories of "composition theory" and "generation theory", and Professor Liu Yuesheng used the generalized information paradigm of "structural information" and "exchange information". "This provides a profound elucidation of the nature of cognitive logic and the process of human cognitive activities becoming symbols through coding and puts forward theoretical limits. The current theoretical dilemma and practical difficulty of cognitive science lies in the fact that it has developed algorithmic concepts in the Turing sense that can only model the explicitly sequential part of cognitive and intellectual activity, forming a constitutive atomic abstraction, or in our terms, classical "structural information", which cannot fully explain the inner mechanisms of human mental activity and its embodied flexibility, selectivity and self-emergence. Wu Xuemou's pan-system theory does not simply rely on logic and Turing machine algorithms, but models human intelligence by treating structural information as a complex large system composed of a collection of elements and a collection of relations (exchange information: five mutual eight chips), in order to break through the narrow path of seeking only the local consistency of the system as currently done; while Wang Dekui's exploration of the three-spin biological and physical path and Huang Zhanji's abandonment of the artificial means of logic to seek the large logical natural mechanisms and Mr. Zhou Liquan's proposal of a schema for successful communication using natural language on the basis of concepts such as context and implicit connotation ("Logic — A Theory of Correct Thinking and Successful Communication"), all reflect the milestones of Chinese scholars who seek to address the deeper issues of cognitive science. We believe that along this series of explorations, combined with new results in recent years in the fields of artificial life and evolutionary computation, a new research agenda in cognitive science will emerge. (shrink)

We present a rigorous way to evaluate the visual perception of correlation in scatterplots, based on classical psychophysical methods originally developed for simple properties such as brightness. Although scatterplots are graphically complex, the quantity they convey is relatively simple. As such, it may be possible to assess the perception of correlation in a similar way. Scatterplots were each of 5.0 extent, containing 100 points with a bivariate normal distribution. Means were 0.5 of the range of the points, and standard deviations (...) 0.2 of this range. Precision was determined via an adaptive algorithm to find the just noticeable differences (jnds) in correlation, i.e., the difference between two side-by-side scatterplots that could be discriminated 75% of the time. Accuracy was measured by direct estimation, using reference scatterplots with fixed upper and lower values, with a test scatterplot adjusted so that its correlation appeared to be halfway between these. This process was recursively applied to yield several further estimates. Results of the discrimination tests show jnd(r) = k (1/b – r), where r is the Pearson correlation, and parameters 0 < k, b < 1. Integration yields a subjective estimate of correlation g(r) = ln(1 – br) / ln(1– b). The values of b found via discrimination closely match those found via direct estimation. As such, it appears that the perception of correlation in a scatterplot is completely described by two related performance curves, specified by two easily-measured parameters. (shrink)

This paper explains how the practice of ‘no platforming’ can be reconciled with a liberal politics. While opponents say that no platforming flouts ideals of open public discourse, and defenders see it as a justifiable harm-prevention measure, both sides mistakenly treat the debate like a run-of-the-mill free speech conflict, rather than an issue of academic freedom specifically. Content-based restrictions on speech in universities are ubiquitous. And this is no affront to a liberal conception of academic freedom, whose purpose isn’t just (...) to protect the speech of academics, but also to give them the prerogative to determine which views and speakers have sufficient disciplinary credentials to receive a hearing in academic contexts. No platforming should therefore be acceptable to liberals, in principle, in cases where it is used to support a university culture that maintains rigorous disciplinary standards, by denying attention and credibility to speakers without appropriate disciplinary credentials. (shrink)

The central topic of this essay consists into establishing a relation between two dimensions of formation: the conceptual process of creating philo- sophical toys - that is of reelaborating existing philosophical concepts, mainly deriving from the thought of Gilles Deleuze and Félix Guattari, in terms of their potential as ‘operative constructs' - and their parallel redeployment towards the specific problem of analyz- ing a recent transdisciplinary artwork. By means of this strategical shift, theory looses its character of explanation and illustration. (...) Philosophy as toy becomes rather the matter of evaluating the com- plexity of a specific artistic composition in terms of its aesthetic potential. It contributes towards developing meta- stable conditions of mutual resonance between heterogeneous modalities of creation. (shrink)

A theoretically rigorous approach to the key problems of Molinism leads to a clear distinction between semantic and metaphysical problems. Answers to semantic problems do not provide answers to metaphysical problems that arise from the theory of middle knowledge. The so-called ‘grounding objection’ to Molinism raises a metaphysical problem. The most promising solution to it is a revised form of the traditional ‘essence solution’. Inspired by Leibniz’s idea of a ‘notio completa’ (complete concept), we propose a mathematical model of ‘possibilistic’ (...) (Molinist) complete concepts. They ground middle knowledge within the very being of the agents themselves. Molinist Complete Concepts can thus serve to reject consequence-style arguments against Molinism. They also allow the Molinist to safeguard a robustly libertarian notion of the ability to do otherwise. (shrink)

This chapter sheds light on a response to experimental philosophy that has not yet received enough attention: the reflection defense. According to proponents of this defense, judgments about philosophical cases are relevant only when they are the product of careful, nuanced, and conceptually rigorous reflection. The chapter argues that the reflection defense is misguided: Five studies (N>1800) are presented, showing that people make the same judgments when they are primed to engage in careful reflection as they do in the conditions (...) standardly used by experimental philosophers. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Panpsychism is a solution to the mind-body problem that presumes that consciousness is a fundamental aspect of reality instead of a product or consequence of physical processes (i.e., brain activity). Panpsychism is an elegant solution to the mind-body problem: it effectively rids itself of the explanatory gap materialist theories of consciousness suffer from. However, many theorists and experimentalists doubt panpsychism can ever be successful as a scientific theory, as it cannot be empirically verified or falsified. In this paper, I present (...) a panpsychist model based on the controversial idea that consciousness may be a so called higher physical dimension. Although this notion seems outrageous, I show that the idea has surprising explanatory power, even though the model (as most models) is most likely wrong. Most importantly, though, it results in a panpsychist model that yields predictions that can be empirically verified or falsified. As such, the model's main purpose is to serve as an example how a metaphysical model of consciousness can be specified in such a way that they can be tested in a scientifically rigorous way. (shrink)

Melnyk provides a rigorous analysis of the notion of realization with the aim of defining Physicalism. It is argued here that contrary to Melnyk's Realization Physicalism, the idea that mental phenomena are realized by physical phenomena fails to capture the physicalist belief that the former obtain in virtue of the latter. The conclusion is not that Physicalism is false, but that its truth is best explained with some notion other than realization in Melnyk's sense. I also argue that the problems (...) with Melnyk's brand of Realization Physicalism generalize to other potential attempts to express Physicalism in terms of realization. The burden of proof is on the Realization Physicalist to show that physicalist intuitions can be adequately captured with the notion of realization. (shrink)

Technological advances are bringing new light to privacy issues and changing the reasons for why privacy is important. These advances have changed not only the kind of personal data that is available to be collected, but also how that personal data can be used by those who have access to it. We are particularly concerned with how information about personal attributes inferred from collected data (such as online behaviour), can be used to tailor messages and services to specific individuals or (...) groups. This kind of ‘personalised targeting’ has the potential to influence individuals’ perceptions, attitudes, and choices in unprecedented ways. In this paper, we argue that because it is becoming easier for companies to use collected data for influence, threats to privacy are increasingly also threats to personal autonomy—an individual’s ability to reflect on and decide freely about their values, actions, and behaviour, and to act on those choices.4 While increasing attention is directed to the ethics of how personal data is collected, we make the case that a new ethics of privacy needs to also think more rigorously about how personal data may be used, and its potential impact on personal autonomy. (shrink)

As engineers propose constructing humanlike automata, the question arises as to whether such machines merit human rights. The issue warrants serious and rigorous examination, although it has not yet cohered into a conversation. To put it into a sure direction, this paper proposes phrasing it in terms of whether humans are morally obligated to extend to maximally humanlike automata full human rights, or those set forth in common international rights documents. This paper’s approach is to consider the ontology of humans (...) and of automata and whether ontological difference between them, that pertains to the very bases of human rights, affects the latter’s claims to full human rights. Considering common bases of human rights, can these bases tell us whether a certain ontological distinction of humans from automata—or a de facto distinction about humans tacitly acknowledged by full-rights-recognizing societies—makes a difference in whether humans are morally obligated to assign these entities full rights? Human rights to security also arise. The conclusion is that humans need not be under any moral obligation to confer full human rights on automata. The paper’s ultimate point is not to close the discussion with this ontological cap but to set a solid moral and legal groundwork for opening it up tout court. (shrink)

In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise they (...) would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

This article proposes a rigorous method to “map” the law on to the facts in the legal analysis of “sexual consent” using a series of mandatory questions of law designed to eliminate the legal errors often made by decision-makers who routinely rely on personal beliefs about and attitudes towards “normal sexual behavior” in screening and deciding cases. In Canada, sexual consent is affirmative consent, the communication by words or conduct of “voluntary agreement” to a specific sexual activity, with a specific (...) person. As in many jurisdictions, however, the sexual assault laws are often not enforced. Reporting is lowest and non-enforcement highest in cases involving the most common type of assailants, those who are not strangers but instead persons the complainant knows, often quite well -- acquaintances, supervisors or co-workers, and family members. Reliance on popular narratives about “seduction” and “stranger-danger” leads complainants, police, prosecutors, lawyers, and trial judges, to truncate legal analysis of the facts and leap to erroneous conclusions about “consent.” Wrongful convictions and perverse acquittals, questionable plea bargains and ill-considered decisions not to charge, result. This proposal is designed to curtail the impact of pre-judgments, assumptions, and biases in legal reasoning about voluntariness and affirmative agreement and produce decisions that are legally sound, based on the application of the rule of law to the material facts. Law has long had better tools than the age-old and popular tales of “ravishment” and “seduction.” Those tools can and should be used. (shrink)

Given the endowment effect, the role of attention in decision-making, and the framing effect, most behavioral economists agree that it would be a mistake to accept the satisfaction of revealed preferences as the normative criterion of choice. Some have suggested that what makes agents better off is not the satisfaction of revealed preferences, but ‘true’ preferences, which may not always be observed through choice. While such preferences may appear to be an improvement over revealed preferences, some philosophers of economics have (...) argued that they face insurmountable epistemological, normative, and methodological challenges. This article introduces a new kind of true preference – values-based preferences – that blunts these challenges. Agents express values-based preferences when they choose in a manner that is compatible with a consumption plan grounded in a value commitment that is normative, affective, and stable for the agent who has one. Agents who choose according to their plans are resolute choosers. My claim is that while values-based preferences do not apply to every choice situation, this kind of preference provides a rigorous way for thinking about classic choice situations that have long interested behavioral economists and philosophers of economics, such as ‘Joe-in-the-cafeteria.’. (shrink)

According to factive accounts of the norm of belief and decision-making, you should not believe or base decisions on a falsehood. Even when the evidence misleadingly suggests that a false proposition is true, you should not believe it or base decisions on it. Critics claim that factive accounts are counterintuitive and badly mischaracterize our ordinary practice of evaluating beliefs and decisions. This paper reports four experiments that rigorously test the critic’s accusations and the viability of factive accounts. The results undermine (...) the accusations and provide the best evidence yet of factive norms of belief and decision-making. The results also help discriminate between two leading candidates for a factive norm: truth and knowledge. Knowledge is the superior candidate. (shrink)

Abstract: Lotteries have long been a source of fascination and intrigue, offering the tantalizing prospect of unexpected fortunes. In this research paper, we delve into the world of lottery predictions, employing cutting-edge AI techniques to unlock the secrets of lottery outcomes. Our dataset, obtained from Kaggle, comprises historical lottery draws, and our goal is to develop predictive models that can anticipate future winning numbers. This study explores the use of deep learning and time series analysis to achieve this elusive feat. (...) Through rigorous experimentation and data-driven approaches, we seek to determine the viability of AI in the realm of lottery predictions. Our findings reveal both the promise and limitations of AI in this context, shedding light on the complexities of lottery data and the potential need for quantum computing as a last resort. (shrink)

In the growing Prussian university system of the early nineteenth century, "Wissenschaft" (science) was seen as an endeavor common to university faculties, characterized by a rigorous methodology. On this view, history and jurisprudence are sciences, as much as is physics. Nineteenth century trends challenged this view: the increasing influence of materialist and positivist philosophies, profound changes in the relationships between university faculties, and the defense of Kant's classification of the sciences by neo-Kantians. Wilhelm Dilthey's defense of the independence of the (...) methodology of the human sciences (Geisteswissenschaften) from those of the natural sciences (Naturwissenschaften) is as much a return to the ideal of Wissenschaft as a cooperative endeavor as it is a defense of the autonomy of interpretive or hermeneutic methods. The debate between Dilthey and the neo-Kantian Wilhelm Windelband at the close of the century illuminates the development of this dialogue over the nineteenth century. (shrink)

Miranda Fricker's original presentation of Hermeneutical Injustice left open theoretical choice points leading to criticisms and subsequent clarifications with the resulting dialectic appearing largely verbal. The absence of perspicuous exposition of hallmarks of Hermeneutical Injustice might suggest scenarios exhibiting some – but not all – such hallmarks are within its purview when they are not. The lack of clear hallmarks of Hermeneutical Injustice, moreover, obscures both the extent to which Fricker's proposed remedy Hermeneutical Justice – roughly, virtuous communicative practices – (...) adequately addresses the injustice, and the accuracy of criticisms suggesting that Hermeneutical Justice is insufficient to the task. In what follows, after briefly defending necessary and sufficient conditions for what I take to be the best candidate interpretation of Hermeneutical Injustice, I build on recent work on moral responsibility to construct and defend a rigorous explication of Hermeneutical Justice. (shrink)

This paper accomplishes two tasks. First, I unpack Husserl’s analysis of interest from his 1893 manuscript, “Notes Towards a Theory of Attention and Interest” to demonstrate that it comprises his first rigorous genetic analysis of attention. Specifically, I explore Husserl’s observations about how attentive interest is passively guided by affections, moods, habits, and cognitive tensions. In doing so, I reveal that the early Husserl described attention as always pulled forward to new discoveries via the rhythmic recurrence of tension and pleasure. (...) Second, I demonstrate that “Notes” is the germ of Husserl’s mature genetic phenomenology of attention. The 1893 analysis provides Husserl with all of the philosophical reasons and tools for the construction of his genetic account of attention in his late works. I then discuss how the disclosure of this novel subterranean link can prompt a rethinking of the development of phenomenology. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Some environmental ethicists and economists argue that attributing infinite value to the environment is a good way to represent an absolute obligation to protect it. Others argue against modelling the value of the environment in this way: the assignment of infinite value leads to immense technical and philosophical difficulties that undermine the environmentalist project. First, there is a problem of discrimination: saving a large region of habitat is better than saving a small region; yet if both outcomes have infinite value, (...) then decision theory prescribes indifference. Second, there is a problem of swamping probabilities: an act with a small but positive probability of saving an endangered species appears to be on par with an act that has a high probability of achieving this outcome, since both have infinite expected value. Our paper shows that a relative concept of infinite value can be meaningfully defined, and provides a good model for securing the priority of the natural environment while avoiding the failures noted by sceptics about infinite value. Our claim is not that the relative infinity utility model gets every detail correct, but rather that it provides a rigorous philosophical framework for thinking about decisions affecting the environment. (shrink)

What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas were (...) developed prior to the scientific discoveries of the modern era, he approached the objects and relations of everyday reality with the same ontological seriousness with which scientists today approach the objects of physics. We shall seek to show that what Aristotle has to say about these commonsensical objects and relations can, when translated into more formal terms, be of use also to contemporary ontologists. More precisely, we shall argue that his ideas can contribute to the development of a rigorous theory of those social and institutional components of everyday reality – the settings of human behavior – which are the subject of this volume. When modern-day philosophers turn their attentions to ontology they begin not with Aristotle but rather, in almost every case, with a set-theoretic ontology of the sort which is employed in standard model-theoretic semantics. Set-theoretic ontology sees the world in atomistic terms: it postulates a lowest level of atoms or urelements, from out of which successively higher levels of set-theoretic objects are then constructed. The approach to ontology to be defended here, in contrast, starts not with atoms but with the mesoscopic objects by which we are surrounded in our normal day-to-day.. (shrink)

After a long hiatus, psychology and philosophy are returning to formal study of imagination. While excellent work is being done in the current environment, this article argues for a stronger thesis than usually adopted. Imagination is not just a peripheral feature of cognition or a domain for aesthetic research. It is instead the core operating system or cognitive capacity for humans and has epistemic and therapeutic functions that ground all our sense-making activities. A sketch of imagination as embodied cognition is (...) offered, followed by suggestions of how to organize imagination studies into a more rigorous science–humanities research area. (shrink)

Clinical ethics consultants (CECs) are not moral authorities. Standardization of CECs’ professional role does not confer upon them moral authority. Certification of particular CECs does not confer upon them moral authority (nor does it reflect such authority). Or, so we will argue. This article offers a distinctly Orthodox Christian response to those who claim that CECs—or any other academically trained bioethicist—retain moral authority (i.e., an authority to know and recommend the right course of action). This article proceeds in three parts. (...) First, we discuss recent movements toward the certification of CECs in the United States, focusing primarily on proposals and programs put forth by the American Society for Humanities and Bioethics (ASBH). Second, we outline two secular reasons to be concerned about the relevant trends toward certification. For one thing, certification is currently being advanced via political dominance, rather than gaining authority by reliance on rigorous philosophical argument or reason. For another, the trends operate on the assumption that there exists a secular, content-full, canonical, morality. There is no such morality. Next, we argue that Orthodox Christians should resist the current trends toward certification of CECs. Specifically, we unpack ways in which the ASBH’s certification program (and those like it) conflict with Orthodox claims about moral authority and the moral life more generally. We conclude that Orthodox Christians should resist the current certification trends. (shrink)

Generics are sentences such as Birds fly, which express generalizations. They are prevalent in speech, and as far as is known, no human language lacks generics. Yet, it is very far from clear what they mean. After all, not all birds fly—penguins don’t! -/- There are two general views about the meaning of generics in the literature, and each view encompasses many specific theories. According to the inductivist view, a generic states that a sufficient number of individuals satisfy a certain (...) property—in the example above, it says that sufficiently many birds fly. This view faces the complicated problem of spelling out exactly how many is “sufficiently many” in a way that correctly captures the intuitive truth conditions of generics. -/- An alternative, the rules and regulations view, despairs from this project and proposes instead that generics directly express rules in the world. Rules are taken to be abstract objects, which are not related to the properties of specific individuals. This view faces the difficult problem of explaining how people come to know of such rules when judging the truth of falsity of generics, and accounting for the strong intuition that a sentence such as Birds fly talks about birds, not abstract objects. -/- What seems to be beyond dispute is that generics, even if they do not express rules, are lawlike: they state non-accidental generalizations. Many scholars have taken this fact to indicate that generics are parametric on possible worlds: they refer to worlds other than the actual world. This, again, raises the problem of how people come to know about what happens in these other worlds. However, a rigorous application of standard tests for intensionality shows that generics are not, in fact, parametric on possible worlds, but only on time. This unusual property may explain much of the mystery surrounding generics. -/- Another mysterious property of generics is that although there is no language without them, there is no linguistic construction that is devoted to the expression of genericity. Rather, generics can be expressed in a variety of ways, each of which can also express nongenerics. Yet, each manifestation of generics differs subtly (or sometimes not so subtly) in its meaning from the others. -/- Even when these and other puzzles of genericity are solved, one mystery would remain: Why are generics, which are so easy to produce and understand in conversation, so difficult to analyze? (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)