Applying the rules and systems of mathematics and logic to instance ontology, this work argues for the validity and problem-solving capacities of instance ontology, and associates it with a version of the realist position which is named by the author as moderate realism.

D. W. Mertz provides a "new" competitor in the universals debate by reviving, developing, and defending the medieval doctrine of Moderate Realism. This book is a substantial contribution to ontology and logic, combining interesting new arguments for polyadic relations and unit attributes, careful and thorough historical studies, and a logic that could solve many old problems.

Central to Elements is an assay of the attributional union properties and relations have with their subjects, a topic historically left metaphorical. The work critiques eight Aristotelian assumptions concerning attribute dependence and ‘inherence’, per se subjects, attributes as agent-organizers, and unity-by-a-shared-one. Groups of these assumptions are seen to yield contradiction, vicious regress, or other problems. This analysis, joined with insights from an assay of ubiquitous structure, motivate ten theses explicating attribution and its primary ontic status. The theses detail: attributes proper (...) as individuated instances, structure as instance-generated facts and their two forms of composition, the conditioning role and universal nature of instances’ component intensions, the primacy of attribute instances for generating all forms of composition and complex entities, and identity and indiscernibility criteria for the latter. Principal is the insight that attribution is intension-determined combinatorial agency. It is its systematizing implications that provide solutions to classic problems, e.g., Composition, Individuation, and Universals, and in net generate a comprehensive one-category structuralist ontology. (shrink)

In a recent article [Mertz 2001] in this journal I argued for the virtues of a realist ontology of relation instances (unit attributes). A major strength of this ontology is an assay of ontic ('material') predication that yields an account of individuation without the necessity of positing and defending 'bare particulars'. The crucial insight is that it is the unifying agency or combinatorial aspect of a relation instance as predicable that is for ontology the principium individuationis [Mertz 2002; 1996]. Or (...) in short, what is ontically predicable, precisely as such, is the cause of individuation. As a preface to this positive doctrine I offered arguments against the coherence of bare particulars as defended in an article by J. P. Moreland [1998]. In a reply contained in this issue Moreland and Timothy Pickavance (hereafter M/P) propose to answer my objections [2002]. The response that follows provides reasons why, I contend, M/P have not succeeded in parrying my objections to bare particulars. (shrink)

Ranging from miniaturized biological robots to organoids, multi-cellular engineered living systems (M-CELS) pose complex ethical and societal challenges. Some of these challenges, such as how to best distribute risks and benefits, are likely to arise in the development of any new technology. Other challenges arise specifically because of the particular characteristics of M-CELS. For example, as an engineered living system becomes increasingly complex, it may provoke societal debate about its moral considerability, perhaps necessitating protection from harm or recognition of positive (...) moral and legal rights, particularly if derived from cells of human origin. The use of emergence-based principles in M-CELS development may also create unique challenges, making the technology difficult to fully control or predict in the laboratory as well as in applied medical or environmental settings. In response to these challenges, we argue that the M-CELS community has an obligation to systematically address the ethical and societal aspects of research and to seek input from and accountability to a broad range of stakeholders and publics. As a newly developing field, M-CELS has a significant opportunity to integrate ethically responsible norms and standards into its research and development practices from the start. With the aim of seizing this opportunity, we identify two general kinds of salient ethical issues arising from M-CELS research, and then present a set of commitments to and strategies for addressing these issues. If adopted, these commitments and strategies would help define M-CELS as not only an innovative field, but also as a model for responsible research and engineering. (shrink)

Primary to both ontology and epistemology is the attributional union that properties and relations have with their subjects. Yet, the tradition’s understanding of attribution has been assessed as shallow, and its contemporary analysis deemed locked in a non-progressing stalemate. Central here is the historically dominant __in___herence_/_constituent_ construal of attribution, what, I argue, has remained obscure and unattended as to its background assumptions and their implications. On the analysis offered herein, I make precise and detail errors of the defining assumptions of (...) inherence theory and the _two-tiered nature_ it requires of attribution. Brought into relief will be the four elements involved in every attributional union, and what are the errors in a sequence of collapsing identities among them that define inherence theory. Along the way, clarification and warrant is provided for the alternative theses and their implications defining an __ad___herence_ theory of attribution, key features synopsized in the last section. (shrink)

An ontology's theory of ontic predication has implications for the concomitant predicate logic. Remarkable in its analytic power for both ontology and logic is the here developed Particularized Predicate Logic (PPL), the logic inherent in the realist version of the doctrine of unit or individuated predicates. PPL, as axiomatized and proven consistent below, is a three-sorted impredicative intensional logic with identity, having variables ranging over individuals x, intensions R, and instances of intensions $R_{i}$ . The power of PPL is illustrated (...) by its clarification of the self-referential nature of impredicative definitions and its distinguishing between legitimate and illegitimate forms. With a wellmotivated refinement on the axiom of comprehension, PPL is, in effect, a higher-order logic without a forced stratification of predicates into types or the use of other ad hoc restrictions. The Russell-Priest characterization of the classic self-referential paradoxes is used to show how PPL diagnosis and solves these antimonies. A direct application of PPL is made to Grelling's Paradox. Also shown is how PPL can distinguish between identity and indiscernibility. (shrink)

Social philosophy at the end of the twentieth century must be prefixed by what it follows. It has become commonplace to describe our moment as postmodern and post-structuralist, perhaps also post-Marxian. While true enough, our situation more specifically must be post-Lacan, post-Althusser, post-Foucault, and post-Critical Theory. A number of theorists highlight the context this dissertation places itself in, but Slavoj Žižek and Judith Butler should be emphasized in this regard. The positive project of this dissertation begins with radical doubts about (...) the operation of epistemic truth in subjectivity and in language. The dissertation is a series of case studies in the modes of failure of truth, and of the manner in which ideology functions within the void left by the necessary absence of truth. It has a political project of determining what forms counter-hegemony can take absent a traditional assumption of a solid ground for veracity. (shrink)

It is a common occurence to find Galileo claimed as the father of modern science, particularly as to his method being appropriate for its pursuit. Yet, it is apparent from the literature that little agreement has been reached concerning the specifics of the structure and nature of his method(s). Galileo himself is explicit in little more than describing it as „geometrical“, and as such contrasting its greater demonstrative power with that of the traditional Peripatetic logic. One is then left with (...) examples and glosses in the text as to hints that might place his method in a known context of ancient or medieval science, or metaphysics and logic, or both. (shrink)

It is generally agreed that Galileo’s distinctive place in the history of science is due to the power of his method, and that, in general terms, this consists in an effective combination of mathematics and physical experiment. In attempting to be more specific, some authors have assigned a particular method to Galileo as either new or a unique adaptation of a traditional method, e.g. hypothetico-deduction, the method of analysis, or ex suppositione. William Wallace, for example, has argued that by the (...) time of the «Two New Sciences» (1638) Galileo had fashioned his own version of ex suppositione, combining elements of the Archimedean and Aristotelian traditions into a distinct two-stage mode of reasoning of his own creation. We shall have reason to comment upon this below. (shrink)