Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should (...) be constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

The project of “public reason” claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of “public reason,” in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to (...) pick out from the multitude of particularized accounts of what constitutes “civic order,” no “public reason” so derived could adequately capture - and thus be able to secure in a practical sense - any single determinate civic order, much less one that would be consistent with all citizens' conceptions of public order. Part I of this Article raises a number of issues for consideration relating to the epistemology of law and focuses especially on the concept of public reason and its critique. Part II addresses alternative approaches to legal reasoning suggested by classical accounts of practical reasoning and virtue theory and considers the operation of such legal analysis outside the area of substantive due process; Part III analyzes post-Lawrence case law confirming the dilemma created by the Supreme Court's ambiguous approaches to substantive due process and concludes that only one interpretation - that articulated fully in Washington v. Glucksberg and given lip service in Lawrence v. Texas - provides a method for resolving novel substantive due process challenges that is philosophically sound as well as historically coherent. Rather than perpetuating a fiction that denies the propriety of lawmaking unless based on principles that all citizens can rationally agree upon, an appropriate model of substantive due process analysis recognizes that law must inevitably be based upon principles that cannot be agreed upon by all citizens in virtue of rationality alone. -/- Abstract Footnotes (291) Beta -/- Revise My Submission -/- -/- One-Click Download | Share | Email | Add to Briefcase -/- Facebook | Twitter | Digg | Del.icio.us | CiteULike | Permalink Using the URL or DOI link below will ensure access to this page indefinitely -/- Based on your IP address, your paper is being delivered by: New York, USA Processing request. [Processing request.] Illinois, USA Processing request. [Processing request.] Brussels, Belgium Processing request. [Processing request.] Seoul, Korea Processing request. [Processing request.] California, USA Processing request. [Processing request.] -/- If you have any problems downloading this paper, please click on another Download Location above, or view our FAQ File name: SSRN-id1004757. ; Size: 424K -/- Sample Cover You will receive a black and white printed and perfect bound version of this document in 8 1/2 x 11 inch format, with glossy color front and back covers. Currently shipping to the US addresses only. Your order will be shipped within three business days. Quantity: Total Price = $0.50 plus shipping (U.S. Only) -/- If you have any problems with this purchase, please email [email protected] or call 1-585-442-8170. Reason's Freedom and the Dialectic of Ordered Liberty -/- Edward C. Lyons University of Notre Dame Law School -/- Cleveland State Law Review, Vol. 55, p. 157, 2007 -/- Abstract: The project of "public reason" claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of "public reason," in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to pick out from the multitude of particularized accounts of what constitutes "civic order," no "public reason" so derived could adequately capture - and thus be able to secure in a practical sense - any single determinate civic order, much less one that would be consistent with all citizens' conceptions of public order. -/- Part I of this Article raises a number of issues for consideration relating to the epistemology of law and focuses especially on the concept of public reason and its critique. Part II addresses alternative approaches to legal reasoning suggested by classical accounts of practical reasoning and virtue theory and considers the operation of such legal analysis outside the area of substantive due process; Part III analyzes post-Lawrence case law confirming the dilemma created by the Supreme Court's ambiguous approaches to substantive due process and concludes that only one interpretation - that articulated fully in Washington v. Glucksberg and given lip service in Lawrence v. Texas - provides a method for resolving novel substantive due process challenges that is philosophically sound as well as historically coherent. -/- Rather than perpetuating a fiction that denies the propriety of lawmaking unless based on principles that all citizens can rationally agree upon, an appropriate model of substantive due process analysis recognizes that law must inevitably be based upon principles that cannot be agreed upon by all citizens in virtue of rationality alone. -/- Keywords: substantive due process, practical reason, public reason, Rawls, Casey, Lawrence, Glucksberg, Plato, Aristotle, Kant, Hegel, dialectic, autonomy, freedom -/- . (shrink)

A brief introductory note to the special issue of the Journal of Philosophy on "Parts and Wholes", setting the background for the seven papers included in the rest of the issue (by K. Fine, H. Hudson, M. Johnston, K. Koslicki, C. Normore, P. M. Simons, and P. van Inwagen).

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

There have been some narratives in Hadith literature that the companions of the Prophet Muhammad reviled (sabb) each other. In order to understand the expression of sabb correctly, the reasons of what led companions to curse need to be investigated. In this study, firstly concepts such as sabb, shatam and other related words will be examined and then the reasons for the expressions of sabb among companions and the factors which affected this will be analyzed.

In my article "Even if the fetus is not a person, abortion is immoral: The impairment argument" (this journal), I defended what I called “The impairment argument” which purports to show that abortion is immoral. Bruce Blackshaw (2019) has argued that my argument fails on three accounts. In this article, I respond to his criticisms.

In her 2004 book Carol Gould addresses the fundamental issue of democratizing globalization, that is to say of finding ways to open transnational institutions and communities to democratic participation by those widely affected by their decisions. The book develops a framework for expanding participation in crossborder decisions, arguing for a broader understanding of human rights and introducing a new role for the ideas of care and solidarity at a distance. Reinterpreting the idea of universality to accommodate a multiplicity of cultural (...) perspectives, the author takes up a number of applied issues, including the persistence of racism, cultural rights, women's human rights, the democratic management of firms, the use of the Internet to enhance political participation, and the importance of empathy and genuine democracy in understanding terrorism and responding to it. Accessibly written with a minimum of technical jargon this is a major contribution to political philosophy. (shrink)

This issue of The Monist is devoted to the metaphysics of lesser kinds, which is to say those kinds of entity that are not generally recognized as occupying a prominent position in the categorial structure of the world. Why bother? We offer two sorts of reason. The first is methodological. In mathematics, it is common practice to study certain functions (for instance) by considering limit cases: What if x = 0? What if x is larger than any assigned value? Physics, (...) too, often studies the (idealized) initial and boundary conditions of a given system: What would happen in the case of a perfect sphere, or a perfectly black body? In the cognitive sciences, research often thrives on the analysis of cognitive errors, perceptual illusions, brain pathologies. Also in logic one can learn a lot by studying special, anomalous scenarios such as those exhibited by the paradoxes: it is unlikely that we actually find ourselves in a soritical context, or in a liar-like situation, but the fact that we might—or simply the fact that we can conceive of such a possibility—is important enough to deserve careful consideration. In short, the odd, the unfamiliar, the extra-ordinary, the limit cases are perfectly at home in scientific and more broadly intellectual discourse at various levels, where they can be fruitfully engaged in a sophisticated way (witness the existence of specific confining and managing strategies for dealing with them); and they are important precisely because they instruct us concerning the normal, the obvious, and the paradigmatic. The same goes for metaphysics, we submit. Although its major concern is, naturally, with such core entities as substances, properties, or hunks of solid matter, a lot may be learned by paying attention to those limit cases where we find ourselves dealing with entities of much lesser kinds, whether real or putative. (shrink)

Leuridan (2011) questions whether mechanisms can really replace laws at the heart of our thinking about science. In doing so, he enters a long-standing discussion about the relationship between the mech-anistic structures evident in the theories of contemporary biology and the laws of nature privileged especially in traditional empiricist traditions of the philosophy of science (see e.g. Wimsatt 1974; Bechtel and Abrahamsen 2005; Bogen 2005; Darden 2006; Glennan 1996; MDC 2000; Schaffner 1993; Tabery 2003; Weber 2005). In our view, Leuridan (...) misconstrues this discussion. His weak positive claim that mechanistic sciences appeal to generalizations is true but uninteresting. His stronger claim, that all causal claims require laws, is unsupported by his arguments. Though we proceed by criticizing Leuridan’s arguments, our greater purpose is to embellish his arguments in order to show how thinking about mechanisms enriches and transforms old philosophical debates about laws in biology and provides new insights into how generalizations afford prediction, explanation and control. (shrink)

Scientific disagreements are an important catalyst for scientific progress. But what happens when scientists disagree amidst times of crisis, when we need quick yet reliable policy guidance? In this paper we provide a normative account for how scientists facing disagreement in the context of ‘fast science’ should respond, and how policy makers should evaluate such disagreement. Starting from an argumentative, pragma-dialectic account of scientific controversies, we argue for the importance of ‘higher-order evidence’ (HOE) and we specify desiderata for scientifically relevant (...) HOE. We use our account to analyze the controversy about the aerosol transmission of COVID-19. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

This paper defends the Intention Account of Inquiry. On this account, inquiry is best understood by appeal to a ‘question-directed intention’ (QDI), an intention to answer a question broadly construed. This account’s core commitments help meet recent challenges plaguing extant approaches to characterizing inquiry. First, QDIs are the type of mental state central to inquiry, not attitudes like curiosity or wonder. Second, holding a QDI towards a question and acting in service of it constitutes the start of inquiry. Third, controversial (...) norms which mandate a rational inquirer's ignorance towards the answer to her question can be reformulated and defended by appeal to rational constraints on intention. Fourth, instrumental pressures inquirers face are the standard pressures of plan-rationality. In defending these theses, I show that the Intention Account provides compelling explanations to standing challenges, in ways competitors cannot. It does so by advancing understanding of how our epistemic and practical agency are intertwined. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Despite their popularity, relatively scant attention has been paid to the upshot of Bayesian and predictive processing models of cognition for views of overall cognitive architecture. Many of these models are hierarchical ; they posit generative models at multiple distinct "levels," whose job is to predict the consequences of sensory input at lower levels. I articulate one possible position that could be implied by these models, namely, that there is a continuous hierarchy of perception, cognition, and action control comprising levels (...) of generative models. I argue that this view is not entailed by a general Bayesian/predictive processing outlook. Bayesian approaches are compatible with distinct formats of mental representation. Focusing on Bayesian approaches to motor control, I argue that the junctures between different types of mental representation are places where the transitivity of hierarchical prediction may be broken, and I consider the upshot of this conclusion for broader discussions of cognitive architecture. (shrink)

This response addresses the excellent responses to my book provided by Heather Douglas, Janet Kourany, and Matt Brown. First, I provide some comments and clarifications concerning a few of the highlights from their essays. Second, in response to the worries of my critics, I provide more detail than I was able to provide in my book regarding my three conditions for incorporating values in science. Third, I identify some of the most promising avenues for further research that flow out of (...) this interchange. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

In two recent papers, Michael Della Rocca accuses Descartes of reasoning circularly in the Fourth Meditation. This alleged new circle is distinct from, and more vicious than, the traditional Cartesian Circle arising in the Third Meditation. We explain Della Rocca’s reasons for this accusation, showing that his argument is invalid.

There is an old worry, which dates back to Mill but has analogs even in Sextus, that the very definition of ‘validity’ implies that all valid arguments are circular. This paper investigates how contemporary formal tools can ellucidate that old worry. Its main finding is the existence of a genuine puzzle: a difficult-to-avoid correspondence between the definitions of ‘valid argument’ and ‘premise circular argument’.

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

One way in which philosophers have often sought to distinguish moral judgments from non-moral judgments is by using the “moral-conventional” distinction. I seek to raise serious questions about the significance of the moral-conventional distinction, at least for philosophers interested in moral judgment. I survey recent developments in the fields of philosophy, psychology, and cognitive science that have led many to the conclusion that moral judgment is not a distinctive kind of judgment or the result of a specific, identifiable cognitive process. (...) I argue that if this conclusion is largely correct, the moral-conventional distinction loses significance. If moral judgment does not correspond to a distinctive cognitive process, it is unclear how distinguishing between types of norms tracks anything of significance to human judgment formation. I then discuss the implications of abandoning the distinction for research in the field of moral psychology and tentatively propose a more modest way of conceiving of norm significance. (shrink)

On the face of it, Maurice Merleau-Ponty’s views bear a strong resemblance to contemporary disjunctivist theories of perception, especially John McDowell’s epistemological disjunctivism. Like McDowell (and other disjunctivists), Merleau-Ponty seems to be a direct realist about perception and holds that veridical and illusory perceptions are distinct. This paper furthers this comparison. Furthermore, it is argued that elements of Merleau-Ponty’s thought provide a stronger case for McDowell’s kind of epistemological view than McDowell himself provides. Merleau-Ponty’s early thought can be used to (...) develop a unique version of epistemological disjunctivism that is worth consideration alongside contemporary views on perceptual knowledge. (shrink)

Skeptics of the moral case against industrial farming often assert that harm to animals in industrial systems is limited to isolated instances of abuse that do not reflect standard practice and thus do not merit criticism of the industry at large. I argue that even if skeptics are correct that abuse is the exception rather than the rule, they must still answer for two additional varieties of serious harm to animals that are pervasive in industrial systems: procedural harm and institutional (...) oppression. That procedural and institutional harms create conditions under which abuse is virtually inevitable only increases the skeptic's burden. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

The idea that appearances provide justifications for beliefs—the principle of phenomenal conservatism—is self-evidently true. In the case of cognitive penetration, however, it seems that certain irrational etiologies of a belief may influence the epistemic quality of that belief. Susanna Siegel argues that these etiologies lead to ‘epistemic downgrade.’ Instead of providing us with a decisive objection, cognitive penetration calls for us to clarify our epistemic framework by understanding the formative parts of appearances. In doing so, the two different but inseparable (...) ideas of sensation and intellection provide us with a basis of our appearances. These appearances, in turn, provide us with the objective evidence needed to test our judgements. Thus, the extra-sensory concepts of intellectual identification and the appearances they help form become an epistemic groundwork. (shrink)

I consider two attempts to combine realism with pluralism about the units of selection: Sober and Wilson’s combination of “model” and “unit” pluralism, and Sterelny and Griffiths’ “local pluralism”. I argue that both of these attempts fail to show that realism and pluralism are compatible. Sober and Wilson’s pluralism turns out, on closer inspection, to be a kind of monism in disguise, while Sterelny and Griffiths’ local pluralism involves a combination of realism and anti-realism about interactors, and the units of (...) selection, that is fundamentally unstable. My conclusion is that one must choose whether to be a realist or a pluralist in this area: one cannot be both. The question of which we should choose is a further question that I do not take a stand on. (shrink)

Thomas Hill famously argued that what really bothers us about environmental degradation is best discovered by asking “What kind of person would do such a thing?” Beliefs, some of which are blameworthy, are among the things that define what kind of person one is. What we care about is reflected in whether one’s epistemic practices align with one’s core moral convictions and common standards of decency. Our moral sensitivities are reflected in what we attend to and reflect upon. What we (...) do not notice can be a result of culpable indifference or self-deception. Environmental beliefs formed with negligent disregard for the risks they create for others are reflections of a vicious moral character. Beliefs of citizens have consequences. They determine what politicians will respond to and what policies they will introduce. Ideological commitments have been shown to influence what one takes to be the facts about risks. When the ethical dimensions of environmental beliefs and ignorance are unchallenged society drifts morally. Emphasizing the relationship between commonly shared moral convictions (more basic than ideological commitments) and risky environmental beliefs and actions has more potential to create environmental awareness than the current focus on environmental science and the economic benefits of better environmental policies. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...) propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

The way we farm, the kinds of backyards and landscapes we favor, and the way we control patterns of development are creating an invisible crisis through their affects upon soil ecology. The invisibility of soil ecosystems, the seemingly alien properties of the organisms that inhabit them, and the specialized knowledge required to understand them create obstacles to moral concern for these fountains of life. Our treatment of soils has reached the point of crisis. Obstacles to moral thinking about soils might (...) be overcome by supplying the moral imagination with a deeper understanding of our own biological identity as ecosystems analogous in organization and functions to soil ecosystems. Not only have microbes created the conditions necessary for human life, but they have shaped our evolutionary history and helped constitute the human genome. Our biological identity encompasses communities of microbes, such that humans (and all organisms) are most properly understood as ecosystems. For this reason, moral concern for humans implies moral concern for ecosystems. (shrink)

The political distinction between left and right remains ideologically muddled. This was not always so, but an immediate return to the pristine usage is impractical. Putting a theory of social liberty to one side, this essay defends the interpretation of left-wing as personal-choice and right-wing as property-choice. This allows an axis that is north/choice (or state-free) and south/control (or state-ruled). This Political Compass clarifies matters without being tendentious or too complicated. It shows that what is called ‘libertarianism’ is north-wing. A (...) quiz gives the reader’s Political Compass reading. (shrink)

An often-overlooked characteristic of the human mind is its propensity to wander. Despite growing interest in the science of mind-wandering, most studies operationalize mind-wandering by its task-unrelated contents. But these contents may be orthogonal to the processes that determine how thoughts unfold over time, remaining stable or wandering from one topic to another. In this chapter, we emphasize the importance of incorporating such processes into current definitions of mind-wandering, and propose that mind-wandering and other forms of spontaneous thought (such as (...) dreaming and creativity) are mental states that arise and transition relatively freely due to an absence of constraints on cognition. We review existing psychological, philosophical and neuroscientific research on spontaneous thought through the lens of this framework, and call for additional research into the dynamic properties of the mind and brain. (shrink)

My aim in this article is to challenge the standard North American diet’s (SAD) default status in church and among North American Christians generally. First, I explain what is at stake in my guiding question—“Is unrestrained omnivorism as typified by SAD spiritually beneficial?”—and then I attempt to allay some common skeptical concerns about the suitability of food ethics as a topic for serious Christian discernment. Second, I develop a prima facie case that SAD is not spiritually beneficial, drawing on five (...) traditional sources for Christian moral deliberation, including and especially general revelation and discernment of the fruits of the spirit. I conclude that, in the absence of a rebuttal vindicating SAD, the church should actively encourage Christians to adopt more redemptive eating habits, and Christians who are able should take action toward this end. (shrink)

This chapter provides a gentle introduction to contextual emergence and its implications for the structure of the material world as well as implications for meaning in our world.

For a long time critics of modern and postmodern art have relied on the "Isn't that disgusting" strategy. By that I mean the strategy of pointing out that given works of art are ugly, trivial, or in bad taste, that "a five-year-old could have made them," and so on. And they have mostly left it at that. The points have often been true, but they have also been tiresome and unconvincing—and the art world has been entirely unmoved. -/- Of course, (...) the major works of the twentieth-century art world are ugly. Of course, many are offensive. Of course, a five-year old could in many cases have made an indistinguishable product. Those points are not arguable—and they are entirely beside the main question. The important question is: Why has the art world of the twentieth-century adopted the ugly and the offensive? Why has it poured its creative energies and cleverness into the trivial and the self-proclaimedly meaningless? (shrink)

In this essay, I argue that the Incarnation of the Son of God, understood in a traditionally orthodox way, is incompatible with an atemporalist concept of God. First, I explain what I mean by atemporalism, namely the idea that God exists outside time. I also show the main corollaries of that doctrine, most notably that all of God’s life occurs eternally simultaneously. Second, based on New Testament teaching and widely accepted creeds, I spell out philosophically what I mean by the (...) Incarnation. In short, I take it to be the doctrine that the Second Person of the Trinity at some point in time took on a human body as part of a fully human nature. I then proceed to my central argument, which derives a contradiction from the definitions of the Incarnation and of atemporalism, respectively. In the last section, I shall treat some possible objections to my argument and show that they do not solve the problem satisfactorily. (shrink)

I characterize and argue against the standard interpretation of logical atomism. The argument against this reading is historical: the standard interpretation of logical atomism (1) fails to explain how the view is inspired by nineteenth-century developments in mathematics, (2) fails to explain how logic is central to logical atomism, and (3) fails to explain how logical atomism is a revolutionary and new "scientific philosophy." In short, the standard interpretation is a bad history of logical atomism. A novel interpretation of the (...) view that repairs these difficulties is sketched in the concluding section. (shrink)

Observational astronomy is plagued with selection effects that must be taken into account when interpreting data from astronomical surveys. Because of the physical limitations of observing time and instrument sensitivity, datasets are rarely complete. However, determining specifically what is missing from any sample is not always straightforward. For example, there are always more faint objects (such as galaxies) than bright ones in any brightness-limited sample, but faint objects may not be of the same kind as bright ones. Assuming they are (...) can lead to mischaracterizing the population of objects near the boundary of what can be detected. Similarly, starting with nearby objects that can be well observed and assuming that objects much farther away (and sampled from a younger universe) are of the same kind can lead us astray. Demographic models of galaxy populations can be used as inputs to observing system simulations to create “mock” catalogues that can be used to characterize and account for multiple, interacting selection effects. The use of simulations for this purpose is common practice in astronomy, and blurs the line between observations and simulations; the observational data cannot be interpreted independent of the simulations. We will describe this methodology and argue that astrophysicists have developed effective ways to establish the reliability of simulation-dependent observational programs. The reliability depends on how well the physical and demographic properties of the simulated population can be constrained through independent observations. We also identify a new challenge raised by the use of simulations, which we call the “problem of uncomputed alternatives.” Sometimes the simulations themselves create unintended selection effects when the limits of what can be simulated lead astronomers to only consider a limited space of alternative proposals. (shrink)

I claim that a relatively new position in philosophy of mathematics, pluralism, overlaps in striking ways with the much older Jain doctrine of anekantavada and the associated doctrines of nyayavada and syadvada. I first outline the pluralist position, following this with a sketch of the Jain doctrine of anekantavada. I then note the srrong points of overlaps and the morals of this comparison of pluralism and anekantavada.

In this paper, we defend Socratic studies as a research programme against several recent attacks, including at least one recently published in Polis . Critics have argued that the study of Socrates, based upon evidence mostly or entirely derived from some set of Plato's dialogues, is founded upon faulty and indefensible historical or hermeneutical technique. We begin by identifying what we believe are the foundational principles of Socratic studies, as the field has been pursued in recent years, and we then (...) show how the research programme that derives from accepting these principles is not defeated by any of the most common recent criticisms of it. Specifically, we argue that challenges to sorting Plato's dialogues by date, more general challenges to historicist interpretations of Plato's dialogues, as well as recent literary criticisms of Socratic studies all fail to undermine the research programme. We conclude with some thoughts about how and why Socratic studies has proved itself a valuable and fruitful research programme. (shrink)

This paper proposes to reconstruct Boaventura de Sousa Santos' conception of "epistemologies of the south" both (a) as a critical theory aiming at denouncing the impoverishment of the epistemic field entailed by the normative imposition of a certain model of knowledge (what we call "the monoculture of reason"), and (b) as a long-term political project of a harmonic coexistence of different epistemologies ("an ecology of knowledges").

When the reader turns to a text, he conceives of the narrated events as ordered in time. When the natural philosopher turns to the world, he also conceives of its events as ordered in time—or lately, in space-time. But each has the task of constituting this order on the basis of clues present in what is to be ordered. Interrogating the parallels to be found in their problems and methods, I shall argue that in both cases the definiteness of the (...) relation between the order and what is ordered resides mainly in how the matter is to be conceived, and is underdetermined by the facts. (shrink)

Nikolay Kondratieff is known primarily for his theory of long cycles. However, it is worth recalling that he was among the first who started to investigate the nature of different economic cycles and their systematic interaction. Actually the primary classification of cycles into short, medium and long belongs to Kondratieff.

The thesis that subsumption is sufficient for explanation is dying out, but the thesis that it is necessary is alive and well. It is difficult to attack this thesis: non-subsumptive counter-examples are declared incomplete, or mere promissory notes. No theory, it is thought, can be explanatory unless it resorts to subsumption at some point. In this paper I attack this thesis by describing a theory that (1) would explain every event it could describe, (2) does not explain by subsumption, and (...) (3) is fundamental in that it is understood to be irreducible (hence there are no unstated laws waiting in the wings). (shrink)

The aim of this article is to advance the idea according to which the Cartesian Cogito, the ground of modern philosophy and the source of the notion of thinking subject, is tributary of a certain method whose legitimation is grounded in western history. According to this hypothesis, there is a certain tool that plays a fundamental role in the production of this new philosophical notion: the dream. The argument will be developed in four parts. We will first proceed to (i) (...) an analysis of the role of the hypothesis of the dream in the formulation of the notion of res cogitans, what will bring us to (ii) an exploration of the conception of private world supposed by such a hypothesis so as to (iii) clarify the specificity of the Cartesian notion of knowledge, a knowledge that must be acquirable in a dream; in conclusion (iv) we will indicate in a schematic way the historic-cultural anchor of the Cartesian dream where the subject is originated. (shrink)

Libertarians typically object to having the state deal with law and order for several general reasons: it is inefficient; it is carried out at the expense of taxpayers; and it punishes so-called victimless crimes. Exactly what the observance of liberty implies with respect to the treatment of tortfeasors and criminals is more controversial among libertarians. A pure theory of libertarian restitution and retribution is mainly what is attempted here, without becoming involved in general moral anti-state arguments. However, the pure theory (...) alone will raise practical problems that require immediate response if the theory is to appear at all plausible. (shrink)