Логика – наука о формах правильного мышления и законах, которым оно подчиняется.
Слово «логика» происходит от греческого слова «logos», что означает «понятие», «мысль», «рассуждение». Этот термин употребляется в различных значениях, в том числе им обозначается и наука о закономерностях в связях и развитии мыслей.
Логика (как и философия, лингвистика, кибернетика, психология и т.д.) изучает мышление. Она рассматривает последнее как инструмент познания окружающего мира.
Познание есть процесс отражения объективного мира сознанием человека, оно представляет собой единство чувственного и рационального.
Формы чувственного познания: ощущение, восприятие, представление.
Формы абстрактного мышления: понятие, суждение и умозаключение.
Чувственное познание дает нам знание об отдельных предметах, об их внешних свойствах; оно не позволяет постигнуть сущностные отношения между объектами. Это постигается лишь мышлением.
Абстрактное мышление обладает рядом особенностей. Это есть процесс:
– обобщенного познания действительности;
– опосредствованного познания действительности;
– активного отражения мира.
Важной особенностью мышления является то, что оно неразрывно связано с языком.
Понятие о логической форме и логическом законе
Мысль, как и каждый предмет, имеет форму и содержание. Содержание мышления есть конкретные знания об окружающем нас мире. Форма мышления (логическая форма) – это структура мысли, способ связи ее элементов. В процессе мышления мы одни и те же логические формы постоянно наполняем различным содержанием, которое исследуют различные науки. Логика рассматривает формы, отвлекаясь от содержания.
Логика изучает мышление как орудие познания истины.
Для получения истинных результатов в процессе рассуждения необходимо соблюдать два условия:
1) мысль должна быть истинной по содержанию;
2) необходимо соблюдать логическую правильность рассуждений, иначе и из истинных суждений может быть получен ложный результат.
Связи между мыслями по формам, при которых истинность одних из этих мыслей обусловливает истинность других, называются формально-логическими законами. Они выражают не содержательную сторону мышления, а лишь правильность его построения. Формально-логические законы характеризуют процесс протекания мышления с точки зрения определенности, последовательности, непротиворечивости и обоснованности. Существует четыре основных формально-логических закона: закон тождества, закон непротиворечия (противоречия), закон исключенного третьего и закон достаточного основания.
Логика и язык
Мышление неразрывно связано с языком. Язык есть «непосредственная действительность мысли», «тело» мысли, и одна из основных задач логики – исследование языковых выражений и отношений между ними.
В широком смысле язык – это любая знаковая информационная система, выполняющая функции формирования, сохранения и передачи информации и выступающая средством общения между людьми.
Языки бывают естественные (национальные) и искусственные.
Естественные языки – это исторически сложившиеся в обществе звуковые (речь) и графические (письмо) информационные знаковые системы. Естественные языки складываются стихийно.
Искусственные языки – это вспомогательные знаковые системы, специально создаваемые на базе естественных языков для точной передачи информации. Искусственные языки используются в математике, физике, химии, логике.
Общепринятым в современной логике является язык логики предикатов. Его основные семантические категории: имена предметов, имена признаков, предложения.
Имя – это слово или словосочетание, обозначающее какой-либо определенный предмет или класс однородных предметов.
Имена делятся на:
1) простые, в которых нет частей, имеющих самостоятельный смысл («студент», «гражданин»), и сложные, или описательные, в которых есть части, имеющие самостоятельный смысл («самое глубокое озеро в мире», «интересная книга»);
2) собственные («Аристотель», «Казанский государственный университет») и общие, т.е. имена класса предметов («юрист», «декан»).
Имя имеет значение и смысл.
Значение (денотат) – обозначаемый именем предмет или класс предметов. Смысл (концепт) – это способ, каким имя обозначает предмет, т.е. информация о предмете, которая содержится в имени.
Имена признаков (качеств, свойств или отношений) называются предикаторами. В предложении они обычно выполняют роль сказуемого (смеяться, думать, быть красивым). Число имен, к которым относится предикатор, называется местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (солнце светит). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «слушать» относится к двухместным («Я слушаю музыку»), а предикатор «дарить» – к трехместным («Я дарю цветы маме»).
Алфавит языка логики предикатов включает в себя различные виды знаков (символов), например:
а, b, c,... – символы для единичных имен предметов; их называют предметными постоянными, или константами;
x, y, z,... – символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;
логические связки:
ü конъюнкция (союз "и");
ü дизъюнкция (союз "или");
ü импликация (союз «если..., то...»);
ü эквиваленция (союз "если и только если..., то...");
ü отрицание («неверно, что...»).