Логика като наука

Формална логика е наука за законите и формите на мислех правилно тълкуване.

Официално логика изучава законите и подзаконовите актове, което е предмет на човешкото мислене в процеса на учене своята истина. В формална логика, проблемът включва проучване на причините, поради нашето мислене е под формата на понятия, решения, изводи еволюирали тези логически форми в процеса на превръща в мъж и неговото мислене, което представлява те са в началото на развитието на мислене етап, че когнитивната функция се изпълнява от всеки логически форма. взаимоотношенията форми на мислене и така нататък .. Тези и други въпроси, свързани с характера и същността на логическите форми на мислене, открива диалектическата логика. Официално логика също изследва само един начин на мислене - неговата структура. Това го отличава от всяка друга наука, която изучава човешкото мислене.

Официално логика изследва начини на мислене като форма на играта по отношение на постоянно качество на някои обекти и явления, стабилни връзки и отношения. Тя изучава структурата на крайния преобладаващите форми на мислене, да се излиза от процеса на тяхното формиране и развитие.

Logic никога не е била неутрална към философски борба. Логиката винаги е бил (и все още е) много различни школи и течения.

Според нейните цели, и неговата връзка с други науки, формална логика е наука на философията.

Като самостоятелна наука на логиката разработен в IV. Преди новата ера. д. основателя си е гръцки философ Аристотел (384- 322 година пр. н. е.), който е първият смислен, изследвани и описани основните форми на разсъждение (особено приспадане) и доказателствата, разкри същността на законите на идентичност, противоречие и изключени средата, класификация решението , В историята на древна философия, Аристотел пръв кара човек да видите предмет на специално изследване. Неговата логика - науката за conclusiveness на средствата оправдае истината.

В древността силогистична Аристотел беше доразвита от стоиците. В логиката на стоиците, много внимание бе отделено на теорията на условно разсъждение и дистрибуция.

През Средновековието той формира схоластичен логика. Средновековните мислители продължиха тенденцията в формализирането на Аристотеловата силогизъм. Схоластичен логиката доразвита идеята за Пропозиционални логика, представени от стоическата логика. Но схоластичен логика в някои отношения, и е крачка назад в древна логика. В логиката на Аристотел беше оръжие на света на знанието. Средновековна схоластика същата логика, подчинена на задачата за теология и религия. Основната цел на логиката не видях да се разбере света, но за да защити официалната църква идеология чрез изкуствени, формално-логически трикове.

По-нататъшното развитие на логиката, свързани с появата на феодализма в дълбините на капиталистическите обществени отношения, развитието на научни изследвания, технологии, научен експеримент и научни познания като цяло. Специална роля в развитието на този период на логически изключителни мислители като английски философ Бейкън (1561-1626), френският учен Декарт (1596-1650), немски математик Лайбниц (1646-1716) и други.

Основателят на английски материализъм Бейкън непримиримо против средновековна схоластика като основна пречка за познанието на природата. Той твърди, че схоластичен ползотворно с думи, но безплодна по работа и не се даде на света нещо "с изключение на бял трън спорове. В основната си работа" Нов Органон "Бейкън полага основите на индуктивен логика. Като се има предвид, че непосредствената задача на знанието е, откриването на причините svya връзки обекти и феномените на реалността, той разработени методи за определяне на причинно-следствените връзки между явления. развитието на тези методи на научната индукция беше предложена по-късно от Хершел, Уивъл и Йоан. чл. Mill.

Рене Декарт, признава средновековна схоластика и схоластичен логиката, следвана от Бейкън обяви създаването на такава философия и логика, която да служи за практика, като се укрепи господството на човека над природата. Подобно на Бейкън, Декарт видя основният проблем при създаването на научния метод. Но ако Бейкън като метод за експериментален знания даде приоритет на индукцията, Декарт, въз основа на данните на математиката предпочитани приспадане. Последователи на Декарт Арно А. и П. Никол в 1662 е написана учебник по логика - "Логика, или изкуството на мислене", известен като "Логиката на Порт Роял", в която задачата беше да се освободи логика на Аристотел от схоластичните изкривявания. "Логиката на Порт Роял" за дълго време се счита за основната насока с формалната логика.

Важна стъпка в развитието на математическите идеи (символично) логика направи Лайбниц. Прилагането на логиката на математически метод, той се опита да се изгради логика като математическо изчисление ( "универсална характеристика"). Лайбниц използвана за първи път символи за обозначаване на логическите константи (символи за променливи са въведени от Аристотел), започва развитието на принципите на изграждане на дедуктивни теории, той даде първото ясно изявление на закона с достатъчна причина.

Важна роля в обосновката на материалистическата изглед на логика принадлежи М. V. Lomonosovu, A. Н. Radischevu, AI Herzen, I. М. Sechenova, К. A. Timiryazeva и др. Логически проблем разработена и известен от логици като М. L. Korinskaya Rutkowski.

В средата на ХIХ век. имаше математически (символично) логика. Както вече споменахме, основите на математическата логика е бил поставен от Лайбниц, както и редица идеи за математическата логика са възникнали в средновековна схоластика и дори в логиката на древните стоиците. Но Лайбниц не остави сами по себе си на училище, а идеите му са били най-скоро zabuti2. Поради това, появата на математическата логика като наука, свързани с трудовете на британски математик Джон. Boole (1815-1854), немски математик и логик Е. Schroeder (1841-1902), астроном и логика P. S. Poretskogo (1846- 1907) и др. Учените ,

разграничават следните периоди в историята на математическата логика. Исторически, първата форма на математическата логика е период на алгебра на логиката (J. Buhl, Е. Schroeder, P. Poretsky). Този период се характеризира с адаптирането на методите на математиката логика. Вторият период започва с появата на труда Фреге (1848-1925) "Изчисление на понятия" (1870) и се характеризира с използването на логика, за да се оправдае математика. Трети период - период на развитие на съвременната математическа логика. Тя е свързана с появата на три обем А. Ръсел и "Principia Mathematica" Уайтхед (1910-1913), немски математик Г. Хилберт (1862- 1943) "Основните характеристики на теоретичната логика" (1928), трудовете на К. Гьодел и. Тюринг Е. публикация, Peter R., A. Н. Kolmogorova, P. S. Novikova, А. А. Маркова, S. М. Yanovskoy и др.

Logic очертава като клон традиционната формална логика, разработена в съответствие с нуждите на математика. В сравнение с традиционните (Аристотеловата) логика, математическата логика е достигнал най-висока степен на абстракция и формализация, в резултат на което тя отразява площта под проучване тях по-точно и адекватно. Въз основа на постиженията на математическата логика, има голям потенциал за механизация на отделните аспекти на човешката дейност, които се обсъждат.