Основным (неопределяемым) понятием математической логики является понятие «простого высказывания».
Под высказыванием обычно понимают всякое повествовательное предложение, утверждающее что-либо о чем-либо, и при этом мы можем сказать, истинно оно или ложно в данных условиях места и времени. Логическими значениями высказываний являются «истина» и «ложь».
Приведем примеры высказываний:
1) Новгород стоит на Волхове.
2) Париж – столица Англии.
3) Карась не рыба.
4) Число 6 делится на 2 и на 3.
5) Если юноша окончил среднюю школу, то он получает аттестат зрелости.
Высказывания 1), 4), 5) истинны, а 2) и 3) – ложны.
Очевидно, предложение «Да здравствуют наши спортсмены!» не является высказыванием.
Высказывание, представляющее собой одно утверждение, принято называть простым или элементарным. Примерами элементарных высказываний могут служить высказывания 1) и 2).
Высказывания, которые получаются из элементарных с помощью грамматических связок «не», «и», «или», «если …, то …», «тогда и только тогда», принято называть сложными или составными. Так, высказывание 3) получается из простого высказывания «Карась – рыба» с помощью отрицания «не», высказывание 4) образовано из элементарных высказываний «Число 6 делится на 2», «Число 6 делится на 3», соединенных союзом «и». Высказывание 5) получается из простых высказываний «Юноша окончил среднюю школу», «Юноша получает аттестат зрелости» с помощью грамматической связки «если …,
то …». Аналогично сложные высказывания могут быть получены из простых высказываний с помощью грамматических связок «или», «тогда и только тогда».
В алгебре логики все высказывания рассматриваются только с точки зрения их логического значения, а от их житейского содержания отвлекаются. Считается, что каждое высказывание либо истинно, либо ложно и ни одно высказывание не может быть одновременно истинным и ложным.
В дальнейшем будем элементарные высказывания обозначать буквами латинского алфавита: a,b,c,…,x,y,z,…; истинное значение – буквой И или цифрой 1, а ложное значение – буквой Л или цифрой 0.
Если высказывание а истинно, то будем писать а=1 , если же ложно, то а=0 .
Логические высказывания принято подразделять на два вида: элементарные логические высказывания исоставные логические высказывания.
Составное логическое высказывание - это высказывание, образованное из других высказываний с помощью логических связок.
Логическая связка - это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если… , то», «тогда и только тогда» являются логическими связками.
Элементарные логические высказывания - это высказывания не относящиеся к составным.
Примеры: «Иванов - футболист» - элементарные логические высказывания. «Иванов - футболист и шахматист» - составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».
46. Элементы алгебры логики
Алгебра логики – это раздел математической логики, значения всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1. Алгебра логики оперирует с логическими высказываниями.
Высказывание – это любое предложение, в отношении которого имеет смысл утверждение о его истинности или ложности. При этом считается, что высказывание удовлетворяет закону исключенного третьего, то есть каждое высказывание или истинно, или ложно и не может быть одновременно и истинным и ложным.
Высказывания:
– “Сейчас идет снег” – это утверждение может быть истинным или ложным;
– “Вашингтон – столица США” – истинное утверждение;
– “Частное от деления 10 на 2 равно 3” – ложное утверждение.
В алгебре логики все высказывания обозначают буквами а, b, с ит. д. Содержание высказываний учитывается только при введении их буквенных обозначений, и в дальнейшем над ними можно производить любые действия, предусмотренные данной алгеброй. Причем если над исходными элементами алгебры выполнены некоторые разрешенные в алгебре логики операции, то результаты операций также будут элементами этой алгебры.
Простейшими операциями в алгебре логики являются операции логического сложения (иначе: операция ИЛИ (OR),операция дизъюнкции) и логического умножения (иначе: операция И (AND), операция конъюнкции). Для обозначения операции логического сложения используют символы + или V, а логического умножения – символы или Правила выполнения операций в алгебре логики определяются рядом аксиом, теорем и следствий. В частности, для алгебры логики применимы законы:
1. Сочетательный:
47. (a + b) + с = а + (b + с ),
48. (а b) с = а (b с ).
2. Переместительный:
49. (а + b) = (b + a),
50. (а b) = (b а).
3. Распределительный:
51. а (b + с) = а b + (a с),
52. (а + b) с = а с + b с.
Справедливы соотношения, в частности:
53. а + а = аа + b = b, если а ≤ b,
54. а а = аа b = а , если a ≤ b,
a + a b = aa b = b, если а ≥ b ,
а + b = а, если а ≥ b.
Наименьшим элементом алгебры логики является 0, наибольшим элементом – 1. В алгебре логики также вводится еще одна операция – отрицания (операция НЕ (NOT) , инверсия), обозначаемая чертой над элементом.
По определению
Функция в алгебре логики – выражение, содержащее элементы алгебры логики а, b, с и др., связанные операциями, определенными в этой алгебре. Примеры логических функций:
и т. д. Эти соотношения используются для синтеза логических функций и вычислительных схем.
Жизнь человека не мыслится без постоянного обмена с окружающими людьми информацией. Именно поэтому в истории существует копилка знаменитых цитат и высказываний. Человеческое слово необычайно сильно - риторы, полководцы, государственные деятели умели воодушевить речью целые народы. Далее мы поговорим о том, разберем, какое оно бывает, выясним, достижению каких целей служит, научимся выстраивать изречения, приятные всем и каждому, а также вспомним некоторые знаменитые высказывания.
Научное определение
С точки зрения науки высказывание - это основной (неопределяемый) термин из области математической логики. В более ходовом понимании высказывание представляет собой любое повествовательное предложение, которое утверждает что-либо о чем-либо. Причем с точки зрения конкретных обстоятельств и временных рамок можно с точностью заявить, является оно истинным или ложным в существующих условиях. Каждое подобное логическое высказывание можно отнести, таким образом, к одной из 2-х групп:
- Истина.
- Ложь.
К истинным высказываниям, например, принадлежат следующие:
- Если девушка окончила школу, она получает аттестат о среднем образовании.
- Лондон - столица Великобритании.
- Карась - рыба.
Ложные высказывания, например, такие:
- Собака - не животное.
- Санкт-Петербург построен на Москве-реке.
- Число 15 делится на 3 и 6.
Что не относится к высказываниям?
Необходимо сделать оговорку на то, что в области точных наук далеко не все предложения относятся к категории высказываний. Становится очевидным, что фраза, не несущая в себе ни истинности, ни ложности, из группы высказываний выпадает, например:
- Да здравствует мир во всём мире!
- Добро пожаловать в новое учебное заведение!
- Необходимо взять с собой сапоги и зонт для прогулки.
Классификация высказываний
Итак, если то, что такое высказывание, выяснено, то классификация этой категории остается всё ещё не определена. Между тем она действительно существует. Высказывания делятся на 2 две группы:
- Простое, или элементарное, высказывание - это предложение, представляющее собой одно-единственное утверждение.
- Сложное, или составное, высказывание, то есть такое, которое образовано из элементарных, благодаря использованию грамматических связок «или», «и», «ни», «не», «если… то…», «тогда и только тогда» и др. Примером может послужить истинное предложение: «Если у ребенка есть мотивация, то он хорошо занимается в школе », которое образовано из 2-х элементарных высказываний: «У ребёнка есть мотивация » и «Он хорошо занимается в школе » при помощи связующего элемента «если... то…». Аналогичным образом строятся все подобные конструкции.
Итак, с высказывание именно применительно к области точных наук, теперь всё ясно. Например, в алгебре любое высказывание рассматривается только в аспекте его логического значения, без учета какого бы то ни было житейского содержания. Здесь высказывание может быть или исключительно истинным, или исключительно ложным - третьего не дано. В этом логическое высказывание качественно отличается от о котором будет сказано далее.
В школьной математике (а также подчас и информатике) элементарные высказывания обозначаются латиницы: a, b, c, … x, y, z. Истинное значение суждения традиционно отмечается цифрой «1», а ложное значение - цифрой «0».
Важные понятия для установления истинности или ложности высказывания
К основным терминам, которые так или иначе соприкасаются с областью логических высказываний, относятся:
- "суждение" - некоторое высказывание, которое потенциально является истинным или ложным;
- "утверждение" - суждение, которое требует доказательства или опровержения;
- "рассуждение" - совокупность логичных и взаимосвязанных суждений, фактов, умозаключений и положений, которые могут быть получены благодаря другим суждениям по определенным правилам вынесения вывода;
- "индукция" - способ рассуждения от частного (более мелкого) к общему (более глобальному);
- "дедукция" - наоборот, способ рассуждения от общего к частному (именно дедуктивным методом в преимуществе своем пользовался знаменитый герой рассказов Артура Конан Дойля Шерлок Холмс, который вкупе с базой знаний, наблюдательностью и внимательностью позволял ему находить истину, облекать её в форму логических высказываний, выстраивать правильные цепочки умозаключений и в результате устанавливать личность преступника).
Что такое высказывание в психологии: "Ты"-высказывание
Наука о человеческом сознании также отводит категории высказываний огромную роль. Именно с помощью неё индивид может произвести на окружающих положительное впечатление и создать неконфликтогенный микроклимат в отношениях. Поэтому сегодня психологи стараются популяризировать тему о наличии двух видов высказывания: это «Я»-высказывания и «Ты»-высказывания. Про последний тип любому, кто хочет совершенствоваться в общении, лучше навсегда забыть!
Характерными примерами «Ты»-высказывания являются такие:
- - Ты вечно не прав!
- - Опять ты лезешь со своими рекомендациями!
- - Ты можешь не быть таким неуклюжим?
В них сразу чувствуется открытое недовольство собеседником, обвинение, создание некомфортной для человека ситуации, в которой он вынужден защищаться. В этом случае он не может услышать, понять и принять точку зрения «обвинителя» потому, что изначально поставлен в положение противника и врага.
«Я»-высказывания
Если цель высказывания - это выражение своего мнения, чувств, эмоций, то забывать про поиск подхода к собеседнику тем не менее нельзя никогда. Бросить короткое обвинение на «ты» куда легче, но на положительную реакцию от собеседника в таком случае можно не рассчитывать, ведь кокон ответной эмоциональной защиты не позволит до него достучаться. Поэтому действеннее будет всё же попробовать технику «Я»-высказываний, которая покоится на определенных принципах.
Первым делом необходимо не обвинять собеседника, а выразить собственную эмоциональную реакцию по поводу произошедшего. Хотя другое лицо не знает, о чем пойдет речь далее, интуитивно оно окажется предрасположенным к проблемам товарища и будет готово проявить участие и заботу.
Например, можно сказать:
- Мне грустно.
- Я в негодовании.
- Я растерян.
- Я готова разрыдаться.
- Я опоздала на работу, и босс сделал мне выговор.
- Я ждала тебя и не могла позвонить, так как сеть плохо ловила.
- Я просидел под дождем целый час и весь промок.
Наконец, следует привести пояснение того, почему то или иное действие вызвало определенную реакцию:
- Для меня это мероприятие было крайне важным.
- Я слишком устаю и не справляюсь с навалившимися обязанностями.
- Я приложил много стараний к этому делу и в результате ничего не получил!
На предпоследнем или заключительном (в зависимости от ситуации) этапе нужно выразить пожелание или просьбу. Человек, к которому собеседник обратится после такого подробного описания чувств, должен получить определенные рекомендации и советы для дальнейшего поведения. Примет он их к сведению или нет - его личный выбор, который продемонстрирует реальное отношение:
- Я бы хотел, чтобы ты выходила из дома раньше.
- Предлагаю договориться: мы будем заниматься бытовыми обязанностями через день.
Необязательным, но в некоторых случаях необходимым пунктом является предупреждение о своих намерениях, а именно:
- Боюсь, я больше не смогу одалживать тебе машину на выходные.
- Я буду напоминать тебе о домашнем задании, если ты будешь забывать.
Ошибки в следовании концепции «Я»-высказываний
Для выстраивания успешного диалога и предотвращения скандалов следует исключить из собственной практики общения такие ошибки:
- Вынесение обвинений. Мало использовать лишь один пункт техники, а затем пуститься в обличение и комментирование собеседника и его действий в форме: «Ты опоздала!», «Ты сломала!», «Ты разбросал вещи!». В этом случае задуманное полностью теряет смысл.
- Обобщения. От ярлыков и штампов следует избавиться как можно скорее. Речь идет про нелестные стереотипные за рулем, блондинках, мужчинах-холостяках и т. д.
- Оскорбления.
- Выражение собственных эмоций в грубой форме ("Я готова тебя убить!", "Я просто в бешенстве!").
Таким образом, «Я»-высказывания предполагают отказ от унижений и упреков для того, чтобы не превращать общение в опасное невидимое оружие.
Знаменитые высказывания философов
Завершение статьи будет связано с высказываниями, которые, в отличие от логических суждений и универсальных психологических приемов, воспринимаются каждым человеком сугубо индивидуально:
- Чего не следует делать, не делай даже в мыслях (Эпиктет).
- Выдать чужой секрет — предательство, выдать свой — глупость (Вольтер).
- Если 50 миллионов человек говорят глупость, это по-прежнему глупость (Анатоль Франс).
Помогают людям лучше понять себя и других, поддерживают в самых разных сферах жизни.
Цитата это включение автором в собственный текст элемента «чужого» высказывания. Встречается как в обиходе, так и в научном и в художественном тексте, а также - в широком смысле - в различных видах искусства, например, в кинематографическом. Обычно цитата является знаком другого произведения, представляя собой «свернутый» чужой текст или круг текстов, включающихся в смысловое поле нового произведения. Цитата может рассматриваться как родовое понятие для межтекстовых отношений, включающее в себя реминисценцию и аллюзию. Цитата имеет двойную функцию, одновременно являясь и элементом вновь создаваемого текста, и частью старого. Для того чтобы цитата могла рассматриваться как таковая, принципиально важна ее узнаваемость, эксплицированность. Г.А.Левинтон выделяет в семантике текста заимствования и цитату. Заимствованиями он называет такие включения чужеродного элемента в тексте, которые не меняют его смысла. Цитата же - необходимый элемент семантики. В отличие от реминисценции, цитата более закончена и отчетливо осознается как чужой текст, будучи обычно выделена графически, пунктуационно или синтаксически. Начало, окончание текста нередко сопровождаются цитатами (в начале они обычно выступают в качестве эпиграфа).
Цитата в художественной литературе
В художественной литературе цитата используется как для соотнесения с определенной традицией, так и для того, чтобы подчеркнуть разрыв с литературой прошлого . М.Л.Гаспаров и Е.Г.Рузина, исследуя центоны - жанр, характерный для поздней античности, представляющий собой мозаику цитат, приходят к выводу, что рассматриваемый жанр свидетельствует не об укорененности в традиции, но о «глубоком историко-культурном разрыве между материалом и его центонной обработкой» (Гаспаров). При цитировании важным становится приращение смысла: различие между смыслом, который текст имел в первоисточнике, и между тем, который получает в новом произведении. Цитируя, автор может обращаться к нескольким источникам, организуя сложный полилог. «Цитата есть цикада. Неумолкаемость ей свойственна» («Разговор о Данте», 1933), - писал О.Э.Мандельштам, у которого отсылки к мировой литературе - «упоминательной клавиатуре» - постоянны. Вторичность, невозможность собственного высказывания, идея «вечного возвращения» была предметом рефлексии поэтов-акмеистов. А.А.Ахматова писала: «Но, может быть, поэзия сама - Одна великолепная цитата» («Не повторяй - душа твоя богата…», 1956). В литературе 20 века цитатность, центонность являются приметами стиля многих. Так, роман французского писателя Жака Ривэ «Барышни из А.» (1979) состоит исключительно из цитат. Принципиальное отличие постмодернистской цитаты от классической в том, что ценностная позиция автора, проявляясь в приемах сталкивания цитат друг с другом, не соотносится ни с одной из них; это - намеренная цитатная нонселекция, где автор выступает как режиссер, организующий «чужие голоса».
Афоризм - что это? Каждый из нас слышал это слово, но не каждый может объяснить, в чем заключается его смысл. Ежедневно мы сталкиваемся с афоризмами в литературе, кинематографе и в быту; мы употребляем их в речи, даже не осознавая того. Поэтому следует разобраться в значении данного понятия.
Что такое афоризмы?
Афоризмы - это крылатые фразы, устойчивые словосочетания, сказанные кем-либо, чаще всего придуманные поэтами или писателями. Это те высказывания, которые стали популярными среди населения и часто употребляются как единое лексическое целое, без отрыва отдельных слов. Примером афоризма является выражение М. Жванецкого: "В историю трудно войти, но легко вляпаться".
Происхождение термина "афоризм"
Термин "афоризм" произошел от греческого слова, которое переводится как "определение". И действительно, это определение того или иного действия, поступка, чувства, события, облаченное в литературное высказывание.
Афоризм - это оригинальная мысль, которая характеризуется логической завершенностью. Такие выражения легко запоминаются, благодаря своей четкости и лаконичности, многократно повторяются людьми. Зачастую афоризм состоит из 3-5 слов, но встречаются и более развернутые высказывания.
Примером краткого афоризма является популярное выражение Френсиса Бэкона: "Знание - сила". Оно как нельзя точнее поясняет важность и значение знаний в жизни человечества.
Откуда берутся афоризмы
Зачастую афоризмы проникают в нашу речь из искусства: литературы, кино, театра. Большинство таких выражений имеет своего автора. Множество афоризмов было придумано писателями, поэтами, сценаристами, актерами, философами и мыслителями.
Известными мировыми "творцами" афоризмов являются средневековый философ из Тибета Сакья-пандита, писатели Шота Руставели, Хуан Мануэль Франсуа де Ларошфуко, Михаил Туровский, Бернард Шоу.
В числе этих известных людей по праву находится артистка театра и кино Фаина Раневская, чьи колкие и острые высказывания, лаконичные суждения, меткие фразы заслужили всенародную любовь и известность. Их постоянно цитируют даже те, кто совершенно не знаком с творчеством Фаины Георгиевны. Примеры афоризмов, принадлежащих этой замечательной актрисе: "Если больной очень хочет жить, врачи бессильны", "Спутник славы - одиночество", "Женщины - это не слабый пол. Слабый пол - это гнилые доски".
Не случайно говорят, что афоризмы - это мудрость народа. Многие из них произошли стихийно: кто-то произнес острую и меткую фразу, другой повторил ее, и так по цепочке, пока выражение не преобразовалось в афоризм. Примеры афоризмов, зародившихся таким образом: "Уходя, гасите свет", "Даром - за амбаром".
Примеры афоризмов в литературе
Что такое литературный афоризм? Очень часто люди путают афоризмы и цитаты. Действительно, эти два понятия очень похожи. И зачастую цитата может являться афоризмом, а афоризм - выдержкой из произведения, то есть цитатой. Следует помнить, что цитирование - это дословное повторение отрывка из литературного произведения или, например, кинофильма. То есть цитата - это фраза, которая является дословной выдержкой из текста без каких-либо изменений. Афоризм же - это лаконичная и законченная мысль, фраза, наиболее точно и метко определяющая содержание высказывания.
Широко применение афоризмов в российской и зарубежной классике. Сами по себе афоризмы являются малой формой литературного искусства. Многие из них зародились в литературных произведениях.
К примеру, название романа А. С. Грибоедова "Горе от ума" само по себе является афоризмом. А выражение "Счастливые часов не наблюдают" было впервые употреблено классиком в этом же романе. Известнейший афоризм "Мы в ответе за тех, кого приручили" родился в произведении Антуана де Сент-Экзюпери "Маленький принц".
Другой пример афоризма - фраза, которую часто употребляют в бытовом разговоре: «Жениться - это вам не в баню сходить». Она принадлежит перу Н. В. Гоголя.
А. П. Чехову принадлежит знаменитый афоризм "Краткость - сестра таланта". Именно такие лаконичные и меткие высказывания, которые как нельзя точнее описывают суть происходящего, выражают законченную мысль и переходят в разряд афоризмов.
Примеры афоризмов из басен Крылова
Богаты афоризмами ироничные басни Ивана Андреевича Крылова. В каждом его произведении спрятан не только глубокий смысл и мораль, но и множество метких высказываний, которые мы употребляем в повседневной жизни.
Примеры афоризмов из басен Крылова И. А. (наиболее известные):
- А ларчик просто открывался (басня "Ларчик"). Выражение, которое означает, что решение проблемы было гораздо проще, чем это казалось на первый взгляд.
- Рыльце у тебя в пуху (басня "Лисица и Сурок"). Этот афоризм означает, что человек совершил плохой поступок.
- А Васька слушает да ест (басня "Кот и Повар"). Данный афоризм означает, что человек слушает, но не воспринимает информацию, не делает выводов.
- Не плюй в колодец (басня "Лев и Мышь").
- Попрыгунья Стрекоза лето красное пропела.
Невозможно представить речь современного человека без афоризмов. В общении с друзьями, коллегами, родными мы очень часто, сами того не замечая, произносим известные и устойчивые словосочетания, и они делают нашу речь ярче, богаче и интереснее.
Виды высказываний
Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания.
Составное логическое высказывание - это высказывание, образованное из других высказываний с помощью логических связок.
Логическая связка - это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если… , то», «тогда и только тогда» являются логическими связками.
Элементарные логические высказывания - это высказывания не относящиеся к составным.
Примеры: «Петров - врач», «Петров - шахматист» - элементарные логические высказывания. «Петров - врач и шахматист» - составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».
Связь с математической логикой
Обычная логика двухзначна, то есть приписывает высказываниям только два возможных значения: истинно оно или ложно .
Пусть - высказывание. Если оно истинно, то пишут , если ложно, то .
Основные операции над логическими высказываниями
Отрицание логического высказывания - логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.
Конъюнкция двух логических высказываний - логическое высказывание, истинное только тогда, когда они одновременно истинны.
Дизъюнкция двух логических высказываний - логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.
Импликация двух логических высказываний A и B - логическое высказывание, ложное только тогда, когда B ложно, а A истинно.
Равносильность (эквивалентность) двух логических высказываний - логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.
Кванторное всеобщности () - логическое высказывание, истинное только тогда, когда для каждого объекта x из заданной совокупности высказывание A(x) истинно.
Кванторное логическое высказывание с квантором существования () - логическое высказывание, истинное только тогда, когда в заданной совокупности существует объект x, такой, что высказывание A(x) истинно.
См. также
- Утверждение
Примечания
Литература
- Карпенко, А. С. Современные исследования в философской логике // Логические исследования. Вып. 10. - М.: Наука, 2003. ISBN 5-02-006257-X - С. 61-93.
- Крипке, С. А. Витгенштейн о правилах и индивидуальном языке / Пер. В. А. Ладова, В. А. Суровцева. Под общ. ред. В. А. Суровцева. - Томск: Изд-во Том. ун-та, 2005. - 152 с. - (Библиотека аналитической философии). ISBN 5-7511-1906-1
- Курбатов, В. И. Логика. Систематический курс. - Ростов н/Д: Феникс, 2001. - 512 c. ISBN 5-222-01850-4
- Шуман, А. Н. Современная логика: теория и практика. - Минск: Экономпресс, 2004. - 416 с. ISBN 985-6479-35-5
- Макарова, Н. В. Информатика и ИКТ. - Санкт-Петербург: Питер Пресс, 2007 ISBN 978-5-91180-198-4 - С. 343-345.
- Кондаков Н. И. Логический словарь / Горский Д. П.. - М .: Наука, 1971. - 656 с.
Wikimedia Foundation . 2010 .
Смотреть что такое "Высказывание (логика)" в других словарях:
Высказывание: Высказывание (логика) предложение, которое может быть истинно или ложно. Высказывание (лингвистика) предложение в конкретной речевой ситуации. См. также Суждение … Википедия
- (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
логика высказываний - ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
Грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия
Логика Бэрроуза Абади Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic) это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… … Википедия
Центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал … Философская энциклопедия