Поиск

Курт Гедель и его онтологическое доказательство

... Cambridge, Massachusetts: The MIT Press. Пушкарский Гёдель, онтологическое доказательство, модальная логика, математическое доказательство 153-172 Goedel, ontological argument, modal logic, mathematical proof Kurt Goedel is mostly known to mathematicians and physicists by his renowned incompleteness theorems. Physicists also know him well by his relativistic model of rotating universe. Goedel's contribution to the development ...

Деонтические модальности аргументации в научном творчестве

... Galileo, invention of ideas of absolute space and absolute time by Newton, H. Weyl’s conception of the calibration transformations space. In all examples of discoveries we find a type of argumentation which consist in that the invented ideas do not have ontological status which is constituted by subject of cognition like either due, or permissible, or forbidden.