истинность
81Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …
82Аргумент (логика) — У этого термина существуют и другие значения, см. Аргумент. Аргумент (довод)  логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения тезиса. Чтобы тезис можно… …
83Доказательство (логика) — У этого термина существуют и другие значения, см. Доказательство. Доказательство это логическая операция обоснования истинности утверждения с помощью фактов и других истинных связанных с ним суждений. Познание отдельных фактов, предметов, их… …
84Парадокс импликации — Парадоксы импликации  это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений  обоснование одних утверждений ссылкой на другие. Содержание 1 Смысл импликации …
85эрлангенская школа — ЭРЛАНГЕНСКАЯ ШКОЛА была основана математиком и философом Паулем Лоренценом, который начинал как специалист в области оснований математики, а после приглашения в 1946 возглавить кафедру философии в Эрлангенском университете предпринял… …
86ВЕЙЛЬ Герман (1885-1955) — математик и философ, член Национальной Академии Наук США, лауреат Международной премии имени Лобачевского (1927). Образование получил в Геттингенском Университете (1908). Профессор математики Политехнического Института в Цюрихе (Швейцария, 1913… …
87НАУЧНАЯ ГИПОТЕЗА — непротиворечивое эмпирическое или теоретическое утверждение, решение об истинности которого научным сообществом еще не принято. Самым простым способом удостоверяется истинность эмпирических гипотез, имеющих форму единичных высказываний о наличии… …
88Сура 3. Семейство Имрана — 1. Алиф, лам, мим. 2. Аллах нет божества, кроме него, вечно живой, вечно сущий. 3. Он ниспослал тебе [, Мухаммад,] Писание [Коран] истинное подтверждение того, что было [ниспослано] до него, а прежде ниспослал Он Тору и Евангелие, 4. Раньше как… …
89аргумент — (лат. argumentum) суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к. л. другого суждения (или теории). При доказательстве некоторого суждения А. являются основаниями, или посылками, из которых… …
90доказательство — рассуждение, устанавливающее истинность к. л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …
