Вопрос стоит курица или яйцо😉
Но если по твоему, то протокурица породило яйцо, из которого вылупилась курица, которая породила куриное яйцо. Принципиальной разницы между двумя этими яйцами мы боюсь не заметим🤷♂
Нет, в формальной логике куриным мы можем назвать только то которое снесено курицей и из которого вылупится курица, так?
И курицей мы можем назвать птицу которая вылупилась из куриного яйца и сносит куриные яйца?
Проблема строго формальной логики, что в ней нет изменения её членов, они сразу конкретно заданы, и это изменение привносится диалектической. Диалектика - как язык более высокого порядка в программировании(неточно но немного похоже), каждый отдельный шаг диалектики - формальнологичен(точнее - может быть описан и понят формальной логикой), но длительность этого шага стремится к нулю, а их количество к бесконечности - и диалектичной становится сумма этих шагов - это как в интегрировании.
Вот тут пример как Аристотель вывел формулу площади круга. Очень похоже на мой взгляд.
https://m.youtube.com/watch?v=z5-EEkgnvAY