To ascertain that a formalization of the intuitive notion of a ‘concept’ is linguistically interesting, one has to check whether it allows to get a grip on distinctions and notions from lexical semantics. Prime candidates are notions like ‘prototype’, ‘stereotypical attribute’, ‘essential attribute versus accidental attribute’, ‘intension versus extension’. We will argue that although the current paradigm of formal concept analysis as an application of lattice theory is not rich enough for an analysis of these (...) notions, a lattice theoretical approach to concepts is a suitable starting point for formalizing them. (shrink)

Categorization is probably one of the most central areas in the study of cognition, language and information. However, there is a serious gap running through the semantic treatments of categories and concepts [3]. On one side we find the ’classical’, formal approach, based on logical considerations, that has lent itself well for computational applications. In this approach, concepts are defined in terms of necessary and sufficient conditions. On the other side is an informal approach to categorization that is usually (...) motivated by the results of psychological experiments and that has not found its way into technologies on a large scale. Concepts here are based on prototypes, stereotypical attributes and family resemblances, which have become the hallmark of cognitive semantics. Obviously, it is important to bridge this gap, for theoretical and practical reasons. (shrink)

The paper first introduces a cube of opposition that associates the traditional square of opposition with the dual square obtained by Piaget’s reciprocation. It is then pointed out that Blanché’s extension of the square-of-opposition structure into an conceptual hexagonal structure always relies on an abstract tripartition. Considering quadripartitions leads to organize the 16 binary connectives into a regular tetrahedron. Lastly, the cube of opposition, once interpreted in modal terms, is shown to account for a recent generalization of formal (...) class='Hi'>concept analysis, where noticeable hexagons are also laid bare. This generalization of formal concept analysis is motivated by a parallel with bipolar possibility theory. The latter, albeit graded, is indeed based on four graded set functions that can be organized in a similar structure. (shrink)

This paper introduces current acoustic theories relating to the phenomenology of sound as a framework for interrogating concepts relating to the ecologies of acoustic and landscape phenomena in a Japanese stroll garden. By applying the technique of Formal Concept Analysis, a partially ordered lattice of garden objects and attributes is visualized as a means to investigate the relationship between elements of the taxonomy.

This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between (...) the proposed formal concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between (...) the proposed formal concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

세상에는 대부분 사람들이 믿는 통념이지만 실은 근거 없는 그런 견해도 있다. 우리나라 역사에 대해서도 근거 없이 믿고 있는 잘못된 신념들이 있다. 철학자인 나로서는 그런 신념을 만나면 먼저 개념(용법)분석을 시도한다. 분석 도구는 수학(연립방정식의 결정-과소결정(부정)-과잉결정(불능)), 자연과학(가설연역방법), 논리학(모순관계, 포함관계) 이다. 분석한 개념은 “주(炷: 심지)”와 “산(蒜: 달래)”, 단군의 “수(壽)”, 주몽의 아버지인 “해모수”와 “단군”의 용법, “해모수”의 세 가지 용법, “신기대보(神器大寶)” 등이다. 이 개념들을 분석해 보면 고대 한국 왕들이 장생불사(長生不死)의 철학을 믿었다는 것을 알 수 있다. 역사기록에 등장하는 용어를 그 당대 용법으로 이해하려면 엄격한 학문연구방법이 필요하다. 역사를 (...) 연구할 때 좀 더 치밀한 연구방법을 고민해야 한다. (shrink)

This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between (...) the proposed formal concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

If we were to pose the question of identifying the most characteristically metaphysical of the teachings of the neopositivists, the reply, in our belief, would have to be: their elaboration of the basic concept of their epistemology, the concept of "logical analysis." This concept has some connection both with the history of the understanding of analysis within the bounds of previous philosophical teachings and — in particular — with its treatment in modern symbolic logic. However, (...) the neopositivists have given this concept a distinctive coloration, which merits examination. (shrink)

In this research, Description Logics (DLs) will be employed for logical description, logical characterisation, logical modelling and ontological description of concept understanding in terminological systems. It’s strongly believed that using a formal descriptive logic could support us in revealing logical assumptions whose discovery may lead us to a better understanding of ‘concept understanding’. The Structure of Observed Learning Outcomes (SOLO) model as an appropriate model of increasing complexity of humans’ understanding has supported the formal analysis.

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists (...) put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science. (shrink)

The problem of concept representation is relevant for many sub-fields of cognitive research, including psychology and philosophy, as well as artificial intelligence. In particular, in recent years it has received a great deal of attention within the field of knowledge representation, due to its relevance for both knowledge engineering as well as ontology-based technologies. However, the notion of a concept itself turns out to be highly disputed and problematic. In our opinion, one of the causes of this state (...) of affairs is that the notion of a concept is, to some extent, heterogeneous, and encompasses different cognitive phenomena. This results in a strain between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In some ways artificial intelligence research shows traces of this situation. In this paper, we propose an analysis of this current state of affairs. Since it is our opinion that a mature methodology with which to approach knowledge representation and knowledge engineering should also take advantage of the empirical results of cognitive psychology concerning human abilities, we outline some proposals for concept representation in formal ontologies, which take into account suggestions from psychological research. Our basic assumption is that knowledge representation systems whose design takes into account evidence from experimental psychology may therefore give better results in many applications. (shrink)

We investigate the notion of relevance as it pertains to ‘commonsense’, subjunctive conditionals. Relevance is taken here as a relation between a property (such as having a broken wing) and a conditional (such as birds typically fly). Specifically, we explore a notion of ‘causative’ relevance, distinct from ‘evidential’ relevance found, for example, in probabilistic approaches. A series of postulates characterising a minimal, parsimonious concept of relevance is developed. Along the way we argue that no purely logical account of relevance (...) (even at the metalevel) is possible. Finally, and with minimal restrictions, an explicit definition that agrees with the postulates is given. (shrink)

BACKGROUND: Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method (...) that uses machine learning in combination with several types of lexical and semantic features and outputs formal definitions that follow the structure of SNOMED CT concept definitions. RESULTS: We evaluate our method on three benchmarks and test both the underlying relation extraction component as well as the overall quality of output concept definitions. In addition, we provide an analysis on the following aspects: How do definitions mined from the Web and literature differ from the ones mined from manually created definitions, e.g., MeSH? How do different feature representations, e.g., the restrictions of relations' domain and range, impact on the generated definition quality?, How do different machine learning algorithms compare to each other for the task of formal definition generation?, and, What is the influence of the learning data size to the task? We discuss all of these settings in detail and show that the suggested approach can achieve success rates of over 90%. In addition, the results show that the choice of corpora, lexical features, learning algorithm and data size do not impact the performance as strongly as semantic types do. Semantic types limit the domain and range of a predicted relation, and as long as relations' domain and range pairs do not overlap, this information is most valuable in formalizing textual definitions. CONCLUSIONS: The analysis presented in this manuscript implies that automated methods can provide a valuable contribution to the formalization of biomedical knowledge, thus paving the way for future applications that go beyond retrieval and into complex reasoning. The method is implemented and accessible to the public from: https://github.com/alifahsyamsiyah/learningDL. (shrink)

The present article is devoted to a logical treatment of some fundamental concepts involved in responsibility attribution. We specify a theoretical framework based on a language of temporal deontic logic with agent-relative operators for deliberate causal contribution. The framework is endowed with a procedure to solve normative conflicts which arise from the assessment of different normative sources. We provide a characterization result for a basic system within this framework and illustrate how the concepts formalized can be put at work in (...) the analysis of examples of legal reasoning. (shrink)

Cognitive, or knowledge, agents, who are in some way aware of describing their own view of the world (based on their mental concepts), need to become concerned with the expressions of their own conceptions. My main supposition is that agents’ conceptions are mainly expressed in the form of linguistic expressions that are spoken, written, and represented based on e.g. letters, numbers, or symbols. This research especially focuses on symbolic conceptions (that are agents’ conceptions that are manifested in the form of (...) their symbols). I attempt to logically (and using ????LSYM) analyse symbolic conceptions in terminological systems. ????LSYM is an assertional fragment of my developed Conception Language (????L), which is utilised as a formal-logical system for representing and explicating agents’ conceptions of the world. Keywords: assertional logic; cognitive agent; knowledge agent; conception language; conception; symbol; symbolic conception. (shrink)

It is often claimed that formal and optimizing norms of the standard conception of rationality and the heuristics of the bounded rationality approach are at odds with one another. This claim, I arg...

Nearly fifty years after the incorporation of the International Society for Knowledge Organization and the introduction of its formal scientific journal Knowledge Organization, a comprehensive encyclopedia of the domain appeared. The practice of domain analysis for knowledge organization, twenty years after its introduction as a core methodology, has created the largest corpus of theoretical knowledge in the domain analysis of knowledge organization itself. A substantial body of research data, therefore, is available in the corpus of articles and (...) conference papers reporting on the epistemological and ontological pillars of the science of knowledge organization. This paper is a report on the evolution of a formal taxonomy of knowledge organization, which is a product of an exhaustive meta-analysis of the KO domain. Our team compiled the corpus of twenty-nine formal published analyses together with key formative historical documents. We then analyzed the corpus thematically, bibliographically, and using co-word analysis to extract key concepts and the underlying faceted conceptual infrastructure. The taxonomy itself is faceted and is linked where possible to published definitions in the KO literature and as well as to the online ISKO Encyclopedia of Knowledge Organization. A dynamic project, the taxonomy will be maintained as linked open data and will grow as emergent research contributes new concepts or generates new facets. (shrink)

We consider the question: under what circumstances can the concept of adaptation be applied to groups, rather than individuals? Gardner and Grafen (2009, J. Evol. Biol.22: 659–671) develop a novel approach to this question, building on Grafen's ‘formal Darwinism’ project, which defines adaptation in terms of links between evolutionary dynamics and optimization. They conclude that only clonal groups, and to a lesser extent groups in which reproductive competition is repressed, can be considered as adaptive units. We re-examine the (...) conditions under which the selection–optimization links hold at the group level. We focus on an important distinction between two ways of understanding the links, which have different implications regarding group adaptationism. We show how the formal Darwinism approach can be reconciled with G.C. Williams’ famous analysis of group adaptation, and we consider the relationships between group adaptation, the Price equation approach to multi-level selection, and the alternative approach based on contextual analysis. (shrink)

Over the past decades, Patricia Blanchette has developed a sophisticated account of Frege's conception of logic and his views on logical consequence. One of the central components of her interpretation is the idea that Frege's conception of logical consequence is ‘semantically laden’ and not purely formal. The aim of the present paper is to provide precise explications of this as well as related ideas that inform her account, and to discuss their significance for the philosophy of logic in general (...) and Frege's philosophy in particular. (shrink)

Deception has long been an important topic in philosophy. However, the traditional analysis of the concept, which requires that a deceiver intentionally cause her victim to have a false belief, rules out the possibility of much deception in the animal kingdom. Cognitively unsophisticated species, such as fireflies and butterflies, have simply evolved to mislead potential predators and/or prey. To capture such cases of “functional deception,” several researchers Machiavellian intelligence II, Cambridge University Press, Cambridge, pp 112–143, 1997; Searcy and (...) Nowicki, The evolution of animal communication, Princeton University Press, Princeton, 2005; Skyrms, Signals, Oxford University Press, Oxford 2010) have endorsed the broader view that deception only requires that a deceiver benefit from sending a misleading signal. Moreover, in order to facilitate game-theoretic study of deception in the context of Lewisian sender-receiver games, Brian Skyrms has proposed an influential formal analysis of this view. Such formal analyses have the potential to enhance our philosophical understanding of deception in humans as well as animals. However, as we argue in this paper, Skyrms’s analysis, as well as two recently proposed alternative analyses, are seriously flawed and can lead us to draw unwarranted conclusions about deception. (shrink)

We investigate the notion of relevance as it pertains to ‘commonsense’, subjunctive conditionals. Relevance is taken here as a relation between a property (such as having a broken wing) and a conditional (such as birds typically fly). Specifically, we explore a notion of ‘causative’ relevance, distinct from ‘evidential’ relevance found, for example, in probabilistic approaches. A series of postulates characterising a minimal, parsimonious concept of relevance is developed. Along the way we argue that no purely logical account of relevance (...) (even at the metalevel) is possible. Finally, and with minimal restrictions, an explicit definition that agrees with the postulates is given. (shrink)

This paper presents an exercise in the formalization of political principles, by taking as its theme the concept of distributive justice that Karl Marx advanced in his Critique of the Gotha Programme. We first summarize the content of the Critique of the Gotha Programme. Next, we transcribe the core of Marx’s presentation of the concept of distributive justice. Following, we present our formalization of Marx’s conception. Then, we make use of that formal analysis to confront Marx’s (...) principle of distributive justice with John Rawls’ conception of justice as fairness, and the principles of distributive justice that derive from it. Finally, we discuss methodological issues relative to, and implications of, the way of formalizing political principles introduced here. (shrink)

Causality has been a pivotal concept in the history of philosophy since the time of the Ancient Greeks. After David Hume, however, many have questioned whether there is any metaphysical meaning of causality, or valid inferences based upon it. Xavier Zubiri has rethought and reformulated the question of causality in light of its historical roles, well-known criticisms, and relevant contemporary knowledge. In doing so, he has achieved a unique perspective on the subject which should be of great interest to (...) those concerned with causality and any of its applications. (shrink)

In everyday speech, expressions of the type "that thing exists" are frequently employed. What do they mean? They must be dealt with at the logical level where we seek greater precision. Also at the philosophical level, the predicate "exists" stands in need of analysis, inasmuch as its meanings are associated in one way or another with the meanings of the term "reality." It might also be stated that every entity, to the degree that it is "real" in one sense (...) or another, exists in a manner distinctive to it. In this sense, one might say that this is a problem of cognition of the history of an object, and its results are set forth in various existential judgments. Nevertheless, analysis of "existence" precisely as a predicate is necessary. It bears a specifically logical character and, moreover, is related in a lesser degree to the purely linguistic side of things than in the case of analysis of the meanings of the predicate "to be.". (shrink)

Hohfeld’s analysis on the different types of rights and duties is highly influential in analytical legal theory, and it is considered as a fundamental theory in AI&Law and normative multi-agent systems. Yet a century later, the formalization of this theory remains, in various ways, unresolved. In this paper I provide a formal analysis of how the working of a system containing Hohfeldian rights and duties can be delineated. This formalization starts from using the same tools as the (...) classical ones by Kanger and Lindahl used, but instead of focusing on the algebraic features of rights and duties, it aims at providing a comprehensive analysis of what these rights and duties actually are and how they behave and at saying something substantial on Power too—maintaining all along the Hohfeldian intentions that these rights and duties are sui generis and inherently relational. (shrink)

Having analyzed the formal aspects of Wallace’s proof of the Born rule, we now discuss the concepts and axioms upon which it is built. Justification for most axioms is shown to be problematic, and at times contradictory. Some of the problems are caused by ambiguities in the concepts used. We conclude the axioms are not reasonable enough to be taken as mandates of rationality in Everettian Quantum Mechanics. This invalidates the interpretation of Wallace’s result as meaning it would be (...) rational for Everettian agents to decide using the Born rule. (shrink)

Constitutional and judicial law-making is increasingly beginning to find its reflection not only in the Anglo-Saxon, but also in the Romano-Germanic legal family. However, the prerequisites for the use of this legal instrument are different, which determines the relevance of conducting a comparative analysis regarding the provision of such a mechanism in the USA and Kazakhstan. The purpose of the research is to identify common and distinctive features in the process of implementation of constitutional and judicial law-making in countries (...) belonging to different legal systems. The article uses the methods of analysis, synthesis, comparison, deduction and generalization. As a result, the specificity of ensuring the mechanism of constitutional law-making in the USA was expressed, taking into account various forms of law-making activity. It has been established that the development of constitutional provisions in the United States takes place with the help of the constitutional doctrines of the Supreme Court of the United States, which provide for the introduction of amendments to constitutional provisions without a formal procedure. As a result of the study of the experience of Kazakhstan, it was established that special priority was given to the role of precedent, in particular, the decision of the Supreme Court of the Republic of Kazakhstan. This is explained by the integrative nature of the Romano-Germanic legal system, which allows effective development of national legislation as a whole and its provisions. The obtained results can be used during the professional training of judges in the Republic of Kazakhstan. (shrink)

The author has constructed a concept of conditionals by synthetizing and developing unconnected insights scattered through the literature. The result is incorporated in a formal deductive system, based on a series of "paradox-free" systems initiated by Alonzo Church and interpreted according to principles suggested chiefly by Everett Nelson and by Anderson and Belnap. The basic concept is the sufficiency relation holding between clauses of a conditional, or rather between the relevant states of affairs asserted by the clauses. (...) The logic of sufficiency is developed by using a phenomenological method, much like that of the ordinary-language linguists, to place restrictions on truth-functional logic. For example, conjunction is replaced by adjunction [ = df. ~ ] and this concept is used to modify modus ponens and simplification. Relevance requirements avoid the paradoxes of material implication. These principles, together with a number of physical modalities and some modifications of the concept of induction, are used to attack Goodman's paradox and the paradoxes of confirmation, and to form a concept of cause. The formal system incorporates the principles judged desirable by the analysis of how conditionals are used in discourse. Mr. Barker is modest in his claims, emphasizing that his material is not original and saying only that some of the famous paradoxes "show signs of yielding." Interested students will be grateful for this monograph. It is a valuable compendium of widely scattered work of a difficult and complicated subject, and should be both helpful and stimulating. Moreover, it is particularly clear and readable.--L. G. (shrink)

A number of systems of logic, including formulations of the two-valued propositional logic, alethic modal propositional logics and deontic modal propositional logics, are described and discussed with the aim of utilizing some of these systems for the sociological analysis of normative structures. Evidence is adduced that certain normative concepts are explicated or partially explicated in these systems.--W.T.

Steven French and Decio Krause examine the metaphysical foundations of quantum physics. They draw together historical, logical, and philosophical perspectives on the fundamental nature of quantum particles and offer new insights on a range of important issues. Focusing on the concepts of identity and individuality, the authors explore two alternative metaphysical views; according to one, quantum particles are no different from books, tables, and people in this respect; according to the other, they most certainly are. Each view comes with certain (...) costs attached and after describing their origins in the history of quantum theory, the authors carefully consider whether these costs are worth bearing. Recent contributions to these discussions are analyzed in detail and the authors present their own original perspective on the issues. The final chapter suggests how this perspective can be taken forward in the context of quantum field theory. (shrink)

I propose that a logical formalization of a natural language text may be regarded as adequate if the following three groups of beliefs can be integrated into a wide reflective equilibrium: our initial, spontaneous beliefs about the structure and logical quality of the text; our beliefs about its structure and logical quality as reflected in the proposed formalization, and our background beliefs about the original text’s author, his thought and other contextually relevant factors. Unlike a good part of the literature, (...) I stress the indispensable role of initial beliefs in achieving such a wide reflective equilibrium. In the final sections I show that my approach does not succumb to undue subjectivism or the mere perpetuation of prejudice. The examples I use to illustrate my claims are chiefly taken from Anselm’s Proslogion 2–3 and the various attempts to formalize these texts. (shrink)

Formal methods are changing how epistemology is being studied and understood. A Critical Introduction to Formal Epistemology introduces the types of formal theories being used and explains how they are shaping the subject. Beginning with the basics of probability and Bayesianism, it shows how representing degrees of belief using probabilities informs central debates in epistemology. As well as discussing induction, the paradox of confirmation and the main challenges to Bayesianism, this comprehensive overview covers objective chance, peer disagreement, (...) the concept of full belief, and the traditional problems of justification and knowledge. Subjecting each position to a critical analysis, it explains the main issues in formal epistemology, and the motivations and drawbacks of each position. Written in an accessible language and supported study questions, guides to further reading and a glossary, positions are placed in an historic context to give a sense of the development of the field. As the first introductory textbook on formal epistemology, A Critical Introduction to Formal Epistemology is an invaluable resource for students and scholars of contemporary epistemology. (shrink)

This paper seeks to determine the intuitive meaning of the concept of information by indicating its essential (definitional) features and relations with other concepts, such as that of knowledge. The term “information” – as with many other concepts, such as “process”, “force”, “energy” and “matter” – has a certain established meaning in natural languages, which allows it to be used, in science as well as in everyday life, without our possessing any somewhat stricter definition of it. The basic aim (...) here is thus to explicate what it amounts to in the context of its intuitive meaning as encountered in natural languages, what the subject of cognition implicitly presumes when using the term, and to which ontological situations it can be applied. I demonstrate that the essential features of the notion of information include the presence of a material medium, its transformation, the recording and reading of information encoded in the medium, and the grasp of what is recorded, coded and transmitted as an intentional object, where the latter is construed in terms broadly in line with the ontologies of Husserl and Ingarden. Along the way, a number of issues relating to the notion of information are also pointed out: the problem of informational identity, of the existence of virtual objects, and of the choice of an adequate information carrier, as well as formal-ontological problems, including those which concern relations between information carriers and intentional objects. (shrink)

The unusual applicability of mathematics to the description of the physical reality still remains a major investigative task for philosophers, physicists, mathematicians and cognitive scientists. The presented article offers a critical analysis of the philosophical motivations and development of a major attempt to resolve this task put forward by two prominent Polish philosophers: Józef Życiński and Michał Heller. In order to explain this particular property of mathematics Życiński has first introduced the concept of the field of rationality together (...) with the field of potentiality to be followed by Heller’s formal field and the field of categories. It turns out that these concepts are fully intelligible once located within philosophical stances on the relations between mathematics and physical reality. It will be argued that in order to achieve more extended conceptual clarification of the precise meaning of the field of rationality, further advancements in the understanding of the nature of the human mind are required. (shrink)

The theory of concept lattices is approached from the point of view of fuzzy logic. The notions of partial order, lattice order, and formal concept are generalized for fuzzy setting. Presented is a theorem characterizing the hierarchical structure of formal fuzzy concepts arising in a given formal fuzzy context. Also, as an application of the present approach, Dedekind–MacNeille completion of a partial fuzzy order is described. The approach and results provide foundations for formal (...) class='Hi'>concept analysis of vague data—the propositions “object x has attribute y”, which form the input data to formal concept analysis, are now allowed to have also intermediate truth values, meeting reality better. (shrink)

It is a characteristic of neopositivism that the pursuit of its effort in theoretical cognition, the attempt to discover the "given" content of knowledge, the "empirical significance" of its elements — concepts and assertions — is associated, with the employment of the method of logical analysis of knowledge. On the one hand, this gives logical analysis a distinctly philosophical, epistemological emphasis, while on the other it converts the theory of knowledge of neopositivism into "applied logic," engaged in establishing (...) the relations between the elements of knowledge by means of the procedures of contemporary formal logic — mathematical or symbolic logic. (shrink)

Proponemos aprovechar las metodologías computacionales del análisis de conceptos formales para representar y estudiar la estructura conceptual de las teorías axiomatizadas. Este ejercicio se practicó al comparar los atributos de más de 44 modelos teóricos de teorías del espacio-tiempo y la gravitación. Los retículos pueden explorarse en visualizaciones interactivas conocidas como macroscopios que resaltan relaciones de especialización y teorización, ordenamientos jerárquicos, agrupaciones y clases de componentes. En este texto ejemplificamos con la reconstrucción de la mecánica clásica de partículas, las teorías (...) del espacio-tiempo y la gravitación. (shrink)

In the last decade, formal concept analysis in a fuzzy setting has received more attention for knowledge processing tasks in various fields. The hierarchical order visualisation of generated formal concepts is a major concern for the practical application of FCA. In this process, a major issue is the huge number of formal concepts generated from ‘a large context’, and another problem is their ‘storage’ complexity. To deal with these issues a method is proposed in this (...) paper based on Shannon entropy and Huffman coding. The proposed method is illustrated using crisply generated concepts such that the changes between obtained concepts can be measured using Levenshtein distance. The analysis derived from the proposed method is illustrated with an example for FCA in a fuzzy setting. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories (...) of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

Discussions about values are common in many contexts. Often, what is debated is the choice of means to realize or protect various values, but sometimes the discussion concerns the very values that ought to be realized or protected. Philosophical debate in this area has mainly been focused on two kinds of issues. Philosophers have tried to identify the set of fundamental values, i.e., to provide what might be called a substantive axiology, but they have also aimed to clarify the general (...) conceptual framework for our thinking about values. This latter area can in turn be subdivided into two interrelated but relatively independent fields of research. In one, we find theories about the meaning, the evidential grounds and the truth status of value statements, along with analyses of the alleged motivational pull of value judgments. In the other research field, which may be called formal axiology, the focus is on the structural features of our value notions: on the logic of value, on the conceptual distinctions and connections between different value types, on the relationships between value concepts and normative notions, etc. While this volume concentrates on formal axiology, it also makes some forays into other fields of value research. The papers appearing in the collection are, for the most part, preliminary reports. Their final versions may later be published in regular journals or books. (shrink)

Discussions about values are common in many contexts. Often, what is debated is the choice of means to realize or protect various values, but sometimes the discussion concerns the very values that ought to be realized or protected. Philosophical debate in this area has mainly been focused on two kinds of issues. Philosophers have tried to identify the set of fundamental values, i.e., to provide what might be called a substantive axiology, but they have also aimed to clarify the general (...) conceptual framework for our thinking about values. This latter area can in turn be subdivided into two interrelated but relatively independent fields of research. In one, we find theories about the meaning, the evidential grounds and the truth status of value statements, along with analyses of the alleged motivational pull of value judgments. In the other research field, which may be called formal axiology, the focus is on the structural features of our value notions: on the logic of value, on the conceptual distinctions and connections between different value types, on the relationships between value concepts and normative notions, etc. While this volume concentrates on formal axiology, it also makes some forays into other fields of value research. The papers appearing in the collection are, for the most part, preliminary reports. Their final versions may later be published in regular journals or books. (shrink)

Since its inception in the work on fallacies of Charles Hamblin, formal dialectic has been the object of an unparalleled level of optimism concerning the potential of its analytical contribution to fallacy inquiry. This optimism has taken the form of a rapid proliferation of formal dialectical studies of arguments in general and fallacious arguments in particular under the auspices of theorists such as Jim Mackenzie and John Woods and Douglas Walton, to name but a few. Notwithstanding the interest (...) in, and the hopes for, a formal dialectical analysis of the fallacies, such an analysis, I will demonstrate subsequently, leads to much unintelligibility in fallacy inquiry. The context of my argument will be the philosophical views of Hilary Putnam, particularly Putnam's claim that when we theorise in relation to rationality, the unintelligibility of the conception of rationality to emerge from this theoretical process can be traced to the circumscription of rationality within this theoretical process. I charge formal dialectic with effecting a similar circumscription of argumentative rationality, a circumscription that, I will claim, is generative of unintelligibility in formal dialectical analyses of the fallacies. In this case, the context for my claims will be the formal dialectical analyses of Walton and Batten, Rescher, Hamblin, Mackenzie and Hintikka, primarily in relation to the petitio principii fallacy. My conclusion examines a number of the reasons, both historical and conceptual, which have made it seem that it is possible to fully circumscribe the notion of argumentative rationality. (shrink)

Haskell Curry’s philosophy of mathematics is really a form of “structuralism” rather than “formalism” despite Curry’s own description of it as formalist (Seldin 2011). This paper explains Curry’s actual view by a formal analysis of a simple example. This analysis is extended to solve Keränen’s (2001) identity problem for structuralism, confirming Leitgeb’s (2020a, b) solution, and further clarifies structural ontology. Curry’s methods answer philosophical questions by employing a standard mathematical method, which is a virtue of the “methodological (...) autonomy” emphasized by Curry (1951, 1963) and more recently with greater clarity by Maddy (1997, 2007). (shrink)

Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (...) (2) the mathematical frame is a definitional extension of Zermelo–Fraenkel set theory and has a hierarchically organized structure of concepts and operations, and (3) the construction of formal proofs is deeply connected to the frame through rules for definitions and lemmas. To bring these general ideas to life, we examine, as a case study, proofs of the Cantor–Bernstein Theorem that do not appeal to the principle of choice. A thorough analysis of the multitude of “different” informal proofs seems to reduce them to exactly one. The natural formalization confirms that there is one proof, but that it comes in two variants due to Dedekind and Zermelo, respectively. In this way it enhances the conceptual understanding of the represented informal proofs. The formal, computational work is carried out with the proof search system AProS that serves as a proof assistant and implements the above inference mechanism; it can be fully inspected at (see link below). (shrink)

Since the crisis of Fordism, capitalism has been characterised by the ever more central role of knowledge and the rise of the cognitive dimensions of labour. This is not to say that the centrality of knowledge to capitalism is new per se. Rather, the question we must ask is to what extent we can speak of a new role for knowledge and, more importantly, its relationship with transformations in the capital/labour relation. From this perspective, the paper highlights the continuing validity (...) of Marx's analysis of the knowledge/power relation in the development of the division of labour. More precisely, we are concerned with the theoretical and heuristic value of the concepts of formal subsumption, real subsumption and general intellect for any interpretation of the present change of the capital/labour relation in cognitive capitalism. In this way, we show the originality of the general intellect hypothesis as a sublation of real subsumption. Finally, the article summarises key contradictions and new forms of antagonism in cognitive capitalism. (shrink)