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)

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.

With a few exceptions, researchers have treated concepts as complicated and multifaceted entities studied by means of their models. There are now at least two classes of concept models. The first class deals with isolated concepts as well as with processes of their construction, recognition, and comprehension. Models of this class depict conjecturable aspects of concepts in a form of their internal structures.Experts (Komatsu, Recent Views) identify many model types: the classical, the family resemblance, the exemplar, (...) the explanation-based views, etc. The second class deals with collections of concepts in a form of connectionist systems. Here various connections between concepts have expressed concept complexity (Goschke and Koppelberg, The Concept).Up to this point, these classes of models have been developed independently of one another. Nevertheless, there is a possibility of mutual enrichment of one class in relation to another class. This paper has two objectives: to introduce informally a triplet model (TM) of concepts and to show the kinds of concept connections that are established as a result of TM. (shrink)

A technical artefact is often described in two ways: by means of a physicalistic model of its structure and dynamics, and by a functional account of the contributions of the components of the artefact to its capacities. These models do not compete, as different models of the same phenomenon in physics usually do; they supplement each other and cohere. Coherence is shown to be the result of a mapping of role-contributions on physicalistic relations that is brought about by (...) the concept of function. It results a sandwich-like structure of the two models, which can be reconstructed as a two-sorted theory element. (shrink)

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.

In recent decades, perspectivism has developed into an epistemological research program claiming its independence. This autonomy stems from Perspectivism’s potential ability to resolve the contradictions between realist and constructivist programs. Perspectivism is based on the idea that the object depends on perspective, which constitutes any subjective attempt to cognize it. Perspectivists reconstruct and explain the factors involved in the formation of perspective, identifying the conditionality of epistemic acts, using concepts such as “position”, “point of view”, “view”, “angle”, “horizon”, “focus”, “picture”, (...) “context”, “aspect”, etc. Although these concepts are part of the perspectivist’s toolkit, their meanings and interrelation have so far been taken for granted and have not yet been critically and comprehensively analyzed. The purpose of this article is to take steps toward clarifying the conceptual basis for defending perspectivism as an epistemological program. Once consistently uncovered and correlated in a conceptual model, Perspectivist concepts can be used as a tool for a detailed analysis of theories, positions, and beliefs. The article begins with a preliminary description of the concept of perspectivism and its brief history as an epistemological program. In particular, the first modern attempts to outline perspectivist epistemology are described in the works of F. Kaulbach (1990), W. Stegmaier (2008), and M. Massimi (2017, 2020). The problem of identifying the special a priori status of perspectivist notions as a strategy for justifying the autonomy of Perspectivism is then posed. A method for demonstrating such a status, based on Kant’s transcendentalism and P. Strawson’s descriptive metaphysics, is then suggested. (shrink)

In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics (...) for concept combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (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)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

There are no universally adopted answers to the natural questions about scientific concepts: What are they? What is their structure? What are their functions? How many kinds of them are there? Do they change? Ironically, most if not all scientific monographs or articles mention concepts, but the scientific studies of scientific concepts are rare in occurrence. It is well known that the necessary stage of any scientific study is constructing the model of objects in question. Many years logical modeling was (...) dominant in the concept studies. Last decades, concepts came to be regarded as the subject of mathematical modeling. However, different authors take different features of concepts as independent variables of their models. Our objective is to characterize informally the spectra of relevant variables for the modeling of scientific concepts. (shrink)

Contemporary demographic processes forcing increasing attention to the problems of relationships and dependencies between the different age groups. The ageing of the population in each society leads to changes in the contacts between young people, adults and the elderly. It is reasonable to undertake research on the concept of "solidarity of generations". Maintaining relationships without generational conflict requires actions in the field of social policy known as intergenerational policy. Aim of this article is to present some of its (...) class='Hi'>models, which allow not only to analyze the changes in the various communities, but also to create recommendations for public intervention. Description will include activities at the international, national, regional and local levels. (shrink)

This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse conception (...) expressions based on terminological knowledge, and I show how terminological knowledge may reasonably be assumed to be constructed based on the agents’ conceptions of the world. The focus of my model is on terminological knowledge structures, which may find applications in such diverse fields as the Semantic Web and educational/learning systems. (shrink)

The changes of concepts are described in the frame of concept triplet model. -/- .

Based on the Aristotelian dynamis-energeia-differentiation, a concept issuing dynamic coherence providers as the sub-level of individual realizations. This logical sub-level is given for any kind of realizations. Based on this two-level approach, to some degree similar to the two-level approach developed by Polanyi, model of biopsychosocial interaction is established. It is suggested as the theoretical basis for a person-centered approach in healthcare, integrating science and humanitites.

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality (...) inclusions of the form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection (...) of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (...) (e.g. we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations. (shrink)

In accordance with the ideas of I.Hacking and P.Galison, and the “theoretical-operational” structure of experiment of Fock-Lipkin, a symbolic language is developed for the description of structure of a contemporary complex experiment. With its help a particle accelerator-based experiment is analysed as an example of this kind of experiments, where explication and analysis of the following essential features is performed: the roles of instrument, background, data analysis, and their theoretical components. An attempt is made to clarify the concepts of (...) “instrument” and “complexity” of experiment. (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.

Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, (...) OccL is a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

This paper updates (2017) a previously-presented* model of models, which can be used to clarify discussion and analysis in a variety of disputes and debates, since many such discussions hinge on displaying or implying models about how things are related. Knowing about models does not itself supply any new information about our world, but it might help us to recognize when and how information is being conveyed on these matters, or where possibly it is being obscured. If (...) a claim P is expressed in the context of a certain model, a disagreement about P may actually not be about whether the underlying model is accurate; it could reflect misunderstandings about the model’s assumptions or conventions. Also, in practice, constructed models are rarely fully elaborated for every detail, so misunderstandings can arise from apparent “gaps” in the model. In that case, developing and considering complementary versions of models can sometimes clarify ambiguities. Following the main analysis are several extended Case examples to illustrate the wide applicability of the models approach, for clarifying, if not necessarily “resolving”, numerous debates and issues. For example, a famous “counter example” by Nelson Goodman to a logical model proposed by Carnap is shown to be not as deal-breaking as presumed historically, if only plausible complementary models had been explored. And models sometimes presented as competing in Artificial Intelligence research— “Declarative” versus “Procedural”—can instead be viewed as good examples of “complementary” models. Also reconsidered in this light are some well-known, competing positions, by Russell, Strawson, and Kripke, in the literature regarding names, pointing, definite descriptions and “using” sentences, and so on. All these concepts are locatable within the presently proposed models analysis. Questions such as where “truth” resides (whether in sentences or in uses of sentences) are not settled in this paper; yet, practical questions about how testable claims about the world can be expressed by models are clarified. _* Original version presented at a University of Waterloo Philosophy Colloquium 1984. (shrink)

Over the last decades, network-based approaches have become highly popular in diverse fields of biology, including neuroscience, ecology, molecular biology and genetics. While these approaches continue to grow very rapidly, some of their conceptual and methodological aspects still require a programmatic foundation. This challenge particularly concerns the question of whether a generalized account of explanatory, organisational and descriptive levels of networks can be applied universally across biological sciences. To this end, this highly interdisciplinary theme issue focuses on the definition, motivation (...) and application of key concepts in biological network science, such as explanatory power of distinctively network explanations, network levels, and network hierarchies. (shrink)

A recent and growing discussion in philosophy addresses the construction of models and their use in scientific reasoning by comparison with fiction. This comparison helps to explore the problem of mediated observation and, hence, the lack of an unambiguous reference of representations. Examining the usefulness of the concept of fiction for a comparison with non-denoting elements in science, the aim of this paper is to present reasonable grounds for drawing a distinction between these two kinds of representation. In (...) particular, my account will suggest a demarcation between fictional and non-fictional discourse as involving two different ways of interpreting representations. This demarcation, leading me to distinguish between fictional and non-fictional forms of enquiry, will provide a useful tool to explore to what extent the descriptions given by a model can be justified as making claims about the world and to what degree they are a consequence of the model’s particular construction. (shrink)

We introduce the notions of syntactic synonymy and referential syn- onymy due to Moschovakis. Those notions are capable of accounting for fine- grained aspects of the meaning of linguistic expressions, by formalizing the Fregean distinction between sense and denotation. We integrate Moschovakis’s theory with the theory of concepts developed in the foundational ontology DOLCE, in order to enable a formal treatment of equivalence between concepts.

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well (...) known for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

Multidisciplinary models aggregating ‘lower-level’ biological and ‘higher-level’ psychological and social determinants of a phenomenon raise a puzzle. How is the interaction between the physical, the psychological and the social conceptualized and explained? Using biopsychosocial models of pain as an illustration, I argue that these models are in fact level-neutral compilations of empirical findings about correlated and causally relevant factors, and as such they neither assume, nor entail a conceptual or ontological stratification into levels of description, explanation (...) or reality. If inter-level causation is deemed problematic or if debates about the superiority of a particular level of description or explanation arise, these issues are fueled by considerations other than empirical findings. (shrink)

In a new paper in recent issue of this journal (PSTJ), Prof. M. Pitkanen describes a solar system model inspired by spiral galaxies. While we appreciate his new approach, we find it lacks substantial discussion on the nature of vortices and chirality in galaxy. Therefore we submit a viewpoint that Gross-Pitaevskii model can be a more complete description of both solar system and also spiral galaxies, especially taking into account the nature of chirality and vortices in galaxies. In this (...) article, we also hope to bring out some correspondence among existing models, so we discuss shortly: the topological vortice approach, Burgers equation in the light of KAM theory, and the Cantorian Navier-Stokes approach. Of course, this short article is far from being complete. We hope further investigation can be done around this line of approach. Aim of this paper: With this article, we hope to begin a healthy dialogue with Prof. M. Pitkanen, especially on his solar system model, since we also believe that he also support “evidence-based physics.” Limitation: In this paper we only discuss Pitkanen’s solar system model, we don’t discuss his other papers in a recent issue of PSTJ. (shrink)

I argue that one need not be an inferentialist in order to model inconsistent concepts, contrary to what some have thought. Representationalists can do so by adopting a form of bilateralism about contents. It remains unclear, however, why conceptual inconsistency would constitute a defect to be eliminated, rather than a vindication of dialetheism to be embraced. I suggest some answers to explore that involve accepting a descriptive form of dialetheism but denying its normative forms.

Applying Bernard Lonergan's (1957/1992, 1972) analysis of intentional consciousness and its concomitant epistemology, this paper highlights epistemological confusion in contemporary consciousness studies as exemplified mostly in David Chalmers's (1996) position. In ideal types, a first section outlines two epistemologies-sensate-modeled and intelligence-based-whose difference significantly explains the different positions. In subsequent sections, this paper documents the sensate-modeled epistemology in Chalmers's position and consciousness studies in general. Tellingly, this model of knowing is at odds with the formal-operational theorizing in twentieth-century science. This paper (...) then links this epistemology with functionalism and its focus on descriptive efficient causality in external behaviors and its oversight of explanatory formal causality; highlights the theoretical incoherence of the understanding of science in the functionalist approach; connects it with the construal of consciousness as primarily intentional (i.e., directed toward an object) to the neglect of consciousness as conscious (i.e., constituted by a non-objectified self-presence); and relates this outcome to the reduction of human consciousness to animal-like perception and mechanistic interactions. A brief conclusion summarizes these multiple, subtle, and interconnected considerations and suggests how only an intellectual epistemology would be adequate to the intellectual nature of human consciousness and the world of meaning, not of mere bodies, in which humans exist. (shrink)

In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with (...) my appropriating insights about indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

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

In this essay I first set out the advantages the " multivariate democratic polity " framework proposed by Ferrara offers in comparison to other more consensus-based notions of democratic legitimacy. Secondly, I highlight some ambiguities concerning the meta-theoretical status of this frame, since it is not clear whether it consists of an adaptive realistic description, or otherwise is a normative argument. Thirdly, I cast some doubts on the compatibility between the multivariate frame and the " dualist conception of democratic (...) constitutionalism " adopted by Ferrara, since the latter seems too indebted to the domestic analogy, and to a consensus-based model of legitimacy. Finally, I argue that the dualist approach does not seem a convenient way to include citizenship in deliberative processes, and the question of the emergence of a transnational demos should rather be reconsidered as crucial for this purpose. (shrink)

In this article, the authors try to answer the following questions: How can an object/instance seen for the first time extend a category or update a concept? How is it possible to determine the reference of a concept that represents a behaviour? In the first case, the authors discuss the learning of inferential linguistic competence used to update a concept through an approach based on prototype theory. In the second case, the authors discuss the learning of referential (...) linguistic competence used to determine the reference of a concept (i.e., determination of an actual behaviour) through an approach based on embodied cognition. The authors show how combining prototype-based and embodied categorization in Wittgenstein’s rule-following praxis (the individual and community dimension), linguistic learning of a concept (inferential competence), and determination of its reference (referential competence) can be traced back to the same model. Keywords Action, Categorization, Embodied Cognition, Embodiment, Linguistic Inferential Competence, Linguistic Referential Competence, Perception, Prototype Theory, Reference, Sign. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) (...) they propose to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

In this paper we propose an informal exposition of the structure approach in the philosophy of science. Scientific knowledge is here considered as a collection of scientific theories. Each scientific theory has logico-linguistic, model-representing, pragmatic-procedural, and problem-heuristical subsystems and a subsystem of ties. The pivotal methodological concept for the exact description of these subsystems is the named set. We also outline the possibility of applying the structure-nominative approach to certain problems in the philosophy of science.

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws upon Kendall Walton’s (...) ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

Complex systems like literacy and numeracy emerge through multigenerational interactions of brains, behaviors, and material forms. In such systems, material forms – writing for language and notations for numbers – become increasingly refined to elicit specific behavioral and psychological responses in newly indoctrinated individuals. These material forms, however, differ fundamentally in things like semiotic function: language signifies, while numbers instantiate. This makes writing for language able to represent the meanings and sounds of particular languages, while notations for numbers are semantically (...) meaningful without phonetic specification. This representational distinction is associated with neurofunctional and behavioral differences in what neural activity and behaviors like handwriting contribute to literacy and numeracy. In turn, neurofunctional and behavioral differences place written representations for language and numbers under different pressures that influence the forms they take and how those forms change over time as they are transmitted across languages and cultures. (shrink)

“Proof of concept” is a phrase frequently used in descriptions of research sought in program announcements, in experimental studies, and in the marketing of new technologies. It is often coupled with either a short definition or none at all, its meaning assumed to be fully understood. This is problematic. As a phrase with potential implications for research and technology, its assumed meaning requires some analysis to avoid it becoming a descriptive category that refers to all things scientifically exciting. I (...) provide a short analysis of proof of concept research and offer an example of it within synthetic biology. I suggest that not only are there activities that circumscribe new epistemological categories but there are also associated normative ethical categories or principles linked to the research. I examine these and provide an outline for an alternative ethical account to describe these activities that I refer to as “extended agency ethics”. This view is used to explain how the type of research described as proof of concept also provides an attendant proof of principle that is the result of decision-making that extends across practitioners, their tools, techniques, and the problem solving activities of other research groups. (shrink)

Researchers often pursue proof of concept research, but criteria for evaluating such research remain poorly specified. This article proposes a general framework for proof of concept research that k...

The tremendous advances of research into artificial intelligence as well as neuroscience made over the last two to three decades have given further support to a renewed interest into philosophical discussions of the mind-body problem. Especially the last decade has seen a revival of panpsychist and idealist considerations, often focused on solving philosophical puzzles like the socalled hard problem of consciousness.1–9 While a number of respectable philosophers advocate some sort of panpsychistic solution to the mind-body problem now, fewer advocate that (...) idealism can contribute substantially to the debate. Interest in idealism has nevertheless risen again, as can be seen also from recent overview articles and collections of works.10–14 The working hypothesis here is that a properly formulated idealism can not only provide an alternative view of the mind/matter gap, but that this new view will also shed light on open questions in our common scientific, i.e. materialist, world view. To investigate this possibility, idealism first of all needs a model for the integration of modern science which allows for a mathematically consistent reinterpretation of the physical world as a limiting case of a both material and non-material world, which would make the outcome of idealistic considerations accessible to scientific investigation. To develop such a model I will first try to explain what I mean when I speak of a ‘scientifically tenable’ idealism, including a formulation of the emanation problem which for idealism replaces the interaction problem, then give a very brief summary of the available elements of such a theory in the philosophical literature, before sketching out some ‘design questions’ which have to be answered upon the construction of such models, and finally put forward a first model for a scientifically tenable objective idealism. (shrink)

This essay presents a novel approach to specifying the meaning of the concept of populism, on the political position it occupies and on the nature of populism. Employing analytic techniques of concept clarification and recent analytic ideology critique, it develops populism as a political kind in three steps. First, it descriptively specifies the stereotype of populist platforms as identified in extant research and thereby delimits the peculiar political position populism occupies in representative democracies as neither inclusionary nor fascist. (...) Second, it specifies on this basis analytically–normatively the particular stance towards liberal representative democracy (in particular towards popular sovereignty and democratic legitimacy) that unifies populism’s political position and explains how populist politics can be compelling for democratic citizens. The normative core (populist ideology) turns out to require no more than two general principles of legitimizing political authority by elections. Surprisingly, it does not need a separate anti-pluralist or exclusionary commitment: it entails it. Third, this normative model allows a response to a contested question in the theoretical discussion, namely, whether populism (properly specified) can be democracy-enhancing. The article defends the negative answer in virtue of the normative core alone and does so as much vis-à-vis a minimal (purely electoral) as vis-à-vis a normatively ambitious (liberal) conception of democracy. The reconstruction of the normative core of populist ideology enables a novel argument to show that populism is incompatible with the continued democratic legitimation of political authority even in the normatively most austere conception of ‘electoral democracy’, not just with ‘liberal democracy’. Assuming a normatively more ambitious concept of democratic legitimation in terms of political autonomy, the model also produces an extremely direct argument showing that populists cannot fulfil their promise of ‘taking back control’ over political decision-making to the population. (shrink)

In THE GENEALOGY OF MORALITY Nietzsche assess the value of the value judgments of morality from the perspective of human flourishing. His positive descriptions of the “higher men” he hopes for and the negative descriptions of the decadent humans he thinks morality unfortunately supports both point to a particular substantive conception of what such flourishing comes to. The Genealogy, however, presents us with a puzzle: why does Nietzsche’s own evaluative standard not receive a genealogical critique? The answer to this puzzle, (...) I argue, lies in recognizing the centrality of the notion of “life”, and its connection to power, in Nietzsche’s overall account. Leiter has argued that his “Millian Model” provides the most charitable reconstruction of appeals to a privileged evaluative standard of power; this model ascribes an inference from a strong doctrine of the will to power according to which only power can be desired. I propose a “Benthamite Model” that ascribes an inference from the inescapability of a tendency towards power, a tendency that is essential to life. I argue that this model avoids the objections Leiter directs at the Millian Model. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and (...) study some variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- (...) humanitarian balance. The resultant each of them can estimated by the ratio of socio-psychological predispositions of humanization/dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

The co-evolutionary concept of three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot be instrumental reduced to other ones. Resulting volume of both parameters define the vectors of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism — genetic and cultural co-evolution (...) and techno-humanitarian balance. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

To better understand the nature of joint expertise and its underlying processes, we need not only analyses of the general conditions for skilled group action, but also descriptive accounts of the features and dimensions that vary across distinct performances and contexts, such as sport and the arts. And in addition to positioning our accounts against current models of individual skill, we need concepts and lessons from work on collaborative processes in other cognitive domains. This paper examines ecological or situational (...) components of expert joint action in practice, then offers a selective survey of some key cognitive and affective resources that shape and transform group performance. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of (...) automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)