Несуперечлива мова - це
ІОАНН ДУНС СКОТ - [лат. Ioannes (Johannes), Duns Scotus] († 8.11.1308, Кельн), середньовіччя. філософ та богослов, католич. священик, член чернечого ордена францисканців; у католич. Церкви прославлений у лику блаженних (пам. зап. 8 лист.). Життя. Іоанн Дунс Скот. 1473… … Православна енциклопедія
інтуїціонізм — напрямок в обґрунтуванні математики та логіки, згідно з яким кінцевим критерієм прийнятності методів та результатів цих наук є наочно змістовна інтуїція. Уся математика має спиратися, згідно І., на інтуїтивне уявлення… Словник термінів логіки
ВІТГЕНШТЕЙН — (Wittgenstein) Людвіг (1889 1951) австрійсько британський філософ, професор Кембриджського університету (1939 1947), мандрівник і подвижник. Засновник двох етапів становлення аналітичної філософії у 20 ст. логічного (разом з Расселом) і ... Історія Філософії: Енциклопедія
ВІТГЕНШТЕЙН - (Wittgenstein) Людвіг (1889-1951) австрійський філософ, професор Кембриджського університету (1939-1947). Засновник двох етапів становлення аналітичної філософії у 20 ст. логічного (разом з Расселом) та лінгвістичного. Автор ряду… … Найновіший філософський словник
ІНТУІЦІОНІЗМ — (від пізньолат. intuitio, від лат. intueor уважно дивлюся) напрям в обґрунтуванні математики та логіки, згідно з яким кінцевим критерієм прийнятності методів та результатів цих наук є наочно змістовна інтуїція. Вся математика … Філософська енциклопедія
ВІТГЕНШТЕЙН Людвіг (1889-1951) - австрійсько британський філософ, професор Кембриджського університету (1939-1947), мандрівник і подвижник. Засновник двох етапів становлення аналітичної філософії у 20 ст. логічного (разом з Расселом) та лінгвістичного.Автор терміна… … Історія Філософії: Енциклопедія
ГУДМЕН - (Goodman) Нелсон (р. 7.8.1906, Соммервілл, шт. Массачусетс), амер. філософ та логік. Представник аналітичної філософії. У своїх філос. дослідженнях Р. прагне обґрунтувати логічно несуперечливий базис «єдиної системи опису… … Філософська енциклопедія
ВИЗНАЧНІСТЬ - одне з осн. понять методології дедуктивних наук, пов'язане з особливостями та можливостями мовних засобів опису та формалізації, а також з аксіоматич. побудовою теорій. Розрізняють О. синтаксичну та семантичну (див. Синтаксис і … … Філософська енциклопедія
ФОРМАЛЬНИЙ - (лат. formalis, від forma). Зроблений із дотриманням усіх формальностей, за встановленим порядком; виконаний тільки для виду, заради форми. Словник іноземних слів, що увійшли до складу української мови. Чудінов О.М., 1910. Формальний лат. formalis,… … Словник іноземних слів української мови
логічний — Див … Словник синонімів
несумісний - несумісний, суперечливий, несупадний, невідповідний, непоєднуються; різноспрямований, непоєднувальний, взаємовиключний. Ant. сумісний, спільний, несуперечливий, співпадаючий, відповідний Словник українських… Словник синонімів