Логика уч. пособие RTF. Учебное пособие адресовано студентам различных специальностей, изучающим курс Логика
 Скачать 9.07 Mb.
|
I. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИЛогика –наука о формах правильного мышления и законах, которым оно подчиняется. Слово «логика» происходит от греческого слова «logos», что означает «понятие», «мысль», «рассуждение». Этот термин употребляется в различных значениях, в том числе им обозначается и наука о закономерностях в связях и развитии мыслей. Логика (как и философия, лингвистика, кибернетика, психология и т.д.) изучает мышление. Она рассматривает последнее как инструмент познания окружающего мира. Познание есть процесс отражения объективного мира сознанием человека, оно представляет собой единство чувственного и рационального. Формы чувственного познания: ощущение, восприятие, представление. Формы абстрактного мышления: понятие, суждение и умозаключение. Чувственное познание дает нам знание об отдельных предметах, об их внешних свойствах; оно не позволяет постигнуть сущностные отношения между объектами. Это постигается лишь мышлением. Абстрактное мышление обладает рядом особенностей. Это есть процесс: – обобщенного познания действительности; – опосредствованного познания действительности; – активного отражения мира. Важной особенностью мышления является то, что оно неразрывно связано с языком. Понятие о логической форме и логическом законе Мысль, как и каждый предмет, имеет форму и содержание. Содержание мышления есть конкретные знания об окружающем нас мире. Форма мышления (логическая форма) – это структура мысли, способ связи ее элементов. В процессе мышления мы одни и те же логические формы постоянно наполняем различным содержанием, которое исследуют различные науки. Логика рассматривает формы, отвлекаясь от содержания. Логика изучает мышление как орудие познания истины. Для получения истинных результатов в процессе рассуждения необходимо соблюдать два условия: 1) мысль должна быть истинной по содержанию; 2) необходимо соблюдать логическую правильность рассуждений, иначе и из истинных суждений может быть получен ложный результат. Связи между мыслями по формам, при которых истинность одних из этих мыслей обусловливает истинность других, называются формально-логическими законами. Они выражают не содержательную сторону мышления, а лишь правильность его построения. Формально-логические законы характеризуют процесс протекания мышления с точки зрения определенности, последовательности, непротиворечивости и обоснованности. Существует четыре основных формально-логических закона: закон тождества, закон непротиворечия (противоречия), закон исключенного третьего и закон достаточного основания. Логика и язык Мышление неразрывно связано с языком. Язык есть «непосредственная действительность мысли», «тело» мысли, и одна из основных задач логики – исследование языковых выражений и отношений между ними. В широком смысле язык–это любая знаковая информационная система, выполняющая функции формирования, сохранения и передачи информации и выступающая средством общения между людьми. Языки бывают естественные (национальные) и искусственные. Естественные языки–это исторически сложившиеся в обществе звуковые (речь) и графические (письмо) информационные знаковые системы. Естественные языки складываются стихийно. Искусственные языки–это вспомогательные знаковые системы, специально создаваемые на базе естественных языков для точной передачи информации. Искусственные языки используются в математике, физике, химии, логике. Общепринятым в современной логике является язык логики предикатов. Его основные семантические категории: имена предметов, имена признаков, предложения. Имя–это слово или словосочетание, обозначающее какой-либо определенный предмет или класс однородных предметов. Имена делятся на: 1) простые, в которых нет частей, имеющих самостоятельный смысл («студент», «гражданин»), и сложные, или описательные, в которых есть части, имеющие самостоятельный смысл («самое глубокое озеро в мире», «интересная книга»); 2) собственные(«Аристотель», «Казанский государственный университет») и общие,т.е. имена класса предметов («юрист», «декан»). Имя имеет значение и смысл. Значение (денотат) – обозначаемый именем предмет или класс предметов. Смысл (концепт)–это способ, каким имя обозначает предмет, т.е. информация о предмете, которая содержится в имени. Имена признаков(качеств, свойств или отношений) называются предикаторами.В предложении они обычно выполняют роль сказуемого (смеяться, думать, быть красивым). Число имен, к которым относится предикатор, называется местностью.Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными(солнце светит). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными.Например, предикатор «слушать» относится к двухместным («Я слушаю музыку»), а предикатор «дарить» – к трехместным («Я дарю цветы маме»). Алфавит языка логики предикатоввключает в себя различные виды знаков (символов), например: а, b, c,... – символы для единичных имен предметов; их называют предметными постоянными, или константами; x, y, z,... – символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными; логические связки:
История логики как науки Проблемы логики начинают разрабатываться уже мыслителями Древней Индии и Древнего Китая, но зарождение логики как науки связано с именем античного философа Аристотеля(384–322 до н.э.), заложившего основы дедуктивной, силлогистической логики. Логические сочинения Аристотеля были впоследствии объединены его комментаторами под общим названием «Органон» («орудие знания»). В средние века логика развивается в рамках схоластики; в эпоху Возрождения схоластическая философия, а с ней и аристотелевская логика, начинают подвергаться критике. Английский ученый XVI–XVII веков Ф.Бэконв своем произведении «Новый органон» разрабатывает основы индуктивной логики. С именем немецкого ученого XVII–XVIII веков Г.Лейбницасвязан поворотный пункт в развитии логики. Он выдвигает идею математизации логики, развитие которой в середине XIX века привело к созданию символической, или математической, логики. Контрольные вопросы. 1. Что изучает формальная логика? 2. Каково практическое и теоретическое значение логики? 3.Что такое форма мышления? 4.В чем отличие истинности мысли от логической правильности рассуждений? 5.Что такое знак? |