I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

This article was primarily a reaction to Dennett's Sweet Dreams (2005). In it Dennett pretends to renounce zombies. But what he means is that consciousness is nothing beyond that which can be tested behaviorally and objectively, so since zombies pass these tests, they can't be said to be unconscious – yet that is part of their definition. So they are a contradiction. In other words, zombies are inconceivable because a being that is "behaviorally, objectively indistinguishable from a conscious person" just (...) doesn't deserve in Dennett's eyes to be called unconscious. I argue, to the contrary, that zombies must lack brains since it is perfectly clear that in our universe having a brain (normally) entails having consciousness. I argue also that brain states are about people and things in the world, meaning for example that for some brain state S, necessarily if one is in brain state S, one is thinking about external object A. The brain "comes with" a world. The brain, therefore, transcends the boundaries of the skull. Science (and Dennett) cannot reduce the brain to something that doesn't pull off this most astonishing of feats. (shrink)

Many philosophers argue that the right of self-determination confers to states a right to exclude would-be migrants. Drawing on the case of anti-colonial struggles of the 20th century, I argue that self-determination should be thought of as fundamentally a claim against intergroup hierarchy. This means that self-determination only grants a right to exclude in cases where immigration poses a genuine oppressive threat. Cases involving immigration into wealthy and powerful states rarely meet this criterion, and so talk of self-determination as grounding (...) a right to exclude in such cases is misguided. (shrink)

Wicked problems are tricky to solve because of their many interconnected components and a lack of any single optimal solution. At the science–policy interface, all problems can look wicked: research exposes the complexity that is relevant to designing, executing and implementing policy fit for ambitious human needs. Expertise in philosophical research can help to navigate that complexity.

The minimal God exemplifies essential omnipotence, omniscience, and moral perfection, but none of the other properties of the traditional God. I examine the consequences of the minimal God in augmented S5, S4, and Kρσ. The metaphysical consequences for the minimal God in S5 include the impossibility that God—or any other object—might acquire, lose, or exchange an essential property. It is impossible that an essentially divine being might become essentially human, for instance. The epistemological consequences include the impossibility of agnosticism—it is (...) impossible that P(◻︎FG |E) = P(~◻︎FG| E). Indeed, every weaker forms of agnosticism are also impossible—it is impossible that P(◻︎FG |E) = n, n(0 < n < 1). The metaphysical and epistemological consequences for the minimal God in S4 are equally untenable. I show that we can avoid all of these unwelcome epistemological consequences for the minimal God in Kρσ. But Kρσ has some extraordinary metaphysical consequences for the minimal God. All of the problems for the minimal God generalize to the maximal God. (shrink)

The paper aims to show that, if S5 is the logic of metaphysical necessity, then no state of affairs in any possible world constitutes any non-trivial evidence for or against the existence of the traditional God. There might well be states of affairs in some worlds describing extraordinary goods and extraordinary evils, but it is false that these states of affairs constitute any (non-trivial) evidence for or against the existence of God. The epistemological and metaphysical consequences for philosophical theology of (...) assuming that S4 or Kσρ is the logic of metaphysical necessity are equally untenable. S4 guarantees that God does not exist if there is the slightest evidence against the existence of God. And Kσρ guarantees that God might survive the loss or acquisition of any essential property at all. (shrink)

I provide the account of divine creation found in multiverse theorists Donald Turner, Klaas Kraay, and Tim O’Connor. I show that the accounts Kraay and Turner offer are incoherent. God does not survey all possible worlds and necessarily actualize those universes in the (on balance) good worlds or the worthy worlds. If God necessarily actualizes the multiverse, we have no idea which universes are parts of that multiverse. I show next that Tim O’Connor’s multiverse account of creation is also incoherent. (...) I argue that a preferable multiverse would include a much greater variety of universes than are included in Turner, Kraay or O’Connor. In the last section I offer some concluding remarks. (shrink)

The dead donor rule justifies current practice in organ procurement for transplantation and states that organ donors must be dead prior to donation. The majority of organ donors are diagnosed as having suffered brain death and hence are declared dead by neurological criteria. However, a significant amount of unrest in both the philosophical and the medical literature has surfaced since this practice began forty years ago. I argue that, first, declaring death by neurological criteria is both unreliable and unjustified but (...) further, the ethical principles which themselves justify the dead donor rule are better served by abandoning that rule and instead allowing individuals who have suffered severe and irreversible brain damage to become organ donors, even though they are not yet dead and even though the removal of their organs would be the proximal cause of death. (shrink)

A number of Christian theologians and philosophers have been critical of overly moralizing approaches to the doctrine of sin, but nearly all Christian thinkers maintain that moral fault is necessary or sufficient for sin to obtain. Call this the “Moral Consensus.” I begin by clarifying the relevance of impurities to the biblical cataloguing of sins. I then present four extensional problems for the Moral Consensus on sin, based on the biblical catalogue of sins: (1) moral over-demandingness, (2) agential unfairness, (3) (...) moral repugnance, and (4) moral atrocity. Next, I survey several partial solutions to these problems, suggested by the recent philosophical literature. Then I evaluate two largely unexplored solutions: (a) genuine sin dilemmas and (b) defeasible sinfulness. I argue that (a) creates more problems than it solves and that, while (b) is well-motivated and solves or eases each of the above problems, (b) leaves many biblical ordinances about sin morally misleading, creating (5) a pedagogical problem of evil. I conclude by arguing that (5) places hefty explanatory burdens on those who would appeal to (b) to resolve the four extensional problems discussed in this paper. So Christian thinkers may need to consider a more radical separation of sin and moral fault. (shrink)

Perhaps the greatest impediment to a viable libertarianism is the provision of a satisfactory explanation of how actions that are undetermined by an agent's character can still be under the control of, or ‘up to’, the agent. The ‘luck problem’ has been most assiduously examined by Robert Kane who supplies a detailed account of how this problem can be resolved. Although Kane's theory is innovative, insightful, and more resourceful than most of his critics believe, it ultimately cannot account for the (...) type of control that moral responsibility and (ultimate) agency legitimately require. (shrink)

This paper argues that, in its pre-Biblical version (pre-J), the Cain and Abel story principally dealt with tensions distinctive for dry-farming families identifying the social structure as their main cause. The social structure was problematic because it involved two important imbalances, one between the spouses and one between the children. Pre-J offers a novel solution to problems caused by these interfamilial imbalances: rather than accepting their pre-established social roles, people should develop a merit-based social structure. This is why Yahweh says (...) that acceptance and honour are in doing what is right. Focusing on a pre-J narrative in this way and situating the story within the broader motive of sibling rivalry, solve three puzzles: Yahweh’s preference (God challenges unjust social institutions), Cain’s reactions (he is angry because his expectations were unmet and depressed because he thought that this was his failure), and Yahweh’s final forgiveness to Cain (the conflict was not due to Cain’s wicked character). (shrink)

Despite their theoretical attractiveness, global egalitarian arguments for open borders face the worry that open borders would in fact exacerbate inequality. In this paper, I offer a response to such egalitarian consequentialist concerns. I argue that they fail to attend to the larger political and economic forces that create and maintain inequality. Even in cases where immigration conflicts with egalitarian goals, the conflicts tend to be due to contingent circumstances that egalitarians have reason to change. As such, they do not (...) pose a deep challenge for egalitarian defenses of open borders. However, they do illuminate an important and overlooked point: egalitarians should construe open borders as part of a broad and coherent global egalitarian program, both politically and philosophically. This is in contrast to an approach that sees the border question as an isolated and abstract philosophical question. Furthermore, egalitarians would do well to engage the political economic factors that drive migration in our world, and to buttress their concerns of distributive justice with arguments emphasizing the negative effects of the global border regime on social and relational equality. (shrink)

According to Paul Draper and Ryan Nichols the practice of philosophy of religion—and especially its theistically committed practitioners—regularly violate norms of rationality, objectivity, and impartiality in the review, assessment, and weighing of evidence. (Draper and Nichols, 2013). We consider the charge of epistemic partisanship and show that the observational data does not illustrate a norm-violating form of inquiry. The major oversight in the charge of epistemic partiality is the epistemically central role of prior probabilities in determining the significance of incongruent (...) evidence. We argue that reasonably divergent views on the likelihood of theism on incongruent evidence can also account for differences in significance. We conclude that it is an epistemic requirement that committed theists regard incongruent evils as much less significant evidence against theism than do lukewarm theists, agnostics, or atheists. Differences in the significance of evidence quite properly reflect differences in commitments to theism. (shrink)

Philosophical discussions of Molyneux's problem within contemporary philosophy of mind tend to characterize the problem as primarily concerned with the role innately known principles, amodal spatial concepts, and rational cognitive faculties play in our perceptual lives. Indeed, for broadly similar reasons, rationalists have generally advocated an affirmative answer, while empiricists have generally advocated a negative one, to the question Molyneux posed after presenting his famous thought experiment. This historical characterization of the dialectic, however, somewhat obscures the role Molyneux's problem has (...) played in spawning debates within the empiricist tradition. Fortunately, the differences between various empiricist accounts have been widely recognized and discussed among historians of philosophy working on the topic. The focus of the present essay is to develop an interpretation of John Locke's views on Molyneux's problem that best coheres with his other views on human understanding as well as with the predominant scientific opinion about the nature of perception during the period in which he lived. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

Kant’s Naturrecht Feyerabend has recently gained more sustained attention for its role in clarifying Kant’s published positions in political philosophy. However, too little attention has been given to the lecture’s relation to Gottfried Achenwall, whose book was the textbook for the course. In this paper, I will examine how Kant rejected and transforms Achenwall’s natural law system in the Feyerabend Lectures. Specifically, I will argue that Kant problematizes Achenwall’s foundational notion of a divine juridical state which opens up a normative (...) gap between objective law and subjective rights. In the absence of a divine sovereign, formal natural law is unable to justify subjective natural rights in the state of nature. In the Feyerabend Lectures, Kant, in order to close this gap, replaces the divine will with the “will of society”, making the state necessary for the possibility of rights. (shrink)

I consider the most serious problem for the traditional account of divine creation in theistic actualism. According to van Inwagen's modal collapse argument, ultimate explanation entails that gratitude to God for one's existence is totally inappropriate. Ultimately, the actual world, and everything in it, is self-explanatory, and not a consequence of divine creation. I argue that van Inwagen's argument is unsound. It is consistent with an ultimate explanation for the world that the actual world is contingently necessary. If God actualizes (...) the world as a matter of contingent necessity, then gratitude to God for one's existence is perfectly appropriate. It is true that we exist as a matter of necessity, but that necessary existence is just a contingent fact. There are possible worlds in which we fail to exist altogether. (shrink)

Assuming divine command theory is true, there are no moral limits on the commands God can issue. Nevertheless there are no possible worlds in which divine command theory is true and God commands cruelty for its own sake or the sacrifice of ten-year-olds in a gruesome ritual, or anything of the kind. The main conclusion of the argument is that God cannot command the morally horrible not because of God's moral perfection or God's lack of power, of God's kindness, etc., (...) but because commanding the morally horrible entails a contradiction. I show that the argument is an instance of a valid and uncontroversial counterfactual sequent. Divine command theory entails that there are commands that even an omnipotent and morally unconstrained being cannot issue. (shrink)

The Russian academic theological tradition, scarcely known to the West, was the only milieu wherein the development of philosophy of religion in the pre-revolutionary Russia was under way. Philosophical investigation of the phenomenon of religion was being elaborated in the apologetic context, i.e. in critical analysis of non-theistic conceptions of the origin and essence of religion, and the figure of Friedrich Schleiermacher, with his reduction of religion firstly to cosmic feelings and later to the feeling of the ontological dependence, occupied (...) an invariable place in this analysis. The paper deals with critical comments on Schleiermacher’s Speeches on Religion and Christian Faith made by Victor Kudryavtsev-Platonov and his followers, which are being parsed in turn, as well as with historical links of the later Schleiermacher with phenomenology of religion and typological affinities of the earlier Schleiermacher with the theology of religious pluralism. (shrink)

Physical theories are complex and necessary tools for gaining new knowledge about their areas of application. A distinction is made between abstract and practical theories. The last are constantly being improved in the cognitive activity of professional physicists and studied by future physicists. A variant of the philosophy of physics based on a modified structural-nominative reconstruction of practical theories is proposed. Readers should decide whether this option is useful for their understanding of the philosophy of physics, as well as other (...) philosophies of particular sciences. (shrink)

Felix Klein and Abraham Fraenkel each formulated a criterion for a theory of infinitesimals to be successful, in terms of the feasibility of implementation of the Mean Value Theorem. We explore the evolution of the idea over the past century, and the role of Abraham Robinson's framework therein.

The short exposition of the triplet model of concepts and some definitions connected with it are given. In this model any concept may be depicted as having three characteristics: a base, a representing part and the linkage between them. The paper introduces the fuzzification of concepts in terms of the triplet model.

Cicero's De fato: On Hellenistic Conditionals and Free Will. The Serbo-Croatian translation of Cicero's De fato, with comments and detailed analysis of some arguments and problems of the text. -/- (s/h): Tekst Ciceronovog spisa "de fato", prevod, komentari i u dodacima, detaljnija analiza pojedinih argumenata i problema sadržanih u tekstu.

Recently, scholars have criticized what they call the “Kantian-Republican” thesis of freedom as non-domination. The main complaint is that domination is unavoidable. This concern can be separated into the problem of state domination, which suggests that the state's intervening powers necessarily dominate its citizens, and the problem of majority domination, which suggests that the People necessarily dominate individual citizen as a result of the potential to form dominating majorities.

The scheme for classifications of concepts is introduced. It has founded on the triplet model of concepts. In this model a concept is depicted by means of three kinds of knowledge: a concept base, a concept representing part and the linkage between them. The idea of triplet classifications of concepts is connected with a usage of various specifications of these knowledge kinds as classification criteria.

The Lazy Argument, as it is preserved in historical testimonies, is not logically conclusive. In this form, it appears to have been proposed in favor of part-time fatalism (including past time fatalism). The argument assumes that free will assumption is unacceptable from the standpoint of the logical fatalist but plausible for some of the nonuniversal or part-time fatalists. There are indications that the layout of argument is not genuine, but taken over from a Megarian source and later transformed. The genuine (...) form of the argument seems to be given in different form and far closer to Megarian logical fatalism and its purpose is not to defend laziness. If the historical argument has to lead to a logically satisfactory solution, some additional assumptions and additional tuning is needed. (shrink)

What is Derrida Saying to Us - Abstract Jacques Derrida is difficult and controversial. This article concentrates on the first part of On Grammatology (1967) as the Rosetta Stone to understanding him. It examines concepts such as the metaphysics of presence, the trace, differance, and deconstruction, aiming to interest readers further in pursuing him in more depth.

The paper has two objectives: to introduce the fundamentals of a triplet model of a concept, and to show that the main concept models may be structurally treated as its partial cases. The triplet model considers a concept as a mental representation and characterizes it from three interrelated perspectives. The first deals with objects (and their attributes of various orders) subsumed under a concept. The second focuses on representing structures that depict objects and their attributes in some intelligent system. The (...) third concentrates on the ways of establishing correspondences between objects with their attributes and appropriate representing structures. (shrink)

In ‘Evil is Still Evidence: Comments on Almeida’ Robert Bass presents three objections to the central argument (ENE) in my ‘Evil is Not Evidence’. The first objection is that ENE is invalid. According to the second objection, it is a consequence of ENE that there can be no evidence for or against a posteriori necessities. The third objection is that, contrary to ENE, the likelihood of certain necessary identities varies with the evidence we have for them. In this reply I (...) explain why ENE has exactly none of the implications described by Bass. I argue in the concluding section that there is a modal solution to the epistemological problems presented by ENE. (shrink)

In the current philosophical literature, determinism is rarely defined explicitly. This paper attempts to show that there are in fact many forms of determinism, most of which are familiar, and that these can be differentiated according to their particular components. Recognizing the composite character of determinism is thus central to demarcating its various forms.

Many philosophers of science believe that empirical psychology can contribute little to the philosophical investigation of explanations. They take this to be shown by the fact that certain explanations fail to elicit any relevant psychological events (e.g., familiarity, insight, intelligibility, etc.). We report results from a study suggesting that, at least among those with extensive science training, a capacity to render an event intelligible is considered a requirement for explanation. We also investigate for whom explanations must be capable of rendering (...) events intelligible and whether or not accuracy is also viewed as a requirement. (shrink)

The essay presents the main ideas of the philosophical system «OntoTopoLogia», developed and promoted since 1990 at the I-IV, VIII Russian Philosophical Congresses, the XX World Philosophical Congress (Boston, 1998), Conference «Problems of Consciousness in Philosophy and Science» (Institute of Philosophy RAS, 1996), Conference «Philosophy of Physics: Current Problems» (MSU, 2010), seven International contests The Foundational Questions Institute (USA, FQXi Essay 2012-2020), International scientific conference «Modern Ontology» (St. Petersburg , 2013, 2017, 2019, 2023), Third All-Russian Scientific Conference «Philosophy of Mathematics: (...) Current Problems» (MSU, 2013), International Congress «Fundamental Problems of Natural Science» (St. Petersburg, 2013, 2016, 2022), Conference «Foundations of Fundamental Physics and Mathematics» (RUDN University, 2023). The ideas of the «OntoTopoLogia» system are aimed at overcoming the conceptual-paradigmatic crisis in the metaphysical/ontological basis of fundamental science (mathematics, physics, cosmology) on the basis of a holistic paradigm («paradigm of understanding»), a comprehensive conceptual-figurative synthesis, a method of dialectical-ontological construction, MetaCategory, MetaAxiom, SuperPrinciple and Metasymbol, a new holistic understanding of matter, its ontological unification across all levels of existence of the Universe as eternal holistic process of generating more and more new meanings, forms and structures. A model of the Primordial (absolute) generating structure is being built - a single ontological basis of knowledge: ontological frameworc, carcass, foundation as an all-encompassing Ideality, a single basis for the «sciences of nature» and «sciences of the spirit». (shrink)

The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.

Most theists do not put a (subjective) probability of 1 (certainty) on God's existence. Most atheists do not put a probability of 0 on God's existence. I argue that these familiar positions are incoherent. On the assumption of S5 and the probability calculus it can be shown that the only coherent (subjective) probabilities an agent can assign to God's existence/non-existence are 0 or 1. Believers must be completely committed believers and non-believers must be completely committed non-believers. Agnosticism is not a (...) coherent position. (shrink)

The work tends to point out the deficiency of some opinions claiming simplified presentation of the promise as the act that directly rise obligation for the promisor. Promises, either in the moral or legal sphere, are based on communication and so form an order of dependent steps that indicates their procedural nature. These characteristics may differ to a lesser extent, depending on the legal systems, moral norms of the society and its technical level and its needs. In all these cases, (...) however, the procedural characteristics of promises, especially in conditional promises, as well as the promises in contractual relations, persists. In our analysis we wish to show that the consistent conception of promise has to take into account a step of acceptance. The outcome of this approach relativizes a strong distinction between promise and offer. (shrink)

We argue that Maclaurin and Dyke's recent critique of non-naturalistic metaphysics suffers from difficulties analogous to those that caused trouble for earlier positivist critiques of metaphysics. Maclaurin and Dyke say that a theory is naturalistic iff it has observable consequences. Depending on the details of this criterion, either no theory counts as naturalistic or every theory does.

Comparative philosophical studies can seek to fit some Eastern patterns of thought into the general philosophical framework, or, on the contrary, to improve understanding of Western ones through the view "from abroad". I try to hit both marks by means of establishing, firstly, the parallels between Indian versions of theodicy and the Hellenic and Christian ones, then by defining to which of five types of Western theodicy the Advaita-Vedanta and Nyaya versions belong and, thirdly, by considering the meaning of the (...) fact that some varieties of Western theodicy, like the explanation of evil by free will and divine dispensation aiming at the improvement of man, have Indian counterparts while others lack them. Some considerations concerning the remainders of primordial monotheisms ("an argument from theodicy") under the thick layers of other religious world-outlooks are also offered to the reader at the end of the article. (shrink)

The triplet model treats a concept as complex structure that expresses three kinds of information. The first is about entities subsumed under a concept,their properties and relations. The second is about means and ways of representing the first information in intelligent systems. The third is about linkage between the first and second ones and methods of its constructing. The application of triplet models to generalization and development of concept models in philosophy, logic, cognitive psychology, cognitive science, linguistics, artificial intelligence has (...) been demonstrated. The componential structure of the triplet model and extended concept classification have been given. Theoretical considerations are combined with historical case-studies of concept history. For scientists and students with an interest in problems of knowledge structure and representation. Abstract and Extended Summary in English. (shrink)

This article aims to show that it is impossible to put Cicero’s testimonies regarding The Fabius Argument in a consistent inferential order. Either we must suppose that additional premises are tacitly assumed in the text or we must com-pare it with other sources, which leads to inconsistencies in the proof’s reconstruction. Cicero’s reconstruction of the progression of the argument has formal shortcomings, and the paper draws attention to some of these deficiencies. He interpreted sources in a revised and intentionally simplified (...) way, with the aim of undermining the views of his opponents, casting them as inconsistent and similar to views held by Diodorus. Rather than being a consistently interpreted argument faithfully transcribed from the Stoic sources, Cicero’s Fabius Argument is ultimately anti-Stoic. (shrink)

The paper has three objectives: to expound a set-theoretical triplet model of concepts; to introduce some triplet relations (symbolic, logical, and mathematical formalization; equivalence, intersection, disjointness) between object concepts, and to instantiate them by relations between certain physical object concepts.