Визначення тавтології

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

Звичайно, тавтології розглядаються як помилка в мові або відсутність стилю. Однак можна звернутися до тавтологій, щоб підкреслити певну ідею. Наприклад: вирок "Я можу підтвердити, що обвинувачений винен, оскільки я бачив вбивство власними очима", є непотрібним роз'ясненням щодо використання його очей, оскільки він не міг бачити іншими засобами; аналогічно, акцент слова «належне» може бути пропущений зовсім.

Інші дуже поширені приклади тавтології можна побачити в наступних реченнях: "Я збираюся піднятися наверх, щоб знайти книгу і повернутися" , "Я повинен вийти на вулицю, щоб поливати рослини" . Всякий раз, коли ви піднімаєтеся, це відбувається; Так само залишаючи, це означає, що ми рухаємося за межі місця, тому ці пояснення є безглуздими і непотрібними для розуміння.

Коли тавтологія передбачає надлишкове пояснення, яке не сприяє новим знанням, зазвичай говорять про істинність істини Перогрулло : "Я є те, що є" . З іншого боку, вираз, в якому з'являються надлишкові терміни (наприклад, «піднятися» або «вийти» ), називається плеоназмом .

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

Таблиця істини

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

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

Дві можливі значення, які можуть бути викинуті таблицею істинності: true , що виражається літерою "V" або числом "1" і вказує, що ланцюг закритий; false , представлений літерою "F" або числом "0", коли ланцюг відкритий. Пропозиції, що підлягають аналізу, є змінними, і вони знаходяться у верхній частині таблиці, займаючи місце, яке зазвичай використовується для назв полів.

Операторами, що використовуються в таблиці істинності, є:

* заперечення : коли виконується на певному значенні істини, кидає протилежне (якщо воно спочатку було істинним, повертає помилкове, і навпаки);

* кон'юнкція : вона використовується для роботи з двома значеннями істини, як правило, з двох різних пропозицій, і повертає істину, коли обидві істинні, і помилкові для решти випадків;

* диз'юнкція : подібна до кон'юнкції, але для однієї з двох пропозицій достатньо мати справжнє значення, щоб повернути такий результат;

* умовний : також відомий під назвою імплікації , він приймає дві пропозиції і викидає false тільки тоді, коли перший повертає істину, а другий - помилковим. Для решти випадків результат є вірним;

* biconditional : працює на значеннях істинності двох пропозицій і повертає true, якщо обидва мають однакове значення і false у протилежному випадку.

border=0

Пошук іншого визначення