истинность

  • 81Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …

    Википедия

  • 82Аргумент (логика) — У этого термина существуют и другие значения, см. Аргумент. Аргумент (довод)  логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения тезиса. Чтобы тезис можно… …

    Википедия

  • 83Доказательство (логика) — У этого термина существуют и другие значения, см. Доказательство. Доказательство это логическая операция обоснования истинности утверждения с помощью фактов и других истинных связанных с ним суждений. Познание отдельных фактов, предметов, их… …

    Википедия

  • 84Парадокс импликации — Парадоксы импликации  это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений  обоснование одних утверждений ссылкой на другие. Содержание 1 Смысл импликации …

    Википедия

  • 85эрлангенская школа —         ЭРЛАНГЕНСКАЯ ШКОЛА была основана математиком и философом Паулем Лоренценом, который начинал как специалист в области оснований математики, а после приглашения в 1946 возглавить кафедру философии в Эрлангенском университете предпринял… …

    Энциклопедия эпистемологии и философии науки

  • 86ВЕЙЛЬ Герман (1885-1955) — математик и философ, член Национальной Академии Наук США, лауреат Международной премии имени Лобачевского (1927). Образование получил в Геттингенском Университете (1908). Профессор математики Политехнического Института в Цюрихе (Швейцария, 1913… …

    История Философии: Энциклопедия

  • 87НАУЧНАЯ ГИПОТЕЗА — непротиворечивое эмпирическое или теоретическое утверждение, решение об истинности которого научным сообществом еще не принято. Самым простым способом удостоверяется истинность эмпирических гипотез, имеющих форму единичных высказываний о наличии… …

    Философия науки: Словарь основных терминов

  • 88Сура 3. Семейство Имрана — 1. Алиф, лам, мим. 2. Аллах нет божества, кроме него, вечно живой, вечно сущий. 3. Он ниспослал тебе [, Мухаммад,] Писание [Коран] истинное подтверждение того, что было [ниспослано] до него, а прежде ниспослал Он Тору и Евангелие, 4. Раньше как… …

    Коран. Перевод М. Н. Османова

  • 89аргумент — (лат. argumentum) суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к. л. другого суждения (или теории). При доказательстве некоторого суждения А. являются основаниями, или посылками, из которых… …

    Словарь терминов логики

  • 90доказательство — рассуждение, устанавливающее истинность к. л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …

    Словарь терминов логики