Реферати українською » Философия » Логіка як наука. Визначення логіки


Реферат Логіка як наука. Визначення логіки

Логіка належить до найдавніших наук, перші вчення якої про форми й засоби міркувань виникли ще цивілізаціях Стародавнього Сходу (Китай, Індія). У західну культуру принципи і силові методи логіки ввійшли переважно завдяки зусиллям античних греків.

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

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

Традиційна логіка сформувалася з урахуванням логічного вчення Аристотеля. Потім вона доповнилася методами індуктивної логіки. Саме ця логіка протягом великого відтинку часу викладалася до шкіл і університетах під назвою формальної логіки.

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

Мета цього реферату — описати основні тенденції розвитку сучасної математичної логіки, що займається питаннями формалізації природної мови, висловити їх основний зміст.

Логические дослідження мови

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

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

Логічний аналіз міркувань у природній мові

Исчисление предикатів дає можливість проводити логічний аналіз незрівнянно великої кількості міркувань, виражених природному мові, ніж літочислення висловлювань. З допомогою нового обчислення стає можливим уявити символічні кількісні характеристики суджень. Саме цього вводяться кванторы спільності та існування, які виражають універсальні (загальні) судження й потужні приватні судження. Та найголовніше перевагу обчислення предикатів перед обчисленням висловлювань у тому, що дає можливість символічно уявити внутрішню логічний структуру судження. Така структура виражається або з допомогою субъектно-предикатного відносини предмета (суб'єкта) та її властивості чи ознаки (предиката), або n-местного відносини між різними предметами.

Повседневные і з наукові міркування зазвичай ведуться природному мові. Але така мову розвивався у сфері легкості спілкування, обміну думками на шкоду достовірності та. Логические обчислення будуються у тому, щоб забезпечити необхідну точність нашим міркуванням, розкривати які під час цьому помилки і виправляти їх. У найпростіших випадках такий аналіз можна навести з допомогою числень висловлювань, у якому відволікаємося від логічного структури суджень і розглядаємо їх як єдине ціле, як далі неразложимые атоми міркувань. Але цього обчислення виявляється вочевидь не досить, коли випадає аналізувати багато найпоширеніші міркування у науці, а й у повсякденному мисленні. Силлогистика Аристотеля охоплює незмірно більший клас міркувань, але він залишає поза розглядом міркування, у яких фігурують різні типи відносин. Точний аналіз саме таких відносин грає істотну роль науковому пізнанні, особливо, у математиці і його додатках, точному природознавстві. Тому виникнення логіки відносин значно розсунуло кордону застосовності логічного аналізу. З іншого боку, застосування символічного мови та точних математичних методів у нової символічною логіці, збагаченої логікою відносин, великою мірою підвищило ефективність, строгість і точність такого аналізу.

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

Для обчислення предикатів, передусім, встановлюється універсум міркування чи предметна область об'єктів, про яких мова. Заздалегідь встановлювати, з яких саме об'єктів полягає універсум міркування, непотрібен. Досить допустити, що така універсум існує. Далі йде вибрати предикати (чи пропозициональные функції), з допомогою яких формулюються логічні відносини між перемінними. Кожен із вибраних предикатів стає висловлюваннями, коли його перемінні приймають якесь значення з універсуму міркувань, тобто. коли перемінні стають об'єктами (елементами) універсуму міркувань. Отримане висловлювання або істинним, або хибним, але з тим і тим одночасно. Потім вибирається відповідна символіка для остаточного перекладу природного міркування мову обчислення предикатів. У цьому доводиться робити певні спрощення, оскільки логіка ставить за мету дослідження зв'язку думок у міркуванні, висновків із одних суджень решти.

Аналіз мови та розвиток логічного теорії

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

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

Р. Фреге першим запропонував реконструкцію логічного висновку з урахуванням штучного мови (обчислення), забезпечує повне виявлення всіх елементарних кроків міркування. У символіку логічного мови ввели операції квантификации. Аксиоматическое побудова логіки предикатів як обчислення предикатів включають аксіоми і правил виведення, дозволяють перетворювати кванторные формули і обгрунтовувати логічний висновок. Тим самим було об'єкт дослідження логіки остаточно перемістився від законів думки і керував їхнього нерозривного зв'язку до знакам, штучним формалізованим мовам.

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

Проте стандартний семантичний підхід обгрунтування виведення в контекстах, виходять далеко за межі класичних математичних теорій, стикається з суттєвими труднощами. Як традиційних прикладів міркувань, котрим коштів стандартної семантики недостатньо, можна навести контексти, містять пропозициональные установки («знає, що…», «вважає, що…») і логічні модальності («необхідно», «можливо»).

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

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

Основним інструментом переважають у всіх варіантах теоретико-модельной семантики є рекурсивне визначення істинності.

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

Одне з найважливіших проблем логічного аналізу природних мов — проблема єдиної логічного структури пропозицій. Актуальність цього питання обумовлена насамперед із тим обставиною, що, з одного боку, апарат класичної логіки предикатів інтерпретується зазвичай на объективированных висловлюваннях типу «Сніг біл», «Земля обертається навколо Сонця» тощо. З іншого боку, зустрічається дуже багато релятивизованных до говорящему пропозицій, логічна структура до кінця незрозуміла як і представляється здавалося б, у згоді зі стандартними уявлення про логічного структурі. Такі, наприклад, пропозиції: «Сніг біл!», «Йде дощ?», «На жаль, Земля обертається навколо Сонця», «Я обіцяю прийти» тощо. Інакше висловлюючись, існує проблема узгодження релятивизованных і объективированных пропозицій у рамках деяких єдиних уявлень про спільну логічного структурі пропозицій природних мов.

Логіка й прагматика мови

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

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

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

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

Укладання та висновки

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

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

Список літератури

Петров В.В. Від філософії мови філософії свідомості. У сб. Філософія. Логіка. Мова. М.: «Прогрес», 1987. З. 3—17.

Петров В.В. Мова і логічна теорія. У сб. Нове у закордонній лінгвістиці. Вып. XVIII «Логічний аналіз природної мови». М.: «Прогрес», 1986. С.5—23.

Філософський енциклопедичний словник. Стаття «Мова». М.: «Радянська енциклопедія», 1983. З. 816.

Рузавин Г.І. Логіка й аргументація. М.: «Культура і спорт. Издательское об'єднання ЮНИТИ», 1997.

Схожі реферати:

Навігація