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

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

(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, 1^st 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", 2^nd 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.