Возникновение логики как науки
1)Что означает термин «логика»? Логика – это наука о способах рассуждения, о методах и законах правильного мышления.
2)Что составляет предмет логики? Что такое «логическая форма»? Перечислить законы классической формальной логики. первоначально законы и формы правильного мышления изучались в границах ораторского искусства,как одного из средств воздействия на умы людей, убеждения их в целесообразности определенного поведения. Так было в Древней Индии, Древнем Китае, Древней Греции,Древнем Риме, а также средневековой России. Однако в искусстве красноречия логический аспект представляет пока еще как подчиненный, ибо логические приемыслужат не столько цели достижения истины, сколько цели убеждения аудитории. Формальная логика - наука о законах и формах правильного мышления. Логической формой конкретной мысли является строение этой мысли, т.е. способ связи ее составных частей. Логическая Форма - способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название "формальная логика" подчеркивает, что эта логика интересуется только формой рассуждения.
1) Закон тождества - любая мысль (любое рассуждение) обязательно должна быть равна (тождественна) самой себе. этот закон запрещает путать и подменять понятия в рассуждении (т. е. употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова), создавать двусмысленность, уклоняться от темы и т п. Когда закон тождества нарушается непроизвольно, по незнанию, тогда возникают просто логические ошибки; но когда этот закон нарушается преднамеренно, с целью запутать собеседника и доказать ему какую-нибудь ложную мысль, тогда появляются не просто ошибки, а софизмы.
2) Закон непротиворечивости - это логический закон, согласно которому не могут быть одновременно истинными взаимно исключающие друг друга мысли: "В данный момент снег идет" и "В данный момент снег не идет" . С точки зрения логики объединение таких мыслей может быть только ложным, и ни в коем случае не истинным. Именно от его соблюдения зависит исходная согласованность наших мыслей, продолжающая линию закона тождества на устойчивость нашего мышления. Логика различает два типа несовместимости мыслей :
а). Формальную несовместимость, которая имеет место между некоторой мыслью и ее формальным отрицанием: "Снег идет" и "Снег не идет" , где одна мысль есть непосредственное формальное отрицание ("не", "нет") другой.
б) содержательную (предметную) несовместимость, которая имеет место в связи с несовместимостью самих признаков внутри соответствующих вещей: "Цветок - роза" и "Цветок - ромашка". Эта несовместимость определяется не по формально-логическим законам, а по законам развития самих вещей. Такая несовместимость устанавливается не логикой, а конкретными науками о соответствующих предметах и явлениях. Закон требуют, чтобы там, где противоречивость самого предмета выражается в форме формальных противоречий- "Вещь есть Р и не - Р одновременно" - была снята конкретным исследованием и выражена в формально-непротиворечивой форме. В противном случае логика не несет ответственности за ошибки в последующих рассуждениях и выводах относительно, таким образом, фиксируемых объектов.
3) Закон исключенного третьего - это закон традиционной формальной логики, согласно которому из двух формально противоречащих друг другу мыслей (мысли и ее формального отрицания, А и не - А) одна обязательно должна быть истинной, а вторая ложной. С точки зрения этого закона содержательно несовместимые мысли могут быть одновременно ложными. Хотя, по закону непротиворечия, они не могут быть одновременно истинными. Закон исходит из допущения, что всякий предмет, вещь могут либо обладать, либо не обладать некоторым признаком: быть или не быть человеком, цветком, розой, ромашкой и так далее.
4) Закон достаточного основания - это закон, согласно которому, чтобы считать некоторую мысль истинной или ложной, мы должны располагать некоторым строгим доказательством.
Под доказательством при этом понимается специальная процедура установления соответствия мысли действительности. Так, чтобы в данный момент убедиться, что мысль "На улице светит солнце" истинна, достаточно выглянуть на улицу. В отношении обоснования истинности (ложности) мыслей, прежде всего суждений, на первом месте стоит непосредственное обращение к содержанию тех или иных вещей, явлений путем применения соответствующих приемов наблюдения, измерения, эксперимента.
3)
Как символически выразить закон противоречия или закон запрета на противоречия?
4)
Как символически выразить закон тождества и закон исключенного третьего?
5) Что называется понятием? Дать определение понятия, соблюдая правило соразмерности.
Понятие есть выраженная отдельным словом или словосочетанием мысль о существенных и отличительных признаках какого-либо предмета или класса однородных предметов. Переход от чувственной ступени познания к познанию на уровне абстрактного мышления характеризуют как переход от отражения мира в форме ощущений, восприятий и представлений к отражению мира в понятиях и формулируемых на их основе суждениях, умозаключениях и, в конечном счёте, научных теориях. Понятие- это форма мышления, в которой обобщаются и выделяются предметы и явления того или иного класса по более или менее существенным признакам.
ОПРЕДЕЛЕНИЕ ПОНЯТИЯ есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина.
Что такое «слишком широкое» определение?
1)Назвать два логических свойства понятия. В каком отношении они находятся друг к другу? Содержание понятия - это то, что мыслится в понятии. Например, в понятии «сахар» мыслятся признаки: сладкий, белый, шероховатый, имеющий тяжесть.
Объём понятия есть то, что мыслится посредством понятия, т. е. объём понятия есть сумма тех классов, групп, родов, видов и т.п., к которым данное понятие может быть приложено. Например, объём понятия «животное»: птица, рыба, насекомое, человек и т. д.; объем понятия «элемент»: кислород, водород, углерод, азот и т. д.; объём понятия «четырёхугольник»: квадрат, прямоугольник, ромб, трапеция.
Таким образом, различие между объёмом понятия и содержанием понятия сводится к следующему: объём понятия означает ту совокупность предметов, к которым должно прилагаться данное понятие, а содержание обозначает те признаки, которые приписываются тому или другому понятию.
!!! По мере увеличения содержания понятия уменьшается его объём, и наоборот!!!
2. Где и как существует понятие? Что такое номинализм и реализм? …
Реализм - термин, употребляемый для обозначения направления, постулирующего существование реальности, независимой от познающего субъекта. (Определение предмета)
Номинализм - учение, согласно которому названия таких понятий, как «животное», - «эмоция» - это не собственные имена цельных сущностей, а общие имена, своего рода переменные, вместо которых можно подставлять имена конкретные. общие имена применяются не к классу вещей как к целому, а порознь к каждой отдельной вещи из этого класса. (Определение обозначающее предмет) С помощью Номинальных определений вводятся новые термины, Знаки заменяющие термины, раскрывается этимология термина.
3. Что такое атрибутивная и реляционная структура понятия?
Атрибутивная логика – это логика, которая основывается на категории свойства.
Атрибутивная структура – это понятие, которое рассматривается со стороны своего содержания.
Особенностью атрибутивной структуры явл, то, что допустима не только перестановка признаков, вкл в содержание понятия, но и их изменение в зависимости принятой точки зрения. Здесь отсутствует четкая упорядоченность в перечислении признаков понятия. Содержание понятия составляет сумма или набор свойств-признаков, которые составляют эту структуру. Как правило выводы в логике рассматриваются как результат умозаключения из суждений, которые являются посылками.
Реляционная структура. Двойственная природа понятия проявл в том, что содержание понятия тесно связано его объемом. Чем богаче содержание понятия, тем беднее его объем. Если содержание понятия может быть определено в категориях системно-параметрического метода как его атрибутивная структура, то соотношение понятий по объему может быть определено как его реляционная структура.
Реляционная структура понятия эксплицилуется отношением понятий по своему объему. В это отношение вх 2 и более понятий. Если понятие одно по числу, то его реляционная структура проявляется в его отношении самого к себе.
4. Что такое «единичные» или «индивидуальные» понятия? Привести примеры таких понятий .
Единичные - те понятия, которые относятся к предметам единичным, индивидуальным (в данном случае индивидуальные понятия совпадают с представлениями о единичных вещах), например: «британский посланник во Франции», «высочайшая гора в Америке», «автор «Мёртвых душ», «эта книга» . К числу единичных понятий относятся также и собственные имена, например: «Казбек», «Ньютон», «Рим» . понятия об отдельных предметах или явлениях, например: Северный полюс , Ломоносов, Москва, Московский институт физической культуры и др. Хотя эти понятия относятся к единичным предметам, они все же существенным образом отличаются от представлений. Последние отражают внешние формы предметов, тогда как единичные понятия - их сущность.
САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ ИНСТИТУТ (ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)
Кафедра философии
РЕФЕРАТ НА ТЕМУ:
“АРИСТОТЕЛЬ - основатель науки Логики”
Выполнил:
Студент группы 226
Родин Д.И.
Руководитель:
Кутыкова И.В.
Санкт-Петербург
Введение…………………………………………………………………………………..3
Краткая биография Аристотеля…………………………................................................4
Что такое логика?..…………….………………………………………………………….6
Логика Аристотеля……………………………………………………………………….6
Логические произведения Аристотеля………………………………………………….9
Заключение………………………………………………………………………………13
Список литературы……………………………………………………………………...14
ВВЕДЕНИЕ
В обычной повседневной жизни наше мышление, наш разум подчинены определенным житейским правилам, все наши действия - это реакция на что-то или кого-то, причем сама реакция определяется логическим выводом из сложившейся ситуации. Логически мыслить присуще любому живому существу. Самые первые желания человека: желание пищи, воды и крова обусловлены первобытной логикой: необходимостью жить и выживать в любых условиях. Ведь инстинкт - это тоже своеобразная логика. Логика послужила одним из толчков к развитию человечества. Но интересно то, что если рассматривать понятие логики с обывательской точки зрения, то в ее рамки можно вместить любой человеческий поступок, каким бы странным он нам не казался, потому что логика одного человека хоть в чем-то, но отличается от логики другого. Поэтому нам часто не понятны поступки других людей, нам они кажутся алогичными. Человек, совершивший странный с нашей точки зрения поступок может попытаться убедить нас, он начнет приводить нам аргументы, которые ему подсказывает его логика, но мы, скорее всего, все равно его не поймем. Это похоже на то, как если бы мы начали объяснять вкус рыбы человеку, который никогда ее не пробовал.
Изучению логического мышления посвящена целая отдельная наука. Современная логика включает две относительно самостоятельные науки: формальную логику и диалектическую логику. Исследуя мышление с разных сторон, диалектическая логика и формальная логика развиваются в тесном взаимодействии, которое четко проявляется в практике научно-теоретического мышления, использующего в процессе познания как логический аппарат, так и средства разработанные диалектической логикой.
Логика как наука зародилась в древней Греции. Самое раннее упоминание логической проблематики можно найти в сочинениях Парменида Элейского, родившегося около 540г. до н.э. и Гераклита Эфесского, жившего приблизительно между 530 и 470 гг. до н.э. О логике в смысле науки можно говорить лишь со времен Аристотеля (IV в. до н.э.). Логику, основанную Аристотелем, принято называть формальной. Это название закрепилось за ней потому, что она возникла и развилась как наука о формах мышления.
КРАТКАЯ БИОГРАФИЯ АРИСТОТЕЛЯ
Аристотель родился в 384 г. до н. э. в городе Стагире на северо-западном побережье Эгейского моря. Отцом Аристотеля был Никомах - придворный медик Аминты III, царя Македонии. Аристотель рано остался без родителей. Воспитывался он в Атарнее у Проксена, своего родственника. В восемнадцать лет он отправился в Афины и поступил в Академию Платона, где оставался вплоть до смерти Платона около 347 до н.э. За время пребывания в Академии Аристотель изучил философию Платона, а также ее сократические и досократические источники и многие другие дисциплины. По-видимому, Аристотель преподавал в Академии риторику и другие предметы. Возможно, что именно в этот период его творчества и были созданы работы по логике.
Около 348–347 до н.э. преемником Платона в Академии стал Спевсипп, с которым у Аристотеля были напряженный отношения, поэтому ему пришлось покинуть Академию, хотя и после этого Аристотель продолжал считать себя платоником. С 355 г. он живет сначала в Ассосе, в Малой Азии, под покровительством тирана города Атарнея Гермия. Последний предоставил ему прекрасные условия для работы. Аристотель женился здесь на некоей Пифиаде - не то дочери, не то приемной дочери, не то племяннице Гермия, а по некоторым сведениям - его наложнице. Через три года философ уезжает в Митилену на остров Лесбос. Это произошло незадолго до или же сразу после смерти Гермия, предательски захваченного персами и распятого.
Гермий был союзником македонского царя Филиппа II, отца Александра, так что, возможно, именно благодаря Гермию Аристотель в 343 или 342 до н.э. получил приглашение занять должность наставника юного наследника престола, которому было тогда 13 лет. Аристотель принял предложение и переехал в столицу Македонии Пеллу. О личных отношениях двух великих людей известно мало. Судя по сообщениям, которыми мы располагаем, Аристотель понимал необходимость политического объединения мелких греческих полисов, но стремление Александра к мировому господству ему не нравилось. Когда в 336 до н.э. Александр взошел на престол, Аристотель возвратился на родину, в Стагиру, а год спустя вернулся в Афины.
За это время характер мышления Аристотеля, его идеи претерпели некоторые изменения. Часто его идеи вступали в прямое противоречие со взглядами преемников Платона в Академии и некоторыми положениями учения самого Платона. Этот критический подход выразился в диалоге “О философии”, а также в ранних разделах работ, которые дошли до нас под условными названиями “Метафизика”, “Этика” и “Политика”. Чувствуя свое идейное расхождение с господствующим в Академии учением, Аристотель предпочел основать в северо-восточном предместье Афин новую школу – Ликей. Целью Ликея, как и целью Академии, было не только преподавание, но и самостоятельные исследования. Здесь Аристотель собрал вокруг себя группу одаренных учеников и помощников.
Аристотель и его ученики сделали множество существенных наблюдений и открытий, которые оставили заметный след в истории многих наук и послужили фундаментом для дальнейших исследований. В этом им помогали образцы и данные, собранные в дальних походах Александра. Однако глава школы уделял все большее внимание фундаментальным философским проблемам. Большая часть из дошедших до нас философских произведений Аристотеля написана в этот период.
В 323 до н.э. внезапно умер Александр, и по Афинам и другим городам Греции прокатилась волна антимакедонских выступлений. Положение Аристотеля было поставлено под угрозу из-за его дружбы с Филиппом и Александром, а также недвусмысленно выражавшихся им политических убеждений, которые приходили в противоречие с патриотическим энтузиазмом городов-государств. Под угрозой преследований Аристотель покинул город, чтобы, как он говорил, не дать афинянам совершить преступление против философии во второй раз (первым была казнь Сократа). Он переехал в Халкиду на острове Эвбея, где находилось доставшееся ему от матери имение, где, после непродолжительной болезни, умер в 322 до н.э.
Интересный факт: существует мнение, что Аристотель, у которого были весьма сложные отношения не только с македонскими правителями, но и с афинскими патриотами, не только отравил Александра Македонского, но и сам себя отравил аконитом, как о том сообщает Диоген Лаэрций.
ЧТО ТАКОЕ ЛОГИКА?
ЛОГИКА (греч. logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др.
ЛОГИКА АРИСТОТЕЛЯ
Как ни странно, название науки логики дал не Аристотель, а Александр Афродизийский 500 лет спустя, комментируя труды философа, хотя уже при жизни Стагирита логика практически достигла совершенства. Вплоть до тринадцатого века влияние Аристотеля в области метафизики было утеряно, но его авторитет в логике остался. Интересно то, что и в наши дни многие преподаватели логики как науки часто отвергают открытия современной логики и придерживаются со странным постоянством системы, которая устарела примерно так же, как и Птолемеева астрономия. Хотя нельзя отвергать тот факт, что основы логики уже долгое время остаются неизменными, и созданы они именно Аристотелем.
Что же такое логика Аристотелю?
Аристотель воспринимает логику не как самостоятельное философское учение, а скорее как необходимый инструмент всех наук и философии в частности. Более позднее понятие о логике как «орудии», хотя сам Аристотель ее так не называл, возможно, соответствует его собственным представлениям. Понятно, что логика должна предшествовать философии. Саму философию Аристотель делит на две части – теоретическую, которая стремится к достижению истины, независимой от чьего-либо желания, и практическую, занятую умом и человеческими устремлениями, которые совместными усилиями стараются уяснить суть человеческого блага и его достигнуть. В свою очередь теоретическая философия делится на три части: исследование изменяющегося бытия (физика и естествознание, включая науку о человеке); исследование бытия абстрактных математических объектов (различные разделы математики); исследование бытия как такового (то, что мы называем метафизикой).
А.А. ВолковЛо́гика - 1) ход рассуждений; 2) внутренняя закономерность, свойственная процессам, явлениям и т. д.; 3) наука о способах, законах, формах мышления.
Возлюби Господа Бога твоего всем сердцем твоим и всею душею твоею и всем разумением твоим ()
Если Богу, как Всеведущему, всё известно от вечности, то можно ли говорить о логике Его мышления, направленного на заботу о мире и человеке?
И лишь по исполнении всего перечисленного Он наделил созданную Им благодатными дарами для борьбы со злом и исцеления людей от греха.
Если Бог непостижим, то можно ли его познавать при помощи логических умопостроений?
Православное Догматическое Богословие подразумевает возможность познания Бога как через практический опыт, так и посредством приобретения теоретических знаний. Теоретическое познание, конечно, подразумевает опору и на рациональное, логическое мышление.
Понимая, что Бог - абсолютно прост (то есть не состоит из частей, не сложен из элементов), мы, тем не менее, изучаем Его свойства по отдельности. Например: отдельно рассматриваются свойства Божеского Разума, отдельно - свойства воли, отдельно - свойства чувств. Это не значит, что мы противоречим учению о Божественной простоте.
Опять же, что нелогичного в утверждении, что чтобы стать истинно верующим, необходимо знать веры? Наука о догматах веры называется: «Православное Догматическое Богословие». Как и всякая наука она, естественно, опирается, на доводы рационального мышления.
Однако, следует знать, что вне Православной существует и такое направление богомыслия, которое именуется в особом значении. Такое направление богомыслия характерно и для католицизма, и для протестантизма. Оно допускает чрезмерное вмешательство рассудка в дело истолкования тайн .
Можно ли использовать логику при изучении догмата о Пресвятой Троице?
Поскольку Бог Троица бесконечен, познать Его в полноте не может ни одно Его творение: ни , ни человек. Однако это не значит, что мы не можем познать Его частично, в той мере, в какой Он открылся для нас и в той мере, в какой мы способны это Откровение постичь.
При помощи приземлённой математической логики, мол, единица - не равняется трём, а три - не есть один, догмат о Троице, мы, конечно же, не поймём.
Для уяснения догмата о Пресвятой Троице святые отцы, во-первых, обращали внимание на то, что единичность усматривается в Боге в отношении сущности, а троичность - в отношении Лиц (см. подробнее: ). Разве в самом этом объяснении нет логики?
При объяснении понятий «сущность» и «Лица» они тоже использовали логику. Сам термины « », «лицо» («) были приняты в богословское употребление не без логически обоснованных доводов.
ЛОГИКА
В настоящее время логика представляет собой разветвленную и многоплановую науку, которая содержит в своем составе следующие основные разделы: теорию рассуждений (в двух вариантах: теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогику и логическую методологию. Исследования во всех этих областях на нынешнем этапе развития логики гл. о. и по преимуществу осуществляются в рамках логической семиотики.
В последней языковые выражения рассматриваются как объекты, находящиеся в т. н. знаковой ситуации, включающей в себя три типа предметов - само языковое (знак), обозначаемый им предмет (значение знака) и интерпретатора знаков. В соответствии с этим языка может вестись с трех относительно самостоятельных точек зрения: исследования логического синтаксиса языка, т. е. отношения знака к знаку; исследования логической семантики языка, т. е. отношения знака к обозначаемому им объекту; и исследования логической прагматики, т. е. отношения интерпретатора к знаку.
В логическом синтаксисе язык и строящиеся на его основе логические теории изучаются с формальной (структурной) их стороны. Здесь определяются алфавиты языков логических теорий, задаются правила построения из знаков алфавита различных сложных языковых конструкций - термов, формул, выводов, теорий и т. д. Осуществляется синтаксическое членение множества языковых выражений на функторы и аргументы, постоянные и переменные, определяется понятие логической формы выражения, определяются понятия логического подлежащего и логического сказуемого, осуществляется построение различных логических теорий и анализ способов оперирования в них.
В логической семантике язык и логические теории изучаются с содержательной их стороны; Так как ЯЗЫКОВЫЕ конструкции не только обозначают, но и нечто описывают (имеют ), в логической семантике различают теорию значения и теорию смысла. В первой решается вопрос, какие объекты обозначают знаки и как именно они это делают. Аналогично в теории смысла решается вопрос о том, что является смысловым содержанием языковых выражений и каким образом они описывают это содержание.
Для логики как науки особое значение имеют как раз логические термины, так как вся процедурная сторона нашей интеллектуальной работы с информацией в конечном счете определяется смыслом (значением) данных терминов. К числу логических терминов относятся связки и операторы. Среди первых выделяются предицирующие связки “есть” и “не есть” и пропозициональные (логические связки): союзы - “и” (“а”, “но”), “или” (“либо”), “если, то”, словосочетания - “неверно, что”, “если и только если” (“тогда и только тогда”, “необходимо и достаточно”) и другие. Среди вторых выделяют высказывание образующие - “все” (“каждый”, “любой”), “некоторый” (“существует”, “какой-либо”), “необходимо”, “возможно”, “случайно” и т. д. и имяобразующие операторы - “множество предметов таких, что”, “тот предмет, который” и др.
Центральным понятием логической семантики является понятие истины. В логике оно подвергается тщательному анализу, так как без него невозможно в четкой форме проинтерпретировать логическую теорию, а следовательно, и ее детально исследовать и понять. Сейчас уже очевидно, что мощное развитие современной логики во многом было определено детальной разработкой понятия истины. С понятием истины тесно связано и другое важное семантическое понятие - понятие интерпретации, т. е. процедуры приписывания с помощью особой интерпретирующей функции языковым выражениям значений, ассоциированных с некоторьм классом предметов, называемым универсумом рассуждения. Возможной реализацией языка называется строго фиксированная пара , где Ü - рассуждения, а I - интерпретирующая , ставящая в соответствие именам элементы универсума, я-местным предикаторам - множества упорядоченных я-ок элементов универсума, л-местным предметным функторам - я-местные функции, отображающие я-ки элементов универсума в элементы универсума. Выражениям, относящимся к формулам, ставятся в соответствие два значения - “истина” или “ложь” - в соответствии с условиями их истинности.
С одним и тем же классом предложений могут связываться различные их возможные реализации. Те реализации, на которых каждое , входящее в множество предложений Г, принимает значение “истина”, называется моделью для Г. Понятие модели особо исследуется в специальной семантической теории - моделей теории. При этом различают модели разного типа - алгебраические, теоретико-множественные, теоретико-игровые, теоретико-вероятностные и др.
Понятие интерпретации имеет для логики наиважнейшее значение, так как посредством него определяются два центральных понятия этой науки - понятия логического закона (см. Закон логический) и логического следования (см. Следование логическое).
Логическая семантика является содержательной частью логики, а ее понятийный аппарат широко используется для теоретического оправдания тех или иных синтаксических, чисто формальных построений. Причина этого состоит в том, что совокупное содержание мысли делится на логическое (выражаемое логическими терминами) и (выражаемое дескриптивными терминами), а потому, выделяя логическую форму выражений, мы отвлекаемся, вообще говоря, не от любого содержания. Такое отвлечение, т. е. рассмотрение формальной стороны мыслей, представляет собой лишь способ вычленения в чистом виде логического их содержания, которое и исследуется в логике. Это обстоятельство делает неприемлемым идущее от Канта логики как сугубо формальной дисциплины. Напротив, логика является глубоко содержательной наукой, в которой каждая логическая процедура получает свое теоретическое оправдание посредством содержательных соображений. В этой связи “формальная логика” в его применении к современной логике является неточным. В подлинном смысле слова можно говорить лишь о формальном аспекте исследования, но не о формальной логике как таковой.
При рассмотрении тех или иных логических проблем во многих случаях необходимо учитывать также и намерения интерпретатора, который использует языковые выражения. Напр., рассмотрение такой логической теории, как теория аргументации, спора, дискуссии, невозможно без учета целей и намерений участников диспута. Во многих случаях применяемые здесь приемы полемики зависят от желания одной из спорящих сторон поставить своего противника в неудобное положение, сбить его с толку, навязать ему определенное обсуждаемой проблемы. Рассмотрение всех этих вопросов составляет содержание особого подхода к анализу языка - “логической прагматики”. Наиболее фундаментальным разделом логики является теория дедуктивных рассуждений. В настоящее время этот раздел в своей аппаратной (синтаксической, формальной) части представлен в виде разнообразных дедуктивных теорий - исчислений. Построение такого аппарата имеет двоякое значение: во-первых, теоретическое, так как позволяет выделить некоторый законов логики и форм правильных рассуждений, исходя из которых можно обосновать все другие возможные законы и формы правильных рассуждений в данной логической теории; во-вторых, чисто практическое (прагматическое), так как разработанный аппарат может быть использован и используется в современной практике научного познания для точного построения конкретных теорий, а также для анализа философских и общенаучных понятий, приемов познания и т. д.
В зависимости от глубины анализа высказываний выделяют исчисления высказываний (см. Логика высказываний) и кванторные теории - исчисления предикатов (см. Логика предикатов). В первых анализ рассуждений ведется с точностью до выделения простых предложений. Иначе говоря, в исчислениях высказываний мы не интересуемся внутренней структурой простых предложений. В исчислениях предикатов анализ рассуждений осуществляется с учетом внутренней структуры простых предложений.
В зависимости от типов квантифицируемых переменных различают исчисления предикатов различного порядка. Так, в исчислении предикатов первого порядка единственными квантифицируемыми переменных являются индивидные переменные. В исчислении предикатов второго порядка вводятся и начинают квантифицироваться переменные для свойств, отношений и предметных функций разной местности. Соответственно строятся исчисления предикатов третьего и более высокого порядка.
Еще одно важное членение логических теорий связано с использованием для представления логического знания языков с различной категориальной сеткой. В этой связи можно говорить о теориях, построенных на языках фреге-расселовского типа (многочисленные варианты исчисления предикатов), силлогистического (разнообразные силлогистики, а также Лесневского, являющаяся современной формой сингулярной силлогистики) или алгебраического (различные алгебры логики и алгебры классов - Булева алгебра, алгебра Жегалклна, алгебра де Моргана, алгебра Хао Вана и др.). Для многих теорий, построенных на языках с различной категориальной сеткой, показана их взаимная переводимость. В последнее время в логических исследованиях начинает активно использоваться теоретико-категорный язык, основанный на новом математическом аппарате - теории категорий.
В зависимости от способа построения выводов и доказательств (см. Вывод логический), применяемых в логических теориях, последние делятся на аксиоматические исчисления, исчисления натурального вывода и секвенциальные исчисления (см. Исчисление секвенций). В аксиоматических системах принципы дедукции задаются списком аксиом и правил вывода, позволяющих переходить от одних доказанных утверждений (теорем) к другим доказанным утверждениям. В системах натурального (естественного) вывода принципы дедукции задаются списком правил, позволяющих переходить от одних гипотетически принятых утверждений кдругим утверждениям. Наконец, в секвенциальных исчислениях принципы дедукции задаются правилами, позволяющими переходить от одних утверждений о выводимости (они называются секвенциями) к Другим утверждениям о выводимости.
Построение в логике того или иного исчисления составляет формальную строну логических исследований, которую всегда бывает желательно дополнить содержательными соображениями, т. е. построением соответствующей ей семантики (интерпретации). Для многих логических исчислений такие семантики имеются. Они представлены семантиками различного типа. Это могут быть таблицы истинности, т. н. аналитические таблицы, таблицы Бета (см. Семантические таблицы), различного рода алгебры, возможных миров семантики, описания состояний и т. д. Напротив, в том случае, когда логическая система первоначально строится семантически, встает вопрос о формализации соответствующей логики, напр., в виде аксиоматической системы.
В зависимости от характера высказываний, а в конечном счете от типов отношений вещей, которые изучаются в логике, логические теории делятся на классические и неклассические. В основе такого членения лежит принятие при построении соответствующей логики определенных абстракций и идеампаций. В классической логике применяются, напр., следующие абстракции и идеализации: а) принцип двузначности, согласно которому каждое высказывание является либо истинным, либо ложным, б) принцип экстенсиональности, т. е. разрешение для выражений, имеющих одно и то же зна
чение, свободной их замены в любых контекстах, что говорит о том, что в классической логике интересуются только значением выражений, а не их смыслом, в) актуальной бесконечности, который позволяет рассуждать о существенно неконструктивных объектах, г) принцип экзистенциальности, согласно которому универсум рассуждения должен быть непустым множеством, а каждое собственное должно иметь референт в универсуме.
Эти абстракции и идеализации образуют ту точку зрения, тот ракурс, под которым мы видим и оцениваем объективную . Однако никакая совокупность абстракций и идеализации не может охватить ее в полной мере. Последняя всегда оказывается более богатой, более подвижной, чем наши теоретические построения, что и делает оправданным свободное варьирование исходных Принципов. В этой связи полный или частичный отказ от любого из указанных принципов выводит нас В область неклассических логик. Среди Последних выделяют: многозначные логики , в частности вероятностные и нечеткие, в которых происходит отказ от принципа двузначности; интуиционистские логики и конструктивные логики, в которых исследуются рассуждения в рамках абстракции потенциальной осуществимости; модальные логики (алетические, временные, деонтические, эпистемические, аксиологические и др.), релевантные логики, паранепротиворечивые логики, логики вопросов, в которых рассматриваются высказывания с неэкстенсиональными (интенсиональными) логическими константами; логики, свободные от экзистенциальных допущений, в которых происходит отказ от принципов экзистенциальности, и многие другие.
Сказанное показывает, что логика как наука, дающая теоретическое законов мышления, не есть нечто раз и навсегда . Наоборот, каждый раз с переходом к исследованию новой области объектов, требующих принятия новых абстракций и идеализации, при учете новых факторов, которые влияют на процесс рассуждения, сама эта теория изменяется. Т. о. логика является развивающейся наукой. Но сказанное демонстрирует и нечто большее, а именно, что в состав логики определенной теории законов мышления напрямую связано с принятием определенных онтологических допущений. С этой точки зрения логика является не только теорией мышления, но и теорией бытия (теорией онтологии).
Важным разделом современной логики является . В последней исследуются различные проблемы, относящиеся к логическим теориям. Основными здесь являются вопросы о тех свойствах, которыми обладают логические теории: о непротиворечивости, полноте, наличии разрешающих процедур, независимости исходных дедуктивных принципов, а также о различных отношениях между теориями и т. д. В этом смысле металогика является как бы саморефлексией логики относительно своих построений. Все метатеоретические исследования проводятся на специальном метаязыке, в качестве которого используется обычный естественный язык, обогащенный специальной терминологией и метатеоретическими дедуктивными средствами.
Логическая методология является еще одним разделом современной логики. Обычно методологию подразделяют на общенаучную, в рамках которой изучаются познавательные приемы, применяемые во всех областях научного знания, а также методологию отдельных наук: методологию дедуктивных наук, методологию эмпирических наук, а также методологию социального И гуманитарного знания. Во всех этих разделах логическая методология участвует в качестве специфического аспекта исследования. Так, в общей методологии к числу логических аспектов относится исследование таких познавательных приемов, как выработка и формулировка понятий, установление их видов и различных способов оперирования с понятийными конструкциями (деление , классификация), определения терминов и т. д.
Особенно большие успехи достигнуты в области методологии дедуктивных наук. Это было обусловлено как построением самой логики в форме дедуктивного аппарата, так и использованием этого аппарата для обоснования такой дедуктивной дисциплины, как . Все это потребовало разработки существенно новых познавательных методов и введения новых методологических понятий. В холе проводившейся здесь работы удалось, напр., так обобщить понятие функций, что оно перешло фактически в разряд общеметодологических, теоретико-познавательных понятий. Мы теперь имеем возможность рассматривать не только числовые функции, но и функции любой другой природы, что позволило сделать функциональный анализ языка ведущим методом исследования языковых выражений. Удалось со всей тщательностью и строгостью отработать такие важные методы познания, как метод аксиоматизации и формализации знания. Впервые удалось в четкой и, главное, разнообразной форме задать теоретико-доказательные (дедуктивные) методы познания, разработать теорию выразимости и определимости одних терминов через другие в составе теорий, определить различными способами понятие вычислимой функции.
В настоящее время активно разрабатывается логическая проблематика методологии эмпирических наук. К этой области относятся исследования по построению и проверке гипотез (в частности, гипотетико-дедукгивному методу), анализу различных видов правдоподобных рассуждений (индукции и аналогии), теории измерения. Здесь получены интересные результаты по вопросам соотношения эмпирического и теоретического уровней знания, процедурам объяснения и предсказания, операциональным определениям. Строятся различные модели эмпирических теорий, призванные прояснить их логическую структуру.
К числу общих методолого-логических принципов относятся и те законы и принципы познания, которые исследуются в рамках диалектической логики. Во многих случаях они выступают как некоторые предупредительные знаки о том, с какими неожиданностями мы можем встретиться на пути познания. В области методологии эмпирического, а также социального и гуманитарного познания большое значение имеет абсолютной и относительной истины; в области исторического познания существенным становится требование о совпадении исторического и логического, что фактически означает обычное требование адекватности познания, перенесенное в сферу исторических дисциплин. В последнее время делаются попытки построения дедуктивных систем, в которых формализуются отдельные особенности диалектической логики.
На протяжении тысячелетий логика была обязательной дисциплиной школьного и университетского образования, т. е. выполняла свою общекультурную задачу - пропедевтики мышления. Современная логика в полном объеме сохранила за собой эту дидактическую и учебно-методическую функцию. Однако развитие в последнее время мощного аппарата современной логики позволило ей и важной прикладной дисциплиной. В этой связи укажем на существенное ис
Сводная энциклопедия афоризмов
Логика – это наука, изучающая методы и способы правильного мышления и понимания реального мира. Она представляет собой закономерные, последовательные мыслительные процессы, с помощью которых можно увидеть и определить причинно-следственную связь, возникающую между предметами и явлениями.
Логическое мышление необходимо нам для того, чтобы вовремя проанализировать и применить ранее полученную информацию. Оно помогает нам для решения различных задач (начиная от составления кратчайшего пути до дома и до разработки масштабного бизнес-плана). Логическое мышление позволяет отделять главное от второстепенного, находить взаимосвязи и полностью анализировать ситуацию.
Благодаря логике мы можем давать обоснование разным явлениям, осознанно подходить к решению важных проблем и грамотно делиться своими мыслями.
Какие виды логического мышления бывают?
Мышление - процесс обработки полученной информации, которая поступает из внешнего мира. При получении любой информации человек способен представить ее в виде некого образа, представить предмет, когда его нет рядом.
Выделяют следующие основные виды логического мышления:
- Наглядно-действенное – в результате решения какой-либо задачи человек способен преобразить ее в своих мыслях, основываясь на ранее приобретенном опыте и знаниях. Поначалу человек наблюдает за ситуацией, затем путем проб и ошибок пытается решить проблему, после этого происходит формирование теоретической деятельности. Этот вид мышления предполагает равное применение теории и практики.
- Наглядно-образное – мышление происходит за счет представления. Оно наиболее характерно для детей дошкольного возраста. Для того чтобы решить какую-то задачу, дети часто пользуются образами, которые могут находиться в памяти или создаваться воображением. Также таким типом мышления обладают люди, которые связаны с таким родом деятельности, в котором необходимо принимать решения исходя из наблюдения за предметами или их изображениями (рисунок, схема).
- Абстрактно-логическое – данному виду мышления не важны отдельные детали, его интересует процесс размышления в целом. Чтобы не возникало проблем с решением важных задач в будущем, важно развивать абстрактно-логическое мышление еще с раннего детства. Этот вид мышления проявляется в трех основных формах: понятии, суждении, умозаключении.
Понятие объединяет одно или несколько однородных предметов, разделяя их по существенным признакам. Такую форму мышления нужно развивать у детей в раннем возрасте, давая определения всем предметам и растолковывая их значение.
Суждение может быть как простым, так и сложным. Это может быть утверждением какого-то предмета или отрицанием его взаимосвязи с другими предметами. Примером простого суждения служат простые фразы: «Маша любит кашу», «Мама любит Аню», «Кошка мяукает» и т.д. Именно так рассуждают малыши, когда начинают познавать окружающий мир.
Умозаключение представляет собой логический анализ происходящего, который основывается из нескольких суждений.
Каждый человек может самостоятельно развивать логический тип мышления, решая специальные задачи, ребусы, кроссворды, головоломки.
Логические мыслительные операции
Логические мыслительные операции состоят из:
- сравнения,
- абстракции,
- обобщения,
- конкретизации,
- анализа,
- синтеза.
Путем сравнения мы можем понять причину нашей неудачи и впоследствии уделить должное внимание этой проблеме и условиям, при которых она была создана.
Процесс абстрагирования позволяет отвлечь внимание одного предмета от других тесно взаимосвязанных предметов. Абстракция дает возможность увидеть предмет, определить его сущность и дать собственное определение этому предмету. Абстракция относится к умственной деятельности человека. Она позволяет осмыслить явление, затрагивая его наиболее существенные характерные черты. Абстрагируясь от проблем, человек познает истину.
Обобщение позволяет объединять схожие предметы и явления по общим признакам. Обычно обобщение используется для подведения итогов или составления правил.
Такой мыслительный процесс как конкретизация совершенно противоположна обобщению. Она служит для правильного осознания действительности, не позволяя мышлению оторваться от реального восприятия явлений. Конкретизация не позволяет нашим знаниям приобретать абстрактные образы, которые в действительности становятся бесполезными.
Наш мозг каждый день использует анализ для детального разделения на части необходимого для нас предмета или явления. Анализируя явление или предмет, мы можем выделить самые необходимые его элементы, которые в дальнейшем помогут нам совершенствовать свои навыки и знания.
Синтез же напротив, позволяет из мелких деталей составить общую картину происходящего. С его помощью можно сопоставить происходящие события, перебирая несколько отдельных фактов. Примером синтеза выступают пазлы. Собирая мозаику, мы представляем ту или другую ее часть, откладывая при этом лишнее и присоединяя необходимое.
Применение логики
Логическое мышление применяется практически в каждой области человеческой деятельности (гуманитарные науки, экономика, риторика, творческая деятельность и т.п.). К примеру, в математических науках или философии применяют строгую и формализованную логику. В других же сферах логика служит источником полезных знаний необходимых для получения обоснованного вывода всей ситуации в целом.
Человек старается применять логические навыки на подсознательном уровне . Кто-то с этим справляется лучше, кто-то хуже. Но в любом случае используя нашу логику нам необходимо знать, что мы можем делать с ее помощью:
- Подбирать необходимый метод решения проблемы;
- Быстрее мыслить;
- Качественно излагать свои мысли;
- Избегать самообмана;
- Находить и корректировать ошибки других людей в их умозаключениях;
- Подбирать необходимые аргументы для убеждения собеседника в своей правоте.
Для того чтобы разработать у себя правильное логическое мышление необходимо не только стремление, но и систематическое обучение основных составляющих данного вопроса.
Можно ли научиться логическому мышлению?
Ученые выделяют несколько аспектов, способствующих овладеть основными понятиями логики:
- Теоретическое обучение – знания, которые предоставляются в учебных заведениях. К ним относятся основные понятия, законы и правила логики.
- Практическое обучение – ранее полученные знания, которые необходимо применять в реальной жизни. Вместе с тем современное обучение предполагает прохождение специальных тестов и решение задач, способных выявить уровень интеллектуального развития человека, но, не применяя логику в возникающих жизненных ситуациях.
Логическое мышление должно строиться последовательно , на основе доводов и событий, которые помогают делать правильные выводы и принимать важные решения. У человека с хорошо развитым логическим мышлением не возникает проблем в решении серьезных вопросов, которые требуют быстрой реакции и аналитической деятельности.
Необходимо развивать эту способность еще в детском возрасте, но благодаря длительным тренировкам взрослые тоже могут овладеть навыками логического мышления.
В современной психологии существует большое количество упражнений, способных развить в человеке наблюдательность, мышление, интеллектуальные способности. Одним из действенных упражнений является «Логичность».
Основная идея упражнения – правильное определение взаимосвязи между суждениями и логичен ли составленный вывод. Например: «Все кошки умеют мяукать. Васька – кот, значит, он умеет мяукать» - данное утверждение логично. «Вишня красная. Помидор тоже красный, значит он – фрукт». В этом умозаключении допущена явная ошибка. Каждое упражнение позволяет выстраивать для себя логическую цепочку, которая позволит принять единственное верное решение.
