Аксиоматическое определение
определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе «Понятие истины в формализованных языках» (1935). Тарский исходит из классического представления об истине, согласно которому термин «истинно» выражает свойство нашего знания, в частности свойство высказываний, а не объективной действительности. Высказывание считается истинным тогда и только тогда, когда оно утверждает, что дела обстоят так-то и так-то, и дела действительно обстоят именно так.
силу отсутствия в этих теориях необходимых для формулировки семантической антиномии понятий....
Истинно или ложно это суждение?...
В ее основе лежит понятие «гетерологический предикат»....
В случае, если несемантические понятия определены не всюду, а семантические всюду, исследователи различают...
В случае, если несемантические понятия всюду определены, а семантические – частичны (определены не всюду
The correlation of the semantic notion of truth with different philosophical conceptions is considered (especially with the coherent and correspondent one). The role of Tarski.s scheme is displayed as well as the possibility and the ways of its explication.
не быть ни истинными, ни ложными;
Р....
Войшвилло состоит в особой трактовке понятий «логическое следование» и «семантическая информация высказывания...
Аккерман не уточнил само понятие логического содержания....
Войшвилло предложил, как трактовать логическое содержание на основе семантического понятия информации...
Войшвилло можно указать ясную содержательную интерпретацию используемых семантических понятий и относительную
The types of non-standard semantics with partially-defined predicates are described. The main point of consideration is stipulation of adequateness conditions for concepts of truth introduced in these semantics. Corresponding reconstruction of well-known Tarski’s scheme are elaborated, and the place and role of the scheme in these semantics are clarified.
определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
[лат. argumentum – логический довод, основание доказательства] – суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность какого-либо другого суждения (или теории).
логический союз, выражаемый грамматическим союзом "или" а также другими эквивалентными ему выражениями (обозначается символом - \/).
Возможность создать свои термины в разработке
Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️
Включи камеру на своем телефоне и наведи на Qr-код.
Кампус Хаб бот откроется на устройстве