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

Логицизм – это направление в философском обосновании математике и логике, представители которого в начале 20-о века (Г.Фреге, Б.Рассел и А.Уайтхед) сделали попытку вывести (обосновать) базовые принципы и основы теории множества математики из принципов и основ логики исключительно логическими методами, без обращения к аргументам психологического и философского характера.

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

Формализм –направление, связанной с обоснованием математики и логики в исследованиях выдающегося математика Д. Гильберт(1862-1943).

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

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

Логика формальная, изучая логические формы мышления, отвлекается от конкретного содержания мыслей, отраженных в их логических формах.

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

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

Интуиционизм- это также направление в обосновании математики и логики, одним из лидеров которого был голландский Л.Е.Я. Брауэр(1881-1966). Это направление противопоставлялось логицизму и основывалось на следующих принципах:

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

Вопрос о существовании объектов математики решается, если имеется процедура его актуального или потенциального построения, конструирования.

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

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

0.15.Какие определения логики наиболее часто встречаются в современных учебниках по логике? С.47.

Наиболее распространенными определением логики являются, например, следующее:

Логика – это нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка: Бочаров В.А., Маркин В.И.- Учебник. М., 1997. С.9. Такое же определение логики дается дословно в учебнике для бакалавров: Логика.- Учебник для бакалавров. Ответственный редактор Доктор философских наук Л.А. Демина -М., Проспект.2013. с.27.

Формальная логика- это наука о формах мышления, о формально-логических законах мышления и других связях между мыслями по их логическим формам: Ивлев Ю.В.- Учебник. Логика для юристов. М, 2003.С.15..

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

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

Что такое логическая форма мышления?

Термин «форма» в переводе с латинского языка означает норму, образец. В логике под логической формой понимается тип, структура мысли, выраженная в понятиях, суждениях, умозаключениях, рассуждениях и размышлениях, а также устойчивые логические связи между этими основными логическими формами.

А чем отличается все-таки логика от риторики?

В риторике, начиная с учений мыслителей древней Греции и других древних культур, речь идет об искусстве убеждения с помощью приемов и правил построения «правильной речи»:

«Правильность речи разделяется на четыре рода:

Она состоит в том, чтобы говорить то, что нужно, перед кем нужно и когда нужно.

То, что нужно» - это означает то, что на пользу говорящим и слушающим.

«Сколько нужно» - ни более, ни менее достаточного.

«Перед кем нужно»- перед стариками следует говорить как со стариками, перед младшими как с младшими.

«Когда нужно»- ни слишком рано, ни слишком поздно, иначе случится ошибка и речь не будет правильной». - Диоген Лаэртский. « О жизни, учениях и изречениях знаменитых философов». М., изд-во Мысль.1986, стр. 162.

Тема 1. Логика и язык. С.49.

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

Что такое естественный язык?

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

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

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

 

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

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

Что такое знак?

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

Неязыковые знаки. Это знаки копии (отпечатки пальцев, например), знаки символы (знамя и т.д.). Знаки метки (разделительная дорожная полоса, клеймо и т.д.). Знаки-признаки, указывающие на наличие, как правило, причинно-следственного отношения или логической связи (например, молния признак грозы). Языковые знаки – это слова, предложения, системы предложений и слов, представляющие систему языковой деятельности человека. Система языковых знаков как естественных, так и надстроенных над ними профессиональных языков, построена по определенным правилам.

⇐ Предыдущая3456789101112Следующая ⇒

Поделиться: