The Notion of Formal Logic

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

?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