Introduction to the Scientific Proof of the Natural Moral Law This paper proves that Aquinas has a means of demonstrating and deriving both moral goodness and the natural moral law from human nature alone. Aquinas scientifically proves the existence of the natural moral law as the natural rule of human operations from human nature alone. The distinction between moral goodness and transcendental goodness is affirmed. This provides the intellectual tools to refute the G.E. Moore (Principles of Ethics) attack (...) against the natural law as committing a "naturalistic fallacy". This article proves that instead Moore commits the fallacy of equivocation between moral goodness and transcendental goodness in his very assertion of a "naturalistic fallacy" by the proponents of the natural moral law. In the process the new deontological/kantian theory of natural law as articulated by John Finnis, Robert George, and Germain Grisez is false historically and philosophically. Ethical naturalism is affirmed as a result. (shrink)

“Proof of concept” is a phrase frequently used in descriptions of research sought in program announcements, in experimental studies, and in the marketing of new technologies. It is often coupled with either a short definition or none at all, its meaning assumed to be fully understood. This is problematic. As a phrase with potential implications for research and technology, its assumed meaning requires some analysis to avoid it becoming a descriptive category that refers to all things scientifically exciting. I (...) provide a short analysis of proof of concept research and offer an example of it within synthetic biology. I suggest that not only are there activities that circumscribe new epistemological categories but there are also associated normative ethical categories or principles linked to the research. I examine these and provide an outline for an alternative ethical account to describe these activities that I refer to as “extended agency ethics”. This view is used to explain how the type of research described as proof of concept also provides an attendant proof of principle that is the result of decision-making that extends across practitioners, their tools, techniques, and the problem solving activities of other research groups. (shrink)

We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

Definitions I presented in a previous article as part of a semantic approach in epistemology assumed that the concept of derivability from standard logic held across all mathematical and scientific disciplines. The present article argues that this assumption is not true for quantum mechanics (QM) by showing that concepts of validity applicable to proofs in mathematics and in classical mechanics are inapplicable to proofs in QM. Because semantic epistemology must include this important theory, revision is necessary. The one I (...) propose also extends semantic epistemology beyond the ‘hard’ sciences. The article ends by presenting and then refuting some responses QM theorists might make to my arguments. (shrink)

Hempel seems to hold the following three views: (H1) Understanding is pragmatic/relativistic: Whether one understands why X happened in terms of Explanation E depends on one's beliefs and cognitive abilities; (H2) Whether a scientific explanation is good, just like whether a mathematical proof is good, is a nonpragmatic and objective issue independent of the beliefs or cognitive abilities of individuals; (H3) The goal of scientific explanation is understanding: A good scientific explanation is the one that provides (...) understanding. Apparently, H1, H2, and H3 cannot be all true. Some philosophers think that Hempel is inconsistent, while some others claim that Hempel does not actually hold H3. I argue that Hempel does hold H3 and that he can consistently hold all of H1, H2, and H3 if he endorses what I call the “understanding argument.” I also show how attributing the understanding argument to Hempel can make more sense of his D-N model and his philosophical analysis of the pragmatic aspects of scientific explanation. (shrink)

This is a teaching and learning guide to accompany "Explanation in Mathematics: Proofs and Practice".

I argue that Descartes uses his method as evidence in the Discours and Les Météores. I begin by establishing there is a single method in Descartes’ works, using his meteorology as a case study. First, I hold that the method of the Regulae is best explained by two examples: one scientific, his proof of the anaclastic curve (1626), and one metaphysical, his question of the essence and scope of human knowledge (1628). Based on this account, I suggest that (...) the form of his early metaphysics (not its content) is similar to the method of doubt of the Meditationes. Second, I argue that Descartes’ explanation of the cause of parhelia (1629) likewise contains a formulation of this procedure. I provide a novel reading of Les Météores, where, following Descartes’ guidance in the Discours and Correspondance, I interpret his meteorology by reasoning from effects to causes, in this case, from Christoph Scheiner’s 1626 observation of parhelia to his meteorological foundation. This backwards orientation to Les Météores, I argue, reveals an instance of Descartes’ scientific method. I conclude with remarks on Descartes’ concept of evidentia, in which I explain how he incorporates a posteriori evidence and an apparent hypothetical foundation into his rationalist epistemology where he uses his method as evidence for his claims. (shrink)

Is there a role for aesthetic judgements in science? One aspect of scientific practice, the use of thought experiments, has a clear aesthetic dimension. Thought experiments are creatively produced artefacts that are designed to engage the imagination. Comparisons have been made between scientific (and philosophical) thought experiments and other aesthetically appreciated objects. In particular, thought experiments are said to share qualities with literary fiction as they invite us to imagine a fictional scenario and often have a narrative form (...) (Elgin 2014). But philosophical discussions of aesthetics in science have focused mainly on the epistemic role of beauty and elegance when it comes to theories and mathematical proofs, and thought experiments have been widely overlooked. My aim in this chapter is to address how the aesthetic choices scientists make in the design of a thought experiment contribute to its function: to communicate, convince, or explain a theory or phenomenon. A key issue is whether any aesthetic features in science provide anything beyond catching our attention, or are at best, a mere heuristic aid. I respond to accounts that argue this way and show how formulation is important in scientific thought experiments and, similarly to literary fictions, there is more than one way of interpreting a thought experiment scenario. I end by considering which literary examples are most appropriate when making comparisons with thought experiments. As a result, the difference between representations in art and science raised in current discussions is not as stark as it has been made out to be, and science is a more heterogeneous practice than has been allowed. Part of the value of thought experiments in scientific practice includes the qualities they share with literary works. (shrink)

Working in academia is challenging, even more so for those with limited resources and opportunities. Researchers around the world do not have equal working conditions. The paper presents the structure, operation method, and conceptual framework of the SM3D Portal's community coaching method, which is built to help Early Career Researchers (ECRs) and researchers in low-resource settings overcome the obstacle of inequality and start their career progress. The community coaching method is envisioned by three science philosophies (cost-effectiveness, transparency spirit, and proactive (...) attitude) and established and operated based on the Serendipity-Mindsponge-3D knowledge (SM3D) management framework (i.e., mindsponge thinking and Bayesian Mindsponge Framework analytics serve as the coaching program's foundational theory and analytical tools). The coaching method also embraces Open Science's values for lowering the cost of doing science and encouraging the trainees to be transparent, which is expected to facilitate the self-correcting mechanism of science through open data, open review, and open dialogue. Throughout the training process, members are central beneficiaries by gaining research knowledge and skills, acquiring publication as the training's product, and shifting their mindsets from “I can't do it” to “I can do it,” and at the same time transforming a mentee to be ready for a future mentor's role. The coaching method is thus one of the members, for the member, by the members. -/- • The paper provides the structure, operation method, and conceptual framework of the SM3D Portal's community coaching method, which is built to help Early Career Researchers (ECRs) and researchers in low-resource settings overcome the obstacle of inequality and start their career progress. • The paper presents three major science philosophies envisioning the establishment and operation of scholarly community coaching. • The paper employs the mindsponge theory and BMF analytics to construct a conceptual framework explaining how an environment is created to help shift members’ mindsets from “I can't do it” to “I can do it.”. (shrink)

Eastern philosophy and western science have convergent and divergent viewpoints for their explanation of consciousness. Convergence is found for the practice of meditation allowing besides a time dependent consciousness, the experience of a timeless consciousness and its beneficial effect on psychological wellbeing and medical improvements, which are confirmed by multiple scientific publications. Theories of quantum mechanics with non-locality and timelessness also show astonishing correlation to eastern philosophy, such as the theory of Penrose-Hameroff (ORC-OR), which explains consciousness by reduction of (...) quantum superposition in the brain. Divergence appears in the interpretation of the subjective experience of timeless consciousness. In eastern philosophy, meditation at a higher level of awareness allows the personal experience of timeless and non-dual consciousness, considered as an empirical proof for the existence of pure consciousness or spirituality existing before the material world and creating it by design. Western science acknowledges the subjective, non-dual experience, and its multiple beneficial effects, however, the interpretation of spirituality designing the material universe is in disagreement with the Darwinian Theory of mutation and selection. A design should create an ideal universe without the injustice of 3% congenital birth defects and later genetic health problems. The western viewpoint of selection is more adapted to explain congenital errors. The gap between subjectivity and objectivity, the mind-body problem, is in eastern philosophy reduced to the dominance of subjectivity over objectivity, whereas western science attributes equal values to both. Nevertheless, there remains an astonishing complementarity between eastern and western practices. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like many (...) other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)

The clamour for scientific reasoning in philosophy is born out of a belief that scientific reasoning is infallible and universal. This paper argues that while scientific reasoning is infallible, it is so only with regard to the objects of knowledge in science. And because objects of knowledge are not the same across disciplines, claims that scientific reasoning is universal in its application are patently misplaced. -/- The belief in the universality of scientific reasoning has its (...) genesis in what may be called the ‘same genre argument’. If all objects of knowledge have a common essential and characteristic quality they can be put in a common basket and so belong to a common set. So far so good. The problem with this thesis arises when it is assumed that all objects of knowledge there can be (in this universe and beyond, if there is a beyond) are elements of that common universal set. If they are, they share an essential quality with and so belong to the same genre as material objects in our material universe. This essential quality is the material nature (mass and/or energy) of all matter in the phenomenal world, a quality that gives matter (a) objective reality and (b) makes it a percept. Scientific method is geared to studying percepts through a percept-perceiver one-to-one relationship. -/- If all objects of knowledge, however, are not material objects, they will neither be percepts nor show up as objective realities to perceiver/scientific observers and on their scientific tools. There are such objects. What was mere speculation once can be scientifically proven today. Only, the approach to the proof must be different. -/- There is a category of objects that are not material in nature; but they are objects of knowledge. These are called wholes. Examples of wholes are (i) God of Abrahamic religions; (ii) the Self/Brahman of the Upanishads; (iii) the universe in entirety. Every whole is characterized by dimensions. Dimensions are not objective realities because they are not material objects. Because they are not objective realities they are not objectively verifiable. Hence they will always elude science and scientific reasoning. That does not mean that they don’t exist. The universe is a whole. Its dimensions are space and time. Neither is objectively real; yet both are realities. -/- The paper concludes by considering the dynamics of logical progression from premise (axiom) to theorem. If the premise is wrong there can be no knowledge, no matter how powerful the logical apparatus that is used. (shrink)

Medicine, like law, is a pragmatic, probabilistic activity. Both require that decisions be made on the basis of available evidence, within a limited time. In contrast to law, medicine, particularly evidence-based medicine as it is currently practiced, aspires to a scientific standard of proof, one that is more certain than the standards of proof courts apply in civil and criminal proceedings. But medicine, as Dr. William Osler put it, is an "art of probabilities," or at best, a (...) "science of uncertainty." One can better practice medicine by using other evidentiary standards in addition to the "scientific." To employ only the scientific standard of proof is inappropriate, if not impossible; furthermore, as this review will show, its application in medicine is fraught with bias. Evidence is information. It supports or undermines a proposition, whether a hypothesis in science, a diagnosis in medicine, or a fact or point in question in a legal investigation. In medicine, physicians marshal evidence to make decisions on how to best prevent, diagnose, and treat disease, and improve health. In law, courts decide the facts and render justice. Judges and juries assess evidence to establish liability, to settle custody and medical issues, and to determine a defendant's guilt or innocence. (shrink)

English summary: This paper uses research on the COVID-19 pandemic as the backdrop for an accessible discussion of the value and status of science, and of the role of valuesin science. In particular, the paper seeks to debunk three common myths or dogmas about scientific research: (i) that there is such a thing as 'scientific proof' of a theory or hypothesis, (ii) that disagreement is necessarily unhealthy or unnatural in science, (iii) and that personal values play no (...) role in scientific research. (shrink)

In this paper I defend an intermediate position between the ‘bare mathematical results’ view and the ‘transmission’ view of mathematical explanations of physical phenomena (MEPPs). I argue that, in MEPPs, it is not enough to deduce the explanandum from the generalizations cited in the explanans. Rather, we must add information regarding why those generalizations obtain. However, I also argue that it is not necessary to provide explanatory proofs of the mathematical theorems that represent those generalizations. I illustrate this with the (...) bridges of Königsberg case. -/- . (shrink)

There is a middle ground of imperfect knowledge in fields like medicine and the social sciences. It stands between our day-to-day relatively certain knowledge obtained from ordinary basic observation of regularities in our world and our knowledge from well-validated theories in the physical sciences. -/- The latter enable reliable prediction a great deal of the time of the happening of events never before experienced. The former enable prediction only of what has happened before and beyond that of educated guesses which (...) may sometimes prove right and others not when we test them. -/- The imperfection of our knowledge between those limits is a consequence of complexity. -/- Reductionist empiricism fails when faced with complexity but we all still have to live in a complex world where reductionist science cannot help us devise reliable theories from which we can predict the behaviour of the world around us. We cannot predict reliably. We can only monitor actively and manage actively the world around us if we want to try to control our environment. We have a limited prediction horizon. -/- Science and empiricism work well if we want to send Voyager I and II over 3 billion miles away but not for most other things. -/- In medicine how and when to apply probabilistic, conjectural, incomplete medical theories and explanations requires professional expertise, intuition and judgement (non scientific knowledge) which is essential. Medical diagnosis is a skill of predicting from knowledge of what has happened before that the past will recur in the current patient applying expertise and intuition from knowledge and experience of prior cases and probabilistic medical research and theory. The physician is left to an educated guess as to how the future will develop for the particular individual patient the focus of his or her current attention. (shrink)

Preface/Introduction: The question under discussion is metaphysical and truly elemental. It emerges in two aspects — how did we come to be conscious of our own existence, and, as a deeper corollary, do existence and awareness necessitate each other? I am bold enough to explore these questions and I invite you to come along; I make no claim to have discovered absolute answers. However, I do believe I have created here a compelling interpretation. You’ll have to judge for yourself. -/- (...) What follows is the presentation of three essays I have worked on over the past several years seeing publication for the first time. “Hollows of Experience” was written first as an invited chapter for a collection on the ontology of consciousness. However, when cuts became necessary, my chapter got the knife. Its length has prohibited it from publication in any print journal. “Myth and Mind” was written next as a journal article, but as my involvement with it grew so did its length, so it has also idled on my websty awaiting its call. “From Panexperientialism to Conscious Experience” was written most recently, but it is the only one to have been available to the public elsewhere than my own website. Under the name, “The Continuum of Experience”, it was Target Article #95 on the recently closed Karl Jaspers Forum (for discussion purposes only). -/- I have put them in a different sequence here, for reasons of logical sense. Up first, “Panexperientialism” deals with an idea difficult for many to accept, namely that conscious experience is a particular mode of symbolically reflected experience that is largely unique to our species. However, I aver that experienced sensation in itself (as found, for example, in autonomic sensory response systems) goes “all the way down” into nature, and thus the title, panexperientialism. -/- Understanding this idea is helpful to dealing with the focus on language in Part I of “Hollows”, next, since here speech and general symbolic interaction in general are found to be the catalysts for the creation of our consciously experienced world (our “lived reality”). In Part II, however, I explore how experienced sensations must be coeval with existence, and, with even greater temerity, how all this sensational existence might have arisen within some literally inconceivable background of awareness-in-itself that yet has a dynamism that occasionally breaks into existence as experiential events and entities. (The latter may sound wacky, but physicists and cosmologists are themselves attempting to come to terms with that which seethes with vast potential energy in what they refer to as the quantum vacuum.) -/- “Myth and Mind” was put third since it deals with a major lacuna in “Hollows” — that presumed prehistoric period when members of our species made the painful crossing of the symbolic threshold into the beginnings of cultural consciousness. Speech plays a central role here, too, but I look more at narrative structures from the dawn of self-awareness when ritual and myth became vital to human survival. Why would fantastic stories and bizarre rituals be necessary? I speculate that growing foresight led to the unavoidable realization of certain mortality, from which, in turn, emerged the secondary realization that we were now alive. In contrast to our yet-to-come death, we have life here and now, and by ritually identifying with a symbolically expanded mythic, i.e., sacred, reality, we may continue to live on after bodily death, just as our ancestors and loved ones must also do. Language and mythmaking are necessary to avoid mortal despair and they remain at the core of human consciousness. -/- As Ernst Cassirer (1944) has noted, language and myth are “twin creatures”, both metaphoric webs over a reality we can never wholly comprehend. We live in the symbolic and construct our works of imagination and wars of conquest to make life meaningful, to feel immortal, and to sense that we ourselves participate in a reality greater than ourselves. No doubt we do, but this does not mean our culturally constructed self-identities survive the death of our bodies, and it does not imply that our symbolic concepts can ever indicate the ultimate truth. We simply must symbolize an extended reality that was sacred to our ancestors: “Is it not our way, as illusory as it may be, to force continuance on our world and our life in the face of their inevitable ending? Are we not compelled to extend those imaginary horizons as far as we can despite the terror and the sometime joy their extension incites? Is their closure not a form of death?” (Crapanzano, p. 210) -/- Of course, this leaves me in the uncomfortable position of being forced to admit that this venture of mine must inevitably be another attempt at meaningful mythmaking. But what else could it be? This is certainly not a scientific proof though it is indeed an academically rigorous exploration. (Just try to count the citations!) I hope the reader will judge my thesis on the basis of its coherence, the sense of meaning it evokes, my intellectual responsibility, and, finally, the engagement it inspires. If you have read my expositions and found yourself immersed in the timeless questions I here call forth, I would call these writings successful (even if you violently disagree with my answers). -/- I am very grateful to Huping Hu for granting me this special issue of JCER in which to present my ideas in some detail. He has patiently dealt with my exuberant approach and allowed the many changes I kept coming up with right until the final publication date. I also wish to thank the many potential commentators who politely replied to my invitation, and, even more, I thank those who made time to write actual commentaries. -/- References -/- Cassirer, E. (1944). An Essay on Man: An Introduction to a Philosophy of Human Culture. New Haven/London: Yale UP. -/- Crapanzano, V. (2004). Imaginative Horizons: An Essay in Literary-Philosophical Anthropology. Chicago: U of Chicago Press. -/- Gregory M. Nixon University of Northern British Columbia Prince George, British Columbia, Canada Email: [email protected] Websty: http://members.shaw.ca/doknyx. (shrink)

[Accepted for publication in Lakatos's Undone Work: The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science, special issue of Kriterion: Journal of Philosophy. Edited by S. Nagler, H. Pilin, and D. Sarikaya.] Lakatos’s analysis of progress and degeneration in the Methodology of Scientific Research Programmes is well-known. Less known, however, are his thoughts on degeneration in Proofs and Refutations. I propose and motivate two new criteria for degeneration based on the discussion in Proofs and (...) Refutations – superfluity and authoritarianism. I show how these criteria augment the account in Methodology of Scientific Research Programmes, providing a generalized Lakatosian account of progress and degeneration. I then apply this generalized account to a key transition point in the history of entropy – the transition to an information-theoretic interpretation of entropy – by assessing Jaynes’s 1957 paper on information theory and statistical mechanics. (shrink)

Recent developments in the field of forensic medicine and the judicial practice are both factors influencing considerably toward an increasing role of toxicologists in court hearings and litigation processes. The role of forensic toxicologist has been until a few decennia before a prerogative of the medico-legal specialists, but meanwhile a subspecialty of the general toxicology seems to have been created. Vis-à-vis the increasing presence of toxicologists in penal procedures of poisoning and intoxications, Albanian courts have created their own precedents and (...) bylaws, regulating the presence, the opinion taking, and the relative importance such an expert opinion will have on the final sentence. Due to a multiplicity of factors, legal terminology with regard to drugs of abuse needs to be revised and parallel to such a revision a better defining of the role of expert toxicologist as a collector and interpreter of the scientific proofs seems necessary. Overlapping competencies with judicial bodies and confusing legislative measures will do nothing else but complicate issues that should be and can be easily resolved, through simple and appropriate interventions at different levels. (shrink)

This book arrives with a reputation. Apparently, it is the first book on psi and other anomalous human experiences to be published by the rather traditionalist APA (American Psychological Association). If this is true, this is likely due to the fact that much of the book relies on carefully monitored and repeated experiments to demonstrate the statistical veracity of such things as precognition, remote viewing, clairvoyance, mental telepathy, and even psychokinesis. This is the key to the authors’ claim of empirical (...) testing and scientific proof. (shrink)

There are many parts of science in which a certain sort of underdetermination of theory by evidence is known to be common. It is argued that reflection on this fact should serve to shift the burden of proof from scientific anti-realists to scientific realists at a crucial point in the debate between them.

In this paper, I argue that, other things being equal, simpler arguments are better. In other words, I argue that, other things being equal, it is rational to prefer simpler arguments over less simple ones. I sketch three arguments in support of this claim: an argument from mathematical proofs, an argument from scientific theories, and an argument from the conjunction rule.

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial (...) philosophic problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. -/- KEY WORDS: hypothesis, theorem, argumentation, proof, deduction, premise-conclusion argument, valid, inference, implication, epistemic, ontic, cogent, fallacious, paradox, formal, validation. (shrink)

Karl Popper’s “Indeterminism in Quantum Physics and in Classical Physics” suffers unjust neglect. He judged determinism false: the future is open. In principle, replacing Laplace's variant of predetermination with predictable predetermination renders “scientific” determinism scientific and so refutable. Popper claimed that he had refuted it. Now a metaphysical system may have an extension—in the mathematical sense—that may render it explanatory and testable. If it exists, then it is not unique but has many alternative extensions. Popper’s proof is (...) then inconclusive. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

ABSTRACT: Abstract Most modern knowledge is not science. The physical sciences have successfully validated theories to infer they can be used universally to predict in previously unexperienced circumstances. According to the conventional conception of science such inferences are falsified by a single irregular outcome. And verification is by the scientific method which requires strict regularity of outcome and establishes cause and effect. -/- Medicine, medical research and many “soft” sciences are concerned with individual people in complex heterogeneous populations. These (...) populations cannot be tested to demonstrate strict regularity of outcome in every individual. Neither randomised controlled trials nor observational studies in medicine are science in the conventional conception. Establishing and using medical and other “soft science” theories cannot be scientific. It requires conceptually different means: requiring expert judgement applying all available evidence in the relevant available factual matrix. -/- The practice of medicine is observational. Prediction of outcomes for the individual requires professional expertise applying available medical knowledge and evidence. Expertise in any profession can only be acquired through experience. Prior cases are the fundament of knowledge and expertise in medicine. Case histories, studies and series can provide knowledge of extremely high reliability applicable to establishing reliable general theories and falsifying others. Their collation, study and analysis should be a priority in medicine. Their devaluation as evidence, the failure to apply their lessons, the devaluation of expert professional judgement and the attempt to emulate the scientific method are all historic errors in the theory and practice of modern medicine. (shrink)

This Article aims to demonstrate that the WTO jurisprudence on science-related trade disputes has become imbued with a specific vision of science that has prevented any possible application of the precautionary principle. This situation is due both to the WTO’s specific dispute settlement procedures and to the substantive nature of precautionary measures. Indeed, such measures’ foundation on “insufficient scientific evidence” dramatically undermines the probative value of science in WTO adjudication and creates a seeming contradiction: The system requires defendants to (...) provide legal evidence of the absence of sufficient scientific evidence. The reasoning of the Panel on the EC–Biotech case was riddled with this apparent paradox. For the first time, the US–Continued Suspension case has opened a gateway to address this fundamental issue. (shrink)

In August 2002, three Indian computer scientists published a paper, ‘PRIMES is in P’, online. It presents a ‘deterministic algorithm’ which determines in ‘polynomial time’ if a given number is a prime number. The story was quickly picked up by the general press, and by this means spread through the scientific community of complexity theorists, where it was hailed as a major theoretical breakthrough. This is although scientists regarded the media reports as vulgar popularizations. When the paper was published (...) in a peer-reviewed journal only two years later, the three scientists had already received wide recognition for their accomplishment. Current sociological theory challenges the ability to clearly distinguish on independent epistemic grounds between distorted and non-distorted scientific knowledge. It views the demarcation lines between such forms of presentation as contextual and unstable. In my paper, I challenge this view. By systematically surveying the popular press coverage of the ‘PRIMES is in P’ affair, I argue--against the prevailing new orthodoxy--that distorted simplifications of scientific knowledge are distinguishable from non-distorted simplifications on independent epistemic grounds. I argue that in the ‘PRIMES is in P’ affair, the three scientists could ride on the wave of the general press-distorted coverage of their algorithm, while counting on their colleagues’ ability to distinguish genuine accounts from distorted ones. Thus, their scientific reputation was unharmed. This suggests that the possibility of the existence of independent epistemic standards must be incorporated into the new SSK model of popularization. (shrink)

As a way to make medical decisions, Evidence-Based Medicine (EBM) has failed. EBM's failure arises from not being founded on real-world decision-making. EBM aspires to a scientific standard for the best way to treat a disease and determine its cause, but it fails to recognise that the scientific method is inapplicable to medical and other real-world decision-making. EBM also wrongly assumes that evidence can be marshaled and applied according to an hierarchy that is determined in an argument by (...) authority to the method by which it has been obtained. If EBM had valid theoretical, practical or empirical foundations, there would be no hierarchy of evidence. In all real-world decision-making, evidence stands or falls on its inherent reliability. This has to be and can only be assessed on a case-by-case basis applying understanding and wisdom against the background of all available facts—the "factual matrix." EBM's failure is structural and was inevitable from its inception. EBM confuses the inherent reliability and probative value of evidence with the means by which it is obtained. -/- EBM is therefore an ad hoc construct and is not a valid basis for medical decision-making. This is further demonstrated by its exclusion of relevant scientific and probative real-world decision-making evidence and processes. It draws upon a narrow evidence base that is itself inherently unreliable. It fails to take adequate account of the nature of causation, the full range of evidence relevant to its determination, and differing approaches to determining cause and effect in real-world decision-making. EBM also makes a muddled attempt to emulate the scientific method and it does not acknowledge the role of experience, understanding and wisdom in making medical decisions. (shrink)

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In (...) order to clarify these concepts, the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. For his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

Scientific inquiry takes onward course from the point where previous scientists had reached. But philosophical analysis initiates from scratch. Philosophy questions everything and chooses starting point for itself after having ruled out all the unsubstantiated and doubtful elements of the topic under study. Secondly, known realities must make sense. If a theory is officially 'counterintuitive', then either it is mere fiction or at the most; a distorted form of truth. This book's analysis is based on the philosophical principle that (...) knowledge is empirical and does not arise magically in absence of observational grounds. With philosophical approach, it was doubtful to accept that Georges Lemaître already knew Hubble's law in year 1927 that was yet to be found by Edwin Hubble in year 1929. Therefore this book started with denial of the claim that Lemaître already knew this law. But analysis of section I.III forced author to look the matter from original source and it came to surface that Lemaître knew this law in year 1927. But contrary to mainstream claim, Lemaître had not derived that law from general relativity (GR) equations rather had deduced from a method given by Hubble himself. Whereas whole case of the Big Bang Theory rests on misleading claim that Lemaître had derived this law solely from GR equations. The basis of this claim happened to be a manipulated translation (1931) of Lemaître's original 1927 article. People regard Big Bang Theory as truth because authoritative sources deceived them by presenting a manipulated translation in year 1931. This book is a philosophical analysis of original papers of Alexander Friedmann (1922), Georges Lemaître (1927), Edwin Hubble (1929) and Albert Einstein (1917) thus covers actual roots and origins of the Big Bang Model. In this book, only the core elements of the Big Bang Model i.e. 'Expansion of Universe' and 'CMBR' are covered. It has been sufficiently shown that 'expansion' is an illusion whereas CMBR is a proof that we live in a non-expanding infinite universe. If these two core elements of the standard Big Bang Model are precisely refuted then there is nothing crucial left with the standard model. For readers of this book at least, Big Bang Theory shall become a story of past mistakes. Author is not an authoritative source on science topics therefore readers must download all the above mentioned original papers and check all the points outlined in this book from relevant original papers. Unlike reading from an authoritative source that makes readers relaxed and careless but enables authorities to deceive them in worst way possible, this book requires readers to remain alert on all the points discussed in the book and verify everything from original sources whose links are given at the end of this description and also provided in footnotes section of the book. This book is not a judgment of the topic rather it is like a case presented by an advocate while readers are the judges. Readers are required to apply their own critical judgment to conclude the matter by themselves. After carefully reading this book, readers will also start taking 'authoritative sources' with due care and it will become difficult for the 'authorities' to deceive them again. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

How can we make moral progress on factory farming? Part of the answer lies in human moral psychology. Meat consumption remains high, despite increased awareness of its negative impact on animal welfare. Weakness of will is part of the explanation: acceptance of the ethical arguments doesn’t always motivate changes in dietary habits. However, we draw on scientific evidence to argue that many consumers aren’t fully convinced that they morally ought to reduce their meat consumption. We then identify two key (...) psychological mechanisms—motivated reasoning and social proof—that lead people to resist the ethical reasons. Finally, we show how to harness these psychological mechanisms to encourage reductions in meat consumption. A central lesson for moral progress generally is that durable social change requires socially-embedded reasoning. (shrink)

Table of Contents: Chapter 1: Wolff and the Refinement of the Mathematical Method / Chapter 2: Wolff’s Emendation of Ontology / Chapter 3: Soul, World, and God: Wolff’s Metaphysics / Chapter 4: The Abuse of Philosophy: Pietism and the Metaphysics of Freedom / Chapter 5: Women and the Wolffian Philosophy / Chapter 6: Reason beyond Proof: Debating the Use and Limits of the PSR / Chapter 7: The Paradoxes of Sensation from Wolff to Amo / Chapter 8: The Fate (...) of the Soul: G. F. Meier on Immortality / Chapter 9: Moses Mendelssohn and Spinoza’s Ghost . (shrink)

The emphasis on the limitations of objectivity, in specific guises and networks, has been a continuing theme of contemporary analytic philosophy for the past few decades. The popular sport of baiting feminist philosophers — into pointing to what's left out of objective knowledge, or into describing what methods, exactly, they would offer to replace the powerful objective methods grounding scientific knowledge — embodies a blatant double standard which has the effect of constantly putting feminist epistemologists on the defensive, on (...) the fringes, on the run.This strategy can only work if objectivity is transparent, simple, stable, and clear in its meaning. It most certainly is not. In fact, taking objectivity as a sort of beautiful primitive, self-evident in its value, and all-powerful in its revelatory power, requires careless philosophy, and the best workers in metaphysics, epistemology, and philosophy of science have made reworked definitions of objectivity absolutely central to their own projects. In fact, classic feminist concerns with exploring the impact of sex and gender on knowledge, understanding, and other relations between human beings and the rest of the world fall squarely within the sort of human and social settings thatare already considered central in most current analytic metaphysics, epistemology, and philosophy of science. I argue that the burden of proof is clearly on those who wish toreject the centrality and relevance of sex and gender to our most fundamental philosophical work on knowledge and reality. (shrink)

According to the scientific "justificationist" method, knowledge consisted of proven sentences. Classical intellectuals (or "rationalists," in the narrow sense of the term) have accepted extremely varied - and powerful "proofs", through revelation, intellectual intuition, experience. These, with the help of logic, have allowed them to prove any kind of scientific statement. Classical empiricists accepted as axioms only a relatively small set of "factual propositions" that expressed "hard facts". The value of their truth has been established by experience and (...) has been the empirical basis of science. DOI: 10.13140/RG.2.2.28722.25288. (shrink)

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves (...) two questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (...) (Stanford 2001, p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

Due to the wide scope of (in particular linear) homotopy type theory (using quantum natural language processing), a metatheory can be applied not just to theorizing the metatheory of scientific progress, but ordinary language or any public language defined by sociality/social agents as the precondition for the realizability of (general) intelligence via an inferential network from which judgement can be made. How this metatheory of science generalizes to public language is through the recent advances of quantum natural language processing, (...) but the traditional metalogical encodings (of Tarski) is relatively comparable through universes such as the type of types or type of types of types found in the inherent inferentialism of UF/HoTT via infinity-groupoids. The "computational trinity" of proofs=programs=algebra in HoTT also means reason is defined functionally as "what it does" by what it computes (proofs are programs). Following Reza Negarestani's recent book, through the self's self-realizability, achieving self-consciousness and consciousness beyond selfhood, "geistig manifestation" is achieved in the form of general intelligence, but only through an inferential network of social agents intrinsically encoded through computation. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

What Bar-On and Simmons call 'Conceptual Deflationism' is the thesis that truth is a 'thin' concept in the sense that it is not suited to play any explanatory role in our scientific theorizing. One obvious place it might play such a role is in semantics, so disquotationalists have been widely concerned to argued that 'compositional principles', such as -/- (C) A conjunction is true iff its conjuncts are true -/- are ultimately quite trivial and, more generally, that semantic theorists (...) have misconceived the relation between truth, meaning, and logic. This paper argues, to the contrary, that even such simple compositional principles as (C) have substantial content that cannot be captured by deflationist 'proofs' of them. The key thought is that (C) is supposed, among other things, to affirm the truth-functionality of conjunction and that disquotationalists cannot, ultimately, make sense of truth-functionality. -/- This paper is something of a companion to "The Logical Strength of Compositional Principles". (shrink)

In Metaphysics M.2, 1077a9-14, Aristotle appears to argue against the existence of Platonic Forms on the basis of there being certain universal mathematical proofs which are about things that are ‘beyond’ the ordinary objects of mathematics and that cannot be identified with any of these. It is a very effective argument against Platonism, because it provides a counter-example to the core Platonic idea that there are Forms in order to serve as the object of scientific knowledge: the universal of (...) which theorems of universal mathematics are proven in Greek mathematics is neither Quantity in general nor any of the specific quantities, but Quantity-of-type-x. This universal cannot be a Platonic Form, for it is dependent on the types of quantity over which the variable ranges. Since for both Plato and Aristotle the object of scientific knowledge is that F which explains why G holds, as shown in a ‘direct’ proof about an arbitrary F (they merely disagree about the ontological status of this arbitrary F, whether a Form or a particular used in so far as it is F), Plato cannot maintain that Forms must be there as objects of scientific knowledge - unless the mathematics is changed. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial (...) philosophic problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

Can reasoning improve moral judgments and lead to moral progress? Pessimistic answers to this question are often based on caricatures of reasoning, weak scientific evidence, and flawed interpretations of solid evidence. In support of optimism, we discuss three forms of moral reasoning (principle reasoning, consistency reasoning, and social proof) that can spur progressive changes in attitudes and behavior on a variety of issues, such as charitable giving, gay rights, and meat consumption. We conclude that moral reasoning, particularly when (...) embedded in social networks with mutual trust and respect, is integral to moral progress. (shrink)

Our conscious minds exist in the Universe, therefore they should be identified with physical states that are subject to physical laws. In classical theories of mind, the mental states are identified with brain states that satisfy the deterministic laws of classical mechanics. This approach, however, leads to insurmountable paradoxes such as epiphenomenal minds and illusionary free will. Alternatively, one may identify mental states with quantum states realized within the brain and try to resolve the above paradoxes using the standard Hilbert (...) space formalism of quantum mechanics. In this essay, we first show that identification of mind states with quantum states within the brain is biologically feasible, and then elaborating on the mathematical proofs of two quantum mechanical no-go theorems, we explain why quantum theory might have profound implications for the scientific understanding of one's mental states, self identity, beliefs and free will. (shrink)

The aim of my paper is to highlight that for Peirce the reality of God makes sense of the whole scientific enterprise. The belief in God is a natural product of abduction, of the "rational instinct" or educated guess of the scientist or the layman, and also the abduction of God may be understood as a "proof" of pragmatism. Moreover, I want to suggest that for Peirce scientific activity is a genuine religious enterprise, perhaps even the religious (...) activity par excellence, and that to divorce religion from science is antithetical to both the scientific spirit and the real Peirce. Understanding the real Peirce requires to deal with his religious concerns, which are increasingly recognized as being perhaps as philosophically important as his scientific concerns. Since a key notion in this project is the idea of "il lume naturale" that Peirce borrowed from Galileo, I want also to pay attention to that expression which during years I have been following through Peirce's papers and books. -/- In order to try to explain some of this, my paper is arranged into four brief sections after this already long introduction: 1) God and scientific inquiry; 2) The belief in God as a product of abduction; 3) Galileo and Peirce: Il lume naturale; and by way of conclusion 4) Some remarks on the religious framework of Peirce's approach. (shrink)

Background theories in science are used both to prove and to disprove that theory choice is underdetermined by data. The alleged proof appeals to the fact that experiments to decide between theories typically require auxiliary assumptions from other theories. If this generates a kind of underdetermination, it shows that standards of scientific inference are fallible and must be appropriately contextualized. The alleged disproof appeals to the possibility of suitable background theories to show that no theory choice can be (...) timelessly or noncontextually underdetermined: Foreground theories might be distinguished against different backgrounds. Philosophers have often replied to such a disproof by focussing their attention not on theories but on Total Sciences. If empirically equivalent Total Sciences were at stake, then there would be no background against which they could be differentiated. I offer several reasons to think that Total Science is a philosophers' fiction. No respectable underdetermination can be based on it. (shrink)

An important strand of current experimental philosophy promotes a new kind of methodological naturalism. This chapter argues that this new ‘metaphilosophical naturalism’ is fundamentally consistent with key tenets of Wittgenstein’s metaphilosophy, and can provide empirical foundations for therapeutic conceptions of philosophy. Metaphilosophical naturalism invites us to contribute to the resolution of philosophical problems about X by turning to scientific findings about the way we think about X – in general or when doing philosophy. This new naturalism encourages us to (...) use resources from psychology that can empirically vindicate precisely some of the most controversial aspects of Wittgenstein’s conception of philosophy: They can establish the need, and provide key tools, for something worth calling ‘therapy’, in philosophy. As ‘pudding proof’ this chapter shows how methods and findings from psycholinguistics motivate and facilitate a therapeutic approach to a characteristically philosophical problem: ‘the problem of perception’. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

Both in formal and computational natural language semantics, the classical correspondence view of meaning – and, more specifically, the view that the meaning of a declarative sentence coincides with its truth conditions – is widely held. Truth (in the world or a situation) plays the role of the given, and meaning is analysed in terms of it. Both language and the world feature in this perspective on meaning, but language users are conspicuously absent. In contrast, the inferentialist semantics that Robert (...) Brandom proposes in his magisterial book ‘Making It Explicit’ puts the language user centre stage. According to his theory of meaning, the utterance of a sentence is meaningful in as far as it is a move by a language user in a game of giving and asking for reasons (with reasons underwritten by a notion of good inferences). In this paper, I propose a proof-theoretic formalisation of the game of giving and asking for reasons that lends itself to computer implementation. In the current proposal, I flesh out an account of defeasible inferences, a variety of inferences which play a pivotal role in ordinary (and scientific) language use. (shrink)