Logical Concept Analysis Research Articles

DISTINÇÃO ENTRE MÉTODO MATEMÁTICO E FILOSÓFICO EM KANT

This article seeks to understand the distinction between mathematical and philosophical method made by Kant in the pre-critical and critical periods. The central hypothesis is that, in distinguishing mathematics and philosophy, Kant never proposed a philosophical method of mere conceptual analysis. To defend it, we first examine Inquiry concerning the distinctness of the principles of natural theology and morality, trying to highlight that Kant proposes that the appropriate method for philosophy must be based on an inner experience of the object. Then, we examine Discipline of pure reason present in the first Critique, where Kant, after clarifying the difference between philosophy and mathematics, proposes a solution as important as paradoxical: critical philosophy would be responsible for a method of synthesis a priori by concepts. Thus, our reading is opposed to Schelling, who argues that Kant would have proposed a method restricted to the logical analysis of concepts for philosophy.

Theoretical and practice-oriented sociology, its virtual and real grounds

In this article, the author distinguishes between practical sociology, the field of study of which is socio-cultural reality, and theoretical sociology, the subject of study of which is logical analysis of concepts and empirical facts. Positivist sociology, according to his opinion, deals not with the social reality itself, but with its modeling in the researcher’s thinking with the help of methods of various surveys, document analysis, social experiment. Practice-oriented sociology studies the following: socio-historical, socio-symbolic, anthropological and other cultural reality, in the study of which the decisive role belongs not to theory and logical analysis, but to experience of social interaction within a certain social space and time characterized by their inherent values and norms of behavior (historical epoch, national, territorial, settlement, gender and age, professional and other community). To form a realistic picture of crime in society, to reveal the causes of crisis in education, spiritual and moral degradation etc. from the position of their theoretical modeling, is impossible, according to the researcher. Its creation requires an appeal to the analysis of spiritual, symbolic, energy and other foundations of the development and functioning of society. The author traces the development of sociological science from medieval nominalism and realism to positivism of Auguste Conte, and from him to social logic and laws of imitation of Gabriel Tarde and social-cultural sociology of Emile Durkheim, from the religious and philosophical tradition of orthodox energetism and cosmism to social structuralism of Levi-Strauss and Michel Foucault, «habitus» by Pierre Bourdieu, symbolic interactionism of George Mead, theory of stigmatization, noospheric sociology, and a number of other research areas of Western European, American and domestic sociology.

MarCHGen: A framework for generating a malware concept hierarchy

AbstractAutomatic classification of virus instances into a concept hierarchy has been attracting much attention from malware research community. However, it is definitely not a trivial work, because malwares usually come in binary forms whose actions are complicated and obfuscated. Therefore, the typical data mining approaches based on feature extraction are not easily applied. In this paper, we tackle this problem by introducing a framework known as MarCHGen (Malware Concept Hierarchy Generation). In this framework, we first apply virus logical concept analysis, which incorporates formal concept analysis with temporal logic to capture malware behaviours and generalize a virus concept lattice accordingly. Second, we propose an on‐the‐fly conceptual clustering technique to generate a malware concept hierarchy. In the MarCHGen framework, the malware concept hierarchy will be monitored by the prelarge data set management technique to avoid reclustering several times unnecessarily. Our approach has been applied in a real data set of virus, and promising experimental results have been acquired.

Ontology Enrichment for Aspect-Oriented Sentiment Analysis with Deep Learning Using Logical Concept Analysis

Ontology Enrichment for Aspect-Oriented Sentiment Analysis with Deep Learning Using Logical Concept Analysis

Falacias anti-feministas

The specific objective of this work is to identify and dismantle certain fallacious arguments usually used to attack feminism. These arguments circulate both in academic and intellectual media, as well as in mass media. The importance of this task is twofold, since it would contribute to the fulfillment of two more general objectives: on the one hand, to dismantle those misguided criticisms that, far from strengthening the debate within feminism, obscure and hinder it; on the other, to make visible the importance and present relevance of feminism. The methodology used is analytical-philosophical, and consists basically of the logical analysis of concepts and arguments.

ADAPTATION KNOWLEDGE ACQUISITION IN A CBR SYSTEM

In a case-based reasoning system, adaptation is a complicated task since it requires domain-specific knowledge, which is generally difficult to define. To acquire such knowledge, we propose a semi-automatic approach based on Formal Concept Analysis (FCA) techniques. We use Logical Concept Analysis (LCA), a generalization of FCA, to extract adaptation conditions that enhance the retrieval and adaptation processes. In this paper, we present this approach, that has been implemented in COBRA, our ontology-based CBR platform, and applied to the diagnosis of gas sensor failures.

Camelis: a logical information system to organise and browse a collection of documents

Since the arrival of digital cameras, many people are faced with the challenge of organising and browsing the overwhelming flood of photos their life produces. The same is true for all sorts of documents, e.g. emails, audio files. Existing systems either let users fill query boxes without any assistance, or drive them through rigid navigation structures (e.g. hierarchies); or they do not let users put annotations on their documents, even when this would support the organisation and retrieval of any documents on customised criteria. We present a tool, Camelis, that offers users an organisation that is dynamically computed from documents and their annotations. Camelis is designed along the lines of logical information systems, which are founded on logical concept analysis. Hence, (1) an expressive language can be used to describe photos and query the collection, (2) manual and automatic annotations can be smoothly integrated, and (3) expressive querying and flexible navigation can be mixed in a same search and in any order. This presentation is illustrated on a real collection of more than 5000 photos.

10.2.3 On the use of Semantic Web Technology for Requirements Satisfaction, or How do I find a good Bike?

AbstractThis paper reports on an investigation into the use of Semantic Web technology in the Systems Engineering domain. In 2004 the World Wide Web Consortium standardized the Web Ontology Language (OWL). Software tools called Reasoners are available that support formal, logical analysis of concepts in a subset of OWL called OWL DL (for Description Logic). An approach to the use of this technology for the Systems Engineering task of identifying Systems that satisfy a set of Requirements is described.

A hundred years later: The rise and fall of Frege's influence in language theory

One of the most fashionable current terms in the philosophy and history of science is the word paradigm introduced by Thomas Kuhn in his famous book on the structure of scientific revolutions.1 It is also one of the most misinterpreted and abused terms in recent discussion, to the extent that Tom himself has sworn, only half jokingly, never, never to use the accursed word again. In spite of Kuhn's renunciation of the term, it seems to me to be applicable to Frege's influence on logical semantics and logical study of language in the last hundred years. The hundred-year period is not just an approximation, either, for we recently had the centenary of Frege's first extensive publication in logic, viz., his Begriffschrift.2 The very title of this work betrays Frege's interest not only in pure logic but also in the logical analysis of concepts, i. e., logical semantics. But when I thus say that Frege created a paradigm in logical semantics, I will be almost universally misinterpreted unless I supply further explanations. For when philosophers, logicians, and linguists think in our days of Frege's semantics, they virtually always think of Frege's theory of sense and reference and of the apparently Platonistic ontology that goes together with it.3 This perspective is not so much wrong as radically misleading. If I may exaggerate somewhat in the opposite direction, I would say that in the total picture of Frege's semantics the theory of sense and reference is merely frosting on a much bigger cake. Frege's main achievement in logical semantics was the creation of that paradigm which we may perhaps call first-order logic with its associated semantics, together with the ontology (categorical analysis of the world) that comes with it. This ontology is that of individuals (comprising a universe of discourse) plus their properties and relations. The languages appropriate for reflecting this ontology are our familiar first-order languages with their familiar semantics codified much later in the works of Tarski and Carnap.4 This conception of first-order logic with its associated semantics and