The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in (...) facts by primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

Considerations regarding predication in ordinary language as well as the ontology of relations suggest a refinement of the Ontological Square, a conceptual scheme used in many foundational ontologies and which consists of particular substrates as well as their types on the one hand and particular attributes as well as their types on the other hand. First, the distinction between particulars and universals turns out to be one of degree, since particulars are merely the least elements in the subsumption (...) hierarchy. Second, relations may be analysed in terms of roles as ways of participating in events. In consequence, the Logic of the Ontological Square proposed in (Schneider 2009) has to be revised accordingly. (shrink)

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power (...) of the square of opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel’s opposition to diagrams De Morgan’s unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan’s four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts. (shrink)

IN THE FOLLOWING PAGES, I shall examine two questions. Is there an anticipation of the understanding that constitutes the act of interpretation? If so, does that anticipatory understanding possess a structure of the sort that stands to the act of interpretation as the ontological ground is held to stand to the ontic or factual consequences of that ground? These questions together make up the problem of the hermeneutical circle.

In the paper we build up the ontology of Leśniewski’s type for formalizing synthetic propositions. We claim that for these propositions an unconventional square of opposition holds, where a, i are contrary, a, o (resp. e, i) are contradictory, e, o are subcontrary, a, e (resp. i, o) are said to stand in the subalternation. Further, we construct a non-Archimedean extension of Boolean algebra and show that in this algebra just two squares of opposition are formalized: conventional and the (...) square that we invented. As a result, we can claim that there are only two basic squares of opposition. All basic constructions of the paper (the new square of opposition, the formalization of synthetic propositions within ontology of Leśniewski’s type, the non-Archimedean explanation of square of opposition) are introduced for the first time. (shrink)

There are two doctrines for which Quine is particularly well known: the doctrine of ontological commitment and the inscrutability thesis—the thesis that reference and quantification are inscrutable. At first glance, the two doctrines are squarely at odds. If there is no fact of the matter as to what our expressions refer to, then it would appear that no determinate commitments can be read off of our best theories. We argue here that the appearance of a clash between the two (...) doctrines is illusory. The reason that there is no real conflict is not simply that in determining our theories’ ontological commitments we naturally rely on our home language but also (and more importantly) that ontological commitment is not intimately tied to objectual quantification and a reference-first approach to language. Or so we will argue. We conclude with a new inscrutability argument which rests on the observation that the notion of objectual quantification, when properly cashed out, deflates. (shrink)

This original new work takes a sharply focused look at Berkeley's ontology and provides a fuller understanding of the relationship between, on the one hand, Berkeley's nominalism and antiabstractionism and, on the other, his principal arguments for idealism and his attempts to square his idealism with common sense. Drawing heavily on detailed textual analysis, historical context, and careful examination of the work of other scholars, Muehlmann challenges, modifies, rejects, and exploits some well-established interpretations of Berkeley's philosophy.

Ontological commitments and other problems concerning existence arise in connection with various aspects of logical theories. The semantics of quantification theory is usually formulated in such a manner that theorems are all and only those formulae which come out true under all interpretations in all non-empty domains. There are several approaches to include the empty domain. Paradoxically this apparent semantic extension means surrendering several formulae which are valid and intuitively plausible.

This article begins with a theoretical tension. Radical democracy, in the joint work of Ernesto Laclau and Chantal Mouffe, can be understood as a joint articulation of a post-foundational ontology of contingency and a politics of autonomy of ‘democratic struggles’ within a hegemonic bloc as loci of antagonisms in their own right, while Laclau’s theory of populism marks a shift from the autonomy of struggles to the representative function of the empty signifier as a constitutive dimension. This tension between a (...) horizontal logic of autonomy and a vertical logic of representation comes to the fore not least in the manifold attempts to combine radical-democratic and populist practices in the wake of the ‘movements of the squares.’ This argument is illustrated empirically in the cases of two party projects situating themselves in contexts of social protest—‘Social Movement’ in Ukraine and Podemos in Spain—both of which seek to combine a left-populist discursive strategy with some form of radical-democratic politics of autonomy, either by supporting local alliances independent from the party or by integrating trade union representatives into the organizational center, which in turn finds expression in a representative logic. (shrink)

The paper outlines the advantages and limits of the so-called ‘Calculus CL’ in the field of ontology engineering and automated theorem proving. CL is a diagram type that combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. Due to the simple taxonomical structures and intuitive rules of CL, it is easy to edit ontologies and to prove inferences.

In a series of joint papers, Teppo Felin and Nicolai J. Foss recently launched a microfoundations project in the field of strategic management. Felin and Foss observe that extant explanations in strategic management are predominantly collectivist or macro. Routines and organizational capabilities, which are supposed to be properties of firms, loom large in the field of strategic management. Routines figure as explanantia in explanations of firm behavior and firm performance, for example. Felin and Foss plead for a replacement of such (...) macro-explanations by micro-explanations. Such a replacement is needed, Felin and Foss argue, because macro-explanations are necessarily incomplete: they miss out on crucial links in the causal chain that connect macro phenomena with each other. I argue that this argument is flawed. It is based on a doubtful if not outright incorrect understanding and use of Coleman’s diagram. In a sense to be explained below, only if Coleman’s diagram is squared it can accurately account for the relations between individual action and interaction, routines and firm behavior and firm performance. Once Coleman’s diagram is squared, one can see why and how macro-explanations need not miss out on any link in the causal chains that connect macro phenomena. Micro-analyses are still needed, not to highlight and specify causal links that macro-explanations miss out on, but to check whether the many properties that are ascribed to routines in macro-explanations of firm behavior are warranted. (shrink)

E.J.Lowe was a prominent and theistically–inclined philosopher who developed and defended a four–category ontology with roots in Aristotle’s Categories. But Lowe engaged in little philosophical theology and said even less about how a divine being might fit into his considered ontology. This paper explores ways in which the reality of a divine being might be squared with Lowe’s ontology. I motivate the exploration with a puzzle that suggests Lowe must reject either divine aseity or the traditional view that God is (...) a substance. After showing that the puzzle cannot be overcome by rejecting one of its premises, I consider ways in which Lowe might try to reject the puzzle wholesale. I argue that the best way to reject the puzzle is to countenance a fifth fundamental category, the category of supernatural substance. (shrink)

This article clarifies the motivations for and commitments of metaphysical realism and shows that it is compatible with various kinds of referential indeterminacy.

For Francisco Suárez, beings of reason are non-existent objects that we can think about, objects like goat-stags and round squares. The first section of the fifty-fourth of Suárez’s Metaphysical Disputations is about the ontological status of beings of reason. Suárez’s view has been the subject of disagreement in the literature because he sometimes says that there are beings of reason, and he sometimes says there are not. In this paper, I argue for and explain an ontological pluralist reading (...) of Suárez. Ontological pluralism is the claim that there is more than one way of being. I distinguish between two varieties of ontological pluralism, strict and non-strict, and argue that Suárez endorsed the latter. In the contemporary literature, it is sometimes alleged that ontological pluralism is an idle hypothesis, unintelligible or philosophically vacuous. I argue that Suárez has a response to this objection in his argument against ontological monism. (shrink)

When people deny that there are objects of a certain kind, they normally take this to be a reason to stop speaking as if such objects existed. For instance, when atheists deny the existence of God, they take this to be a reason to stop speaking about God’s will or His mercy. Or, to take a more mundane example, when people deny that there are round squares or that there are unicorns, they take this to be a reason to stop (...) speaking as if rounds squares or unicorns existed. (shrink)

In this paper, we propose an ontological interpretation of the wave function in terms of random discontinuous motion of particles. According to this interpretation, the wave function of an N-body quantum system describes the state of random discontinuous motion of N particles, and in particular, the modulus squared of the wave function gives the probability density that the particles appear in every possible group of positions in space. We present three arguments supporting this new interpretation of the wave function. (...) These arguments are mainly based on an analysis of the mass and charge properties of a quantum system. It is realized that the Schroedinger equation, which governs the evolution of a quantum system, contains more information about the system than the wave function of the system, such as the mass and charge properties of the system, which might help understand the ontological meaning of the wave function. Finally, we briefly analyze possible implications of the suggested ontological interpretation of the wave function for the solutions to the measurement problem. (shrink)

It has been widely thought that the ontology of quantum mechanics is real, physical fields. In this paper, I will present a new argument against the field ontology of quantum mechanics by analyzing one-body systems such as an electron. First, I argue that if the physical entity described by the wave function of an electron is a field, then this field is massive and charged. Next, I argue that if a field is massive and charged, then any two parts of (...) the field in space will have gravitational and electromagnetic interactions, while the existence of such self-interactions for an electron contradicts quantum mechanics and experimental observations. This poses a serious difficulty for the field ontology of quantum mechanics. Third, I argue that a particle ontological interpretation of the wave function may avoid the difficulty by providing a plausible explanation of the non-existence of self-interactions. According to this explanation, the wave function of an electron is a description of the state of the random motion of the electron as a particle, and in particular, the modulus squared of the wave function gives the probability density that the electron appears in every possible position in space. Finally, I answer a major objection to the explanation of the non-existence of self-interactions in terms of particle ontology. (shrink)

In this essay, I want to raise certain questions about the nature of emotions, about the similarities and differences in human psychology , and about the relation of psychological inquiry to ethics . The core of my thesis, which I have argued now for almost twenty-five years, is that emotions are a form of cognition, a matter of “ideas”, or in the current lingo, ideation. David Hume, rather famously, analyzed several “passions”, notably pride, in terms of “impressions” and “ideas”. While (...) he held onto the traditional view that emotions were essentially sensations , he also elaborated an account of emotions defined by a complex of idea, for example, the idea of self and of achievement in pride. Moreover, such ideas are relevant to ethics. For Hume, in particular, morals are a matter not of reason but of “sentiment”, thus bringing the understanding of emotions squarely into the arena of ethical discourse. Which opens the question whether different cultures with different ideas might have a very different conception and/or experience of pride as well as any number of different emotions. One might also ask, not very fruitfully, whether different cultures have different sensations, impressions or “affects”, but the promise of cross cultural emotions research clearly seems to lie on the side of “ideas”, in terms of different ways of seeing, different ways of conceiving, different ways of carving up and evaluating the world. (shrink)

Abell, Felin and Foss argue that "macro-explanations" in strategic management, explanations in which organizational routines figure prominently and in which both the explanandum and explanans are at the macro-level, are necessarily incomplete. They take a diagram (which has the form of a trapezoid) from Coleman, Foundations of Social Theory, The Belknap Press of Harvard University Press, Cambridge (Mass.)/London, (1990) to task to show that causal chains connecting two macro-phenomena always involve "macro-to-micro" and "micro-tomacro" links, links that macro-explanations allegedly fail to (...) recognize. Their plea for micro-foundations in strategic management is meant to shed light on these "missing links". The paper argues that while there are good reasons for providing micro-foundations, Abell, Felin and Foss's causal incompleteness argument is not one of them. Their argument does not sufficiently distinguish between causal and constitutive relations. Once these relations are carefully distinguished, it follows that Coleman's diagram has to be squared. This in turn allows us to see that macroexplanations need not be incomplete. (shrink)

We respond to Jack Vromen’s critique of our discussion of the missing micro-foundations of work on routines and capabilities in economics and management research. Contrary to Vromen, we argue that inter-level relations can be causal, and that inter-level causal relations may also obtain between routines and actions and interactions; there are no macro-level causal mechanisms; and on certain readings of the notion of routines and capabilities, these may be macro causes.

Reconstructs the original Greek version of the confatalia-argument that Cicero attributes to Chrysippus in De fato and misrepresent in crucial ways. Compares this argument with Seneca's discussion of determinism in the Naturales quaestiones. Clarifies that Seneca makes a different distinction from that attested in Cicero's De fato. Argues that problems with interpreting both accounts derive from disregarding terminological distinctions harder to spot in the Latin versions and, related to this, insufficient attention to the ontological distinction between bodies (such as (...) Fate) and predicates (e.g. "what is fated"), which unfortunately does not square well with the modern ontological category "event." Contains some corrections to the author's earlier discussion of the topic in Seneca und die Stoa: Der Platz des Menschen in der Welt, De Gruyter 2006, ch. 3.3.4. (shrink)

Advocates of the New Mechanicism in philosophy of science argue that scientific explanation often consists in describing mechanisms responsible for natural phenomena. Despite its successes, one might think that this approach does not square with the ontological strictures of quantum mechanics. New Mechanists suppose that mechanisms are composed of objects with definite properties, which are interconnected via local causal interactions. Quantum mechanics calls these suppositions into question. Since mechanisms are hierarchical it appears that even macroscopic mechanisms must supervene (...) on a set of “objects” that behave non-classically. In this paper we argue, in part by appeal to the theory of quantum decoherence, that the universal validity of quantum mechanics does not undermine neo-mechanistic ontological and explanatory claims as they occur within in classical domains. Additionally, we argue that by relaxation of certain classical assumptions, mechanistic explanatory strategies can sometimes be carried over into the quantum domain. (shrink)

It is Frege's third contribution that makes the point of departure for the present paper. Not merely did Frege show how to manipulate symbols more exactly; he also gave a searching account of what these symbols mean. Consider a philosophical problem that arises out of the simplest arithmetic. When we say that 5 = 2 + 3, what do we mean? Do we mean that 5 is identical with 2 + 3? But in some ways 5 and 2 + 3 (...) are obviously different. Or do we mean that 5 and 2 + 3 are equal but not identical, equality being a relation that falls short of complete identity? But in that case, some ordinary ways of speaking in mathematics must be false. Suppose a pupil is asked for the positive square root of 25. The phrasing of the question implies that there is one and only one. No doubt he may answer, '5'. But then it follows that the answer '2 + 3' is not allowable, since ex hypothesi 5 and 2 + 3, though equal, are not identical. Yet ordinarily the answer '2 + 3' would be regarded as strange but not as wrong. (shrink)

Minimalists about truth think they've hit on something like a job description for a truth predicate: A truth predicate facilitates the expression of certain generalizations, such as "Whatever N. said is true" that would otherwise require a substitutional quantifier, or an infinite conjunction or disjunction. In the first chapter I argue that even if truth predicates have that function, it would be a mistake to suppose that this is their only role. There is an internal relation between truth and assertion (...) that a minimalist fails to capture. In order to demonstrate this, I show how on a minimalist view commands would end up being among the sorts of things which are apt for truth. In the second chapter, I consider Lewis' well-known "argument from paraphrase" for the existence of possible worlds. I claim that the argument is only compelling on a certain reading of the presumption in favor of a face value semantics, but that on this reading the conclusion of the argument is incompatible with any standard possible worlds analysis of modal discourse. I go on to consider both whether the presumption in favor of a face value analysis of "way" talk might be defeated, and if not, how an ontic analysis of modal discourse might be recast in a form consistent with this result. ;In the third chapter, I consider a paradox involving our first-order modal judgements: It seems consistent to suppose that some things which are not possible still could have been possible if only the world had been different. But this is a view that's hard to square with a plausible semantics for modality. I argue that the problem here is a genuine puzzle about modality and that it requires the introduction of a perspectival semantics for attributions of de re modal properties. (shrink)

Stamos squarely confronts the problem of determining what a biological species is, whether species are real, and the nature of their reality. He critically considers the evolution of the major contemporary views of species and also offers his own solution to the species problem.

Stamos squarely confronts the problem of determining what a biological species is, whether species are real, and the nature of their reality. He critically considers the evolution of the major contemporary views of species and also offers his own solution to the species problem.

A certain type of metaphysical manicheism has become quite prevalent among Levinas readers who insist in declaring his ethics to be a morally and, ultimately, politically necessary departure from Heidegger’s ontology. This approach inadequately moralizes Levinas’ articulation of the ethical which, I argue here, ought to be understood as an account of the pre-reflective normative conditions of ontology as meaning. In this paper, I seek to show that Levinas account of Ethics is squarely rooted in the epistemology of Heidegger’s Being (...) and Time and that, his phenomenological articulation of pre-deliberative normativity may be read as the Deduction and Schematism of Being and Time, that is, as its central mechanism. (shrink)

This volume seeks to explore the intersection of theology, philosophy and the public sphere not by referring the social and political to ethics and deontology as is often the case, but rather to ontology itself, to the very nature of beings. The meaning of history and historicity is most pertinent to this enquiry and is approached here both from the perspective of social reality and from the perspective of ontology. Joining together contributions focusing on theory of the public sphere and (...) metaphysics, chapters explore subjects as diverse as the political implications of the Incarnation, the paradox between ontology and history, politically left and right appropriations of Christianity, the fecundity of Maximus the Confessor’s insights for a contemporary political philosophy, modern Orthodox political theology focusing on Christos Yannaras and numerous thematic areas that together form the mosaic of the enquiry in question. (shrink)

In Dynamis. Ontologia dell’incommensurabile, Gaetano Chiurazzi offers an account of the philosophical sense and implications of the discovery of incommensurable magnitudes in ancient thought. In his study, Chiurazzi presents the scope of the idea of incommensurability in contrast to those theories that have interpreted perception as the primary access to reality. Chiurazzi claims that the discovery of incommensurable relations, such as that of “1/square root of 2,” which expresses the relation between the side and the diagonal of a (...) class='Hi'>square, introduces the conception of asymmetrical relations into Western epistemology and ontology. This conception finds in the modern idea of transcendental philosophy its mature formulation. In this paper, I draw on Maurice Merleau-Ponty’s proposal of a phenomenology of perception in order to critically evaluate the working assumption in Chiurazzi’s account that perception is the faculty of intuition that seizes upon the individual and therefore as “atomic” in nature. (shrink)

Initially the problems of data integration, for example in the field of medicine, were resolved in case by case fashion. Pairs of databases were cross-calibrated by hand, rather as if one were translating from French into Hebrew. As the numbers and complexity of database systems increased, the idea arose of streamlining these efforts by constructing one single benchmark taxonomy, as it were a central switchboard, into which all of the various classification systems would need to be translated only once. By (...) serving as a lingua franca for database integration this benchmark taxonomy would ensure that all databases calibrated in its terms would be automatically compatible with each other. We describe one strategy for creating such a lingua franca, in which philosophical ontology plays a central role. (shrink)

In this paper we will argue that the ontology implicit in John Buridan’s modal octagon commits him to a form of contingentism. In particular, we will argue that Buridan is committed to denying the validity of the Barcan and converse Barcan formulae.

6 - Human Cockfighting in the Squared Circle -- 7 - Perfect Praxis in Aikido -- Section III - Reflexivity, Self, and Other -- 8 - Tension, Reflection, and Agency in the Life of a Hausa Grain Trader -- 9 - Reflexivity in Intersubjective and Intercultural Borderlinking -- Section IV - Reflexivity, Democracy, and Government -- 10 - The Latent Effects of the Distribution of Political Reflexivity in Contemporary Democracies -- Postscript - Reflexivity and Social Science -- Index.

We respond to Jack Vromen’s (this issue) critique of our discussion of the missing micro-foundations of work on routines and capabilities in economics and management research. Contrary to Vromen, we argue that (1) inter-level relations can be causal, and that inter-level causal relations may also obtain between routines and actions and interactions; (2) there are no macro-level causal mechanisms; and (3) on certain readings of the notion of routines and capabilities, these may be macro causes.

Luc Schneider Kinds of Instances. A Logical and Metaphysical Inquiry into the Ontological Square Co-Director Barry Smith (Buffalo/IFOMIS Saarbrücken) Research Fellow, EIDOS, Geneva..

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)

According to the grammar of Port-Royal it is possible to convert the noun ‘homme’ into the adjective 'humain' by adding a confused signification or connotation. Strangely enough it is stipulated that by the reversal of this process the adjective 'human' is converted into the substantive ‘humanité’ rather than the original noun ‘homme’. In this article I argue that the treatment of adjectives and substantives in the Port-Royal grammar depends strongly on the traditional Aristotelian ontology as summarized in the so-called (...) class='Hi'>ontological square and the theory of the predicables. In connection with this it is shown that according to the Port-Royalists corresponding concrete and abstract nouns like ‘homme’ and ‘humanité’, should be in some sense equivalent. (shrink)

The present paper describes an ”ontological square’ mapping possible ways of combining the domains and converse domains of the relations of inherence and denomination. In the context of expounding and extending medieval appropriations of elements drawn from Aristotle’s Categories for theological purposes, the paper uses this square to examine different ways of defining Substance-terms and Accident-terms by reference to inherence and denomination within the constraints imposed by the doctrine of the Trinity. These different approaches are related to (...) particular texts of thinkers including Bonaventure and Gilbert of Poitiers. (shrink)

The paper presents the diagrammatic calculus CL, which combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. In its basic form, `CL' (= Cubus Logicus) organizes terms in the form of a square or cube. By applying the arrows of the square of opposition to CL, judgments and inferences can be displayed. Thus CL offers on the one hand an intuitive method to display ontologies and on the other hand a diagrammatic tool to check inferences. The (...) paper focuses mainly on the adaptation of the square of opposition in CL and offers an algebraic notation, which corresponds to the diagrammatic representation. (shrink)

Jean-Baptiste Rauzy writes here on Leibniz’s theory of truth, construed broadly, mostly in Leibniz’s earlier periods. He focuses mostly on Leibniz’s logical theory, particularly as given in the logical papers, published only with Couturat and others, in 1901 and following. Unlike a lot of the secondary literature, Rauzy’s book gives much detail about how Leibniz’s various logical models work out and apply to more general issues such as the reduction of relations, the ontological square, haecceity, and the problem (...) of universals. (shrink)

The aim of this chapter is to develop a semantics for Calculus CL. CL is a diagrammatic calculus based on a logic machine presented by Johann Christian Lange in 1714, which combines features of Euler-, Venn-type, tree diagrams, squares of oppositions etc. In this chapter, it is argued that a Boolean account of formal ontology in CL helps to deal with logical oppositions and inferences of extended syllogistics. The result is a combination of Lange’s diagrams with an algebraic semantics of (...) terms: Bit-CL, in which any ordered objects are identified by characteristic bitstrings. Then, a number of objections to Bit-CL are answered to, and the process of inference is explained in this new logical framework. (shrink)

The treatise attempts to approach and deal with some of the most fundamental problems facing anyone who wishes to uphold some version of the so-called theory of tropes. Three assumptions serve as a basis for the investigation: tropes exist, only tropes exist, and a one-category trope-theory along these lines should be developed so that the tropes it postulates are able to serve as truth-makers for all kinds of atomic propositions. Provided that these assumptions are accepted, it is found that the (...) trope-theorist will have to deal with two important problems. First, some atomic propositions seem to require universal truth-makers. Second, some atomic propositions seem to require concrete truth-makers. As tropes are abstract particulars, it follows that the trope-theorist, in order to fulfil assumption, must provide an account of exactly how he or she could construct universality and concreteness from his or her basic stock of tropes. In the treatise such constructions are attempted and some basic problems with such constructions are revealed. Although these problems are serious enough it is argued that it is nevertheless possible to deal with these basic issues while staying squarely within the boundaries of a one-category trope-ontology. (shrink)

structure of a laboratory report (generalized from Italian, Chinese and US sources), we distill a fifth flavor, the givens, whose flip side is the freedoms or tangibles of an experiment. (Stated in terms of computer science, we are trying to find inputs and outputs, but these turn out to be surprisingly vague in chemistry.) Then, in the service of a white-boxing ethos (which sounds less severe than ‘anti black-boxing’), we establish a movable boundary between givens and tangibles, with implications for (...) ‘ontological attitudes’ and for the future of chemistry. Next, in revisiting a 2002 exchange between Schummer and Laszlo, which might be paraphrased as the chemist-as-philosopher versus chemist-as-artisan, we apply a second kind of sliding scale which seems to harmonize the discussion. Finally, on a possibly quixotic note, we look briefly at a third kind of sliding scale, now aimed squarely at ontology itself. For illustrative purposes, we adopt an atomocentric viewpoint (as distinct from atomistic), and assign it the provisional name ‘Fuzzy CH4 Ontology’. (shrink)

One of postmodernism's toughest challenges to Christian thought is its wholesale rejection of metaphysics. This profound book meets the challenge squarely, offering a surer foundation for the idea of being and a new theological perspective of supreme relevance to today's world. In a brilliant turn of postmodern thought itself, Oliver Davies argues for a renewal of metaphysics based on a dynamic new understanding of ontology as narrative and performance. His repairing of the Western metaphysical tradition is grounded both in the (...) divine self-naming in Exodus -- which, for the rabbis, identified God's presence in the world with God's compassionate acts -- and in the compassionate resistance of Etty Hillesum and Edith Stein to the violence of the Holocaust. Building on a new metaphysics of compassion that is attentive to the deepest histories of the contemporary world, Davies offers a renewed systematic theology focused on divine speech and God's compassionate relation to human culture. (shrink)

Nihilists cannot square their position with common sense simply by paraphrasing away apparent ontological commitments in ordinary language. I argue for this claim by analogy. Paraphrase atheism says there is no God, but tries to square the truth of atheism with ordinary religious sentences by paraphrasing away apparent ontological commitments. Obviously, paraphrase does not reconcile atheism with ordinary language about God. I discuss two different reasons that paraphrase can fail and suggest that both reasons afflict paraphrase (...) nihilism. Hence, paraphrase nihilism cannot reconcile nihilism and common sense, and so nihilists must look for some other strategy that can evade the force of the Atheism Case. (shrink)

Imagine an equilateral triangle “pointing upward”—its horizontal base under its apex angle. A semiotic triangle has the following three “vertexes”: (apex) an expression, (lower-left) one of the expression’s conceptual meanings or senses, and (lower-right) the referent or denotation determined by the sense [1, pp. 88ff]. One example: the eight-letter string ‘coleslaw’ (apex), the concept “coleslaw” (lower-left), and the salad coleslaw (lower-right) [1, p. 84f]. Using Church’s terminology [2, pp. 6, 41]—modifying Frege’s—the word ‘coleslaw’ expresses the concept “coleslaw”, the word ‘coleslaw’ (...) denotes or names the salad coleslaw, and the concept “coleslaw” determines the salad coleslaw—recalling Frege’s principle that sense determines denotation. Church [2, p. 6] wrote: -/- We shall say that a name denotes or names its denotation and expresses its sense. […] Of the sense we say that it determines its denotation, or is a concept of the denotation. -/- Aristotle seems cognizant of distinctions going beyond those in semiotic triangles. The expression Aristotle’s semiotic pyramids seem warranted by Aristotle’s Categories, 1a1: -/- When [two] things have a name (onoma) in common and the concept (logos) of being (ousia) which corresponds to the name in each case is different, they are called same-named (homonuma). Thus, for example, both a man and a picture [of an animal] are called animals. These have only a name in common. In each case the name’s concept of being [an animal] is different; for if one says what being an animal is for each of them, one will give two distinct concepts. -/- Semiotic triangles and pyramids in Aristotle’s logic are compared to those in Church’s [2]. [1] JOHN CORCORAN, Sentence, proposition, judgment, statement, and fact, Many Sides of Logic, College Publications, 2009. [2] ALONZO CHURCH, Introduction to Mathematical Logic, Princeton, 1956. -/- The semiotic pyramid in Categories, 1a1 has a square base under the vertex ‘animal’. On the corners of the square are: the concept “animal”, the concept “animal picture”, the animals, and the animal pictures. The animals are homonymous with the animal pictures. People find Aristotle’s example far-fetched or inept even if the experience of pointing to a picture while saying “That is Tarski” is familiar. Imagine looking at a painting while thinking “That is an animal”. Without putting too fine a point on this, notice that in Aristotle’s sense it is individual things that are homonymous, not words. It would be natural to say also in his sense that two things are homonyms if one is homonymous with the other. In contrast, we use the words homonym and homonymous to relate words that are spelled the same and pronounced the same but have different meaning. Consider the noun ‘center’ and the verb ‘center’. Consider the noun ‘smell’ and the verb ‘smell’. The spelling of two homonyms is an ambiguity, or an ambiguous spelling. We need appropriate adjectives to distinguish the Categorical senses of ‘homonym’ and ‘homonymous’ from the current English sense just mentioned. I propose ‘ontological’ for the sense relating things and ‘linguistic’ for that relating words. Given that all words are things but not all things are words, we ask are words that are linguistically homonymous also ontologically homonymous? END OF POST ABSTRACT. (shrink)