Символічна логіка
Введення
Логіка - одна з найдавніших наук. Точно встановити, хто, коли і де вперше звернувся до тих аспектів мислення, які складають предмет логіки, в даний час не представляється можливим. Окремі витоки логічного вчення можна виявити ще в Індії, в кінці II тисячоліття до н.е. Однак якщо говорити про виникнення логіки як науки, тобто про більш-менш систематизованої сукупності знань, то справедливим буде вважати батьківщиною логіки велику цивілізацію Стародавньої Греції. Саме тут у V-IV століттях до н.е. в період бурхливого розвитку демократії і пов'язаного з ним небувалого пожвавлення суспільно-політичного життя працями Демокріта, Сократа і Платона були закладені основи цієї науки. Родоначальником ж, В«батькомВ» логіки, по праву вважається найбільший мислитель давнини, учень Платона - Арістотель (384-322 рр.. До н.е.). Саме він у своїх працях, об'єднаних загальною назвою В«ОрганонВ» (знаряддя пізнання), вперше докладно проаналізував і описав основні логічні форми і правила міркувань. Логіку, засновану Аристотелем, прийнято називати формальною, або традиційною логікою. У другій половині XIX століття склалася символічна, або математична логіка. Логіка як наука включає в себе багато розділів, такі, як формальна логіка, діалектична, символічна, модальна та інші. У своєму рефераті я буду розглядати символічну логіку. br/>
Історія логіки
логіка символічний науковий
Логіка має довгу і багату історію, нерозривно пов'язану з історією розвитку суспільства в цілому.
Виникненню логіки як теорії передувала йде в глиб тисячоліть практика мислення. З розвитком трудової, матеріально-виробничої діяльності людей йшло поступове вдосконалення і розвиток їх розумових здібностей, перш за все здібності до абстракції і умовиводу. А це рано чи пізно, але неминуче мало призвести до того, що об'єктом дослідження стало саме мислення з його формами і законами. p align="justify"> Історія свідчить, що окремі логічні проблеми виникають перед уявним поглядом людини вже понад 2,5 тис. років тому - спочатку в Стародавній Індії та Стародавньому Китаї. Потім вони отримують більш повну розробку в Стародавній Греції і Римі. Лише поступово складається більш менш струнка система логічних знань, оформляється самостійна наука. p align="justify"> Засновником логіки - або, як іноді кажуть, В«батьком логікиВ» - прийнято вважати найбільшого давньогрецького філософа і вченого-енциклопедиста Арістотеля (384-322 рр.. до н.е.). Слід, однак, враховувати , що перше досить розгорнутий і систематичний виклад логічних проблем фактично дав більш ранній старогрецький філософ і натураліст Демокріт (460 - приблизно 370 р. до н.е.). Серед його численних праць був і обширний трактат в трьох книгах...
