В статье рассматриваются три момента в учениях античности о Небе: 1) метафизические принципы (трактовка движений, приоритет круговому движению, понимание времени); 2) теоретико-астрономические концепции Платона, Эвдокса и Аристотеля; 3) механические модели движений небесных тел, построенные в античности, прежде всего т.н. «сфера Архимеда»или антикитерский механизм.

The article considers three forms of discоurs in the teaching of Antiquity of the Sky: 1) the metaphysical principles (the interpretation of kinesis, the priority of the kinesis on the circle, interpretation of the time), 2) the theoretical-astronomical conceptions of Plato, Eudoxus of Cnidus and Aristotles,3) the mechanic models of kinesis of celestial bodies, built in Antiquity: the sphere of Archimede, the antikipheral Mechanism.

Работа представляет собой обзор некоторых проблем современной эпистемологии в контексте идей и затруднений эпистемической логики. В первой части статьи мы фокусируемся на общетеоретических соображениях и исторических моментах, без которых парадокс Фитча выглядел бы слишком маргинально, как частный казус в рамках одного из бесчисленных направлений современной логики. Во второй части будут рассмотрены некоторые технические подробности, ответственные за возникновение этого парадокса, однако, указывающие на трудности более общего характера. В частности, будет рассмотрена проблематичность таких формальных конструкций как а) предложения-в-себе «р» (в смысле Больцано), фигурирующие в парадоксе в таких высказываниях как р & не-Кр, б) многогранная проблематичность импликации p → ◊Кp, в) неразработанность логики незнания, где незнание представляется самостоятельным оператором Ig(), а не формальным отрицанием оператора знания К().

В статье рассматриваются некоторые вопросы, связанные с границей применимости формализмов в логике. Если принять во внимание прагматический и коммуникативный аспекты логики, то неопределенность в вопросе установления этой границы лишь усиливается, что и показано на примере проблем, возникающих с использованием modus ponens'а.

The limits of the formal approach in logic are studied. Particularly, we consider the application of modus ponens in communicative situations.