ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ


ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
        исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е. посредством аксиоматического метода; с помощью одних только правил (натуральное исчисление) и др. Формализация И. в. (интуиционистского, классического, минимального и др.) является адекватной, если всякая истинная во всех интерпретациях формула доказуема в данном исчислении (в этом случае говорят, что соответств. исчисление полно относительно данной семантики; см. Полнота, Семантика). Так, в известных полных формализациях классич. (двузначной) логики все тавтологии являются доказуемыми формулами.

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.


ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
раздел символич. логики, в к-ром изучаются логич. связи между высказываниями, рассматриваемыми в отвлечении от их субъектно-предикатного строения; необходимая часть исчисления предикатов. См. Логика высказываний.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
    ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — см. Логика высказываний.

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


Просмотров: 1366
Категория: Словари и энциклопедии » Философия » Философская энциклопедия





Другие новости по теме:

  • “РАССУЖДЕНИЕ, ВЫНОСЯЩЕЕ РЕШЕНИЕ ОТНОСИТЕЛЬНО СВЯЗИ МЕЖДУ РЕЛИГИЕЙ И ФИЛОСОФИЕЙ”
  • “ЭНЦИКЛОПЕДИЯ ФИЛОСОФСКИХ НАУК”
  • “ЭНЦИКЛОПЕДИЯ”
  • «ЭНЦИКЛОПЕДИЯ ФИЛОСОФСКИХ НАУК»
  • исчисление
  • ИСЧИСЛЕНИЕ
  • Исчисление
  • ИСЧИСЛЕНИЕ БЕСКОНЕЧНО МАЛЫХ ВЕЛИЧИН
  • ИСЧИСЛЕНИЕ ЗАДАЧ
  • ИСЧИСЛЕНИЕ КЛАССОВ
  • Исчисление понятий
  • ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
  • ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ
  • КЛАССОВ ИСЧИСЛЕНИЕ
  • логика высказываний
  • ЛОГИКА ВЫСКАЗЫВАНИЙ
  • логика высказываний
  • ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ
  • НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ
  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ
  • СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ
  • Считать, исчисление
  • ФИЛОСОФСКАЯ ЛОГИКА
  • философская логика
  • философская логика
  • ЭНЦИКЛОПЕДИЯ
  • ЭНЦИКЛОПЕДИЯ
  • ЭНЦИКЛОПЕДИЯ
  • Энциклопедия философских наук
  • ЭНЦИКЛОПЕДИЯ ФИЛОСОФСКИХ НАУК



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь