МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах
РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ" ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах Гендерна антидискримінаційна експертиза може зробити нас моральними рабами ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів Контакти
Тлумачний словник |
|
|||||||
Предмет та значення логікиТермін «логіка» походить від грецького слова «logos», що означав «думка», «слово», «розум», «закономірність» і використовується як для позначення сукупності правил, яким підкоряється процес мислення, що відображає дійсність, так і для позначення науки про правила міркування і тих форм, у яких воно здійснюється. Формальна логіка - наука про закони та форми правильного мислення. Логічною формою конкретної думки є будова цієї думки, тобто спосіб зв'язку її складових. В логічних формах відображається не вся повнота змісту світу, що існує навколо нас, а його загальні структурні зв'язки, що з необхідністю втілюються і в структурі наших думок. Поняття, судження, висновки мають свої специфічні форми (структури). Структуру думки, тобто її логічну форму, можно виявити за допомогою символів. Наприклад, зміст суджень - «Всі карасі - риби», «Всі люди вмирущі», «Всі собаки - тварини» - різний, а форма одна ' й та сама: «Всі S є Р»; вона включає S (суб'єкт), тобто поняття про предмет судження, Р (предикат), тобто поняття про ознаки предмета, зв'язку («є»), кванторне слово («все»). Ім'я - це слово або група слів, що позначають певний предмет (речі, властивості, явища, процеси природи і суспільства, психічної діяльності людей, продукти їх уяви та результати абстрактного мислення). Імена поділяються на: прості («книга», «опера») та складні, або описові («найвища гора в Америці», «планета Сонячної системи»); 2) власні, тобто імена конкретних людей, предметів, подій ( «Г.С. Сковорода», «Дніпро») та загальні (назви класу однорідних предметів - «будинок», «діючий вулкан»). Кожне ім'я має значення (предмет, що позначається) і смисл (спосіб, яким ім'я позначає предмет, тобто інформація про предмет, яка міститься в імені). Наприклад, знакові вирази «4», «2+2», «9-5» є іменами одного й того самого предмета: числа 4, різні вирази, що позначають один і той самий предмет, мають одне і те саме значення, але різний смисл (тобто смисл виразів «4», «2+2» та «9-5» різний. В логіці розрізняють вирази, що є іменними функціями ( «батько у», «різниця чисел z та 5») та вирази, що є пропозиціональними функціями ( х -поет», «7+у=10»). Іменна функція -це вираз, який при заміні перемінних постійними перетворюється на позначення предмета. Візьмемо іменну функцію «батько у». Поставивши замість у ім'я «письменник Жюль Верн», отримаємо «батько письменника Жюля Верна» - ім'я предмета ( у даному випадку ім'я людини). Пропозиціональною функцією називається вираз, що містить змінну і перетворюється на істинний або неправильний вислів за умови підставлення замість перемінної імені предмета з певної предметної області. Пропозиціональні функції поділяються на одномісні, що мають одну змінну, які називаються властивостями («z - композитор», «х-7=3»), і ті, що мають дві і більше перемінних, що називаються відносинами (наприклад «х - z = 16», «об'єм куба z дорівнює об'єму куба у»). Приклади: а) «різниця чисел 100 та х». Це іменна одномісна функція; наприклад, 100-6 є ім'я предмета, ім'я числа 94; б) « у -видатний полководець». Це пропозиціональна одномісна функція; при підставленні замість у імені «Олександр Васильович Суворов, що народився 24 листопада 1730 р.» отримаємо істинне судження: «Олександр Васильович Суворов, що народився 24 листопада 1730 р., - видатний полководець», що виражене у формі розповідного речення; в) «z є композитором, який написав опери х та у». Це пропозиціональна трьохмісна функція; перетворюється на неправильне судження при підставлянні замість z імені «Бізе», замість х - «Аїда», а замість у - «Травіата», тобто судження «Бізе є композитором, який написав опери «Аїда» та «Травіата» виражене у формі розповідного речення. Вирази (слона та групп слів) природної мови, що мають будь-який самостійний смисл, можна розділити на так звані семантичні категорії. 1) речення: оповідні, спонукальні, питальні; 2) вирази, що відіграють певну роль в складі речень: дескриптивні та логічні терміни. До дескриптивних (описових) термінів належать: 1.Імена предикатів - слова або словосполучення, що позначають одиничні (матеріальніабо ідеальні: «Арістотель», «перший космонавт», «7») предмети або класи однорідних предметів («книга», «гвардійський полк»). 2. Предикатори - слова та словосполучення, що позначають властивості предметів або відносини між предметами (наприклад, «порядний», «синій», «менше», «є планета»). Предикатори бувають одномісні і багатомісні. 3. Функціональні знаки - вирази, що позначають предметні функції, операції («+», «v», «ctg a»). Крім того, в мові трапляються так звані логічні терміни (логічні постійні, або логічні константи): Кон'юнкція відповідає союзу «і». Кон'юктивні висловлювання позначаються «а ^b», або «а*b», або «а & b".Наприклад, «Скінчились лекції (а), і студенти пішли додому (b). Диз'юнкція відповідає союзу «або». Диз'юнктивне судження позначаються: a v b (несувора диз'юнкція) та a v b (сувора диз'юнкція); відмінність їх в тому, що при суворій диз'юнкції складне судження є істинним тільки в тому разі, коли істинним є одне із суджень, але не обидва, а при несуворій диз'юнкції істинними можуть бути одночасно обидва судження. «Він шахіст або футболіст» позначається як a v b «Зараз Петров знаходиться дома або в інституті» позначається як a v b. Імплікація відповідає союзу «якщо,..то». Умовне судження позначається: a > b або a —> b (наприклад, «Якщо буде гарна погода, то ми підемо в ліс»). Еквіволенція відповідає словам «якщо і тільки якщо...», «тоді і тільки тоді, коли...», «еквівалентно». Еквівалентне висловлювання позначається a = b , або a <-> b. Заперечення відповідає словам «не», «невірно, що...» Заперечувальний вислів позначається а, а, ~ а (наприклад, «падає сніг» (а); «невірно, що падає сніг» (а)). Квантор спільності позначається V і відповідає квантовим словам «всі» («Всякий», «кожний», «жоден»). Наприклад, «Всі мухомори отруйні» позначається \/х P(x). Квантор існуванняпозначається 3 і відповідає словам «деякі», «існують». Наприклад, «Деякі люди мають вищу освіту» позначається Эх Р(х). Приклади. 1. «Якщо у мене буде вільний час (а) і я складу іспити з педагогіки (b) та психології (с), то я поїду відпочивати до Криму (d) або до Туреччини (е)». Формула: (а^b^с) > (dve). 2. «Якщо людина з дитинства та юнацтва не давала нервам панувати над собою, то вони не звикнуть дратуватися та будуть їй підвладні» (К. Ушинський). Формула: (b^d) э (c^d).
|
||||||||
|