Сучасна логіка - реферат українською
Сучасна логіка
В історії логіки виділяють два етапи: перший — від логіки Давнього світу до виникнення у другій половині XIX ст. сучасної логіки; другий — з того часу до наших днів. На першому етапі логіка переважно займалася проблемами, поставленими ще Аристотелем. В останні півтора століття в ній відбулись якісні зміни. Щоправда, передумови цих змін з'явилися ще тоді, коли Лейбніц запропонував ідею числення і відповідну формалізовану мову. Цю ідею, як зазначалось, сучасники не зрозуміли і зрештою забули. Проте в другій половині XIX ст., а тим більше в XX ст. на людство чекала ціла злива ідей, завдяки яким сучасна логіка пережила наукову революцію.
Сучасний етап розвитку логіки визначають як сучасна формальна логіка. Ще Г Лейбниць писав: “Єдиний засіб поліпшити наші умовиводи – це зробити їх такими, як у математиків, наочними”. Першу формалізовану мову створив Готлоб Фреге у 1879 р. Сучасна логіка широко застосовується у математиці, лінгвістиці, праві, філософії, психології, економіці, інформатиці тощо.
З початком застосування математики логіку називають класичною. Її засновниками також були Джордж Буль (1815-1864), Огастес (Августус) де Морган (1806-1871), Готлоб Фреге (1848-1925) та ін. Назвемо лише деяких видатних учених, які внесли істотний вклад у її розвиток.
Джордж Буль (1815—1864) — один із засновників математичної логіки. Поклавши в основу своїх досліджень аналогію між алгеброю і логікою, він розробив відповідне логічне числення, в якому застосував закони й операції математики (додавання класів, множення тощо). Алгебро-логічний метод дав можливість Булю виявити нові типи висновків, які не враховувались у традиційній силогістиці. Він детально проаналізував закони комутативності, асоціативності, дистрибутивності.
Огастес де Морган (1806—1871) — засновник логічного аналізу відношень, зокрема запропонував формулу суджень відношення, яка нагадує сучасну формулу «аRЬ». Він сформулював основні принципи логіки висловлювань і логіки класів. У розробленій ним алгебрі відношень аналізував операції додавання, множення тощо. В математичній логіці Морган сформулював закони, які носять його ім'я — «закони де Моргана».
Готлгб Фреге (1848—1925) заклав основи логічної семантики. У своїй фундаментальній праці «Основні закони арифметики» він побудував систему формалізованої арифметики на основі розробленого ним розширеного числення предикатів з метою обґрунтування ідеї про зведення математики до логіки.
Ідеї Фреге багато в чому наперед визначили розвиток логіки XX ст.: він увів поняття логічної функції й розрізнення властивостей речей і відношень (а відповідно одномісних і багатомісних логічних функцій); вперше увів символи для позначення кванторів; увів поняття істиннісного значення тощо.
Фреге систематично досліджував відношення між мовними виразами і предметами, які позначаються цими виразами; розкрив відмінність між значенням і смислом мовних виразів. Його праці розцінюються як початок нового етапу в розвитку математичної (символічної) логіки.
Чарлз-Сандерс Пірс (1839—1914) — родоначальник семіотики (загальної теорії знаків). У своєму численні він використовував як строгу, так і нестрогу диз'юнкції. Пірс сформулював закони матеріальної імплікації. Тривалий час його праці не були відомі широкій науковій громадськості.
Давид Гільберт (1862—1943) досяг значних успіхів у застосуванні методу формалізації в тлумаченні логічних умовиводів, у розробці числення висловлювань і предикатів, у дослідженні аксіоматизації знань. Він здійснив строго аксіоматичну побудову геометрії Евкліда, що наперед визначило подальший розвиток досліджень з аксіоматизації наукового знання, запропонував розгорнутий план обґрунтування математики шляхом її повної формалізації. Щоправда, ця програма виявилась нездійсненною, проте її ідеї спричинили виникнення метаматематики (теорії доведень).
Альфред-Норт Уайтхед (1861—1947) у співавторстві з Б. Расселом написав тритомну працю «Принципи математики», яка внесла значний вклад у розвиток математичної логіки.
Бертран Рассел (1872—1970) має великі заслуги у сфері розробки мови сучасної логічної символіки. Він систематично виклав теорію числення висловлювань і теорію класів. У книзі «Принципи математики» разом з Уайтхедом розвинув математичну логіку способом аксіоматизації й формалізації числень висловлювань, класів і предикатів, а також теорію типів як способу переборення парадоксів. Крім того, Рассел досліджував логічний аспект проблеми існування, логічний статус дескрипції, природу деяких парадоксів тощо.
Платан Порецький (1846—1907) першим у Росії розробив і читав курс математичної логіки. Він узагальнив і розвинув досягнення Дж. Буля, У.-С. Джевонса, Е. Шредера у сфері алгебри логіки. Значне місце у працях Порецького займала «теорія наслідків». Ним узагальнена теорія силогістики традиційної логіки, проаналізовані деякі несилогістичні міркування тощо.
В історії логіки виділяють два етапи: перший — від логіки Давнього світу до виникнення у другій половині XIX ст. сучасної логіки; другий — з того часу до наших днів. На першому етапі логіка переважно займалася проблемами, поставленими ще Аристотелем. В останні півтора століття в ній відбулись якісні зміни. Щоправда, передумови цих змін з'явилися ще тоді, коли Лейбніц запропонував ідею числення і відповідну формалізовану мову. Цю ідею, як зазначалось, сучасники не зрозуміли і зрештою забули. Проте в другій половині XIX ст., а тим більше в XX ст. на людство чекала ціла злива ідей, завдяки яким сучасна логіка пережила наукову революцію.
Сучасний етап розвитку логіки визначають як сучасна формальна логіка. Ще Г Лейбниць писав: “Єдиний засіб поліпшити наші умовиводи – це зробити їх такими, як у математиків, наочними”. Першу формалізовану мову створив Готлоб Фреге у 1879 р. Сучасна логіка широко застосовується у математиці, лінгвістиці, праві, філософії, психології, економіці, інформатиці тощо.
З початком застосування математики логіку називають класичною. Її засновниками також були Джордж Буль (1815-1864), Огастес (Августус) де Морган (1806-1871), Готлоб Фреге (1848-1925) та ін. Назвемо лише деяких видатних учених, які внесли істотний вклад у її розвиток.
Джордж Буль (1815—1864) — один із засновників математичної логіки. Поклавши в основу своїх досліджень аналогію між алгеброю і логікою, він розробив відповідне логічне числення, в якому застосував закони й операції математики (додавання класів, множення тощо). Алгебро-логічний метод дав можливість Булю виявити нові типи висновків, які не враховувались у традиційній силогістиці. Він детально проаналізував закони комутативності, асоціативності, дистрибутивності.
Огастес де Морган (1806—1871) — засновник логічного аналізу відношень, зокрема запропонував формулу суджень відношення, яка нагадує сучасну формулу «аRЬ». Він сформулював основні принципи логіки висловлювань і логіки класів. У розробленій ним алгебрі відношень аналізував операції додавання, множення тощо. В математичній логіці Морган сформулював закони, які носять його ім'я — «закони де Моргана».
Готлгб Фреге (1848—1925) заклав основи логічної семантики. У своїй фундаментальній праці «Основні закони арифметики» він побудував систему формалізованої арифметики на основі розробленого ним розширеного числення предикатів з метою обґрунтування ідеї про зведення математики до логіки.
Ідеї Фреге багато в чому наперед визначили розвиток логіки XX ст.: він увів поняття логічної функції й розрізнення властивостей речей і відношень (а відповідно одномісних і багатомісних логічних функцій); вперше увів символи для позначення кванторів; увів поняття істиннісного значення тощо.
Фреге систематично досліджував відношення між мовними виразами і предметами, які позначаються цими виразами; розкрив відмінність між значенням і смислом мовних виразів. Його праці розцінюються як початок нового етапу в розвитку математичної (символічної) логіки.
Чарлз-Сандерс Пірс (1839—1914) — родоначальник семіотики (загальної теорії знаків). У своєму численні він використовував як строгу, так і нестрогу диз'юнкції. Пірс сформулював закони матеріальної імплікації. Тривалий час його праці не були відомі широкій науковій громадськості.
Давид Гільберт (1862—1943) досяг значних успіхів у застосуванні методу формалізації в тлумаченні логічних умовиводів, у розробці числення висловлювань і предикатів, у дослідженні аксіоматизації знань. Він здійснив строго аксіоматичну побудову геометрії Евкліда, що наперед визначило подальший розвиток досліджень з аксіоматизації наукового знання, запропонував розгорнутий план обґрунтування математики шляхом її повної формалізації. Щоправда, ця програма виявилась нездійсненною, проте її ідеї спричинили виникнення метаматематики (теорії доведень).
Альфред-Норт Уайтхед (1861—1947) у співавторстві з Б. Расселом написав тритомну працю «Принципи математики», яка внесла значний вклад у розвиток математичної логіки.
Бертран Рассел (1872—1970) має великі заслуги у сфері розробки мови сучасної логічної символіки. Він систематично виклав теорію числення висловлювань і теорію класів. У книзі «Принципи математики» разом з Уайтхедом розвинув математичну логіку способом аксіоматизації й формалізації числень висловлювань, класів і предикатів, а також теорію типів як способу переборення парадоксів. Крім того, Рассел досліджував логічний аспект проблеми існування, логічний статус дескрипції, природу деяких парадоксів тощо.
Платан Порецький (1846—1907) першим у Росії розробив і читав курс математичної логіки. Він узагальнив і розвинув досягнення Дж. Буля, У.-С. Джевонса, Е. Шредера у сфері алгебри логіки. Значне місце у працях Порецького займала «теорія наслідків». Ним узагальнена теорія силогістики традиційної логіки, проаналізовані деякі несилогістичні міркування тощо.
Скачати реферат Сучасна логіка
Схожі українські реферати
|
1. Реферат: Сучасна вітчизняна біоорганічна агротехнологія вирощування цукрових буряків з використанням побічної продукції З огляду на переважно великі площі сівби цукрових буряків та обсяги робіт за обмежених погодних умов і стислих агротехнічних строків їх виконання дуже важливою є: висока продуктивність сівалок із пневматичними апаратами, належна техніко-технологі... 2. Реферат: Сучасна державна політика оплати праці Зміст 1. Поняття та функції. 2. Сучасна політика. 3. Основи організації. Список використаної літератури 1. Поняття та функції Ефективність функціонування та соціальний розвиток тих чи інших суб’єктів господарювання (трудових колекти... 3. Реферат: Сучасна диригентсько-хорова освіта України в системі педагогічної антропології Процеси державотворення, які нині відбуваються в Україні, спричинили безприкладну за своєю глибиною інтенсифікацію духовного життя суспільства. На часі потужний поштовх до розвію отримують саме ті види мистецтва, що кореняться в предковічних наро... 4. Реферат: Сучасна еволюція солонцевих грунтів В умовах ринкової економіки та земельної реформи особливої актуальності набуває науковообгрунтоване господарське використання й підвищення родючості низькопродуктивних земель, до яких належать і солонцеві ґрунти. Багаторічними дослідженнями встано... 5. Реферат: Сучасна екологiчна криза в контекст християнського свiтогляду Вiдшукуючи причини екологiчної кризи, дослiдники, як правило, не безпiдставнi в своїх зверненнях до науки і технiки. При цьому висловлюється припущення, що саму можливiсть розвитку останнiх пiдготувало християнство ще на початку xx столiття, ця обста... 6. Реферат: Сучасна екологічна криза в контекст християнського світогляду Сучасна екологічна криза в контекст християнського світогляду Відшукуючи причини екологічної кризи, дослідники, як правило, не безпідставні в своїх зверненнях до науки і техніки. При цьому висловлюється припущення, що саму можливість розвитку оста... 7. Реферат: Сучасна екологічна ситуація в Україні Багаторічна енергетично-сировинна спеціалізація, а також низький технологічний рівень промисловості України поставили її в число країн з найбільш високими абсолютними обсягами утворення та накопичення відходів. Обсяг утворення від... 8. Реферат: Сучасна зовнішньоторговельна політика України ЗМІСТ Сучасна зовнішньоторговельна політика України 2 Вступ 4 Розділ 1. Теоретико-методологічні аспекти вивчення зовнішньоторговельної політики 6 1.1. Суть поняття зовнішньоторговельної політики держави 6 1.2. Особливості здійснення зо... 9. Реферат: Сучасна інфляція: суть, причини та особливості. Типи інфляції Інфляція - багатогранний, складний процес, який чітко відображає всі основні проблеми й суперечності економіки. Найбільш очевидно вона проявляє себе в систематичному переповненні каналів грошового обігу масою надлишкових грошей, що веде до їх знеціне... 10. Реферат: Сучасна концепція збалансованого вигодовування дітей. вигодовування дітей раннього віку. Принципи дієтотерапії при різних захворюваннях у дітей (ле Лекція Сучасна концепція збалансованого вигодовування дітей. вигодовування дітей раннього віку. Принципи дієтотерапії при різних захворюваннях у дітей ПЛАН ЛЕКЦІЇ. Вступ. Значення природного вигодовування. Роль природного вигодовування для...
11. Реферат: Сучасна логіка
Сучасна логіка В історії логіки виділяють два етапи: перший — від логіки Давнього світу до виникнення у другій половині XIX ст. сучасної логіки; другий — з того часу до наших днів. На першому етапі логіка переважно займалася проблемами, поставлени... 12. Реферат: Сучасна маркетингова концепція упаковки товарів Сучасна маркетингова концепція упаковки товарів За класичною теорією, створюючи новий товар, розробник разом з маркетологом мають його оцінити з урахуванням трьох різних рівнів: перший - товар за задумом, другий - товар у реальну виконанні та трет... 13. Реферат: Сучасна мовна ситуація в Україні Це тема не нова — вже хтозна з яких часів. І може скластися враження, що це суто наш, український, безнадійний привілей у добу високих технологій, клонування і гендерних студій. Але насправді це не так. Уся історія людства сповнена конфліктів і тр... 14. Реферат: Сучасна модель атома Зміст Вступ 4 1.Еволюція наукової думки, що до будови атома 5 1.1. Досліди Резерфорда 5 1.2. Атом Бора 6 1.3. Радіоактивність. 7 2. Сучасні уявлення науки про будову атома 8 2.1. Уявлення квантової механіки про стан електронів в атомі. 8 2.2.... 15. Реферат: Сучасна музична освіта, роль інноваційних технологій Історія свідчить, що зміна освітньої парадигми відбувається в момент епохальних соціокультурних зрушень, визначаючи становлення нових якостей суспільної свідомості і практики, нового типу культури і наукового мислення. При цьому інтенсивність соціоку... 16. Реферат: Сучасна оцінка вихідних ідей філософії позитивізму. Однією з провідних течій сучасної світової філософії, безперечно, є позитивна філософія, яка своїм джерелом має класичний позитивізм XIX ст., і в наш час представлена неопозитивізмом та постпозитивізмом. Неопозитивізм (або третій позитивізм) виник... 17. Реферат: Сучасна політика оплати праці Поняття та функції Ефективність функціонування та соціальний розвиток тих чи тих суб’єктів господарювання (трудових колективів) забезпечується передусім формуванням належних індивідуальних і колективних матеріальних стимулів, провідною формою р... 18. Реферат: Сучасна психологічна освіта керівника в контексті забезпечення економічної безпеки підприємства В сучасних умовах жорсткої конкуренції підприємство, яке прагне завойовувати все нові та нові сегменти ринку, розширювати виробництво, підвищувати прибутковість висуваються вищі вимоги до працівників з одночасною зміною вимог до досвіду, кваліфі... 19. Реферат: Сучасна реклама в пресі План Вступ 1. Реклама в газетах 2. Реклама в журналах. 3. Реклама в додатках 4. Реклама в спеціалізованому друкованому виданні. 5. Види рекламних блоків і послуг для рекламодавців преси. Висновки Список використаної літератури Вступ Рек... 20. Реферат: Сучасна рецензія, як жанр Сучасна рецензія, як жанр Так, мова піде про жанр рецензії в сучасному літературному процесі, але одразу ж не можемо обійти питання: наскільки важливою та своєчасною є ця тема? І надто у порівнянні з тим станом, що в ньому опинилось у нас книговид... 21. Реферат: Сучасна система контролю. Лідерство і управління 1. Сучасна система контролю Контроль — багатоаспектне поняття. Контроль — це обов'язкова функція менеджменту, є заключною стадією управлінського процесу і відіграє роль зв'язуючої ланки між керуючою і керованою системами. Якщо відмежуватись від... |
|