I characterize Bishop's constructive mathematics as an alternative to classical mathematics, which makes use of the actual infinity. From the history an accurate investigation of past physical theories I obtianed some ones - mainly Lazare Carnot's mechanics and Sadi Carnot's thermodynamics - which are alternative to the dominant theories - e.g. Newtopn's mechanics. The way to link together mathematics to theoretical physics is generalized and some general considerations, in particualr on the geoemtry in theoretical physics, are (...) obtained.that. (shrink)

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

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory (...) although their properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (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)

The concept of sustainable development considers environmental, social and economic issues in general. And the goals of resource conservation and socio-economic development do not contradict each other, but contribute to mutual reinforcement. The purpose of this study is to build and test an economic and mathematical model for the formation of strategies for the behavior of an economic entity with an increase in the impact of negative environmental factors. The proposed strategies and their models are based on the income-expenditure balance (...) equation, which takes into account both quantitative and qualitative characteristics. The constructed models are considered in the state space. The research methodology is based on building models in the form of linear combinations of functions of a homogeneous external impact and various spatial combinations of economic sources (sinks). The study makes it possible to assess the dependence of the amount of resources used for life support on the chosen adaptive strategy. Within the framework of the proposed model, it was found that the criterion for the effectiveness of the applied strategy can be an indicator of satisfaction with the state, the preservation of which, simultaneously with the preservation of the size of resources used, corresponds to the direction of optimization. This approach is consistent with the concept of sustainable development. (shrink)

Moral reasoning traditionally distinguishes two types of evil: moral and natural. The standard view is that ME is the product of human agency and so includes phenomena such as war, torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics. It is argued that this goes some way towards providing a methodological explanation of why cyberspace is central to so many of CE’s concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent’s action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil but conversely to ‘receive’ or ‘suffer from’ it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively, in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics is proposed for that theory. It is argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective. In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

The Principle of Identity of Indiscernibles (PII) is the focus of much controversy in the history of Metaphysics and in contemporary Physics. Many questions rover the debate about its truth or falsehood, for example, to which objects the principle applies? Which properties can be counted as discerning properties? Is the principle necessary? In other words, which version of the principle is the correct and is this version true? This thesis aims to answer this questions in order to show that PII (...) is a necessarily true principle of metaphysics. To accomplish this task, the reader will find, in this thesis, an encyclopaedical introduction to the history of PII and to the reasons it matters so much, followed by a presentation of the most famous arguments against it and the defences used against these arguments. Then, the reader finds in-depth discussion of the minutiae involved in postulating the principle as to make clear what is in fact being attacked and defended. With these preliminaries solved, a deeper analysis of these defences is presented aiming to discover which is the most appropriate example to use against the attacks to the principle. This analysis allowed a classification of these defences in four families with different strategies within them. Finally, with these defensive strategies at hand we are able to confront alleged counterexamples to PII in Mathematics with the intention to test these defences. (shrink)

The idea behind this special theme journal issue was to continue the work we have started with the INBIOSA initiative (www.inbiosa.eu) and our small inter-disciplinary scientific community. The result of this EU funded project was a white paper (Simeonov et al., 2012a) defining a new direction for future research in theoretical biology we called Integral Biomathics and a volume (Simeonov et al., 2012b) with contributions from two workshops and our first international conference in this field in 2011. The initial impulse (...) for this effort was given a year earlier by a publication of one of the guest editors of this issue (Simeonov, 2010) in this journal. This time we wish to provide a broader forum and more space to elaborate in detail some of the most interesting concepts we have encountered in our discussions, as well as to invite some new contributions of particular interest in the field. Another goal we had in mind was to collect and review as many provocative perspectives as possible on the same key topic we are interested before making a decision to follow a more focused notion that would lead to a funded research program. Therefore we welcomed the generous suggestion of Professor Denis Noble, FRS, who is also editor of this journal to prepare a special theme issue entitled: “Can biology create a profoundly new mathematics and computation?” It has taken a while to invite and collect the contributions. Most of them had a couple of revision cycles and adjustments after having been thoroughly discussed with colleagues, incl. the editors of this issue. We think that the result we have obtained at the end is a satisfactory one, since we succeeded to integrate a diversity of original, but sometimes controversial and mutually excluding concepts organized within chapters of a self-contained volume. The task of compiling all this was not easy at all. Despite our efforts to position the articles of different authors and themes in a way allowing their easy comprehension and relation to each other within the individual chapters, some of them still require a sort of introduction to dissolve possible ambiguities. This is what we are going to do in the following few paragraphs with the hope that the reader (and some of the authors) would excuse our failures. (shrink)

This study provides a basic introduction to agent-based modeling (ABM) as a powerful blend of classical and constructive mathematics, with a primary focus on its applicability for social science research. The typical goals of ABM social science researchers are discussed along with the culture-dish nature of their computer experiments. The applicability of ABM for science more generally is also considered, with special attention to physics. Finally, two distinct types of ABM applications are summarized in order to illustrate concretely (...) the duality of ABM: Real-world systems can not only be simulated with verisimilitude using ABM; they can also be efficiently and robustly designed and constructed on the basis of ABM principles. (shrink)

A gas in a box is perhaps the most important model system studied in thermodynamics and statistical mechanics. Usually, studies focus on the gas, whereas the box merely serves as an idealized confinement. The present article focuses on the box as the central object and develops a thermodynamic theory by treating the geometric degrees of freedom of the box as the degrees of freedom of a thermodynamic system. Applying standard mathematical methods to the thermody- namics of an empty box allows (...) equations with the same structure as those of cosmology and classical and quantum mechanics to be derived. The simple model system of an empty box is shown to have interesting connections to classical mechanics, special relativity, and quantum field theory. (shrink)

Michael Slote’s Moral Sentimentalism is a wonderful model of a particular, under-appreciated philosophical method. It demonstrates that exciting, original work can be created by putting old ideas to new uses, proving once again that the classics of moral and political philosophy offer too rich an array of intellectual resources to leave to historians alone. Whenever one is reclaiming old ideas, however, the most important decision is which ideas to reclaim, and which to leave in the dustbin of history. Slote makes (...) use of many ideas drawn from history’s greatest moral sentimentalist, David Hume, but he rejects many others. The work of Hume’s closest friend and greatest sentimentalist ally, Adam Smith, is rejected without adequate explanation. Smith is mentioned, but quickly dismissed. Yet even though Smith makes little contribution to Slote’s own version of sentimentalism, I think he deserved greater discussion in this book. Smith and Slote address many of the same subjects, using the same basic sentimentalist approach, but they come to very different conclusions. It is thus possible to construct a fruitful debate between them—a debate in which, since he can no longer speak on his own behalf, I will be taking Smith’s side. (shrink)

The study’s goal was to provide an educational intervention in Algebra through GeoGebra that would boost students’ confidence, improve their learning, and correct their most minor mastered skills, allowing them to improve their Algebra performance. The research design was quasi-experimental, with 40 nonrandomly chosen participants comprising the GeoGebra and control groups. Mean and standard deviation was employed to describe the algebra performance and confidence of the respondents. At the same time, independent and dependent t-tests were used to determine the students’ (...) significant difference in algebra performance and confidence in the pre-and post-test between the control and GeoGebra groups. GeoGebra effectively improved algebra confidence, enhanced learning, and remedied the students’ least mastered skills. GeoGebra is recommended as an instructional material in teaching and learning Algebra and can be extended to other mathematics content areas. (shrink)

A theory of truth is introduced for a first--order language L of set theory. Fully interpreted metalanguages which contain their truth predicates are constructed for L. The presented theory is free from infinite regress, whence it provides a proper framework to study the regress problem. Only ZF set theory, concepts definable in L and classical two-valued logic are used.

The paper discusses the possibility of constructing economic models using the methodology of model construction in classical mechanics. At the same time, unlike the "econophysical" approach, the properties of economic models are derived without involvement of any equivalent physical properties, but with account of the types of symmetry existing in the economic system. It has been shown that at this approach practically all known mechanical variables have their "economic twins". The variational principle is formulated on the basis of formal (...) mathematical construction without involving the subjective factor common to the majority of models in economics. The dynamics of interaction of two companies has been studies in details, on the basis of which we can proceed to modeling of more complex and realistic economic systems. Prediction of the possibility of constructing economic theory on the basis of primary principles analogously to physics has been made. (shrink)

This paper explores the possibility that Hobbesian jurisprudence is best understood as a ‘third way’ in legal theory, irreducible to classical natural law or legal positivism. I sketch two potential ‘third theories’ of law -- legal pragmatism and legal dualism -- and argue that, when considered in its broadest sense, Leviathan is best viewed as an example of legal pragmatism. I consider whether this legal pragmatist interpretation can be sustained in the examination of Leviathan’s treatment of civil law, and (...) argue that the pragmatic interpretation can only be successful if we can resolve two textual issues in that chapter. First, while Hobbes argues that law entails the existence of public (sharable) reasons, he does not adequately defend the view that the sovereign is the unique authority over such reasons in all cases, especially as far as they concern known collective emergencies. Second, Hobbes both affirms and denies that a sovereign can fail to do justice, which is paradoxical. Both problems are best resolved by legal pragmatism, though the second problem resists a fully satisfying resolution. The upshot is that, although Leviathan ought to be regarded as an episode of legal pragmatism, there are trade-offs on every reading. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

What follows is an attempt to do some conceptual housekeeping around the notion of secret law as provided by Christopher Kutz (2013). First I consider low-salience (or merely obscure) law, suggesting that it fails to capture the legal and moral facts that are at stake in the case which Kutz used to motivate it. Then I outline a theoretical contrast between mere obscurity and secrecy, in contrast to the 'neutral' account of secrecy provided by Sissela Bok (1989). The upshot of (...) the two sections is that low-salience law is neither secret law nor necessarily problematic, though it closely resembles a kind of law that is both secret and problematic: namely, those legal obscurities that subvert manifest interests related to the informational needs of citizens. The ensuing argument undermines the fiction of constructive presence found in Austin and Blackstone. (shrink)

Hermann Weyl was one of the most important figures involved in the early elaboration of the general theory of relativity and its fundamentally geometrical spacetime picture of the world. Weyl’s development of “pure infinitesimal geometry” out of relativity theory was the basis of his remarkable attempt at unifying gravitation and electromagnetism. Many interpreters have focused primarily on Weyl’s philosophical influences, especially the influence of Husserl’s transcendental phenomenology, as the motivation for these efforts. In this article, I argue both that (...) these efforts are most naturally understood as an outgrowth of the distinctive mathematical-physical tradition in Göttingen and also that phenomenology has little to no constructive role to play in them. (shrink)

Peer Review Book Description - Maria Seykora (female, published age 28) -/- -/- Classical Logic will attempt to give a comprehensive and rigorous introduction and more advanced overview of the area of logic widely known as “classical logic,” as distinguished from modern-day “non-classical logic,” for undergraduate students in general. It will cover the topics of Informal Logic (including logical fallacies, deduction, induction, and abductive reasoning) and Formal Logic. (Because it aims to cover these two topics, the title (...) may change to Informal and Classical Logic for the first edition.) Within the category of Formal Logic, it will cover Syllogistic or Categorical Logic and Symbolic Logic. Furthermore, within Symbolic Logic, it will cover Propositional Logic, Predicate Logic, and Modal Logic. The Formal Logic component is currently unfinished, and the Informal Logic component is somewhat unfinished. The unique selling proposition is “the first comprehensive Classical Logic textbook.” It seems that many textbooks for college students today, including Patrick J. Hurley’s, are loosely organized around Classical Logic and other various areas of logic, yet there is not a clear-cut, comprehensive summation of Classical Logic in textbook form. For instance, Hurley’s textbook does not have a section on Modal Logic, and does not address some fallacies such as Hypothesis Contrary to Fact, the Genetic Fallacy, Appeal to Nature, No True Scotsman Fallacy, Emotionally Loaded Language fallacies, etc. Stan Baronett’s Logic textbook also does not include discussions of Modal Logic or these additional fallacies and others like them, and Siu-Fan Lee’s textbook does not include Modal Logic either. Additionally, abductive reasoning, which involves making an inference to the best explanation, is important in real life, yet it seems absent from most logic textbooks. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- (...) We then adopt what may be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Open peer commentary on the article “Ethics: A Radical-constructivist Approach” by Andreas Quale. Upshot: The first of my two main goals in this commentary is to establish thinking of ethics as concepts rather than as non-cognitive knowledge. The second is to argue that establishing models of individuals’ ethical concepts is a scientific enterprise that is quite similar to establishing models of individuals’ mathematical concepts. To accomplish these two primary goals, I draw from my experience of working scientifically with von Glasersfeld (...) for 25 years while he was developing radical constructivism as a coherent model of knowing, and appeal to several of his basic insights to establish constructing models of ethical concepts as a scientific enterprise. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in (...) order to show that both Euclidean and non-Euclidean geometry are bodies of synthetic a priori truths. Michael Friedman has argued that this defence presumes a polyadic conception of logic that was foreign to Kant. According to Friedman, Kant held that geometrical reasoning itself relies essentially on intuition, and that this precludes the very possibility of non-Euclidean geometry. While Friedman's characterization of Kant's views on geometrical reasoning is correct, I argue that Friedman's conclusion that non-Euclidean geometries are logically impossible for Kant is not. I argue that Kant is best understood as a proto-constructivist and that modern constructive axiomatizations (unlike Hilbert-style axiomatizations) of both Euclidean and non-Euclidean geometry capture Kant's views on the essentially constructive nature of geometrical reasoning well. (shrink)

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop (...) style. The aim of this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

This classic collection of essays, first published in 1968, represents H.L.A. Hart's landmark contribution to the philosophy of criminal responsibility and punishment. Unavailable for ten years, this new edition reproduces the original text, adding a new critical introduction by John Gardner, a leading contemporary criminal law theorist.

There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by appealing to what the (...) world must be like as a matter of mathematical necessity but by appealing to various contingent causal facts. (shrink)

Having positive moral traits is central to one’s sense of self, and people generally are motivated to maintain a positive view of the self in the present. But it remains unclear how people foster a positive, morally good view of the self in the present. We suggest that recollecting and reflecting on moral and immoral actions from the personal past jointly help to construct a morally good view of the current self in complementary ways. More specifically, across four studies we (...) investigated the extent to which people believe they have changed over time after recollecting their own moral or immoral behaviors from the personal past. Our results indicate that recollecting past immoral actions is associated with stronger impressions of dissimilarity and change in the sense of self over time than recollecting past moral actions. These effects held for diverse domains of morality (i.e., honesty/dishonesty, helping/harming, fairness/unfairness, and loyalty/disloyalty), and they remained even after accounting for objective, calendar time. Further supporting a motivational explanation, these effects held when people recollected their own past actions but not when they recollected the actions of other people. (shrink)

Hume's Treatise arguments concerning space, time, and geometry, especially ones involving his denial of infinite divisibility; have suffered harsh criticism. I show that in the section "Of the ideas of space and time," Hume gives important characterizations of his skeptical approach, in some respects Pyrrhonian, that will be developed in the rest of the Treatise. When that approach is better understood, the force of Hume's arguments can be appreciated, and the influential criticisms of them can be seen to miss (...) the mark. (shrink)

Goethe's objections to Newton's theory of light and colours are better than often acknowledged. You can accept the most important elements of these objections without disagreeing with Newton about light and colours. As I will argue, Goethe exposed a crucial weakness of Newton's methodological self-assessment. Newton believed that with the help of his prism experiments, he could prove that sunlight was composed of variously coloured rays of light. Goethe showed that this step from observation to theory is more problematic than (...) Newton wanted to admit. By insisting that the step to theory is not forced upon us by the phenomena, Goethe revealed our own free, creative contribution to theory construction. And Goethe's insight is surprisingly significant, because he correctly claimed that all of the results of Newton's prism experiments fit a theoretical alternative equally well. If this is correct, then by suggesting an alternative to a well-established physical theory, Goethe developed the problem of underdete... (shrink)

Othering is the construction and identification of the self or in-group and the other or out-group in mutual, unequal opposition by attributing relative inferiority and/or radical alienness to the other/out-group. The notion of othering spread from feminist theory and post-colonial studies to other areas of the humanities and social sciences, but is originally rooted in Hegel’s dialectic of identification and distantiation in the encounter of the self with some other in his “Master-Slave dialectic”. In this paper, after reviewing the philosophical (...) and psychological background of othering, I distinguish two kinds of othering, “crude” and “sophisticated”, that differ in the logical form of their underlying arguments. The essential difference is that the former is merely self-other distantiating, while the latter – as in Hegel’s dialectic – partially depends on self-other identification. While crude othering is closer to the paradigmatic notion of othering, sophisticated othering is closer to Hegel’s, but so is quasi-othering, which is nearly identical in form to sophisticated othering, but which misses the defining feature of othering – attributing relative inferiority and/or radical alienness. Because Hegel’s dialectic applies to any encounter of an interpreting self with some other, sophisticated or quasi-othering is at least potentially a very common occurrence in the interpretation of others, especially of those who do not belong to the in-group. However, although othering is usually undesirable, the Hegelian varieties can provide a “mirror”, which can be used as a tool to improve understanding of both the other and the interpreting self, and the malignant aspects of othering can be avoided through charity. (shrink)

Rarely does research in the history and philosophy of science lead to new empirical results, but that is exactly what has happened in one of the essays of this special issue: Rang and Grebe-Ellis have developed new experimental techniques to perform measurements Goethe proposed 217 years ago. These measurements fit neatly with Goethe’s idea of polarity—his complementary spectrum is not only an optical, but also a thermodynamical counterpart of Newton’s spectrum. I use the new measurements, firstly, to argue against the (...) asymmetries between light and darkness posited by Lyre and Schreiber; and, secondly, to explicate the alternative theory that Goethe had introduced to urge scientific pluralism. In my replies to exegetical criticism by Böhler, Hampe and Zemplén, I show that the main goal of Goethe’s Farbenlehre was indeed to expose symmetries between light and darkness. Furthermore, I argue that it is worthwhile to focus on the experiments, arguments and hypotheses of the Farbenlehre, and not merely on rhetorical, narrative or stylistical aspects, as Böhler and Hampe would have it. Goethe’s criticism of Newton is often dismissed, but it is in fact surprisingly relevant today. (shrink)

In this chapter, I describe my “post-diagnosis” experiences as the parent of an autistic child, those years in which I tried, but failed, to make sense of the overwhelming and often nonsensical information I received about autism. I argue that immediately after being given an autism diagnosis, parents are pressured into making what amounts to a life-long commitment to a therapy program that (they are told) will not only dramatically change their child, but their family’s financial situation and even their (...) entire mode of existence. Moreover, despite information overload, many treatment programs for autism rely on empty jargon and make completely unrealistic promises, so parents are left feeling overwhelmed and panicked. Even well respected therapy programs encourage parents to spend liberally. Indeed, autistic therapists, who help construct what I refer to as the Culture of Autism, advise parents to commit to a minimum of 35 to 45 hours of intensive therapy every week. The implications are clear: for a parent who works full-time, their autistic child becomes a second full-time job. Autism is big business right now, and therapists are pushing parents to the brink of desperation. So it is not too surprising that there is a desperate cry for a more permanent solution—which is why researchers seek to cure autism. But there are two ways to conceptualize cure. A Therapeutic Cure model (TC) conceives of a cure as a beneficial treatment for the patient that eliminates or ameliorates the harms of the disease or condition. But the notion of a therapeutic cure for autism is highly implausible, given the complexities of autism. Indeed, at this point, the vast majority of researchers have come to the conclusion that the idea of a therapeutic cure for autism is simply a non-starter. Therefore the bulk of research seeking a cure for autism focuses instead on a second approach, which I refer to as the Negative Eugenics Cure model (NEC). With this model, the intention is to eliminate the disease or condition without regard for the health or well-being of the organism carrying the disease or condition. So, with regard to autism, researchers are focusing on identifying genetic markers for autism that can be detected in utero, or in embryos, so that autistic fetuses can be eliminated and autism eradicated by preventing the existence of autistic individuals. I review both models and argue that both fail to provide convincing arguments that the “solution” either offers is desirable. Both rest on the assumption that autism renders a life not worth living which, all things considered, is false. Instead of pushing to cure autism, an idea pervasive in this Culture of Autism, I contend that autistics are individuals with lives worth living. Moreover, rather than expend millions on research to search for the means to eliminate autism, we should instead expend our resources to ensure autistic individuals have access to support they may need. If the phenomenology of autism were better understood and appreciated, the panicked demand for a cure for autism might abate and perhaps autism could be seen as having value in and of its own right. (shrink)

Faith has many aspects. One of them is whether absolute logical proof for God’s existence is a prerequisite for the proper establishment and individual acceptance of a religious system. The treatment of this question, examined here in the Jewish context of Rabbi Prof. Eliezer Berkovits, has been strongly influenced in the modern era by the radical foundationalism and radical skepticism of Descartes, who rooted in the Western mind the notion that religion and religious issues are “all or nothing” questions. Cartesianism, (...) which surprisingly became the basis of modern secularism, was criticized by the classical American pragmatists. Peirce, James and Dewey all rejected the attempt to achieve infallible absolute knowledge, as well as the presumptuousness of establishing such a knowledge by means of casting Cartesian hyperbolic doubt. They advocated an alternative approach which was more holistic and humane. This paper lays out Descartes’s approach and the pragmatists’ critique. Despite the place that pragmatic considerations hold in Jewish tradition, some thinkers reject the relevance of these ideas. Yet Berkovits’s thought suggest a different path. He rejected Descartes’ radical skepticism and his radical foundationalism, in favor of a moderate foundationalism, which allows for a belief in God alongside constructive doubts. Similar to Peirce’s conception of the fixation of belief, Berkovits views local doubts (distinct from the hyperbolic doubt) as necessary for thought. Berkovits’s understanding of the biblical human-divine encounter, following Rosenzweig, Buber, and Heschel, is conceptualized here as “encounter theology”. Berkovits criticizes the propositionalist attempts to prove God’s existence logically, as well as the presumptuousness of basing religious belief on the teleological world-order. However, Berkovits’s conception of the ‘caring God’ is not provable, and thus defined as a pragmatic ‘postulate’. The article concludes by considering Berkovits’s “encounter theology”. In contrast to the approach described by Haym Soloveitchik, of halakhic stringency and lack of subjective experience of God’s face, Berkovits’s approach is dialogic through and through. (shrink)

Cinema is not only a space in which directors act with the aim of making art, but they also reflect their own testimonies and political perspectives; this study, which claims to be related to representation strategies that contain various interests and desires; It is of the opinion that different ideological approaches are reflected on the screen by political and cultural elites in line with the construction, legitimacy and movement of identities and images. In this study, which examines the Türkiye’nin Kalbi (...) Ankara movie, which was shot in the intense socio-political atmosphere of the 1930s and was shot to tell Turkey's nationalization process and modernization experience through the capital Ankara; the manifestation of the Turkish nation-building process in cinema is discussed through the relationship between nationalism and cinema. (shrink)

Despite its central role in his important theories of self and external world, Hume’s account of numerical identity has been neglected or misunderstood. The account is designed as a response to a difficulty concerning identity apparently original with Hume. I argue that the problem is real, crucial, and remains unresolved today. Hume’s response to the difficulty enlists his idiosyncratic, empiricist views on time: time consists of discrete, partless moments, some of which coexist with successions of others. Time is more like (...) a wall of variously sized bricks than like a continuous line. Hume’s arguments that time (and space) are not infinitely divisible have met with literal contempt. I show that his unusual views are motivated and consistent. The topic of identity leads naturally to Hume’s account of personal identity and his later retraction--one of the most widely discussed topics in Hume scholarship. I give a new, straightforward explanation of the retraction, by arguing that Hume’s views on consciousness preclude his prior account of the self as a fiction. I then suggest that Hume’s fundamental problem for personal identity is his general difficulty concerning identity. Discussing Hume’s metaphysics raises perhaps the most central and difficult topic in Hume scholarship--how to reconcile the constructive, theoretical Hume with the skeptical Hume. The prevailing view for the last century has been that Hume’s skepticism is limited, leaving room for his theorizing. I argue, rather, that Hume is an unlimited Pyrrhonian skeptic in relevant respects, and that this interpretation of him best reconciles his two sides. (shrink)

Quantum theory offers mathematical descriptions of measurable phenomena with great facility and accuracy, but it provides absolutely no understanding of why any particular quantum outcome is observed. It is the province of genuine explanations to tell us how things actually work—that is, why such descriptions hold and why such predictions are true. Quantum theory is long on the what, both mathematically and observationally, but almost completely silent on the how and the why. What is even more interesting is that, in (...) some sense, this state of affairs seems to be a necessary consequence of the empirical adequacy of quantum descriptions. One of the most noteworthy achievements of quantum theory is the accurate prediction of phenomena that, on pain of experimental contradiction, have no physical explanation. It is the purpose of this essay to make clear why quantum mechanics and quantum field theory are complete physical descriptions that describe the metaphysical incompleteness of the physical world, then to press the negative implications of this fact for naturalistic metaphysics. (shrink)

John Rawls shares the Enlightenment's commitment to finding moral and political principles which can be reflectively endorsed by all individuals autonomously. He usually presents reflective autonomy in Kantian, rationalist terms: autonomy is identified with the exercise of reason, and principles of justice must be constructed which are acceptable to all on the basis of reason alone. Yet David Hume, Adam Smith and many other Enlightenment thinkers rejected such rationalism, searching instead for principles which can be endorsed by all on the (...) basis of all the faculties of the human psyche, emotion and imagination included. The influence of these sentimentalists on Rawls is clearest in his descriptive moral psychology, but I argue that it is also present in Rawls's understanding of the sources of normativity. Although this debt is obscured by Rawls's explicit "Kantianism," his theory would be strengthened by a greater understanding of its debts to the sentimentalist Enlightenment. (shrink)

This paper defends David Hume's "Of Miracles" from John Earman's (2000) Bayesian attack by showing that Earman misrepresents Hume's argument against believing in miracles and misunderstands Hume's epistemology of probable belief. It argues, moreover, that Hume's account of evidence is fundamentally non-mathematical and thus cannot be properly represented in a Bayesian framework. Hume's account of probability is show to be consistent with a long and laudable tradition of evidential reasoning going back to ancient Roman law.

Abstract: For most people, mobile phones and various forms of personal information technology (PIT) have become standard equipment for everyday life. Recent theorists such as Sherry Turkle raise psychological and philosophical questions about the impact of such technologies and practices, but deeper further philosophical work is needed. This paper takes a pragmatic approach to examining the effects of PIT practices upon experience. After reviewing several main issues with technology raised by Communication theorists, the paper looks more deeply at Turkle’s analysis (...) of technology's impacts upon solitude and conversation. Because Turkle only raises but doesn’t pursue the philosophical dimensions of these issues, the work on experience of John Dewey, William James, and John J. McDermott is utilized to provide concepts and methods by which PIT’s effects might be judged. Finally, pragmatist aesthetics is introduced and consulted as a source of constructive ideals which might guide future amelioration of PIT’s more significant drawbacks. (shrink)

Why should anyone be bound by cognitive norms, such as the norms of reason or mathematics? To become a mathematician is to learn to obey the norms of the mathematical community. A self becomes intentional by binding itself to communal norms. Only then can it have the freedom to think or make assertions about the community’s objects -- triangles or imaginary numbers, for example. Norms do not bind selves from the outside: being bound by norms is what constitutes a self.

Recent writings by Hilary Putnam indicate the seriousness with which he has moved toward pragmatism. Putnam has not only characterized his own position as similar to pragmatism, he has written a number of essays presenting the views of the classical pragmatists, especially James, Dewey, and Peirce. “Putnam, Pragmatism, and Dewey” examines fundamental problems with Putnam’s recent efforts, especially as they pertain to Dewey’s epistemology.

Kenneth Burke's recent death has spurred academics in a variety of disciplines to reassess the import of his prolific output. As a specialist in American philosophy, I have begun to make inroads on a question I have heard thus far only in English and Communication departments: Should Kenneth Burke be considered a pragmatist. This paper seeks to persuade specialists in Pragmatism and American Philosophy that Burke's work has enough in common with the epistemological and metaphysical doctrines of Classical Pragmatism (...) to merit renewed consideration by philosophers. (shrink)

We introduce what we call the Emergent Model of forgiving, which is a process-based relational model conceptualizing forgiving as moral and normative repair in the wake of grave wrongs. In cases of grave wrongs, which shatter the victim’s life, the Classical Model of transactional forgiveness falls short of illuminating how genuine forgiveness can be achieved. In a climate of persistent threat and distrust, expressions of remorse, rituals and gestures of apology, and acts of reparation are unable to secure the (...) moral confidence and trust required for moral repair, much less for forgiveness. Without the rudiments of a shared moral world — a world in which, at the very least, the survivor’s violation can be collectively recognized as a violation, and her moral status and authority collectively acknowledged and respected — expressions of remorse, gestures and rituals of apology, or promises of compensation have no authority as meaningful communicative acts with reparative significance. Accordingly, we argue that repair in the wake of traumatic violence involves ‘world-building,’ which supports the ability of survivors to move from despair to hope, from radical and disabling distrust to trust and engagement, and thus from impotence to effective agency. Our Emergent Model treats forgiveness as a slowly developing outcome of a series of changes in a person’s relationship to the trauma and its aftermath, in which moral agency is regained. We argue that forgiveness after grave wrongs and world-shattering harm, when it occurs, emerges from other phenomena, such as cohabitation within a community, gestures of reconciliation, working on shared projects, the developing of trust. On this view, forgiveness is an emergent phenomenon; it entails taking and exercising normative power—coming to claim one’s own moral authority in relation to oneself, one’s assailant, and one’s community. The processes that ultimately constitute forgiving are part and parcel of normative repair more broadly construed. (shrink)

So-called ‘distinctively mathematical explanations’ (DMEs) are said to explain physical phenomena, not in terms of contingent causal laws, but rather in terms of mathematical necessities that constrain the physical system in question. Lange argues that the existence of four or more equilibrium positions of any double pendulum has a DME. Here we refute both Lange’s claim itself and a strengthened and extended version of the claim that would pertain to any n-tuple pendulum system on the ground that such explanations are (...) actually causal explanations in disguise and their associated modal conditionals are not general enough to explain the said features of such dynamical systems. We argue and show that if circumscribing the antecedent for a necessarily true conditional in such explanations involves making a causal analysis of the problem, then the resulting explanation is not distinctively mathematical or non-causal. Our argument generalises to other dynamical systems that may have purported DMEs analogous to the one proposed by Lange, and even to some other counterfactual accounts of non-causal explanation given by Reutlinger and Rice. (shrink)

In "The Incoherence of Whitehead’s Theory of Perception" (PS 9:94-104), Robert H. Kimball tries to show how Alfred North Whitehead’s account of perception is a failed attempt to reconcile two traditional theories of perception: phenomenological (or sense-data) theory and causal (or physiological) theory. Whitehead fails, Kimball argues, in two main ways. First because his notion of symbolic reference requires the simultaneous enjoyment of perceptions in the mode of presentational immediacy and causal efficacy. Kimball believes this experience is, in principle, impossible (...) and supports this claim by attacking Whitehead’s conception of causal efficacy and the experiential evidence used to support it. Whitehead’s second failure results from the first: Whitehead’s erroneous belief in the simultaneous enjoyment of the two modes of perception leads him to construct a theory of perception which is composed of two contradictory parts: realism and mediatism. In this essay, I will examine Kimball’s attack on causal efficacy and symbolic reference and show why Whitehead’s theory of perception is not susceptible to Kimball’s charge of incoherence. (shrink)

Othering is the construction and identification of the self or in-group and the other or out-group in mutual, unequal opposition by attributing relative inferiority and/or radical alienness to the other/out-group. Othering can be “crude” or “sophisticated”, the defining difference being that in the latter case othering depends on the interpretation of the other/out-group in terms that are applicable only to the self/in-group but that are unconsciously assumed to be universal. The Mass Noun Thesis, the idea that all nouns in certain (...) languages are grammatically and folk-ontologically similar to mass nouns in English, is an example of such sophisticated othering. According to this Thesis, (a) count nouns refer to discrete objects and mass nouns to stuffs; (b) the other’s language has only mass nouns and thus no count nouns; and therefore, (c) the other’s folk-ontology is an ontology of mass stuffs only. There is much evidence, however, that folk-ontology is independent from language. This paper argues that the Mass Noun Thesis is a case of sophisticated othering rooted in a conflation of grammatical and ontological conceptions of mass and count nouns that is applicable to the language of the interpreter/self but not to the languages of the relevant others, and that othering in this case is driven by a need to create some radically alien other to support a scientific or philosophical theory. (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)

An introduction to the notion of possible worlds and the problems related to it.

Forty-two years ago, Capra published “The Tao of Physics” (Capra, 1975). In this book (page 17) he writes: “The exploration of the atomic and subatomic world in the twentieth century has …. necessitated a radical revision of many of our basic concepts” and that, unlike ‘classical’ physics, the sub-atomic and quantum “modern physics” shows resonances with Eastern thoughts and “leads us to a view of the world which is very similar to the views held by mystics of all ages (...) and traditions.“ This article stresses an analogous situation in biology with respect to a new theoretical approach for studying living systems, Integral Biomathics (IB), which also exhibits some resonances with Eastern thought. Stepping on earlier research in cybernetics1 and theoretical biology,2 IB has been developed since 2011 by over 100 scientists from a number of disciplines who have been exploring a substantial set of theoretical frameworks. From that effort, the need for a robust core model utilizing advanced mathematics and computation adequate for understanding the behavior of organisms as dynamic wholes was identified. At this end, the authors of this article have proposed WLIMES (Ehresmann and Simeonov, 2012), a formal theory for modeling living systems integrating both the Memory Evolutive Systems (Ehresmann and Vanbremeersch, 2007) and the Wandering Logic Intelligence (Simeonov, 2002b). Its principles will be recalled here with respect to their resonances to Eastern thought. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act as (...) if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)