Висловлювання може бути. Помилки у дотриманні концепції «Я»-висловлювань

Висловлювання– оповідальна пропозиція, про яку можна сказати істинно вона чи хибно. В алгебрі простим висловлюванням ставляться відповідно до логічні змінні (А, В, С і т.д.)

Логічна змінна- Це простий вислів.
Логічні змінні позначаються великими і малими латинськими літерами (a-z, A-Z) і можуть набувати лише двох значень – 1, якщо вислів істинно, або 0, якщо висловлювання хибне.

Приклад висловлювань:

Логічна функція- Це складне висловлювання, яке виходить в результаті проведення логічних операцій над простими висловлюваннями.

Для утворення складних висловлювань найчастіше використовуються базові логічні операції, що виражаються за допомогою логічних зв'язок "і", "або", "не".
Наприклад,

Багато людей не люблять сиру погоду.

Нехай А = «Багато людей люблять сиру погоду». Отримуємо логічну функцію F(A) = не А.

Зв'язки "НІ", "І", "АБО"замінюються логічними операціями інверсія , кон'юнкція , диз'юнкція . Це основні логічні операції, за допомогою яких можна записати будь-який логічний вираз.

Логічна формула (логічне вираз) – формула, що містить лише логічні величини та знаки логічних операцій. Результатом обчислення логічної формули є ІСТИНА (1) або БРЕХНЯ (0).

Значення логічної функції залежить від значень логічних змінних, що входять до неї. Тому значення логічної функції можна визначити за допомогою спеціальної таблиці ( таблиці істинності), в якій перераховані всі можливі значення вхідних логічних змінних та відповідні значення функції.

Основні (базові) логічні операції:

1. Логічне множення (кон'юнкція), Від лат. konjunctio – пов'язую:
Об'єднання двох (або кількох) висловлювань в одне за допомогою спілки І;
у мовах програмування – And.
Прийняті позначення: /\ , , та, and.
В алгебрі множин кон'юнкції відповідає операція перетину множин.

Кон'юнкція істинна тоді й тільки тоді, всі висловлювання, що входять до неї, істинні.

Приклад:
Розглянемо складове висловлювання «2 2 = 4 і 3 3 = 10». Виділимо прості висловлювання:

В = «3 3 = 10» = 0 (бо це хибне висловлювання)
Тому, логічна функція F(A, B) = A /\ B = 1 /\ 0 = 0 (відповідно до таблиці істинності), тобто дане складове висловлювання хибне.

2. Логічне складання (диз'юнкція), Від лат. disjunctio – розрізняю:
Об'єднання двох (або кількох) висловлювань в одне за допомогою спілки АБО;
у мовах програмування – Or.
Позначення: \/, +, або or.
В алгебрі множин диз'юнкції відповідає операція об'єднання множин.

Диз'юнкція хибна тоді й тільки тоді, всі висловлювання, що входять до неї, хибні.

Приклад:
Розглянемо складове висловлювання «2 2 = 4 чи 2 2 = 5». Виділимо прості висловлювання:
А = «2 2 = 4» = 1 (бо це справжнє висловлювання)
В = «2 2 = 5» = 0 (бо це хибне висловлювання)
Тому, логічна функція F(A, B) = A \/ B = 1 \/ 0 = 1 (відповідно до таблиці істинності), тобто цей складовий вислів істинно.

3. Заперечення (інверсія), Від лат. InVersion – перевертаю:

Відповідає частинці НЕ, словосполученням НЕВЕРНО, ЩО або НЕ Є ІСТИНОЮ, ЩО;
у мовах програмування – Not;
Позначення: не А, ¬А, not
В алгебрі множин логічному заперечення відповідає операція доповнення до універсальної множини.

Інверсія логічної змінної істинна, якщо сама змінна помилкова, і, навпаки, інверсія помилкова, якщо змінна істинна.

Приклад:

А = (два помножити на два одно чотирьом) = 1.

¬A= ( Невірно, щодва помножити на два одно чотирьом) = 0.

Розглянемо висловлювання А: “ Місяць - супутник Землі“; тоді ¬А формулюватиметься так: “ Місяць – не супутник Землі“.

Розглянемо вислів: «Невірно, що 4 ділиться на 3». Позначимо через А простий вислів «4 ділиться на 3». Тоді логічна форма заперечення цього висловлювання має вигляд ¬А

Пріоритет логічних операцій:

Операції в логічному виразі виконуються зліва направо з урахуванням дужок внаступному порядку:
1. інверсія;
2. кон'юнкція;
3. диз'юнкція;
Для зміни вказаного порядку виконання логічних операцій використовуються круглі дужки.

Складові логічні виразиалгебри висловлювань називають формулами.
Істинно чи хибно значення формули можна визначити законами логіки алгебри, не звертаючись до змісту:
F = (0 \/ 1) /\ (¬0 \/ ¬1) = (0 \/ 1) /\ (1 \/ 0) =1 /\ 1=1 – істина
F = (¬0 /\ ¬1) \/ (¬1 \/ ¬1) = (1 /\ 0) \/ (0 \/ 0) = 0 \/ 0 = 0 – брехня

Граматично правильна оповідальна пропозиція, взята разом з висловленим ним змістом. У логіці використовується кілька понять В., що істотно різняться між собою. Насамперед це поняття дескриптивного, або докладного, ... ... Філософська енциклопедія

У логіці пропозиція, яка може бути істинною або хибною. також: Висловлювання Обчислення висловлювань Фінансовий словник Фінам. Висловлювання Висловлювання оформлена в мові закінчена думка, сенс якої залежить від конкретної або… Фінансовий словник

Пропозиція, судження, заява; зауваження, тавтологія, виголошення, говоріння, контрадикція, логос, виступ, стейтмент, викладання, вислів, слововилив, твердження, виклад, дискурс, фраза, виливання, міркування, сутра, … Словник синонімів

ВИКАЗ, висловлювання, порівн. (Книжковий.). 1. лише од. Дія за гол. висловлювати. Висловлювання своєї думки. 2. Висловлене судження, зауваження, думка. Зібрати висловлювання класиків марксизму про мову. Тлумачний словник Ушакова. Д.М. Ушаков. Тлумачний словник Ушакова

Думка, виражена оповідальною пропозицією і може бути істинною чи хибною; у мовознавстві одиниця мовного спілкування, оформлена за законами даної мови. Великий Енциклопедичний словник

ВИКАЗ, я, порівн. 1. див. висловитися, ся. 2. Висловлене судження. Змістовне ст. 3. У граматиці: будь-яка інтонаційно оформлена синтаксична одиниця, що містить повідомлення, фраза. Тлумачний словник Ожегова. С.І. Ожегов, Н.Ю. Шведова. 1949… … Тлумачний словник Ожегова

ВИКАЗ- ВИКАЗ. Одиниця мовного спілкування, що має смислову цілісність, оформлена певним актуальним членуванням у складі мовного акта. В. може збігатися з пропозицією, але може бути і повідомленням, що не вкладається в схему простого. Новий словник методичних термінів та понять (теорія та практика навчання мов)

висловлювання- Можливий стан сутностей, щодо якого можна стверджувати чи заперечувати, що такий стан має місце. [ГОСТ 34.320 96] Тематики бази даних EN proposition … Довідник технічного перекладача

Висловлювання- висловлювання одиниці мовного спілкування. Потреба виділенні висловлювання як лінгвістичного поняття пов'язані з поглибленням дослідження функціонування мовних форм мови. Висловлювання визначається стосовно поняття пропозиції. Лінгвістичний енциклопедичний словник

Висловлювання: Висловлювання (логіка) речення, яке може бути істинним або хибним. Висловлювання (лінгвістика) речення у конкретній мовній ситуації. також Судження … Вікіпедія

висловлювання- I. ВИКАЗ ВИСКАВАННЯ, виливання, вираз, виливання, виявлення ВИКАЗУВАТИ/ВИКАЗАТИ, виливати/вилити, висловлювати/виразити, виливати/вилити, книжн. виявляти/виявити ВИКАЗАТИСЯ, виливатися ВИКАЗАТИСЯ/ВИКАЗАТИСЯ,… … Словник-тезаурус синонімів російської мови

Книги

Висловлювання та його співвіднесеність із дійсністю. Референціальні аспекти семантики займенників, Падучова Є.В.. Справжня монографія присвячена проблемам співвіднесення висловлювання з дійсністю – з конкретними предметами, подіями та ситуаціями реального світу. У книзі розглядається теорія ...

Види висловлювань

Логічні висловлювання прийнято поділяти на два види: елементарні логічні висловлювання та складові логічні висловлювання.

Складове логічне висловлювання- цей вислів, утворений з інших висловлювань за допомогою логічних зв'язок.

Логічна зв'язка– це будь-яка логічна операція над висловлюванням. Наприклад, вживані у звичайній мові слова та словосполучення "ні", "і", "або", "якщо… , то", "тоді і тільки тоді"є логічними зв'язками.

Елементарні логічні висловлювання- це висловлювання, що не належать до складових.

Приклади: «Петров – лікар», «Петрів – шахіст» – елементарні логічні висловлювання. «Петров - лікар і шахіст» - складове логічне висловлювання, що з двох елементарних висловлювань, пов'язаних між собою з допомогою зв'язки «і».

Зв'язок із математичною логікою

Звичайна логіка двозначна, тобто приписує висловлюванням лише два можливі значення: істинно воно чи хибно.

Нехай – висловлювання. Якщо воно істинне, то пишуть, якщо хибно, то .

Основні операції над логічними висловлюваннями

Запереченнялогічного висловлювання - логічне висловлювання, що набуває значення «істинно», якщо вихідне висловлювання хибне, і навпаки.

Кон'юнкціядвох логічних висловлювань - логічне висловлювання, істинне лише тоді, коли вони водночас істинні.

Диз'юнкціядвох логічних висловлювань - логічне висловлювання, істинне лише тоді, коли хоча б одне з них є істинним.

Імплікаціядвох логічних висловлювань 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 с. 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) це формальна логічна модель для аналізу знання та довіри, що широко використовується при аналізі протоколів… … Вікіпедія

Центральний розділ логіки, в якому вивчається суб'єктно-предикатна структура висловлювання та істиннісні взаємозв'язки між ними. Л.П. є змістовним розширенням логіки висловлювань. У рамках даного розділу будь-яке висловлювання. Філософська енциклопедія

Або Логіка науки, застосування ідей, методів та апарату логіки в аналізі наукового пізнання. Розвиток логіки завжди був тісно пов'язаний з практикою теоретичного мислення і насамперед із розвитком науки. Конкретні міркування дають логіці матеріал. Філософська енциклопедія

Висловлювання - граматично правильна оповідна пропозиція, взята разом з висловлюваним ним змістом. У логіці використовується кілька понять В., що істотно різняться між собою. Насамперед це поняття Ст дескриптивного, або описового, основним завданням якого є опис дійсності. Таке Ст є істинним або помилковим; іноді допускається, що воно здатне набувати деяких «невизначених» значень істинності, проміжних між повною істиною і повною брехнею. Логіка довгий час тяжіла до вживання терміна "В." лише стосовно описовим Ст. Так, логіка класична трактує Ст як оповідне речення, що розглядається разом з його змістом в аспекті істиннісного значення. Курс сучасної логіки зазвичай починається визначенням Ст як пропозиції, що є істинним або хибним. Оскільки оцінки, норми, тимчасові твердження, що змінюють своє значення істинності з плином часу, безглузді твердження тощо не мають істиннісного значення, дане визначення можна розуміти як прикладне тільки до описових В. для описових Ст Наступним важливим типом Ст є оцінне Ст, що встановлює абсолютну або порівняльну цінність якогось об'єкта. До оціночних Ст відносяться власне оцінки, що включають поняття «добре», «погано», «краще», «гірше» тощо, а також аналітичні Ст, твердження про цілі, стандарти, конвенції, ідеали тощо Приватним випадком оцінного Ст є нормативне Ст Проміжну групу між описовими та оціночними Ст утворюють «змішані», описово-оціночні Ст. Вони не тільки описують і фіксують сформовану мовну практику, але і оцінюють її, наказують конкретну мовну поведінку. Подвійні, описово-оціночні Ст в одних ситуаціях відіграють роль описів і можуть, як такі, характеризуватись як істинні або хибні, в інших - виконують функцію оцінок, позбавлених істинного значення. В якості ще однієї несамостійної групи можуть бути виділені невизначені Ст типу: «Цей будинок блакитний», «Тут росте дерево», «Завтра буде сонячне затемнення» і т. п. Такі Ст самі по собі не є ні істинними, ні хибними , вони набувають істинного значення тільки в локалізованій ситуації, зокрема при вказівці просторово-часових координат. Багато Ст, що відносяться зазвичай до описових, є насправді невизначеними. Скажімо, В. «Лондон більше за Рим» істинно, але істинно саме тепер: був час, коли Рим був більшим за Лондон, і, можливо, в майбутньому ця ситуація повториться. Тимчасовими Ст, що змінюють своє істинне значення з часом, займається логіка часу. Були спроби побудувати особливу логіку простору, що описує логічні зв'язки просторово невизначених Ст. Істотно, що невизначеними можуть бути як описові, так і оцінні Ст. Ще одну групу Ст, що вивчаються сучасною логікою, складають Ст, що відносяться зазвичай до безглуздих. .: "Прості числа зелені". Це правильно побудована пропозиція. Такими ж є, очевидно, пропозиції "Істинно, що прості числа зелені" і "Має бути так, що прості числа зелені" ("Прості числа повинні бути зеленими"). пропозиція здається описом, але не є ні істинною, ні хибною, оскільки кольори не мають відношення до чисел Друга пропозиція висловлює, як може здатися, оцінку, але про неї не можна сказати, за аналогією зі звичайними оціночними висловлюваннями, що оцінка, що дається їм ефективна або Подібним чином ситуація з В. «Нинішній король Франції є лисим», «Пегас має крила» і т. п., що говорять про властивості неіснуючих об'єктів. До безглуздих іноді належать також Ст з туманним змістом, подібні до «Існувати - значить бути сприйманим». Не можна сказати, що безглузді Ст не є Ст, хоча вони не відносяться ні до описових, ні до оцінних Ст і стоять не тільки «поза істиною і брехнею», але і «поза доцільним і недоцільним». Безглузді Ст можуть бути складовими частинами наших міркувань. Дослідженням таких Ст займається так звана «логіка безглуздості» (див.: Безглузде). Вона встановлює, зокрема, такі закони: заперечення безглуздого Ст є безглуздим Ст; Наслідки безглуздого Ст також є безглуздими і т. п. Проблема віднесення безглуздих Ст до Ст ускладнюється, однак, тим, що саме безглузде неоднорідно. Воно тягнеться від відносної беззамиленості, пов'язаної зі змішуванням семантичних категорій, до повної безглуздості, обумовленої порушенням правил синтаксису. Якщо вислів «І -жовте число» ще можна зарахувати до В., то навряд це правомірно у разі виразів типу: «Я ходить», «Якщо йде дощ, то голова», «Хлестаков - людина є людиною» і т.п Перелік різних видів Ст, що вивчаються логікою, показує, що область поняття Ст є гетерогенною і не має чітких меж. Описові Ст - тільки один з багатьох видів Ст, що не зводяться один до одного.

Визначення, значення слова в інших словниках:

Загальна психологія. Словник. За ред. А.В. Петровського

Висловлювання - одиниця мовного спілкування. У логіці Ст співвідноситься з судженням і розглядається тільки з позицій істинності/хибності. У лінгвістиці визначення Ст залежить від обраного теоретичного підходу і методу аналізу мови, частіше синонімічно поняття фрази. В деяких...

Вираз тієї чи іншої думки, ідеї відбувається шляхом формування речень. Їхнім ядром і є думка, яку необхідно висловити. Водночас, у російській існує поняття «висловлювання». Воно схоже на пропозицію, але й має дещо інший сенс.

Що таке висловлювання

Висловлювання є сформульованою думкою. При цьому така думка походить від конкретної людини. Тобто висловлювання є повторенням прямої мови або безпосередньо прямою мовою.

Отже, висловлювання може бути словами конкретної людини, які він вимовляє зараз чи щойно вимовив. Крім того, висловлювання може бути словами людини, яка вимовлена давно і стала загальновідомою.

Наприклад, це можуть бути цитати з фільмів, крилаті вирази відомих людей. Подібні висловлювання використовуються для позначення тієї чи іншої ситуації. При цьому вони дуже зрозуміло пояснюють суть ситуації або характеризують ставлення до неї людини.

Багато висловлювань стали афоризмами. Як правило, вони дуже точно та ємно висловлюють якусь думку. Тому, висловлювання, це завжди думка, і це завжди окрема пропозиція.

Цілком можливий і гумористичний відтінок. Адже висловлювання це слова, які колись були вимовлені людиною щодо тієї чи іншої ситуації чи події.

У чому відмінність висловлювання від пропозиції

Кожен вислів є пропозицією, але не кожне речення є висловлюванням. Справедливість цього твердження можна обґрунтувати так:

Пропозиція може містити лише одне слово. Таке слово застосовується у загальному контексті та підкреслює єдину думку, яку автор висловлює у тексті. Тим часом, висловлювання це кілька пов'язаних єдиною думкою слів. Висловлювань із одного слова, не існує;
Пропозиція може бути вступною. Саме собою воно не висловлює окремої думки. А ось висловлювання обов'язково виражає ідею чи думку;
Пропозиція може складатися тільки з чийогось висловлювання. Це достатньо вираження суті тексту.