If logic meets paraconsistent logic
|Abstract||particular alternative logic could be relevant to another one? The most important part of a response to this question is to remind the reader of the fact that independence friendly (IF) logic is not an alternative or “nonclassical” logic. (See here especially Hintikka, “There is only one logic”, forthcoming.) It is not calculated to capture some particular kind of reasoning that cannot be handled in the “classical” logic that should rather be called the received or conventional logic. No particular epithet should be applied to it. IF logic is not an alternative to our generally used basic logic, the received first-order logic, aka quantification theory or predicate calculus. It replaces this basic logic in that it is identical with this “classical” first-order logic except that certain important flaws of the received first-order logic have been corrected. But what are those flaws and how can they be corrected? To answer these questions is to explain the basic ideas of IF logic. Since this logic is not as well known as it should be, such explanation is needed in any case. I will provide three different but not unrelated motivations for IF logic.|
|Keywords||No keywords specified (fix it)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Newton C. A. Da Costa, Otávio Bueno & Steven French (1998). The Logic of Pragmatic Truth. Journal of Philosophical Logic 27 (6):603-620.
Theodore Sider (2010). Logic for Philosophy. Oxford University Press.
Charles Ashbacher (2002). Introduction to Neutrosophic Logic. American Research Press.
Jaakko Hintikka (1973). Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford,Clarendon Press.
Frances Howard-Snyder (2012). The Power of Logic. Mcgraw-Hill.
John P. Burgess (2009). Philosophical Logic. Princeton University Press.
Newton C. A. da Costa & Décio Krause, Remarks on the Applications of Paraconsistent Logic to Physics.
Matti Eklund & Daniel Kolak (2002). Is Hintikka's Logic First-Order? Synthese 131 (3):371 - 388.
J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2009-09-11
Total downloads74 ( #11,126 of 549,066 )
Recent downloads (6 months)0
How can I increase my downloads?