Felix Klein and Abraham Fraenkel each formulated a criterion for a theory of infinitesimals to be successful, in terms of the feasibility of implementation of the Mean Value Theorem. We explore the evolution of the idea over the past century, and the role of Abraham Robinson's framework therein.

In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms formulated for theories (...) of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)', by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. Main tools used in proofs are Zermelo-Fraenkel (ZF) set theory and classical logic. (shrink)

In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced First-order formal languages containing natural numbers and numerals belong to that class. MA languages which are contained in a given fully interpreted MA language augmented by a monadic predicate are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of these languages. MTT makes them fully interpreted MA languages which posses their own truth predicates, yielding consequences to philosophy of mathematics. MTT is (...) shown to conform well with the eight norms presented for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)' by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. (shrink)

A possible world is a junky world if and only if each thing in it is a proper part. The possibility of junky worlds contradicts the principle of general fusion. Bohn (2009) argues for the possibility of junky worlds, Watson (2010) suggests that Bohn‘s arguments are flawed. This paper shows that the arguments of both authors leave much to be desired. First, relying on the classical results of Cantor, Zermelo, Fraenkel, and von Neumann, this paper proves the possibility of junky (...) worlds for certain weak set theories. Second, the paradox of Burali-Forti shows that according to the Zermelo-Fraenkel set theory ZF, junky worlds are possible. Finally, it is shown that set theories are not the only sources for designing plausible models of junky worlds: Topology (and possibly other "algebraic" mathematical theories) may be used to construct models of junky worlds. In sum, junkyness is a relatively widespread feature among possible worlds. (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

This paper introduces the theory QST of quasets as a formal basis for the Nmatrices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of the (...) most interesting traits of such an extension is the existence of complementary quasets which admit elements with undetermined membership. Such elements can be interpreted as quantum systems in superposed states. We also present a relationship of QST with the theory of Rough Sets RST, which grants the existence of models for SQT formed by rough sets. Some consequences of the given formalism for the relation of logical consequence are also analysed. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en varias (...) áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey. (shrink)

In this paper, I consider the use of mathematical results in philosophical arguments arriving at conclusions with non-mathematical content, with the view that in general such usage requires additional justification. As a cautionary example, I examine Kreisel’s arguments that the Continuum Hypothesis is determined by the axioms of Zermelo-Fraenkel set theory, and interpret Weston’s 1976 reply as showing that Kreisel fails to provide sufficient justification for the use of his main technical result. If we take the perspective that mathematical results (...) are used in the context of a modelling of something not necessarily mathematical, then the situation is clarified somewhat, and the procedure for arriving at justification for the use of such results becomes clear. I give an example of a particularly strong form this justification might take, using the idea of formalism independence due to Gödel and Kennedy. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

The aim of the research is to identify the relationship between the performance criteria and the achievement of the objectives of supervision which is represented in the performance of the job at the Islamic University in Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (22) paragraphs distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the (...) administrative board). A random sample of 314 employees was selected, 276 responses were retrieved with a return rate of 88.1%. The SPSS program was used to enter, process, and analyze the data. The results of the study showed a positive relationship between the performance criteria and the achievement of the control objectives represented by the job performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants and the administrative board). The researchers also recommended a number of recommendations, including the provision of an appropriate level of control system components today through the continuous updating and development of performance standards and the need to provide the necessary physical and financial resources to continue the development and achievement within the university. Expand the development of technology in the various activities of the university through the construction of a complete and integrated system to support the control systems in the university to suit its size. The researchers also recommended the follow-up, review of the performance standards and work to modify them in line with the mission of the university and the goals that the university seeks to reach. (shrink)

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and clarity (...) to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

Chest pain is the pain felt in the chest by infants, children and adolescents. In most cases the pain is not associated with the heart. It is mainly recognized by the observance or report of pain by the infant, child or adolescent by reports of distress by parents or care givers. Chest pain is not unusual in children. Lots of children are seen in ambulatory clinics, emergency rooms and hospitals and cardiology clinics. Usually there is a benign cause for the (...) pain for utmost children. Certain patients have conditions that are serious and perhaps life-threatening. Chest pain in pediatric patients needs careful physical examination and a detailed history that would point to the possibility of a serious cause. Researches of pediatric chest pain are scarce. It has been difficult to create evidence-based guidelines for evaluation. In this paper we propose an expert system to help doctors and parents, and care giver in diagnosing chest pain in infants and children. This expert System is design and implemented in SL5 Object language. (shrink)

Hope, in its propositional construction "I hope that p," is compatible with a stated chance for the speaker that not-p. On fallibilist construals of knowledge, knowledge is compatible with a chance of being wrong, such that one can know that p even though there is an epistemic chance for one that not-p. But self-ascriptions of propositional hope that p seem to be incompatible, in some sense, with self-ascriptions of knowing whether p. Data from conjoining hope self-ascription with outright assertions, with (...) first- and third-person knowledge ascriptions, and with factive predicates suggest a problem: when combined with a plausible principle on the rationality of hope, they suggest that fallibilism is false. By contrast, the infallibilist about knowledge can straightforwardly explain why knowledge would be incompatible with hope, and can offer a simple and unified explanation of all the linguistic data introduced here. This suggests that fallibilists bear an explanatory burden which has been hitherto overlooked. (shrink)

Recent epistemology has focused almost exclusively on propositional knowledge. This paper considers an underexplored area of epistemology, namely knowledge of persons: if propositional knowledge is a state of mind, consisting in a subject's attitude to a (true) proposition, the account developed here thinks of interpersonal knowledge as a state of minds, involving a subject's attitude to another (existing) subject. This kind of knowledge is distinct from propositional knowledge, but it exhibits a gradability characteristic of context-sensitivity, and admits of shifty thresholds. (...) It is supported by a wide range of unexplored linguistic data and intuitive cases; and it promises to illuminate debates within epistemology, philosophy of religion, and ethics. (shrink)

The Eugenic Mind Project is a wide-ranging, philosophical book that explores and critiques both past and present eugenic thinking, drawing on the author’s intimate knowledge of eugenics in North America and his previous work on the cognitive, biological, and social sciences, the fragile sciences. Informed by the perspectives of Canadian eugenics survivors in the province of Alberta, The Eugenic Mind Project recounts the history of eugenics and the thinking that drove it, and critically engages contemporary manifestations of eugenic thought, newgenics. (...) An accessible, original work of scholarship adopting what the author calls a standpoint eugenics, this book focuses on the roots of eugenic thinking past and present. It will provoke and enrich discussions about human nature and human diversity, the social uses of biotechnology, and social policy governing future generations. You can download the preface and acknowledgements here. (shrink)

As large language models (LLMs) continue to demonstrate remarkable abilities across various domains, computer scientists are developing methods to understand their cognitive processes, particularly concerning how (and if) LLMs internally represent their beliefs about the world. However, this field currently lacks a unified theoretical foundation to underpin the study of belief in LLMs. This article begins filling this gap by proposing adequacy conditions for a representation in an LLM to count as belief-like. We argue that, while the project of belief (...) measurement in LLMs shares striking features with belief measurement as carried out in decision theory and formal epistemology, it also differs in ways that should change how we measure belief. Thus, drawing from insights in philosophy and contemporary practices of machine learning, we establish four criteria that balance theoretical considerations with practical constraints. Our proposed criteria include accuracy, coherence, uniformity, and use, which together help lay the groundwork for a comprehensive understanding of belief representation in LLMs. We draw on empirical work showing the limitations of using various criteria in isolation to identify belief representations. (shrink)

I discuss two types of evidential problems with the most widely touted experiments in evolutionary psychology, those performed by Leda Cosmides and interpreted by Cosmides and John Tooby. First, and despite Cosmides and Tooby's claims to the contrary, these experiments don't fulfil the standards of evidence of evolutionary biology. Second Cosmides and Tooby claim to have performed a crucial experiment, and to have eliminated rival approaches. Though they claim that their results are consistent with their theory but contradictory to the (...) leading non-evolutionary alternative, Pragmatic Reasoning Schemas theory, I argue that this claim is unsupported. In addition, some of Cosmides and Tooby's interpretations arise from misguided and simplistic understandings of evolutionary biology. While I endorse the incorporation of evolutionary approaches into psychology, I reject the claims of Cosmides and Tooby that a modular approach is the only one supported by evolutionary biology. Lewontin's critical examinations of the applications of adaptationist thinking provide a background of evidentiary standards against which to view the currently fashionable claims of evolutionary psychology. (shrink)

Recent epistemology offers an account of what it is to know other persons. Such views hold promise for illuminating several issues in philosophy of religion, and for advancing a distinctive approach to religious epistemology. This paper develops an account of interpersonal knowledge, and clarifies its relation to propositional and qualitative knowledge. I then turn to our knowledge of God and God's knowledge of us, and compare my account of interpersonal knowledge with important work by Eleonore Stump on "Franciscan" knowledge. I (...) examine how interpersonal knowledge may figure in liturgical practice, in diffusing the problem of divine hiddenness, and in motivating a novel understanding of divine love. I also explore the possibility of epistemic injustice arising from dismissal or neglect of our religious testimony to one another, or of divine testimony to humanity, focusing specifically on the import of interpersonal knowledge. (shrink)

We consider how an epistemic network might self-assemble from the ritualization of the individual decisions of simple heterogeneous agents. In such evolved social networks, inquirers may be significantly more successful than they could be investigating nature on their own. The evolved network may also dramatically lower the epistemic risk faced by even the most talented inquirers. We consider networks that self-assemble in the context of both perfect and imperfect communication and compare the behaviour of inquirers in each. This provides a (...) step in bringing together two new and developing research programs, the theory of self-assembling games and the theory of network epistemology. (shrink)

Fragmentalism was first introduced by Kit Fine in his ‘Tense and Reality’. According to fragmentalism, reality is an inherently perspectival place that exhibits a fragmented structure. The current paper defends the fragmentalist interpretation of the special theory of relativity, which Fine briefly considers in his paper. The fragmentalist interpretation makes room for genuine facts regarding absolute simultaneity, duration and length. One might worry that positing such variant properties is a turn for the worse in terms of theoretical virtues because such (...) properties are not involved in physical explanations and hence theoretically redundant. It will be argued that this is not right: if variant properties are indeed instantiated, they will also be involved in straightforward physical explanations and hence not explanatorily redundant. Hofweber and Lange, in their ‘Fine’s Fragmentalist Interpretation of Special Relativity’, object that the fragmentalist interpretation is in tension with the right explanation of the Lorentz transformations. It will be argued that their objection targets an inessential aspect of the fragmentalist framework and fails to raise any serious problem for the fragmentalist interpretation of special relativity. (shrink)

The article offers a reconstruction of John Rawls views on political legitimacy, from A Theory of Justice to his late writings on political liberalism. It argues that Rawls had three conceptions of legitimacy, not two as one might expect based on the distinction between his two major works. Its argument is that the most radical change in Rawls’ thinking about legitimacy occurs in ‘Introduction to the Paperback Edition’ and ‘The Idea of Public Reason Revisited’. Here Rawls assumes that there can (...) be a reasonable pluralism not only of comprehensive doctrines, but also of political liberal conceptions of justice. As a consequence, the standard of political legitimacy is no longer specified as sufficient justice relative to justice as fairness, but instead as sufficient justice relative to a family of political conceptions of justice – a family which in turn is animated by an ideal of public reasoning about constitutional matters and matters of basic justice. The article also shows how Rawls’ late ideal of public reason is grounded in the need for legitimate constitutional government. (shrink)

Traditional definitions of lying require that a speaker believe that what she asserts is false. Sam Fox Krauss seeks to jettison the traditional belief requirement in favour of a necessary condition given in a credence-accuracy framework, on which the liar expects to impose the risk of increased inaccuracy on the hearer. He argues that this necessary condition importantly captures nearby cases as lies which the traditional view neglects. I argue, however, that Krauss's own account suffers from an identical drawback of (...) being unable to explain nearby cases; and even worse, that account fails to distinguish cases of telling lies from cases of telling the truth. (shrink)

Human cognition is extended and enacted. Drawing the boundaries of cognition to include the resources and attributes of the body and materiality allows an examination of how these components interact with the brain as a system, especially over cultural and evolutionary spans of time. Literacy and numeracy provide examples of multigenerational, incremental change in both psychological functioning and material forms. Though we think materiality, its central role in human cognition is often unappreciated, for reasons that include conceptual distribution over multiple (...) material forms, the unconscious transparency of cognitive activity in general, and the different temporalities of metaplastic change in neurons and cultural forms. (shrink)

This paper responds to Kevin Krein’s claim in that the particular value of nature sports over traditional ones is that they offer intensity of sport experience in dynamic interaction between an athlete and natural features. He denies that this intensity is derived from competitive conflict of individuals and denies that nature sport derives its value from internal conflict within the athlete who carries out the activity. This paper responds directly to Krein by analysing ‘intensity’ in sport in terms of the (...) relationship between attention and reflection and the interaction between self and environment. I reply directly to Krein’s rejection of self-competition as based on a mischaracterisation of internal struggle and argue that the weighing of incompatible desires does not involve a fragmented self. I argue that the unique intensity to which Krein refers is strongly comparable to the Kantian conception of the sublime and explore how sublime experience fits Krein’s account and outline some serious problems that such an ideal of experience poses for nature sport. (shrink)

Attempts to ‘naturalize’ phenomenology challenge both traditional phenomenology and traditional approaches to cognitive science. They challenge Edmund Husserl’s rejection of naturalism and his attempt to establish phenomenology as a foundational transcendental discipline, and they challenge efforts to explain cognition through mainstream science. While appearing to be a retreat from the bold claims made for phenomenology, it is really its triumph. Naturalized phenomenology is spearheading a successful challenge to the heritage of Cartesian dualism. This converges with the reaction against Cartesian thought (...) within science itself. Descartes divided the universe between res cogitans, thinking substances, and res extensa, the mechanical world. The latter won with Newton and we have, in most of objective science since, literally lost our mind, hence our humanity. Despite Darwin, biologists remain children of Newton, and dream of a grand theory that is epistemologically complete and would allow lawful entailment of the evolution of the biosphere. This dream is no longer tenable. We now have to recognize that science and scientists are within and part of the world we are striving to comprehend, as proponents of endophysics have argued, and that physics, biology and mathematics have to be reconceived accordingly. Interpreting quantum mechanics from this perspective is shown to both illuminate conscious experience and reveal new paths for its further development. In biology we must now justify the use of the word “function”. As we shall see, we cannot prestate the ever new biological functions that arise and constitute the very phase space of evolution. Hence, we cannot mathematize the detailed becoming of the biosphere, nor write differential equations for functional variables we do not know ahead of time, nor integrate those equations, so no laws “entail” evolution. The dream of a grand theory fails. In place of entailing laws, a post-entailing law explanatory framework is proposed in which Actuals arise in evolution that constitute new boundary conditions that are enabling constraints that create new, typically unprestatable, Adjacent Possible opportunities for further evolution, in which new Actuals arise, in a persistent becoming. Evolution flows into a typically unprestatable succession of Adjacent Possibles. Given the concept of function, the concept of functional closure of an organism making a living in its world, becomes central. Implications for patterns in evolution include historical reconstruction, and statistical laws such as the distribution of extinction events, or species per genus, and the use of formal cause, not efficient cause, laws. (shrink)

Drawing on the material culture of the Ancient Near East as interpreted through Material Engagement Theory, the journey of how material number becomes a conceptual number is traced to address questions of how a particular material form might generate a concept and how concepts might ultimately encompass multiple material forms so that they include but are irreducible to all of them together. Material forms incorporated into the cognitive system affect the content and structure of concepts through their agency and affordances, (...) the capabilities and constraints they provide as the material component of the extended, enactive mind. Material forms give concepts the tangibility that enables them to be literally grasped and manipulated. As they are distributed over multiple material forms, concepts effectively become independent of any of them, yielding the abstract irreducibility that makes a concept like number what it is. Finally, social aspects of material use—collaboration, ordinariness, and time—have important effects on the generation and distribution of concepts. (shrink)

We present counterexamples to the widespread assumption that Moorean sentences cannot be rationally asserted. We then explain why Moorean assertions of the sort we discuss do not incur the irrationality charge. Our argument involves an appeal to the dual-process theory of the mind and a contrast between the conditions for ascribing beliefs to oneself and the conditions for making assertions about independently existing states of affairs. We conclude by contrasting beliefs of the sort we discuss with the structurally similar but (...) rationally impermissible beliefs of certain psychiatric patients. (shrink)

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

In everyday life and in science we acquire evidence of evidence and based on this new evidence we often change our epistemic states. An assumption underlying such practice is that the following EEE Slogan is correct: 'evidence of evidence is evidence' (Feldman 2007, p. 208). We suggest that evidence of evidence is best understood as higher-order evidence about the epistemic state of agents. In order to model evidence of evidence we introduce a new powerful framework for modelling epistemic states, Dyadic (...) Bayesianism. Based on this framework, we then discuss characterizations of evidence of evidence and argue for one of them. Finally, we show that whether the EEE Slogan holds, depends on the specific kind of evidence of evidence. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

US citizens perceive their society to be one of the most diverse and religiously tolerant in the world today. Yet seemingly intractable religious intolerance and moral conflict abound throughout contemporary US public life - from abortion law battles, same-sex marriage, post-9/11 Islamophobia, public school curriculum controversies, to moral and religious dimensions of the Black Lives Matter and Occupy Wall Street movements, and Tea Party populism. Healthy Conflict in Contemporary American Society develops an approach to democratic discourse and coalition-building across deep (...) moral and religious divisions. Drawing on conflict transformation in peace studies, recent American pragmatist thought, and models of agonistic democracy, Jason Springs argues that, in circumstances riven with conflict between strong religious identities and deep moral and political commitments, productive engagement may depend on thinking creatively about how to constructively utilize conflict and intolerance. The result is an approach oriented by the recognition of conflict as a constituent and life-giving feature of social and political relationships. (shrink)

Some propositions are more epistemically important than others. Further, how important a proposition is is often a contingent matter—some propositions count more in some worlds than in others. Epistemic Utility Theory cannot accommodate this fact, at least not in any standard way. For EUT to be successful, legitimate measures of epistemic utility must be proper, i.e., every probability function must assign itself maximum expected utility. Once we vary the importance of propositions across worlds, however, normal measures of epistemic utility become (...) improper. I argue there isn’t any good way out for EUT. (shrink)

This article defends a version of the Westermarck Effect, integrating existing clinical, biological, and philosophical dimensions to incest avoidance. By focusing on care-based attachment in primates, my formulation of the effect suggests the power of a phylogenetic argument widely accepted by primatologists but not by cultural anthropologists. Identifying postadoption incest as a phenomenon with underexplored evidential value, the article sketches an explanatory strategy for reconciling the effect with the clinical reality of incest, concluding with an explicit argument against culture-first or (...) conventionalist accounts of incest avoidance prevalent in anthropology. (shrink)

Whether intentional suppression of an unpleasant or unwanted memory reduces the ability to recall that memory subsequently is a contested issue in contemporary memory research. Building on findings that similar processes are recruited when individuals remember the past and imagine the future, we measured the effects of thought suppression on memory for imagined future scenarios. Thought suppression reduced the ability to recall emotionally negative scenarios, but not those that were emotionally positive. This finding suggests that intentionally avoiding thoughts about emotionally (...) negative episodes may inhibit representations of those memories, progressively reducing their availability to recall. (shrink)

How, if at all, are we to distinguish between the works that we call ‘art’ and those that we call ‘pornography’? This question gets a grip because from classical Greek vases and the frescoes of Pompeii to Renaissance mythological painting and sculpture to Modernist prints, the European artistic tradition is chock-full of art that looks a lot like pornography. In this paper I propose a way of thinking about the distinction that is grounded in art historical considerations regarding the function (...) of erotic images in 16 th -century Italy. This exploration suggests that the root of the erotic art/pornography distinction was—at least in this context—class: in particular, the need for a special category of unsanctioned illicit images arose at the very time when print culture was beginning to threaten elite privilege. What made an erotic representation exceed the boundaries of acceptability, I suggest, was not its extreme libidinosity but, rather, its widespread availability and, thereby, its threat to one of the mechanisms of sustaining class privilege. (shrink)

This paper examines the need for static dispositions within the basic ontology of the powers view of properties. To lend some focus, Neil Williams’s well developed case for static dispositions is considered. While his arguments are not necessarily intended to address fundamental ontology, they still provide a useful starting point, a springboard for diving into the deeper metaphysical waters of the dispositionalist approach. Within that ontological context, this paper contends that Williams’s arguments fail to establish the need to posit static (...) dispositions, or at least any sort not already well appreciated by advocates of the powers view. The paper then proceeds to suggest an alternative motivation for positing static dispositions, the success of which depends greatly on which ontological approach to objects is paired with the powers view. (shrink)

I think there is something to be said in a positive and constructive vein about collective intentionality in non-human animals. Doing so involves probing at the concept of collective intentionality fairly directly (Section 2), considering the various forms that collective intentionality might take (Section 3), showing some sensitivity to the history of appeals to that concept and its close relatives (Section 4), and raising some broader questions about the relationships between sociality, cognition, and institutions by discussing two different possible cases (...) of collective intentionality in non-human animals: that of the social insects (Section 5) and that of highly social mammals, such as canines (Section 6). If the discussion here is on track, then the widely shared perspective on collective intentionality exemplified by the work of Searle and Tomasello needs to be reconsidered. (shrink)

The Article analyzes the notion of legal “thinghood” in the context of the person–thing bifurcation. In legal scholarship, there are numerous assumptions pertaining to this definition that are often not spelled out. In addition, one’s chosen definition of “thing” is often simply taken to be the correct one. The Article scrutinizes these assumptions and definitions. First, a brief history of the bifurcation is offered. Second, three possible definitions of “legal thing” are examined: Things as nonpersons, things as rights and duties, (...) and things as property. The first two definitions are rejected as not being very interesting or serving any heuristic function. Conversely, understanding legal things as property is meaningful, useful, and helps to understand what it means to say that animals are legally things. Defining things as property has certain rather important implications, which are analyzed at the end of the Article. For instance, not everything needs to be either a person or a thing: The historical institution of outlawry involved treating individuals neither as legal persons nor as legal things. One must conclude that the person–thing bifurcation is less fundamental than is often assumed. (shrink)

Recent scientific approaches to aesthetics include evolutionary theories about the origin of art behavior, psychological investigations into human aesthetic experience and preferences, and neurophysiological explorations of the mechanisms underlying art experience. Critics of these approaches argue that they are ultimately irrelevant to a philosophical aesthetics because they cannot help us understand the distinctive conceptual basis and normativity of our art experience. This criticism may seem plausible given the piecemeal nature of these scientific approaches, but a more comprehensive naturalistic framework can (...) help us understand the conceptual basis and normativity of art. In particular, the ecology of art, an understanding of how individuals interact within particular environments, can help us understand the engineered art niches in which we create and experience art. Each niche is associated with a particular deme, or set of individuals that interact within that niche, and a set of cognitive, epistemic, and pedagogical technologies that form the conceptual basis of a niche-dependent normativity. This is to be contrasted with the niche-independent normativity revealed by many of the scientific approaches. This framework, and the conflicting streams of normativity it reveals, allows us to better understand conflicts in normativity and the implausibility of unequivocal and universal normative principles. (shrink)

The study aimed to identify the reality of technical education in Palestine. The analytical descriptive method was used in the study. A questionnaire which consisted of 41 paragraphs was distributed randomly to the technical colleges in Gaza Strip. Random sample of (275) employees of these colleges were used, and the response rate was (74.5%). The results showed a high degree of approval for the dimensions of technical education with a relative weight of 76.07%. The ranking and relative weight was as (...) follows: Technical education institutions: 79.51%, graduates of technical education 75.75%, Labor market and local community 72.96%. The researchers propose a number of recommendations, the most important of which is: the need to pay attention to technical education in line with the National Strategic Plan for Higher Education by moving towards technical education. The importance of offering special courses in all technical education programs in these colleges. The researchers urged more future studies that address the same variables as the current study and apply them to other sectors. (shrink)

The study aimed to identify the creative environment of the technical colleges operating in Gaza Strip. The analytical descriptive method was used through a questionnaire which was randomly distributed to 289 employees of the technical colleges in Gaza Strip with a total number of (1168) employees and a response rate equal to (79.2%) of the sample study. The results confirmed the existence of a high degree of approval for the dimensions of the creative environment with a relative weight of (75.19%) (...) according to the perspective of the employees of the technical colleges in Gaza Strip. The results of the study showed a high level of creative environment (fluency, flexibility, originality, sensitivity to problems) in the technical colleges in Gaza Strip, where the field (fluency) ranked first and relative weight (76.86%), in the second place came the area (sense of problems) and relative weight (74.89%). The field of elasticity came in third place with a relative weight of (74.59%). Finally, the field of originality came in fourth and final rank with a relative weight of (74.41%). The results showed that there are differences between the technical colleges in the principles of the creative environment in all fields and the overall degree except for the field of flexibility. The most available colleges in these principles were the university college of applied sciences, and that was the least of the Faculty of Al-Aqsa Society. The results showed that there were differences according to the age variable in the areas of creative environment only in the sense of problems for age groups (less than 30 years) and (from 40 to 50 years). The researchers suggested a number of recommendations, the need to enhance the dimensions of the creative environment in technical colleges by working to improve the faculties of fluency, flexibility, originality and sensitivity to problems. The need to work on continuity and improve aspects of the creative environment of the colleges and the creation of new and innovative ways to support and develop and support these aspects combined. Necessity of technical colleges to continue to develop the creative environment (fluency, flexibility, originality, sensitivity to problems) for employees by engaging them in specialized training courses for creative thinking and problem solving. Developing work procedures with new innovative methods that will accomplish the various tasks quickly and accurately, and provide the effort, time and costs. The researchers urged more future studies that address the same variables of the current study in the field of creative environment and applied to other sectors. (shrink)

Eugenics does not feel so distant from where I stand. This essay explains why.

ABSTRACT Whether explicitly or implicitly, Kant's critical project weighs heavily upon Merleau-Ponty's Phenomenology of Perception. This article argues that we can understand Merleau-Ponty's text as a phenomenological rewriting of the Critique of Pure Reason from within the paradoxical structures of lived experience, effectively merging Kant's Transcendental Aesthetic and Transcendental Analytic. Although he was influenced by Husserl's and Heidegger's interpretations of Kant's first version of the Transcendental Deduction, Merleau-Ponty develops a unique position between Kant, Husserl, and Heidegger via an embodied and (...) lived synthesis that collapses Kant's distinction between sensibility and the understanding, and that makes sense of temporality and subjectivity as a paradoxical trajectory. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates the (...) epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

The aim of the study was to identify the organizational structure and its relation to the prevailing pattern of communication in the Palestinian universities. The researchers used the analytical descriptive method through a questionnaire randomly distributed among Palestinian university workers in the Gaza Strip. The study was conducted on a sample of (274) administrative staff from the three universities, and the response rate was (81.87%). The study found that there is a high satisfaction with the nature of the organizational structure (...) in the Palestinian universities from the point of view of the administrative staff, which reached 68.05%. And that there is a high level of communication pattern prevailing from the point of view of administrative staff, where the percentage (71.32%), there is a direct correlation between the nature of the organizational structure and the prevailing pattern of communication, the absence of differences between the sample according to the gender variable in their perception of the nature of the organizational structure and the prevailing pattern of communication, the absence of differences in the perception of employees of the nature of the organizational structure and the pattern of communication prevailing according to the variable age. There are differences of statistical significance in the perception of the nature of the organizational structure and the pattern of communication depending on the variable of scientific qualification in the organizational structure, and the pattern of communication. Differences were in favor of diploma holders compared to other practical qualifications. There is an absence of differences in the perception of employees of the nature of the organizational structure and the pattern of communication depending on the variable years of service. There is absence of differences in the perception of employees of the nature of the organizational structure and the pattern of communication depending on the variable level of career (Director, Head of Department, and Administrative Officer). There is absence of differences in the perception of employees of the nature of the organizational structure and the pattern of communication depending on the variable of the workplace. And the existence of differences in the perception of the employees of the nature of the organizational structure and pattern of communication depending on the university in which they work. And that there are statistically significant differences between the Islamic University and Al-Azhar University, the nature of the organizational structure and the pattern of communication in favor of the Islamic University. And that there are statistically significant differences between Al-Azhar University and Al-Aqsa University in the prevailing pattern of communication in favor of Al-Azhar University. The study reached a number of recommendations, the most important of which is that the departments of the Palestinian universities in the Gaza Strip in general, Al-Aqsa University and Al-Azhar Universities should be given greater attention to the prevailing organizational structure and the staff, the need to improve the pattern of communication prevalent in universities. Solving workers' problems and giving them the opportunity to contribute to solving their own problems. Strengthening the democratic leadership style and empowering university staff. (shrink)

Jesse Prinz (2004) argues that emotional feelings (“state emotions”) can by themselves perceptually represent significant organism-environment relations. I object to this view mainly on the grounds that (1) it does not rule out the at least equally plausible view that emotional feelings are non-representational sensory registrations rather than perceptions, as Tyler Burge (2010) draws the distinction, and (2) perception of a relation requires perception of at least one of the relation’s relata, but an emotional feeling by itself perceives neither the (...) subject’s environment, nor in many cases the relevant subject itself. I then explore two ways in which emotional feelings as non-perceptual sensory registrations might still contribute to significant relation representation when associated with representations of the subject and/or its environment. After briefly discussing some difficulties presented by a multimodal, sensory-perceptual view of such representation, I argue in favor of a “cognitive recognition theory” that holds that significant relation instances are represented during emotion occurrences via applications of emotion-type concepts to "incoming" emotional feelings and their associated mental states. (shrink)