Философский словарь - поиск
ключевые слова (используйте * для поиска по части слова)

Исчисление Высказывания (пропозициональное Исчисление)

— логическая система, формализующая рассуждения, основанные на структуре сложных высказываний в отвлечении от внутренней структуры элементарных высказываний. Классическое И. в. непротиворечиво (Непротиворечивость аксиоматической теории), обладает полнотой (Полнота аксиоматической теории). О неклассическом И. в. см. Конструктивная логика. Многозначная логика.
Найти все значения выражения Исчисление Высказывания (пропозициональное Исчисление):
Если Вы искали другое значение слова/фразы Исчисление Высказывания (пропозициональное Исчисление), воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Исчисление Высказывания (пропозициональное Исчисление) ищут определения этих слов:
Кванторы — — операции математической логики, применяемые к логическим выражениям и дающие характеристику области предметов (или области предикатов), к к-рой относится данное логическое выражение. Наиболее употребительны К. общности и К. существования.
Каутский Карл (1854—1938) — — нем. историк, экономист, философ и публицист, один из лидеров и теоретиков II Интернационала. Философские взгляды К. претерпели сложную эволюцию. Во 2-й половине 70-х и начале 80-х гг. находился под влиянием эволюционистских воззрений Дарвина и...
Исчисление Предикатов — — расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. И. п. было построено Фреге и является существенным обогащением Аристотелевой и традиционной силлогистики.
Кантемир Дмитрий (1673—1723) — — молдавский писатель, философ, историк и востоковед, господарь Молдавии. В 1711 эмигрировал в Россию, где стал политическим советником Петра 1. Член Берлинской академии (1714). Отразил в своих работах переход философского мышления от средневековья...
Кампанелла Томмазо (1568—1639) — — итал. философ, один из представителей раннего утопического коммунизма. К. разделял натурфилософские взгляды Телезио. выступал против схоластики, развивал передовые для того времени идеи сенсуализма и деизма (к-рые, однако, сочетались у него с...
Кавелин Константин Дмитриевич (1818—85) — — рус. философ-идеалист. историк и политический деятель. В молодости западник. В 50-х гг. стал либералом, что привело к разрыву с ним “Современника” и Герцена. К философии обращается в 60-х гг. для обоснования политических и этических взглядов. В...
Кабанис Пьер Жан Жорж (1757— 1808) — — фр. философ-материалист, просветитель, врач. Принадлежал к школе фр. материализма, примкнувшей к физике Декарта, в противоположность его метафизике. К. считал, что сознание зависит гл. обр. от физиологических функции человека, от деятельности его...
Категории — (греч. kategoria — высказывание, свидетельство) — формы осознания в понятиях всеобщих способов отношения человека к миру, отражающие наиболее общие и существенные свойства, законы природы, об-ва и мышления. Истоки учения о К. уходят в далекое...
Исчисление Предикатов — — расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. И. п. было построено Фреге и является существенным обогащением Аристотелевой и традиционной силлогистики.
Кавелин Константин Дмитриевич (1818—85) — — рус. философ-идеалист. историк и политический деятель. В молодости западник. В 50-х гг. стал либералом, что привело к разрыву с ним “Современника” и Герцена. К философии обращается в 60-х гг. для обоснования политических и этических взглядов. В...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
Ссылка для форума (bb-код):
Код нашей кнопки:
Прямая ссылка (можно отправить по аське):
Словари
© 2000 — 2008 MirSlovarei.com: Мир словарей — Коллекция словарей и энциклопедий.
На главную - Размещение рекламы - Контакты