المنهج العلمي الواقعي | علي آل شُبَّر

كتاب "في الأمور الطبيعية" لجاكوبو زاباريلا، يعد موسوعة تحقيقية في الطبيعيات المشائية، حيث كان غرض زاباريلا أن يعطي كتابًا للطلاب يشتمل على جلّ الطبيعيات وأهم المسائل الخلافية بين المشائين بنفَس تحقيقي رصين، والموسوعة تشتمل على ثلاثين كتابًا: الكتاب الأول: في تأسيس العلم الطبيعي. الكتاب الثاني: في المادة الأولى: المقالة الأولى. الكتاب الثالث: في المادة الأولى: المقالة الثانية. الكتاب الرابع: في الطبيعة. الكتاب الخامس: في استكشاف الحركة الأزلية. الكتاب السادس: في طبيعة السماء. الكتاب السابع: في حركة النار المستديرة. الكتاب الثامن: في حركة الثقيل والخفيف: المقالة الأولى. الكتاب التاسع: في حركة الثقيل والخفيف: المقالة الثانية. الكتاب العاشر: في قوام المشخَّص (أو: في مبدأ التشخُّص).. الكتاب الحادي عشر: في الكون والفساد العام للأشياء. الكتاب الثاني عشر: في الفعل والانفعال المتبادل. الكتاب الثالث عشر: في المركبات. الكتاب الرابع عشر: في الكيفيات العنصرية: المقالة الأولى. الكتاب الخامس عشر: في الكيفيات العنصرية: المقالة الثانية. الكتاب السادس عشر: في طبقات الجو (أو: في طبقات الهواء). الكتاب السابع عشر: في الحرارة السماوية. الكتاب الثامن عشر: في كون وفساد الجسم المركَّب: المقالة الأولى. الكتاب التاسع عشر: في كون وفساد الجسم المركَّب: المقالة الثانية. الكتاب العشرون: في كون وفساد الجسم المركَّب: المقالة الثالثة. الكتاب الواحد والعشرون: في قوى النفس. الكتاب الثاني والعشرون: في أجزاء النفس. الكتاب الثالث والعشرون: في النمو والاغتذاء. الكتاب الرابع والعشرون: في الحاسة الفاعلة. الكتاب الخامس والعشرون: في البصر: المقالة الأولى. الكتاب السادس والعشرون: في البصر: المقالة الثانية. الكتاب السابع والعشرون: في العقل الإنساني. الكتاب الثامن والعشرون: في الصور المعقولة. الكتاب التاسع والعشرون: في العقل الفعّال. الكتاب الثلاثون: في ترتيب التعقُّل (أو: في نظام التعقُّل). وقد حاولت ترجمة الكتاب من اللاتينية إلى العربية بواسطة الذكاء الاصطناعي، إلا أن الترجمة كانت رديئة جدًا لا تصلح للنشر، فعاودت محاولة الترجمة لكن من اللاتينية إلى الإنجليزية، فكانت الترجمة –بعد المراجعة والتنقيح– جيّدة جدًا تصلح للنشر، وقريبًا سأنشر ترجمة الكتاب كاملًا، والله الموفِّق.

[There is no philosophical point to set-theoritic constructions] All or almost all mathematical concepts can be so constructed, and there is some mathematical point to the exercise, mainly to demonstrate the consistency of the concepts (or more exactly, the consistency of the concepts relative to the consistency of set theory). But there is no philosophical point to them. The Aristotelian is not impressed by the construction of a relation as a set of ordered pairs, for example. To see that as an analysis of relations would make the same mistake as identifying a property with its extension. The set of blue things is not the property blue, nor is it in any sense an ‘analysis’ of the concept blue. It is the property blue that pre-exists and unifies the set (and supports the counterfactual that if anything else were blue, it would be a member of the set). Similarly the ordered pair (3,4) is a member of the extension of the relation ‘less than’ because 3 is less than 4, not vice versa. An Aristotelian Realist Philosophy of Mathematics | James Franklin

مهم... وينطبق من وجه على الصورانية أيضًا لا مجرد الأفلاطونية...

[what it is that would make the construction an adequate explanation] There exists an elaborate classical construction of ‘the continuum’ as a set of equivalence classes of Cauchy sequences of rational numbers, with Cauchy sequences and rational numbers themselves constructed in complex ways out of sets. What is it that makes that particular set an analysis of the original notion of the continuum? The Aristotelian has an answer to that question: namely that the notion of closeness definable between two equivalence classes of Cauchy sequences reflects the notion of closeness between points in the original continuum. ... The statement that closeness is the same in both cases is not subject to mathematical proof, because the original continuum is not a formalized entity. ... The Platonist, however, does not have any answer to the question of why that construction models the continuum; the Platonist will avoid mention of real space as far as possible and simply rely on the tradition of mathematicians to call the set-theoretical construction ‘the continuum’. The Platonist prefers not to look at the actual history and notice that Cantor constructed something with exactly the properties assigned by Aristotle to the continuum. An Aristotelian Realist Philosophy of Mathematics | James Franklin

هذا مهم جدًا؛ فإنه يكشف عن أميّة المجتمع الرياضي والمجتمع الفلسفي في الرياضيات على المستوى التاريخي والأكاديمي معًا بلحاظ الواقعية والتفكير الواقعي. الحدسية، الصورانية، المنطقية، الأفلاطونية: هذه في الحقيقة ليست إلا أفكار طفولية ابتدائية عند العقول الضعيفة فلسفيًّا وليس يخلو الواحد منها من شائبة سوفسطائية. ومع ذلك فإنني أدرك منذ البداية وقبل قرائتي لهذا الكتاب (إذ أنا حديث عهد به) أن لكل مدرسة من هذه المدارس إيجابيات كثيرة، ولكن لا شيء من تلك الإيجابيات بمتعارض مع الفلسفة الواقعية الصحيحة للرياضيات. ومع الأسف فإن الخصوم الذين لم يعجبهم كلامي السابق، عندما صرحت بسوفسطائية أكثر مدارسهم المشهورة وبضعف أعاظم الرياضيين على المستوى العقلي والفلسفي... ظنوا (غلطًا منهم – سامحهم الله –) أنني ضد تلك المدارس من جميع الوجوه لدرجة رد الحق الذي فيها. والحق أنني مدرك لعظيم الخير الذي جاء من قبلهم، والذي أدى إليه من تطور، ولكنهم قوم يأخذون ما بالعرض مكان ما بالذات، وهم في الحقيقة من الذين فسرت حالهم وبينت واقعهم في منشور كتبته بالأمس. وسيكشف الزمان عن أمور كثيرة في قابل الأيام...

[The Invisibility of Aristotelian Realism in the Philosophy of Mathematics] ... Aristotelian realism has been all but invisible in the philosophy of mathematics in the twentieth century and since. It did not make any appearance in the debate early in the century between the schools of logicism, intuitionism and formalism. (Of these, logicism and intuitionism deny that mathematics has an object, while formalism is in one way nominalist as reducing mathematics to language, but could also be regarded as a form of Platonism, with the Platonic entities being uninterpreted ‘symbols’ – one was not supposed to ask about whether one needed some kind of optical character recognition to discern when two marks were instances of the same ‘symbol’.) And Aristotelian realism does not appear in the usually reliable Routledge Encyclopedia of Philosophy (even under ‘Realism in mathematics: anti-Platonist realism’), nor in the recent wide-ranging Oxford Handbook of Philosophy of Mathematics and Logic (even in the briefly mentioned anti-nominalist ‘moderate realism’ of Burgess and Rosen), and is barely mentioned in the Stanford Encyclopedia of Philosophy’s article ‘Naturalism in the philosophy of mathematics’. The extensive classification of realist philosophies of mathematics in Balaguer’s Platonism and Anti-Platonism in Mathematics instances only Mill under (non-mentalistic) ‘realistic anti-Platonism’. The North Holland Handbook of the Philosophy of Science volume Philosophy of Mathematics does have a chapter entitled ‘Aristotelian realism’, but it is a forerunner of the present work. As we will see in the last section below, there has in fact been some Aristotelian work, but plainly its impact has been minimal. An Aristotelian Realist Philosophy of Mathematics | James Franklin

The fact that ‘being an ω-sequence’ is purely structural, and that the numbers taken as a whole instantiate this structure, does not imply that individual numbers are purely structural. Numbers are places or ‘offices’ in structures but not merely places in structures. The real relations between heaps and unit-making properties – the true numbers – taken as a whole system, form an ω-sequence, but still retain their own characters. Other entities, such as sets formed out of the empty set, can also form an ω-sequence, without anyone needing to mistake them for numbers. That would be like mistaking the commuters in the queue for the 8.21 bus to the City for those in the queue for the 8.46, simply because both are queues. An Aristotelian Realist Philosophy of Mathematics | James Franklin

For the continuum seems to contain all there is to ratios: the system of all ratios, with their mutual relations of closeness to one another, just is the continuum. Constructing it in set theory does show its purely structural nature, but at the cost of a great deal of unintuitive machinery. Granted however that the continuum is purely structural, it might seem to follow that ratios (and hence quantity in general) are purely structural. Identifying the flaw in this argument casts light on a number of problems of the relationship between structural and non-structural properties, and hence on many issues concerning the applicability of mathematics to reality. It is true that the continuum is a purely structural entity. It does not follow that the individual ratios themselves are purely structural. The continuum is a structure which the system of ratios shares with several other quite different entities, for example, an infinite line in real space (if real space is infinite and infinitely divisible), and the set of infinite decimals (with distance defined by the difference). It does not follow that either individual spatial points or individual infinite decimals are purely structural. Only the system of all the entities of each kind instantiates the (same) structure, the continuum. An Aristotelian Realist Philosophy of Mathematics | James Franklin

It was explained in the previous chapter that the ontological commitments of set theory and of mereology (with individuals) were the same, as sets supervene on objects and the existence of unit-making properties for them, which are the same entities needed for a ‘calculus of individuals’. ... It follows that to demonstrate that a concept is purely structural, it is sufficient to construct a model of it out of sets – the capacities of set theory and pure mereology for construction are identical. That is indeed the main philosophical point of the construction of mathematical entities in set theory. While construction in set theory is normally taken to support Platonism, by reducing the objects of mathematics to sets considered as Platonic entities, it can equally be read as mereology and structure in disguise. An Aristotelian Realist Philosophy of Mathematics | James Franklin

Since equality and inequality of objects are engendered by the repeated instantiation of a unit-making universal, this confirms the lesson of the previous chapter, the crucial role of unit-making universals in generating numbers and sets. Equality is admitted into the logic for the same reason as that the mereology being used is the ‘calculus of individuals’: there must be objects constituted as units. An Aristotelian Realist Philosophy of Mathematics | James Franklin

Modern pure mathematics has concentrated more and more on pure structure. Poincaré recognized the new direction of mathematics in his celebrated comment:

Mathematicians do not study objects, but the relations between objects; to them it is a matter of indifference if these objects are replaced by others, provided that the relations do not change. Matter does not engage their attention, they are interested in form alone.

That comment is not especially true of mathematics conceived as the science of quantity, but it is true of the higher mathematics of 1900 and since. An Aristotelian Realist Philosophy of Mathematics | James Franklin

[تفسير الحال والواقع] قد يظن بعض القاصرين عن النضج العلمي أن المدارس المخالفة لما يميلون إليه لا صدق فيها، وإنما هي عبارة عن مدارس الكذب المحض. وفي الحقيقة هذا يكاد أن لا يكون في المجتمع العلمي، حتى في العلوم الأسوء حالًا بلحاظ الفلسفة، مثل الرياضيات، فإن جميع المدارس الرياضية الفلسفية المشهورة والمتداولة فيها حق مخلوط بالباطل. وقد تتميَّز بعض المدارس بحق تتفرد به، ولكن هذا الحق المتفرد به ممزوج بأمر باطل متفرد به أيضًا. وهذا قد يستلزم مشكلة من جهتين: الجهة الأولى: أن الذي يُدرك تميُّز هذه المدرسة بذلك الحق، فيميل إليها بسبب الحق الموجود فيها خصوصًا دون سائر المدارس، قد يأخذ حقّه هذا ممزوجًا بالباطل معتقدًا المخلوط. وأزيَد من ذلك فإنه قد يأخذ ما بالعرض مكان ما بالذات، فيظن أن الذي هو سبب التميز العلمي لمدرسه ليس مجرد الحق بل بمدخلية ذلك الباطل وامتزاجه به. الجهة الثانية: أن الذي يدرك تميُّز هذه المدرسة بذلك الباطل، قد ينفر عنها نفورًا كليًّا، فلا يطالعها أصلًا، فيغيب عنه ذلك الحق الذي تفردت به هذه المدرسة. فإذا كان الأمر بهذه الصورة ليت شعري ماذا نفعل حتى نتلبس بالحق ونتجرد عن الباطل؟! الجواب: إن الإنسان بمفرده قد لا يحصّل الحق المطلق في جميع المبادئ والمسائل، ولكنه بمعاونة الآخرين قد يقترب من ذلك أو يحصّله. بعبارة أخرى: ذلك بالاستعانة بالحليف والخصم معًا، وإن تعصّب الحليف، وإن أبى الخصم، حتى يرتقي فوق الحليف والخصم. بعبارة صريحة: بقراءة كتب جميع المدارس المعتبرة عند علماء التخصص، فيعرف الباطل في كل مدرسة ويعرف الحق في كل مدرسة، فيترك الباطل ويجمع الحق.

[ترجمة مختصرة لمؤلف الكتاب] جيمس فرانكلن عالم رياضيات أسترالي حصل على الدكتوراه في الرياضيات من جامعة وارويك [Warwick] (عام 1981 م) في الـ(Algebraic Groups). ثـم تعين أستاذًا في قسم الإحصاء والرياضيات في جامعة (New South Wales) من عام 1982 حتى تقاعد عام 2019. أسس مدرسة سيدني في فلسفة الرياضيات، وهو فيلسوف واقعي (إن شئت أرسطي أو مشائي)، قد جمع التخصص في الرياضيات (دكتوراه في الرياضيات المحضة) مع الفلسفة. ألّف كتبًا كثيرة منها: — The Science of Conjecture: Evidence and Probability Before Pascal. — Corrupting the Youth: A History of Philosophy in Australia. — What Science Knows — An Aristotelian Realist Philosophy of Mathematics. — The Worth of Persons: The Foundation of Ethics. — The Necessities Underlying Reality.

[توصية بكتاب في فلسفة الرياضيات] عنوان الكتاب: 'فلسفة واقعية أرسطية للرياضيات' المؤلف: جيْمس فرانكلن قلت: هذا كتاب في فلسفة الرياضيات مبني على المنهج العلمي الواقعي، وبالتحديد [وبحسب تعبير المؤلف] مبني على الفلسفة الأرسطية الشبيهة بالأفلاطونية. والكتاب أحسبه يفيد جملة كبيرة من القراء، ومنهم: — من بدأ مسيرته الرياضية [البرهانية لا الأداتية الحسابية العملية] بالرياضيات القديمة ولم يعرف فلسفتها الواقعية. — من بدأ مسيرته الرياضية بالرياضيات القديمة وعرف فلسفتها الواقعية، ولكنه لم يبدأ بعد بالرياضيات الحديثة، أو بدأها ولم يعرف فلسفتها. — من هو رياضي بالتخصص الجامعي بغض النظر عن درجته العلمية (بكلريوس، ماجستير، دكتوراه). وذلك لأن الرياضي غالبًا لا يدرس فلسفة الرياضيات بنحو علمي جاد، وإن اتفق أن طالعها أو درسها فإنه غالبًا يدرس الفلسفة المثالية الأفلاطونية، أو الفلسفة الإسمية [التي منها المذاهب الصورانية المختلفة والمذاهب المنطقية]. — وبالجملة: كل من هو في منزلة بيرتراند راسل في التعقل، وهؤلاء يمثلون مجموعة كبيرة من المجتمع الرياضي. إذ قال بيرتراند راسل: "الرياضيات قد تعرَّف بأنها الموضوع الذي لا نعرف أبدًا عن ماذا نتكلم عنه، ولا عن صحة كلامنا" فكل من وجد كلام بيرتراند راسل منطبقًا عليه فإنه يستفيد من هذا الكتاب بكل تأكيد. ____ ملاحظة: إن انتهيت من انتخاب ونشر النصوص التي تستحق النشر من هذا الكتاب، سأكتب مراجعة عامة مع نشر بعض التعليقات في القناة. ثـم وقد يكون من المتعارف، ولكنني أنبه على أن نشر النصوص لا يستلزم بالضرورة الاعتقاد بمضمونها.

The relation between discrete and continuous quantity may be clarified by asking: is ‘being one kilogram mass’ a unit-making property in the sense of the previous sections on discrete quantity? The answer is: yes and no. On the one hand, a unit such as one kilogram is subject to repetition, so in that sense resembles a discrete entity such as an apple. On the other hand, ‘being one kilogram’ contrasts with ‘being an apple’ in being subject to continuous variation: being 1 kilogram is an arbitrary point in a range of indefinitely close weights, but there is no quantity of apples between one and two apples. (Although I may eat one and a half apples, the half is a quantity of apple-stuff which is half that of a typical apple either by weight or volume.) An Aristotelian Realist Philosophy of Mathematics | James Franklin

So, a set refers to the division of a heap into objects in abstraction from which unit-making properties are doing the dividing. Thus the view that numbers are properties of sets is somewhat more abstract than the claim that they are relations between a heap and a unit-making property, but compatible with it. An Aristotelian Realist Philosophy of Mathematics | James Franklin

Philosophers sometimes speak as if sets were only discovered in the nineteenth century in connection with esoteric questions in the foundations of real analysis.An explicit set theory was only needed at that stage, but there is plenty of reference to sets in earlier mathematics. An Aristotelian Realist Philosophy of Mathematics | James Franklin