أبوالعلا, . (2022). المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته. test, 20(20), 227-292. doi: 10.21608/jfpsu.2021.84404.1104
محمد سيد محمد أبوالعلا. "المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته". test, 20, 20, 2022, 227-292. doi: 10.21608/jfpsu.2021.84404.1104
أبوالعلا, . (2022). 'المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته', test, 20(20), pp. 227-292. doi: 10.21608/jfpsu.2021.84404.1104
أبوالعلا, . المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته. test, 2022; 20(20): 227-292. doi: 10.21608/jfpsu.2021.84404.1104

المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته

مجلة کلية الآداب .جامعة بورسعيد
Article 7, Volume 20, Issue 20, April 2022, Pages 227-292    PDF (1.4 M)
Document Type: المقالة الأصلية
DOI: 10.21608/jfpsu.2021.84404.1104
Author
محمد سيد محمد أبوالعلا*
قسم الفلسفة، کلية الآداب، جامعة بورسعيد
Abstract
     لم يُعرف التمييز بين حدي القضية - المفهوم والماصدق - بشکلٍ انفصالي کلٌ على حدة إلاَّ في وقتٍ متأخر؛ فکل قضية تتکون من حدين هما المفهوم والماصدق، والعلاقة بينهما عکسية کما نعلم؛ کلما زاد المفهوم قل الماصدق والعکس، لکن هذا لا يعني القول بأحدهما فقط دون الآخر، وهذا البحث يعرض في مجمله تعريف المنطق الماصدقي، وبداياته المتعارف عليها تاريخيًا، وعلاقته بالمنطق المفهومي، والفرق بين المفهومي والماصدقي، وأشهر علماء المنطق الذين يعلون من شأن الماصدق؛ فيقولون بالنزعة الماصدقية، أو ما يعرف بالمنطق الماصدقي، ولماذا الانحياز التام في بعض الفترات له على حساب منطق المفهوم، مع أن کلاهما يکمل الآخر؟، کما يعرض فيه الباحث کذلک إلى أنواع الماصدقات المختلفة، أو النزعة الماصدقية، فيبين أن منها ماصدقية صريحة، ومنها ماصدقية ضمنية، مبينًا دور بعض علماء المنطق الذين أوصوا بضرورة التخلي عن المفهومات، مع بيان خصائص المنطق الماصدقي، وأهم ثوابت ومتغيرات المنطق الماصدقي، والسياقات الماصدقية ودلالاتها، ونظرية الأنماط الماصدقية، وأثر هذه النظرة في نظريات: المجموعات، الأنماط، الميرولوجيا، ولغات البرمجة، وأبرز تطبيقات المنطق الماصدقي في برمجة المنطق الاستقرائي.
Abstract
The distinction between the two terms of the Proposition, the Intension and the extension, in a separatist way, was not known until a later date. This research presents, in its entirety, to the definition of the extensional logic and its historically recognized beginnings, its relationship to the Intensional logic,The difference between the intension and the extension, and the most famous logician who exalted the extensional logic, They say of the extensionalism, or what is known extensional logic, and why is the complete bias in some periods to it at the expense of the  intension logic, even though both complement the other? The researcher also presents it to the different types of extensions, and shows that some of them have explicit extensionality, and some Implicit extensionality, indicating the role of some logic scholars who recommended the need to abandon intensions, with an explanation of the characteristics of extensional logic, the most important constants and variables of extensional logic, extensional contexts and their implications, the theory of extensional types, and the impact of this view on the theories: sets, types, mereology, and programming languages. The most prominent applications of the extensional logic in the programming of inductive logic.
Keywords
الأنماط الماصدقية; الميرولوجيا; برمجة المنطق الاستقرائي; مفهوم; الماصدقية الصريحة; Extensional types; mereology; the programming of inductive logic; intension; explicit extensionality
References

أولاً: المصادر:

(1) Avron, Arnon.  Self-Extensional Three-Valued Paraconsistent Logics.  Logica Universalis, 11 (2017), 297–315, Springer International Publishing AG,  published online July 19, 2017.

(2) Brown.E Chad. Reasoning in Extensional Type Theory with Equality. Nieuwenhuis (Ed.): CADE 2005, LNAI 3632, pp. 23–37, 2005,Springer-Verlag Berlin Heidelberg 2005.

(3) Duzi,Marie. Extensional  Logic of  Hyperintensions.  A. Düsterhöft et al. (Eds.): Thalheim Festschrift, LNCS 7260, pp. 268–290, 2012,Springer-Verlag Berlin Heidelberg, 2012.

(4) Duzi,Marie. Towards an  Extensional Calculus of  Hyperintensions. The Author. Journal compilation, Institute of Philosophy SAS, Organon F 19 (2012), 20-45, 2012.

(5) Hinrichs, Timothy.L.Extensional Reasoning.Ph.D submitted to the Department of Computer Science And the Committee on Graduate Studies Stanford University,2007.

(6) Hofmann.Martin. Extensional Constructs in Intensional TypeTheory.  CPHCIBCS Distinguished Dissertations ,Series edited by C.J. van Rijsbergen, British Library Cataloguing in Publication Data, Springer -Verlag London Limited 1997.

(7) Michèle Friend. Book Review for: Nimrod Bar-Am. Extensionalism: The Revolution in Logic. George Washington University, Washington, New York: Springer, 2008.

(8) Nicoletti,M.C& Monard,M.C . Constructing The Extensional Representation of an Intensional Domain Theory in Inductive Logic Programming. In Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence SBIA '95, Campinas, Brazil, 1995.

(9) Pap,Arthur.  Disposition Concepts and Extensional Logic. in Minnesota Studies in Philosophy of Science, Vol.2, PP.196-224,University of Minnesota Press,1958.

(10)               Peter A. Flach. From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases, B. Freitag et al. (Eds.): Transactions and Change in Logic DBs, LNCS 1472, pp. 356-387, 1998, Springer-Verlag Berlin Heidelberg 1998.

(11)               Peregrin. Jaroslav.Extensional VS Intensional Logic. Handbook of  the Philosophy of  Science. Vol.5: Philosophy of Logic, Volume editor: Dale Jacquette. Handbook editors: Dov M. Gabbay, Paul Thagard and John Woods, Elsevier BV,2006.

(12)               Rosu,Grigore. Extensional Theories and Rewriting. J. Diaz et al. (Eds.): ICALP 2004, LNCS 3142, pp. 1066–1079,Springer-Verlag Berlin Heidelberg 2004.

(13)                Sagi,Gil. Extensionality and Logicality.  the Logica Symposium in Hejnice and at the Reasoning Club conference at the University of  Kent in 2014, The final publication is available at Springer via. https://link.springer.com/article/10.1007/s11229-017-1447-3.

ثانياً: المراجع باللغة العربية والمترجمة إليها:

(1)            السيد نفادي: معيارالصدق والمعنى في العلوم الطبيعية والإنسانية (مبدأ التحقق عند الوضعية المنطقية)، دار المعرفة الجامعية، الإسکندرية، 1991.

(2)            جون سيرل: القصدية "بحث في فلسفة العقل"، ترجمة: أحمد الأنصاري، دار الکتاب العربي، بيروت، لبنان، 2009.

(3)            زکي نجيب محمود: المنطق الوضعي، مکتبة الأنجلو المصرية، القاهرة، 1951.

(4)            عبد الحميد بسيوني: مقدمة الذکاء الاصطناعي للکمبيوتر ومقدمة برولوج، دار النشر للجامعات المصرية، ط1، القاهرة، 1994.

(5)            علي سامي النشار: المنطق الصوري منذ أرسطو حتى عصورنا الحاضرة، دار المعرفة الجامعية، الإسکندرية، 2000.

(6)            ماهر عبد القادر محمد: التطور المعاصر لنظرية المنطق، دار النهضة العربية للطباعة والنشر، الإسکندرية، 1988.

(7)            ماهر عبد القادر محمد: نظريات المنطق الرياضي، دار المعرفة الجامعية، الإسکندرية، 1999.

(8)            محمد مهران: مقدمة في المنطق الرمزي، دار الثقافة للطباعة والنشر، القاهرة، 1978.

ثالثاً: المراجع الأجنبية:

(1) Adelheid Hamcher- Hermes. The  Debate Between Husserl  and Voigt Concerning the Logic of  Content  and  Extensional Logic. A-T. Tymieniecka. Analecta Husserliana, Vol. XXXIV, 529-547.Kluwer Academic Publishers,1991.

(2) Alexandre Buisse, Peter Dybjer, "The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective", Electronic Notes in Theoretical Computer Science,Vol. 218,2008.

(3) Anderson, C. Anthony. General Intensional Logic. D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 11,355-385. by D. Reidel Publishing Company. 1984.

(4) Brown.E Chad. Reasoning in Extensional Type Theory with Equality. Nieuwenhuis (Ed.): CADE 2005, LNAI 3632, pp. 23–37, 2005,Springer-Verlag Berlin Heidelberg 2005.

(5) Coquand ,Thierry: Type Theory, The Stanford  Encyclopedia of  Philosophy, 1st Published, Wed Feb 8, 2006, Substantive Revision Wed, Jan 20, 2010.

(6) Constant,Alexender.Dimitri.The Standard Interpretation of Higher-Order Variables in Modern Logic and The Concept of Function in Mathematics. Ph.D,Boston University,Graduate School of Arts and Sscience,Published by Proquest LLC,2014.

(7) David.R.Dowty, Robert.E.Wall& Stanely Peters. Introduction to Montague Semantics Studies in Linguistics and Philosophy,Vol.11. Kluwer Academic Publishers,Dordrecht-Boston-London, 1981.

(8) Forster . Thomas . Logic , Computation , And Set Theory , Published by The Press Syndicate of The University of Cambridge , The Pith Building , Trumbington  Street , Cambridge United Kingdom , Jan, 14, 2002.

(9) Gerhard Goos, Juris Hartmanis&Jan van Leeuwen. Lecture Notes in Computer Science. Processes, Terms and Cycles:  Steps on the Road to Infinity,Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Commenced Publication in 1973.

(10)               Gerhard Schurz.Tarski and Carnap on Logical Truth - or: What Is Genuine Logic?. Prepublication Series at the Department of Philosophy, University of Salzburg,|German, 19998.

(11)               Imaguire. Guido . Logic and Intensionality. Published by NEL—Epistemology and Logic Research Group, Federal University of Santa Catarina (UFSC), Brazil, Principia 14(1): 111–24 (2010).

(12)               Jespersen. Bjørn& Duzi,Marie. Synthese. An International Journal for Epistemology, Methodology, and Philosophy of Science,Special Section on HyperIntensionality, 192:525–534, Springer Science+Business Media Dordrecht, Published online: 23 January,2015.

(13)               Kathrin Koslicki. The Structure of Objects. Oxford University Press, New York,USA, 2008.

(14)               Keenan.E.L& Flatz.L.M:Boolean Semanticsfor Natural Language, Synthese Language Library, Vol 23,D.Reidel Publishing Co, Dordrecht/ Boston/ Lancaster, 1985.

(15)               Keupink,Alfons&Shieh,Sanford. The Limits of Logical Empricism.  Selected Papers of Arthur Pap,Synthese Library, Studies in Epistemology,Logic, Methodology, And Philosophy of Science,Vol.334,Published by Springer, Dordrecht, The Netherlands, 2006.

(16)               Mulvihill,Corey .Wittgenstein's Critique of The Logicist Definition of Number in the Tractatus Logico-Philosophicus. A Thesis of Master of Arts, Department of  Philosophy,The University of Ottawa,Candian University,2005.

(17)               Parsons,Charles. Intensional Logic in Extensional Language.The Journal of Symbolic Logic,vol.47, no.2,1982,pp.289–328. JSTOR, www. jstor.org/stable/2273143. Accessed 8 June 2021.

(18)               Putnam. Hilary.Non Standard Models  And  Kripk’s Proof  of The Godel  Theorem , Notre Dame Journal of  Formal Logic, Indiana, Vol 41, Number 1, 2000.

(19)               Quine;W.V .Quantifiers and Propositional  Attituds. in  Mind, and Language,Intentiontality,the Journal of Philosophy Ed by:Aussonio Marras,University of Illions Press,Urbana, Chicago, London ,1972.

(20)               Quine; W.V.Two Dogmas  of  the Empiricism.Revised Version, Rreprinted in His" From a  Logical Point of  View", 2nd ed, Harvard University Press, 1961.

(21)               Randall R. Dipert. Individuals and Extensional Logic in Schroder's ,"Vorlesungen iiber die Algebra der Logik".Department of Philosophy, SUNY Fredonia,  USA,1991.

(22)               Soames,S: No Class: Russell on Contextual Definition and the Elimination of Sets, Springer Science+Business Media, Recevied: 2February,2007, Published Online: 21April,2007, Philostud,139:213-218, 2008.

(23)               Vanderveken,Daniel. Some Philosophical Remarks on the Theory of Types in Intensional Logic. Erkenntnis,1982, by D.Reidel Publishing Co. Dordrecht, Holland, and Boston, U. S.A, 1982.

رابعاً: الرسائل العلمية

(1)            عصام زکريا محمود: مفهوم اللزوم المنطقي ومشکلاته، رسالة ماجيستير غير منشورة، إشراف: د. محمد مهران، کلية الآداب جامعة القاهرة، 2002.

خامساً: المعاجم ودوائر المعارف العلمية

(1)   دليل أکسفورد للفلسفة: تحرير: تد هوندرتش، ترجمة: نجيب الحصادي، تحرير الترجمة منصور محمد البابور، محمد حسن أبوبکر، ج3 من حرف ظ إلى حرف ي، المکتب الوطني للبحث والتطوير، الجماهيرية العربية الليبية الشعبية الاشتراکية العظمى، 2003.

سادساً: معلومات من شبکة المعلومات الدولية (الإنترنت)

(1) "Mereology":

"Varzi, Achille, "Mereology", The Stanford Encyclopedia of Philosophy (Spring 2019 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/spr2019/entries/mereology/>.

(2) "Church’s Type Theory";

Benzmüller, Christoph and Peter Andrews, "Church’s Type Theory", The Stanford Encyclopedia of Philosophy , https://plato.stanford.edu/archives/sum2019/entries/type-theory-church/.

(3) Intensional logics":

Garson, James W:"Intensional logics", Routledge Encyclopedia of Philosophy, Taylor and Francis,1998.

(4) "David Lewis":

Weatherson, Brian, "David Lewis", The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/win2016/entries/david-lewis/>.

(5) "Intensional Logic":

Fitting, Melvin,"Intensional Logic", The Stanford Encyclopedia of Philosophy (Spring 2020 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/spr2020/entries/logic-intensional/>.

https://www.rep.routledge.com/articles/thematic/intensional-logics.

(6)        ”True by Virtue of Meaning, Carnap and Quine on the Analytic – Syn thetic Distinctions”:

Decock. Lieven.”True by Virtue of Meaning, Carnap and Quine on the Analytic – Synthetic Distinctions”,The Stanford Encyclopedia of Philosophy,1st published, Mon, Dec19,2005; substantive Revision, Tue, May, 29, 2007. 

(7) Church's Type Theory":

Peter, Andrews: "Church's Type Theory", The Stanford Encyclopedia of Philosophy, (Spring 2014 Edition).                                              

(8) https://translate.google.com.eg.

(9) Spade,Vincent.Paul&Hintikka.J.Jaakko: History of Logic, https://www.britannica.com/topic/history-of-logic/Modern-logic#ref535650.  

(10)   Rosu,Grigore. Extensional Theories and Rewriting. J. Diaz et al. (Eds.): ICALP.

(11)   https://jwa.org/encyclopedia/article/marcus-ruth-barcan.

(12)   https://www.the-philosophy.com/principle-individuation-definition.

(13)   https://doi.org/10.1017/S0956796820000155.

(14)   https://www.amazon.com/David-Kaplan-philosopher/dp/6135587811.

(15)   https://pages.ucsd.edu/faculty/gsher/CV.pdf.

(16)   https://mathshistory.st-andrews.ac.uk/Biographies/Tichy/.

(17)   https://www.arageek.com/l/%D9%85%D8%A7-%D9%87%D9%8A-%D9%84%D8%BA%D8%A9-%D8%A8%D8%B1%D9%88%D9%84%D9%88%D8%BA-prolog.

(18)   http://www.hajim.rochester.edu/distinguished_alumni/john_major.html.

(19)   https://www.britannica.com/topic/history-of-logic/Boole-and-De-Morgan#ref535680.  

Statistics
Article View: 8,169
PDF Download: 481