Основы формальной логики разработал. Что такое формальная логика? Все тигры полосатые

Формальная логика

Экономическая теория, как и любая другая наука, обладает не только специфическим предметом, но и особым методом исследования. Слово “метод” происходит от греческого methodos, что буквально означает “путь к чему-либо”. Поэтому метод можно определить в самом широком смысле как деятельность, направленную на достижение какой-либо цели. Метод науки, с одной стороны, отражает уже познанные законы исследуемой сферы окружающего мира, а с другой — выступает как средство последующего познания.

Таким образом, метод одновременно является и результатом процесса исследования, и его предпосылкой. Сохраняя в себе свойства и законы изучаемого объекта, он в то же время несет на себе отпечаток целесообразной деятельности познающего его субъекта.

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

В ходе процесса познания происходит постоянное взаимодействие предмета и метода. Предмет предполагает определенный метод исследования, а метод формирует предмет.

Первым методом, который использовала экономическая наука, была формальная логика.

Формальная логика — это изучение мысли со стороны ее структуры, формы.

Основателем формальной логики считается Аристотель,открывший своеобразную форму умозаключения (силлогизм) и сформулировавший основные законы логики. Ученики Аристотеля назвали эту новую книгу “органон”, то есть “орудие познания”. Термин “логика” (“слово”, “разум”, “закономерность”) появился позже у стоиков, и лишь в XVII в. в процессе создания диалектической логики эту традиционную логику стали вслед за И. Кантом называть формальной.

Простейшей категорией формальной логики является понятие – оно фиксирует мысль о предмете.Обычно понятие определяется через более широкое понятие путем добавления к родовому признаку видового различия.

Суждение —это мысль, в которой утверждается или отрицается что-либо о чем-либо. Формой взаимосвязи суждений выступает умозаключение.

Умозаключение представляет собой прием мышления, посредством которого из некоторого исходного знания получается выводное знание.

Дедукция— метод, основанный на умозаключениях от общего к частному (особенному). Слабость индукции в том, что она не может строго обосноватьобщее, так как исходит лишь из рассмотрения части совокупности. Недостаток дедукции в том, что она не может строго обосновать общую предпосылку.

Важную роль в формальной логике играет сравнение— метод, определяющий сходство или различие явлений и процессов.Он широко используется при систематизации и классификации понятий, так как позволяет соотнести неизвестное с известным, выразить новое через имеющиеся понятия и категории. Однако роль сравнения в познании нельзя переоценивать Оно, как правило, носит поверхностный характер, отражая лишь первые шаги исследования. В то же время сравнение готовит предпосылки для проведения аналогии.

Аналогия — это метод познания, основанный на переносе одного или ряда свойств с известного явления на неизвестное.В общей форме умозаключение по аналогии записывается следующим образом. Если А и В имеют общие свойства и А имеет свойство С, то и В имеет свойство С.

Аналогия — это частный случай индукции. Она играет важную роль в выдвижении предположений, получении нового знания. Многие открытия в политической экономии были сделаны по аналогии. Ф. Кенэ, например, предложил плодотворную аналогию между кровообращением в человеческом организме и движением товарных и денежных потоков в организме социальном. Это позволило ему построить первую макроэкономическую модель воспроизводства. Изучение механического равновесия привело А. Курно к идее экономического равновесия. Аналогия, таким образом, играет важную роль в рождении новых идей и формулировке гипотез. Она существенно облегчает понимание сложных процессов, являясь основой научного моделирования. Нередко аналогия позволяет правильно поставить проблему, определив направление дальнейшего исследования.

Проблема—это четко сформулированный вопрос или комплекс вопросов, возникших в процессе познания.Постановка проблемы возможна до начала исследования, в ходе исследования и в ходе его завершения. Если проблемы сформулированы до начала исследования, такие проблемы называют явными, если нет — то неявными. Методы решения проблемы могут быть известны заранее, а могут быть найдены в процессе работы. В зависимости от того, что известно (формулировка проблемы, метод ее решения или ответ), можно дать простейшую типологию проблемных ситуаций (см. табл. 1—1).

Первый случай представляет собой показательные задачи (известно все — проблема, метод ее решения и ответ). Второй случай — типовые школьные задачи (известно все, кроме ответа). Третий случай — риторические проблемы — головоломки. Четвертый случай — это классические научные проблемы. Пятый случай иллюстрирует ситуацию, когда правильное понимание формулировки проблемы приходит только в конце исследования. Шестой случай соответствует ситуации, когда в экономике используют методы других наук. Седьмая ситуация иллюстрирует догматическую теорию, обладающую готовыми ответами на все проблемы; восьмая — это софизмы, парадоксы, антиномии.

Принципиально новому решению задачи способствует постановка проблемы в форме антиномии. Антиномия —это противоречие, в котором тезис и антитезис имеют равную силу и в одинаковой степени покоятся на одних и тех же основаниях. Формулировка проблемы в форме антиномии позволяет отразить противоречивоеразвитие как реального объекта, так и знаний о нем. Однако с точки зрения формальной логики антиномия неразрешима, поскольку отрицает ее основные законы.

На ограниченность формальной логики указывает и апория — утверждение, противоречащее практическому опыту.

Постановка проблемы в форме парадокса (антиномии, апории или даже софизма) способствует рождению гипотез. Гипотеза — это метод познания, заключающийся в выдвижении научно обоснованного предположения о возможных причинах или связях явлений и процессов. Гипотеза возникает тогда, когда появляются новые факторы, противоречащие старой теории. Научная теория состоит из ядра и защитного пояса (см. рис. 1—3).

Ядро — наиболее фундаментальные положения теории; защитный пояс образуют вспомогательные гипотезы, которые конкретизируют теорию, расширяя область ее применения.

Доказанные гипотезы сливаются с ядром, недоказанные служат объектом полемики с оппонентами, защищая ядро теории. Например, ядром марксизма являются трудовая теория стоимости, теория прибавочной стоимости, всеобщий закон капиталистического накопления, а их защитным поясом — закон тенденции нормы прибыли к понижению и другие законы.

Под доказательством в формальной логике понимается обоснование истинности одной мысли с помощью других.Формальная логика предлагает универсальную структуру доказательства. Она состоит из тезиса, оснований доказательства (аргументов) и способа доказательства (демонстрации).

Существуют различные виды доказательства. В зависимости от его целей выделяют доказательства истинности и ложности (опровержение); в зависимости от способа доказательства — прямые и косвенные; в зависимости от оснований доказательства — теоретические и эмпирические.

Основные законы формальной логики(см рис. 1—6):

1. Закон тождества (А=А);

2. Закон противоречия (А и А, А Λ А);

3. Закон исключенного третьего (А и А, А V А);

4. Закон достаточного основания.

Закон тождестваозначает, что каждая мысль должна иметь строго определенное устойчивое содержание. Он направлен против расплывчатости и неопределенности в экономическом мышлении Этот закон запрещает, с одной стороны, тавтологию (когда одно явление называют разными терминами), а с другой — подмену одних понятий другими. Закон тождества ориентирует на связь и соподчиненность категорий, четкое разграничение родовых и видовых признаков.

Закон противоречияозначает, что две противоположные мысли об одном и том же предмете, взятом в одном и том же времени, отношении и т. д., не могут быть истинными.

Закон исключенного третьегоутверждает, что из двух отрицающих друг друга мыслей об одном и том же предмете, взятом в одном и том же времени, отношении и т. д , одно непременно истинно.

Закон достаточного основаниятребует, чтобы всякая истинная мысль обосновывалась другими мыслями, истинность которых была доказана ранее.

185.94.188.243 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.

Отключите adBlock!
и обновите страницу (F5)
очень нужно

Формальная логика и ее основные законы

Логика – наука о приемах, законах и формах мышления. Формальная логика была разработана древними греками задолго до нашей эры. Именно греки первыми построили демократическое общество, где решения и законы принимались на народных собраниям. Они на примитивном уровне создали науку ведения судебных процессов. А любимым занятием аристократической молодежи были дискуссии с философами. Отсюда всеобщая любовь к разработке теоретических наук. Грекам просто необходимо было учение о том, как стоить научные доказательства.

Первый курс основ логики разработал Аристотель. Он обратил внимание на то, что любые рассуждения строятся по общим законам, нарушение которые приводит к ошибочным выводам. Формальная логика Аристотеля базировалась на таких законах:

1. Если суждения являются утвердительными, что сделанный из них вывод не может быть отрицательным.
2. Если одно из утверждений отрицательное, то и общий вывод всегда будет отрицательным.

Отсюда выходит, что формальная логика – это знания о принципах и законах эффективного, правильного построения рассуждений, с учетом формы их построения (способов соединения отдельных частей общего рассуждения).

Все явления и предметы имеют взаимосвязь. Связи могут быть объективными или субъективными, общими или частными, необходимыми или случайными. Самые существенные из этих связей называют законами. Все они отражают одну и ту же реальность, следовательно, никак не могут противоречить друг другу. Все законы человеческого мышления связаны с законами развития природы.

Законы мышления представляют собой устойчивую внутреннюю связь между мыслями. Если человек не может связать свои мысли, то он не придет к правильному выводу и не сможет донести его до других.

Основные законы формальной логики – это законы непротиворечивости, тождества, исключения третьего и закон достаточного основания. Разработка первых трех принадлежит Аристотели и Платону, последнего – Лейбницу. Нарушения этих законов (особенно первых трех) приводит к противоречиям, делая невозможным отличать правду от лжи. Последний закон менее нормативен и применяется более ограниченно.

Неосновные законы логики – это правила оперирования суждениями и понятиями, получения истинного вывода в силлогизме, повышения вероятности выводов умозаключениях индуктивного и традуктивного характера.

Закон непротиворечивости означает, что мышление не должно быть противоречивым, а должно отражать качественную определенность вещей.

Закон исключенного третьего предписывает не искать между двумя противоречащими друг другу, но истинными высказываниям нечто третье, а признавать истинность лишь одного из них. Одно из составляющих противоречия – непременно истинное.

Закон тождества формальная логика трактует как требование от мышления точности, то есть под любым термином нужно точно понимать его определение и смысл. Суть понятий и суждения нельзя искажать по собственному желанию.

Закон достаточного основания заключается в том, что любую истинную мысль нужно обосновывать другими истинными мыслями, а ложные мысли обосновывать нельзя. В развития суждений должна отражаться причинно-следственная связь. Только в этом случае может быть доказана его достоверность.

Логическая форма мысли и способы определения форм любых мыслей выражаются с помощью логических терминов, к которым относятся союзы “и”, “или”, “если. то. ”, отрицания “неверно, что” (“не”), слова “некоторые”, “все” (“ни один”), связка “суть” (в значении “есть”) и т.д. Выявить логическую форму суждения можно, отвлекшись от смысла терминов нелогичных, которые входят в словесное выражение этого суждения. Другими словами, формальная логика выражает структуру мысли. Логическая форма всегда информативна и содержательна.

В зависимости от их форм мысли делятся на классы: понятия, умозаключения и суждения. Понятие – мысль, обобщающая предметы на основе их базовых признаков. Суждение – мысль, утверждающая наличие (отсутствие) положений дел. Умозаключение – мысль, отражающая получение знаний, выраженных в суждениях, из других знаний.

Часть 3. Почему логика называется формальной?

Возьмём для примера две такие мысли:

Медь — проводник электричества.

Пшеница — растение семейства злаковых.

Каждая из этих мыслей представляет собой отражение в нашем мышлении определённых фактов действительности. Так как факты эти различны, то и содержание мыслей об этих фактах различное. Но, несмотря на это, в обоих случаях мы видим общее строение, единую структуру этих мыслей.

Наука логика, исследуя логические формы, отвлекается от конкретного содержания той или иной мысли.

Рассматривая приведённые примеры, логика интересуется не свойствами меди (ими занимается физика) и не принадлежностью пшеницы к семейству злаковых (это область ботаники). Логику интересует структура мысли.

Возьмём ещё для примера два таких рассуждения:

Все граждане РФ имеют право на образование. Мы – граждане РФ.

Следовательно, мы имеем право на образование.

Все звёзды являются раскаленными газовыми шарами.

Следовательно, Сириус — раскалённый газовый шар.

Содержание этих двух рассуждений разное, но ход мыслей в обоих примерах одинаков. В первом случае мы мыслим о нашем праве на образование, закреплённом в Конституции. Во втором случае мы мыслим о структуре Сириуса, которую он имеет, как и всякая звезда.

Однако, являясь разными по содержанию, эти два рассуждения сходны между собой в отношении своего строения. Логическая форма этих рассуждений одинакова: от общего положения мы идём к частному выводу.

Если в процессе рассуждения наши мысли облекаются в неправильные формы, то в таком случае прийти к истинным выводам невозможно.

Сравним два следующих рассуждения:

Во всех городах за полярным кругом бывают белые ночи.

Город Игарка находится за полярным кругом.

Следовательно, в Игарке бывают белые ночи.

Во всех городах за полярным кругом бывают белые ночи.

Санкт-Петербург не находится за полярным кругом.

Следовательно, в Санкт-Петербурге не бывает белых ночей.

В первом случае вывод и ход рассуждений правильный. Во втором случае, несмотря на правильность исходных положений, заключение получилось ошибочным: известно, что в Санкт-Петербурге бывают белые ночи. Неверный вывод есть результат того, что рассуждение облечено в неправильную логическую форму.

*(Более подробно разбор этой ошибки проведем в дальнейшем)

Таким образом, логика изучает формы мышления. Но это не значит, что логика не интересуется содержанием мышления. Изучение формы мысли вне связи с содержанием не имело бы для нас никакого смысла. Однако изучение её в связи с содержанием не означает, что мы не можем в необходимых случаях в целях изучения мысленно отвлекать эту форму.

Логические законы и формы, т. е. законы и формы правильного построения мыслей, являются общечеловеческими. Это значит, что люди различных эпох и стран независимо от своей классовой и национальной принадлежности строили и строят свои рассуждения по одним и тем же логическим законам, мыслили и мыслят в одних и тех же логических формах. Если бы не было единых и обязательных для всех людей логических законов и форм, то люди не понимали бы друг друга.

Человеческое мышление развивается, изменяется, т. е. становится более совершенным. Но изменение форм мышления в течение длительного времени мало заметно. Логические формы и законы обладают устойчивостью, постоянством.

Источники:

http://studopedia.ru/3_169109_formalnaya-logika.html
http://fb.ru/article/35197/formalnaya-logika-i-ee-osnovnyie-zakonyi
http://pikabu.ru/story/chast_3_pochemu_logika_nazyivaetsya_formalnoy_5490654