Bochenski: attempts to apply logic to problems of religion
Paul Weingartner (1998-1999)
Philosophia Scientiae
Similarity:
Displaying similar documents to “The soul at the Razor's edge.”
Bochenski: attempts to apply logic to problems of religion
From apophantics to manifolds: the structure of Husserl's formal logic
Paul Cortois (1996)
Philosophia Scientiae
Similarity:
Peirce and naturalism
Richard Ketchum (1996)
Philosophia Scientiae
Similarity:
Reasoning in Basic Description Logics and Description Logics with Modal Operators
Milenko Mosurović, Tatjana Stojanović, Ana Kaplarević-Mališić (2009)
Zbornik Radova
Similarity:
Computational logics and the philosophy of language: the problem of lexical meaning in formal semantics.
Marcello Frixione (1996)
Mathware and Soft Computing
Similarity:
This paper deals with the possible contributions that logical researches carried on in the field of artificial intelligence (AI) could give to formal theories of meaning developed by logically oriented philosophers of language within the tradition of analytic philosophy. In particular, I will take into account a topic which is problematic in many respects for traditional logical accounts of meaning, i.e., the problem of lexical semantics. My thesis is that AI logics could give useful...
A system for deduction-based formal verification of workflow-oriented software models
Radosław Klimek (2014)
International Journal of Applied Mathematics and Computer Science
Similarity:
Knowledge vagueness and logic
Urszula Wybraniec-Skardowska (2001)
International Journal of Applied Mathematics and Computer Science
Similarity:
The aim of the paper is to outline an idea of solving the problem of the vagueness of concepts. The starting point is a definition of the concept of vague knowledge. One of the primary goals is a formal justification of the classical viewpoint on the controversy about the truth and object reference of expressions including vague terms. It is proved that grasping the vagueness in the language aspect is possible through the extension of classical logic to the logic of sentences which may...
Logeme shifts and the growth of pragmatism
Else M. Barth (1996)
Philosophia Scientiae
Similarity:
The Power of Parsimony
Catherine Z. Elgin (1997)
Philosophia Scientiae
Similarity:
Informal proofs formally checked by machine
Luigia Aiello, Mario Aiello, Giuseppe Attardi, Gianfranco Prini (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
On some properties of grounding nonuniform sets of modal conjunctions
Radoslaw Katarzyniak (2006)
International Journal of Applied Mathematics and Computer Science
Similarity:
A language grounding problem is considered for nonuniform sets of modal conjunctions consisting of conjunctions extended with more than one modal operator of knowledge, belief or possibility. The grounding is considered in the context of semiotic triangles built from language symbols, communicative cognitive agents and external objects. The communicative cognitive agents are assumed to be able to observe external worlds and store the results of observations in internal knowledge bases....