Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

The use-mention distinction is elaborated into a four-way distinction between use, formal mention, material mention and pragmatic mention. The notion of pragmatic mention is motivated through the problem of monsters in Kaplanian indexical semantics. It is then formalized and applied in an account of schemata in formalized languages.

In the specific case of geography, the real world consists on the one hand of physical geographic features (bona fide objects) and on the other hand of various fiat objects, for example legal and administrative objects, including parcels of real estate, areas of given soil types, census tracts, and so on. It contains in addition the beliefs and actions of human beings directed towards these objects (for example, the actions of those who work in land registries or in census bureaux), (...) and the relations between these beliefs and actions and their targets. The document is a Report of the Specialist Meeting held under the auspices of the Varenius Project. (shrink)

This paper presents a view of nature as a network of infocomputational agents organized in a dynamical hierarchy of levels. It provides a framework for unification of currently disparate understandings of natural, formal, technical, behavioral and social phenomena based on information as a structure, differences in one system that cause the differences in another system, and computation as its dynamics, i.e. physical process of morphological change in the informational structure. We address some of the frequent misunderstandings regarding the natural/morphological (...) computational models and their relationships to physical systems, especially cognitive systems such as living beings. Natural morphological infocomputation as a conceptual framework necessitates generalization of models of computation beyond the traditional Turing machine model presenting symbol manipulation, and requires agent-based concurrent resource-sensitive models of computation in order to be able to cover the whole range of phenomena from physics to cognition. The central role of agency, particularly material vs. cognitive agency is highlighted. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

Some rules seem more important than others. The moral rule to keep promises seems more important than the aesthetic rule not to wear brown with black or the pool rule not to scratch on the eight ball. A worrying number of metaethicists are increasingly tempted to explain this difference by appealing to something they call “authoritative normativity” – it’s because moral rules are “authoritatively normatively” that they are especially important. The authors of this chapter argue for three claims concerning “authoritative (...) normativity”: (1) that motivation for it originates in a parochial conception of “normative flavours”; (2) that arguments against alternative ways of explaining e.g., morality’s importance are overblown; and (3) that there are strong reasons against theorizing in terms of “authoritative normativity”. The overarching aim is not to show that “authoritative normativity” is incoherent or entirely unmotivated. Rather, it is to discuss some of “authoritative normativity’s” deeper commitments to correct the impression that is it largely benign or that it is entailed by familiar and popular “metanormative” positions. Authoritative normativity, it seems to us, is a solution in search of a problem. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the (...) proportion of papers using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

A well-ordered society faces a crisis whenever a sufficient number of noncompliers enter into the political system. This has the potential to destabilize liberal democratic political order. This article provides a formal analysis of two competing solutions to the problem of political stability offered in the public reason liberalism literature—namely, using public reason or using convergence discourse to restore liberal democratic political order in the well-ordered society. The formal analyses offered in this article show that using public reason (...) fails completely, and using convergent discourse, although doing better, has its own critical limitations that have not been previously recognized properly. (shrink)

We are on Mars again – the favourite laboratory for philosophical experiments. Our host colleagues introduce us to some Martian stuff referred to as “T”, and ask us to help them to identify T on other possible worlds. Or, technically speaking, we are asked to determine the intension of “T”, i.e., what the term designates with respect to different possible worlds. Following a short series of experiments on the planet, we conclude that the intension of “T” depends upon three factors: (...) (1) The semantic rule linked with the term, i.e., the way in which the term is designed to pick out its referent with respect to different possible worlds (e.g., as a definite description, or as a proper name, or as an actualised description etc.); (2) The properties of the referent of “T” in the actual world; and, (3) What we shall call ‘the metaphysical background of the universe’, i.e., what counts as a thing vs. what counts as a property of things (e.g., whether the universe is such that it contains material objects that merely happen to have their manifest properties, or whether the universe primarily contains manifest objects that merely happen to have their material constitution). As our experiments show, changing the values of any of these variables will result in a change in the reference of the term with respect to different possible worlds, viz., it will result in a change in the intension of the term. We then demonstrate how the three variables are interrelated, and specify how exactly they combine to produce a particular intension of a term. We conclude with a general “formula” that determines what will deserve to be called “T” relative to the different values of the above variables, i.e., we come up with a calculator of intensions. Finally, we also draw some morals about rigidity. (shrink)

John Norton says that philosophers have been led astray for thousands of years by their attempt to treat induction formally. He is correct that such an attempt has caused no end of trouble, but he is wrong about the history. There is a rich tradition of non-formal induction. In fact, material theories of induction prevailed all through antiquity and from the Renaissance to the mid-1800s. Recovering these past systems would not only fill lacunae in Norton’s own theory but (...) would highlight areas where Norton has not freed himself from the straightjacket of formal induction as much as he might think. This essay begins that recovery. (shrink)

A number of prominent metaphysicians have recently defended the idea of material plenitude: wherever there is one material object, there is in fact a great multitude of them, all coincident and sharing many properties, but differing in which of these properties they have essentially and which accidentally. The main goal of this paper is to put on the agenda an important theoretical decision that plenitudinists face, regarding whether their plenitude is egalitarian or elitist, depending on whether or not (...) they take all objects that coincide at a certain location to be in some sense ontologically on a par. Many current proponents of plenitude tend toward egalitarianism. But current proponents often also point to an Aristotelian tradition they claim to carry on; indeed, the view is sometimes referred to as “neo-Aristotelian plenitude.” By examining some of the historical protagonists of Aristotelian plenitude, however, I show that they defended rather an elitist form of plenitude, wherein a single coincident is ontologically privileged in every occupied region. In the final section of the paper, I also try to articulate the basic motivation for each outlook, by way of initiating discussion of which view plenitudinists should believe. (shrink)

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about (...) apples. The argument view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (shrink)

In his book, History as a Science and the System of the Sciences, Thomas Seebohm articulates the view that history can serve to mediate between the sciences of explanation and the sciences of interpretation, that is, between the natural sciences and the human sciences. Among other things, Seebohm analyzes history from a phenomenological perspective to reveal the material foundations of the historical human sciences in the lifeworld. As a preliminary to his analyses, Seebohm examines the formal and (...) class='Hi'>material presuppositions of phenomenological epistemology, as well as the emergence of the human sciences and the traditional distinctions and divisions that are made between the natural and the human sciences. -/- As part of this examination, Seebohm devotes a section to discussing Husserl’s formal mereology because he understands that a reflective analysis of the foundations of the historical sciences requires a reflective analysis of the objects of the historical sciences, that is, of concrete organic wholes (i.e., social groups) and of their parts. Seebohm concludes that Husserl’s mereological ontology needs to be altered with regard to the historical sciences because the relations between organic wholes and their parts are not summative relations. Seebohm’s conclusion is relevant for the issue of the reducibility of organic wholes such as social groups to their parts and for the issue of the reducibility of the historical sciences to the lower-order sciences, that is, to the sciences concerned with lower-order ontologies. -/- In this paper, I propose to extend Seebohm’s conclusion to the ontology of chemical wholes as object of quantum chemistry and to argue that Husserl’s formal mereology is descriptively inadequate for this regional ontology as well. This may seem surprising at first, since the objects studied by quantum chemists are not organic wholes. However, my discussion of atoms and molecules as they are understood in quantum chemistry will show that Husserl’s classical summative and extensional mereology does not accurately capture the relations between chemical wholes and their parts. This conclusion is relevant for the question of the reducibility of chemical wholes to their parts and of the reducibility of chemistry to physics, issues that have been of central importance within the philosophy of chemistry for the past several decades. (shrink)

This article argues that phenomenological treatment of physical problems is more powerful than fundamental treatment. Developments in the field of superconductivity present us with a clear example of such superiority. The BCS (Bardeen, Cooper and Schrieffer) was accepted as the fundamental theory of superconductivity for a long time. Nevertheless, Landau and Ginzburg phenomenological model has so far proven to be a more fruitful theoretical representation to understand and to predict the features of superconductivity and superconductive materials.

In the so-called modern age, a transition can be observed in Western thought regarding this issue of tolerance. A perceptible shift can be seen in the understanding of tolerance as mere endurance to attempts to conceive of tolerance as a kind of well-grounded acceptance. It is regrettable, however, that this change in thinking has often remained hypothetical rather than heuristic. This certainly has to do with the fact that most of the time only large-scale theological, philosophical, or political projects were (...) negotiated. In this case, as is often happens, the directly concerned individual, the concrete person in the course of the demonstration efforts, was lost. We want to counter this loss with our study. In our investigation, which is based on a phenomenological reflection, we want to examine tolerance and respect as an existential problem couched within an individual. We wish to consider a person who desires to be tolerant and respectful; a person who accepts tolerance and respect as an existential task. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations (...) employing the BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had very (...) detailed procedures for identifying the formal cause, and that he is aware of several problems which might lead one to erroneously identify the wrong form as the cause of a property. Finally, I show that Aristotle’s account can easily be adapted to material causation, and through some modifications (introduction of process universals related through parthood), hinted at in II 11-12 and 16-17, to efficient and final causation. (shrink)

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics (...) for the theory and a provably sound axiomatization. (shrink)

The paper examines Posterior Analytics II 11, 94a20-36 and makes three points. (1) The confusing formula ‘given what things, is it necessary for this to be’ [τίνων ὄντων ἀνάγκη τοῦτ᾿ εἶναι] at a21-22 introduces material cause, not syllogistic necessity. (2) When biological material necessitation is the only causal factor, Aristotle is reluctant to formalize it in syllogistic terms, and this helps to explain why, in II 11, he turns to geometry in order to illustrate a kind of (...) class='Hi'>material cause that can be expressed as the middle term of an explanatory syllogism. (3) If geometrical proof is viewed as a complex construction built on simpler constructions, it can in effect be described as a case of purely material constitution. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to (...) Graham, Knuth and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small aperture. Then, (...) we explore, discover, and justify the laws governing those phenomena, using the precision that mathematical machinery affords. For example, we might represent a person by the strengths of their beliefs, and we might measure these using real numbers, which we call credences. Having done this, we might ask what the norms are that govern that person when we represent them in that way. How should those credences hang together? How should the credences change in response to evidence? And how should those credences guide the person’s actions? This is the approach of the first six chapters of this handbook. In the second half, we consider different representations—the set of propositions a person believes; their ranking of propositions by their plausibility. And in each case we ask again what the norms are that govern a person so represented. Or, we might represent them as having both credences and full beliefs, and then ask how those two representations should interact with one another. This handbook is incomplete, as such ventures often are. Formal epistemology is a much wider topic than we present here. One omission, for instance, is social epistemology, where we consider not only individual believers but also the epistemic aspects of their place in a social world. Michael Caie’s entry on doxastic logic touches on one part of this topic, but there is much more. Relatedly, there is no entry on epistemic logic, nor any on knowledge more generally. There are still more gaps. These omissions should not be taken as ideological choices. This material is missing, not because it is any less valuable or interesting, but because we v failed to secure it in time. Rather than delay publication further, we chose to go ahead with what is already a substantial collection. We anticipate a further volume in the future that will cover more ground. Why an open access handbook on this topic? A number of reasons. The topics covered here are large and complex and need the space allowed by the sort of 50 page treatment that many of the authors give. We also wanted to show that, using free and open software, one can overcome a major hurdle facing open access publishing, even on topics with complex typesetting needs. With the right software, one can produce attractive, clear publications at reasonably low cost. Indeed this handbook was created on a budget of exactly £0 (≈ $0). Our thanks to PhilPapers for serving as publisher, and to the authors: we are enormously grateful for the effort they put into their entries. (shrink)

I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I address these (...) challenges in two steps. First, given Kant’s distinction between an object in general = x from an object of sensible intuition, I argue that analytic judgments are about objects in the former sense, no matter whether the purported objects can be given in our intuition. Second, using Kant’s method of representing certain logical relations of concepts with such figures as circles, I construct a model to show that analytic truths are truths about objects in general = x and yet can be determined solely by the intensional relation between the given concepts plus certain Kantian-logical laws. Analytic truths are thus shown as formal in the Kantian sense that they do not presuppose the purported objects as givable in our intuition. This account of the formality of analytic truths captures Kant’s diagnosis of the Leibnizian illusion that we can make material claims about the world by analytically true judgments. (shrink)

I offer a meta-level analysis of realist arguments for the reliability of ampliative reasoning about the unobservable. We can distinguish form-driven and content-driven arguments for realism: form-driven arguments appeal to the form of inductive inferences, whilst content-driven arguments appeal to their specific content. After regimenting the realism debate in these terms, I will argue that the content-driven arguments are preferable. Along the way I will discuss how my analysis relates to John Norton’s recent, more general thesis that the grounds for (...) licit induction are always material. (shrink)

The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, (...) continuity and contact. These basic concepts are presented in relation to the problem of providing an account of the formal ontology of the mesoscopic realm of everyday experience, and specifically of providing an account of the concept of individual substance. (shrink)

This is the first of a series of four papers presenting modal logic as a branch of material, rather than merely formal, logic.

Functionally graded materials (FGMs) have been used in many different kinds of applications in recent years and have attracted significant research attention. However, we do not yet have a commonly accepted way of representing the various aspects of FGMs. Lack of standardised vocabulary creates obstacles to the extraction of useful information relating to pertinent aspects of different applications. A standard resource is needed for describing various elements of FGMs, including existing applications, manufacturing techniques, and material characteristics. This motivated the (...) creation of the FGM Ontology (FGMO) in 2016. Here, we present a revised and expanded version of the FGM Ontology, which includes enrichments along four dimensions: (1) documenting recent FGMs applications; (2) reorganising the framework to incorporate an updated representation of types of manufacturing processes; (3) enriching the axioms of the ontology; and (4) importing mid-level ontologies from the Common Core Ontologies (CCO) and Product Life Cycle (PLC) Ontologies. The work is being carried out within the framework of the Industry Ontology Foundry (IOF), and the ontology is conformant to Basic Formal Ontology (BFO). (shrink)

The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside (...) of philosophy can be successfully evaluated against the set of conceptual criteria proposed by Kammerer and Frankish, but also whether this kind of evaluation can reveal some limitations inherent to the framework. (shrink)

This paper seeks to defuse two claims. On the one hand, I confront the Hildebrandian claim that Thomism, by placing the principium of love in the needs and desires of the lover rather than in the beloved, denies the possibility of transcendent love; on the other, I seek to refute the Thomistic objection that Hildebrand lacks a sufficient understanding of nature and its inherent teleology. In order to accomplish this, a distinction must be made between different kinds of principium or (...) “for-its-own-sakeness.” Using St. Thomas’ theory of friendship-love, I show how every affective movement in fact has two fundamentally different principia: an “end-desired,” and an “end-for-whom” the former is desired. I next note that “value” and “bonum honestum” each encompass both of these types of “worthiness,” and that the failure to distinguish between these two has led to much of the misunderstanding between Thomists and Hildebrandians: for while the latter sometimes seem to include inanimate objects like sunsets under the higher “worthiness” (as “ends-for-whom”), the former often tend to classify even the beloved under the lower “worthiness” (as a mere “end-desired”), which are both untenable positions. It is shown, however, that for St. Thomas it is the higher, more ultimate sense of “worthiness” that is the foundation of friendship-love, and that thus love remains a truly “transcendent” or “ecstatic” phenomenon. Two objections are then addressed: 1) St. Thomas’ claim that substantial unity is the greatest cause of love, and 2) his claim that man’s primary end is Vision. In both these respects I argue that Aquinas’ position needs correction; still I maintain that neither claim should be taken to imply that, for Aquinas, man is his own center, his own chief “end-for-whom.” Finally, while Hildebrand emphatically denies that natural teleology can explain man’s transcendence (a Thomistic position), this denial seems to flow simply from confusing two ways in which “nature” can be invoked as an explanation: where he sees it invoked as the final cause, Thomists actually invoke it as simply the formal cause of our love for our true Final Cause. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, (...) and physiology, which are examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (shrink)

The objective of this article is to analyse definitions of culture gathered by Alfred L. Kroeber and Clyde Kluckhohn and published in Culture. A Critical Review of Concepts and Definitions in 1952. This article emphasizes a possibility of re-analysing the material collected by these researchers (Kroeber–Kluckhohn Culture Classification, hereinafter referred to as KKCC). The article shows that the KKCC material constitutes a coherent conceptual and theoretical paradigm. This paradigm was subject to contextual, frequential and conceptual (Formal Conceptual (...) Analysis, hereinafter referred to as FCA) analyses. The obtained research results enabled the author to develop a formal concept of culture of KKCC, which could be used as a model for further analysis. The final conclusions are as follows: (1) the notion of "culture" is definable only within the frameworks of a conceptually coherent paradigm; (2) determination of a paradigm requires material repository (resp. text corpus); (3) contextual and frequential analyses enable one to index that kind of repository in order to determine general categories which will be used to develop a formal concept; (4) the formal concept of culture of KKCC constitutes the framework of all possible theoretical analyses concerning the meaning of the notion of "culture" in anthropology; (5) KKCC constitutes a representation of one theory of culture. (shrink)

The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovation. We believe that ontology applied to engineering (OE) represents a viable strategy for the (...) alignment, reconciliation and integration of diverse and disparate data. The scope of OE includes: consistent capture of knowledge pertaining to the types of entities involved; facilitation of cooperation among diverse group of experts; more effective ongoing curation, and update of manufacturing data; collaborative design and knowledge reuse. As an illustrative case study we propose an ontology focused on the representation of composite materials focusing in particular on the class of Functionally Graded Materials (FGM) in particular. The scope of the ontology is to provide information about the components of such materials, the manufacturing processes involved in creation, and diversity of application ranging from additive manufacturing to restorative dentistry. The ontology is developed using Basic Formal Ontology (BFO) and the Ontology for Biomedical Investigations (OBI). (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic deserves the title of a purely formal science’” (WL §12, 46).1 The sentence Bolzano quotes is his own summary of others’ philosophical views; he goes on to cite Jakob, Hoffbauer, Metz, and Krug as examples of thinkers (...) who held that logic abstracts from the matter of thought and considers only its form. Although Bolzano does not mention Kant by name here, Kant does of course hold that “pure general logic”, what Bolzano would consider logic in the traditional sense (the theory of propositions, representations, inferences, etc.), is formal. As Kant remarks in the Introduction to the 2nd edition of Kritik der reinen Vernunft , (pure general) logic is “justified in abstracting – is indeed obliged to abstract – from all objects of cognition and all of their differences; and in logic, therefore, the understanding has to do with nothing further than itself and its own form” (KrV, Bix).2. (shrink)

We will show with examples that all results of modern science are based on or derived from assumptions. Since assumptions cannot be valid for nature and engineering, modern science therefore cannot represent the nature, and be applicable to nature and engineering. For the same reason results of modern science can never be demonstrated. On the other hand the Vedic science is entirely based on observations, just like what Galileo observed. Vedic science does not therefore has any assumptions, and it is (...) a record of what you see is happening in nature. The Vedic science also has another very crucial difference – it observed two types of causes: (a) efficient cause and (b) material cause, behind every phenomenon. As a result Vedic science is universal and eternal. We will illustrate all results of Vedic science with observations in nature. Such examples will be beyond comprehension of modern science. (shrink)

Tong Shijun holds a concept of dialectics which can also be found in Mao’s writings and in classical Chinese philosophy. Tong, however, is ambivalent in his attitude to dialectics in this sense, and for this reason he recommends Chinese philosophy to focus more on formal logic. My point will be that with another concept of dialectics Tong can have dialectics without giving up on logic and epistemology. This argument is given substance by an analysis of texts by Mao, Tong (...) and Hegel. (shrink)

I offer a new reconstruction of Hegel’s criticism of Kant’s idealism. Kant held that we impose categorial form on experience, while sensation provides its matter. Hegel argues that the matter we receive cannot guide our imposition of form on it. Contra recent interpretations, Hegel’s argument does not depend on a conceptualist account of perception or a view of the categories as empirically conditioned. His objection is that given Kant’s dualistic metaphysics, the categories cannot have material conditions for correct application. (...) This leads to subjectivism in the content of experience: the subject is given an implausibly strong role in determining what is the case. Hegel’s own absolute idealism solves this problem. (shrink)

We review an influential series of lectures on analytic philosophy published in 1976 by the West German philosopher Ernst Tugendhat focusing on Tugendhat's treatment of Husserl, and particularly on issues connected with the notion of dependence or Abhängigkeit central to Husserl's philosophy. These issues are of interest not only because Tugendhat's work is one of the few contributions to contemporary analytic philosophy in which they are confronted explicitly, but also because what he has to say about Husserl and dependence illustrates (...) well both the positive and the negative thrust of his argument. (shrink)

Objective: The aim of this study was to compare oral Artemether-Lumefantrine to intravenous Quinine by exploring its effectiveness in cerebral malaria in hospitalized patients. Materials and Methods: A randomized prospective study was conducted among 64 hospitalized cases of cerebral malaria. One group of patients was treated with intravenous Quinine and another group was treated with oral Artemether-Lumefantrine. Response in clinical, laboratory parameters and outcome of treatment were noted every eight hours. Results: Oral Artemether-Lumefantrine showed almost similar response in clinical and (...) laboratory parameters with median temperature (101º F), pulse rate (102 b/m), systolic BP (110mmHg), GCS (12), hemoglobin (9.8 g/dl), WBC (9000/μl), platelet (130000/μl), B. glucose (101 mg/dl), S. creatinine (1.8 mg/dl), ALT (32 U/L), mean disappearance time of parasite from blood (40 hours), and mean time for regaining full consciousness (30 hours). Final outcome was also similar in both drugs with only 1 death (3.1%) reported in each group. Conclusion: In cerebral malaria intravenous Quinine or oral Artemether-Lumefantrine therapy does not have any statistically significant difference in terms of clinical parameter, laboratory parameter and final outcome. (shrink)

Carnap and Twentieth-Century Thought: Explication as En lighten ment is the first book in the English language that seeks to place Carnap's philosophy in a broad cultural, political and intellectual context. According to the author, Carnap synthesized many different cur rents of thought and thereby arrived at a novel philosophical perspective that remains strik ing ly relevant today. Whether the reader agrees with Carus's bold theses on Carnap's place in the landscape of twentieth-century philosophy, and his even bolder claims concerning (...) the role that philosophy in Carnap's style should play in the thought of our century, does not matter so much as the excellent opportunity Carus's book offers to thoroughly rethink one's ideas about Carnap's philosophy. One reason why Carnap and Twentieth-Century Thought might change one's ideas is that Carus has unearthed much hitherto unknown material from the archives that sheds new light on Carnap's early life and thought. Indeed, the many archival findings presented in CTT for the first time suffice to make the book re warding reading for philosophers and historians of philosophy alike. CTT exhibits a high standard of historical scholarship, and the book itself is a beautiful example of high-quality academic publishing. Up to now, Carnap has remained a controversial figure on the philo sophical scene. On the one hand, he has a solid reputation as a leading figure of logical positivism . According to conventional wisdom, this was a school of thought characterized by its formal and technical philosophy, as well as being rather dismissive of other ways of doing philosophy, dogmatically sticking to its own theses. As a typical example of this arrogant logical empiricist attitude, one usually refers to Carnap's notorious Overcoming Metaphysics by Logical Analysis of Language , written when the Vienna Circle's Logical Empiricism had entered its most radical phase. Self-proclaimed postpositivist philosophers of science dismissed logical positivism, in particular Carnap's, as the dogmatic and orthodox “received view.” The tendency to portray logical empiricism as an obsolete doctrine centering around certain “dogmas” started with Quine's Two Dogmas of Empiricism and reached its somewhat ridiculous culmination in the early 1980s when allegedly “six or seven dogmas” were discovered . Thereby an allegedly un brid geable gap between classical “dogmatic” logical em pi ricism and its modern “enlightened” suc ces sors was construed. (shrink)

There is ample justification for having analogical material in standardized tests for graduate school admission, perhaps especially for law school. We think that formal-analogy questions should compare different scenarios whose structure is the same in terms of the number of objects and the formal properties of their relations. The paper deals with this narrower question of how legitimately to have formal analogy test items, and the broader question of what constitutes a formal analogy in general.

One of the most disputed controversy over the priority of scientific discoveries is that of the law of universal gravitation, between Isaac Newton and Robert Hooke. Hooke accused Newton of plagiarism, of taking over his ideas expressed in previous works. In this paper I try to show, on the basis of previous analysis, that both scientists were wrong: Robert Hooke because his theory was basically only ideas that would never have materialized without Isaac Newton's mathematical support; and the latter was (...) wrong by not recognizing Hooke's ideas in drawing up the theory of gravity. Moreover, after Hooke's death and taking over the Royal Society presidency, Newton removed from the institution any trace of the former president Robert Hooke. For this, I detail the accusations and arguments of each of the parts, and how this dispute was perceived by the contemporaries of the two scientists. I finish the paper with the conclusions drawn from the contents. -/- Keywords: Isaac Newton, Robert Hooke, law of gravity, priority, plagiarism -/- CONTENTS -/- Abstract Introduction Robert Hooke's contribution to the law of universal gravitation Isaac Newton's contribution to the law of universal gravitation Robert Hooke's claim of his priority on the law of universal gravitation Newton's defense The controversy in the opinion of other contemporary scientists What the supporters of Isaac Newton say What the supporters of Robert Hooke say Conclusions Bibliography -/- DOI: 10.13140/RG.2.2.19370.26567 . (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

The so-called materially valid inferences have come to new prominence through the work of Robert Brandom. This paper introduces a fragment of a logic of concepts that does not reduce concepts to their extensions. Concept logic and ist semantics allow us to represent the conceptual knowledge used in material inferences and thus suggests a way to deal with them.

The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: “If the perfect being exists, then it necessarily exists‘ and “It is possible that the perfect being exists‘. In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its only premises (...) are the axiom and, instead of, the new axiom : “If the perfect being doesn’t exist, it necessarily doesn’t‘. The main goal of the work is to prove that is no more controversial than and -- in consequence -- the whole strength of the modal ontological argument lies in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological‘ and metalogical. (shrink)

This special issue on affordances bases on the thesis, that all natural and artificial things inhere affordances that appeal to our cognitive system, and thus invite us to look at them, perceive them, think about them, interpret them, and use them. The concept roots in the studies of the American psychologist James J. Gibson from the 1960s. According to him, "things" offer a certain range of possible activities depending on their form, time patterns, and material qualities, thus becoming part (...) of human-thing-interactions. However, affordances can also be culturally trained. This aspect has been intensively discussed subsequently within different disciplines (e.g., Social Sciences, Design Studies). But only recently has the concept received attention in the field of Visual Culture Studies particularly through archaeological scholarship. (shrink)

My initial work, with collaborators Stephen Morris, Thomas Nadelhoffer, and Jason Turner (2005, 2006), on surveying folk intuitions about free will and moral responsibility was designed primarily to test a common claim in the philosophical debates: that ordinary people see an obvious conflict between determinism and both free will and moral responsibility, and hence, the burden is on compatibilists to motivate their theory in a way that explains away or overcomes this intuitive support for incompatibilism. The evidence, if any, offered (...) by philosophers to support the claim that incompatibilism is intuitive has consisted of reports of their own intuitions or informal polls of their students. We were skeptical about the reliability of such evidence, so we used the methodology--”now associated with the label 'experimental philosophy'--”of conducting formal surveys on non-philosophers. Our participants read a scenario that describes a deterministic universe and were then asked to judge whether agents in those scenarios act of their own free will and are morally responsible for their actions. Using three different scenarios with hundreds of participants, we consistently found that the majority (2/3 to 4/5) responded that agents in deterministic universes do act of their own free will and are morally responsible. That is, we found that most ordinary folk do not seem to find incompatibilism intuitive or obviously correct. Our results have been challenged in various ways, philosophical and methodological. For instance, Shaun Nichols (2004, this volume) and Nichols and Joshua Knobe (unpublished) offer some experimental evidence suggesting that, in certain conditions, most people express incompatibilist and libertarian intuitions. I will respond to this work in the following section. I agree that people express conflicting intuitions about free will (after all, we consistently found a minority of participants expressing incompatibilist. (shrink)

The analytical understanding cannot deal with integral wholes and therefore cannot understand the soul or God. The material body is illusory in the sense that it cannot be understood in its true identity without knowing its relationship to God. Analyzing its composition in terms of separated molecules or neurons is also illusory. To understand how to go from an untrue or partially true part to its truth in the whole a method developed by Hegel called conceptual thinking is required. (...) Reproduction is not merely concerned with individuals, it involves the genus or genus process. The universal that determines the species is not changed when particulars under the universal change, die, reproduce according to their “own kind” or species. Without connecting the individual organisms with their species we may wrongly think they can evolve into any species by chance. But this is not how individual and species are related to each other. The species determines how the individuals will appear and controls their reproduction, growth, and so on. They are not independent to become what they want by choice or by chance. Everyone calls themselves “I” so “I” is a universal, although each means only oneself. In the same way each organism is identified with its species, although we mean its own particular organism – for example, a dog and not canine in general. Thus the universal and particular cannot be separated from each other. Similarly individuals who identify only personal reason independent of universal Reason are misconceiving their true identity. At the same time universal and particular are related, they are not the same but a unity in difference. The universal by itself is as abstract as the particular by itself. At the same time their relation can only be comprehended within a higher unity, the higher Self or Supreme Individual. (shrink)

According to John D. Norton's Material Theory of Induction, all inductive inferences are justified by local facts, rather than their formal features or some grand principles of nature's uniformity. Recently, Richard Dawid (Found Phys 45(9):1101–1109, 2015) has offered a challenge to this theory: in an adaptation of Norton's own celebrated "Dome" thought experiment, it seems that there are certain inductions that are intuitively reasonable, but which do not have any local facts that could serve to justify them in (...) accordance with Norton's requirements. Dawid's suggestion is that “raw induction” might have a limited but important role for such inferences. I argue that the Material Theory can accommodate such inductions, because there are local facts concerning the combinatoric features of the induction’s target populations that can licence the inferences in an analogous way to existing examples of material induction. Since my arguments are largely independent of the details of the Dome, Norton's theory emerges as surprisingly robust against criticisms of excessive narrowness. (shrink)

The aim of this article is to depict as accurately as possible the ideological conflict between liberal democracy and an insidious present-day version of communism, namely cultural socialism. Obviously, it is not easy to describe the essential relationships between two complex phenomena that evolve nonlinearly within a hypercomplex environment. The ideological systems of liberal democracy and cultural socialism involve both objective and subjective facts, material and immaterial components, neutral and emotion-laden aspects, deliberate and unintentional behaviors, linear and nonlinear effects, (...) and planner-dependent and observer-dependent events. They affect each other and also fall under the influence of different non-political factors that characterize the Euro-Atlantic societies. In order to cope with the complexity of this research object we adopt the methodological dualism and a praxeological approach. The system of discursive liberal democracy can be seen – from a praxeological perspective – as a spontaneous order generated and maintained by three classes of attractors: the attractors of democracy (inclusion, political equality, high level of political participation, and majority rule), the attractors of liberalism (rule-governed political agency and the right to reasonable self-determination), and the attractors of public rationality (publicness, objectivity, verifiability, and revisability). Liberal democracy subsists in any society only if a sufficient number of its members reproduce the corresponding attractors in their political (and non-political) conduct. It is important to note that it is much easier to reproduce the attractors of democracy than the attractors of liberalism and rationality. Maybe because of that the socialists strive to undermine the system of liberal democracy by perverting – in the first instance – the standards of (public) rationality. One of the most important ingredient of cultural socialism is so-called "political correctness", by means of which people are prevented from expressing genuinely and politely certain beliefs or doubts in the public sphere even if they profess the standards of objectivity, verifiability, and revisability. Under the pressure of political correctness the attractors of public rationality tend to wither, the liberal dimension of the political system disappears too, and democracy becomes a sheer tyranny. Choosing a form of political organization is not a scientific, but a socio-political matter. It is not the job of social scientists to recommend or impose political goals in general and a specific political system in particular. However, inasmuch as some goals are set, social scientists can indicate the most appropriate means of meeting them. If the Euro-Atlantic societies still value liberal democracy and want to preserve it, it is important to teach them how to reproduce its attractors and to counteract the pernicious effects of cultural socialism. (shrink)