Семантичний формалізм - це
Універсальний українсько-англійський словник. Академік.ру. 2011 .
Дивитись що таке "семантичний формалізм" в інших словниках:
Універсальна граматика - Генеративна лінгвістика … Вікіпедія
Стереометрична семантика — трактування логіки як науки про отримання справжніх наслідків із справжніх посилок дедалі більше поступається місцем ширшої концепції,пов'язаної або з узагальненням поняття слідування, заснованого на традиційній істиннісній оцінці і на практичних ... ... Проективний філософський словник
Теорія «Сенс ⇔ Текст» — Теорія «Сенс ⇔ Текст» теорія мови, створена І. А. Мельчуком і представляє її як багаторівневу модель перетворень сенсу в текст і назад (модель «Сенс ⇔ Текст»); відмінною особливістю цієї теорії є також ... Вікіпедія
Метатеорія — (від Мета. ) теорія, що аналізує структуру, методи та властивості якоїсь іншої теорії т.з. предметної теорії, чи об'єктної. Термін "М." осмислено використовується лише стосовно певної конкретної предметної теорії; так, М. … … Велика радянська енциклопедія
КОГЕН — (Cohen) Герман (1842-1918) німецький філософ, засновник і найвизначніший представник марбурзької школи неокантіанства. Основні роботи: 'Теорія досвіду Канта' (1885), 'Обґрунтування Кантом етики' (1877), 'Обґрунтування Кантом естетики' (1889), 'Логіка... Історія Філософії: Енциклопедія
КВАНТОВА ЛОГІКА - КВАНТОВА ЛОГІКА розділ логіки, що вивчає застосування логічних методів у квантовій механіці. Розрізняють логіку квантової механіки та квантову (ортомодулярну) логіку. Перша вивчає міркування у квантовій механіці, друга є… … Філософська енциклопедія
ЛОГІКА ФОРМАЛЬНА — наука,вивчає мислення з т. зр. його можливості бути оформленим у мові. Найбільш поширеним для пропедевтичного варіанта Л. ф. залишається визначення її як науки про форми та закони правильного мислення. Проте саме мовна... Сучасний філософський словник
КІБЕРНЕТИКА — (давньогрец. kybernetike (techne) 'мистецтво управління') галузь знання, суть якого була сформульована Вінером як наука 'про зв'язок, управління і контроль в машинах і живих організмах. ' у книзі 'Кібернетика, або Управління та зв'язок у тварині … Історія Філософії: Енциклопедія
МЕТАТЕОРІЯ — (від грец. meta після, за, позаду) теорія, що вивчає мову, структуру та властивості деякої ін. теорії. Теорія, властивості якої досліджуються М., називається предметної, чи об'єктної, теорією. Найбільш розвинуті М. у логіці та математиці (металогіка І … Філософська енциклопедія
Семантична павутина — Не слід плутати з Семантичною мережею. Будь ласка, актуалізуйте дані У цій статті дані надані переважно за 2005-2008 роки. Семантична павутина (англ. … Вікіпедія