The Notion of Formal Logic
نویسندگان
چکیده
منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملOn defining the notion of complete and immediate formal grounding
The aim of this paper is to contribute to the recent debate on the notion of grounding. More precisely, we will focus on the notion of complete and immediate formal grounding and we will provide a definition of it through the concepts of derivability and complexity. We will show that this definition allows us a subtle and precise analysis of the concept of grounding in several paradigmatic cases.
متن کاملConvergence in formal topology: a unifying notion
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We introduce a general notion of convergence of which any previous definition is a special case. This leads to a predicative presentation and inductive generation of ...
متن کاملThe Myth of Formal Logic
some inductive inferences are as probable in relation to the premisses as non-sceptics think they are. But the premisses of my proofs were, principally, statements of logical probability; and propositions of this kind, or at least the published systems of propositions of this kind, lie under certain definite objections from philosophers, as well as under a less definite but even more damaging s...
متن کاملFormal Logic
where the universal (all) has been replaced with an existential (some/exists) then the argument would not be valid. In Ancient Greece, Aristotle exhaustively considered all possible combinations of universals and existentials in syllogisms, allowing also for the possibility of negations, and collected those corresponding to valid inferences in a classification theorem. For many centuries, that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Laval théologique et philosophique
سال: 1946
ISSN: 0023-9054,1703-8804
DOI: 10.7202/1019763ar