Понятия со словосочетанием «символическая логика»
Связанные понятия
Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, её различных направлений, дисциплин и теорий. В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.
Стиль научного мышления — в философии науки выражает мировоззренческий и методологический подход к пониманию мира и объяснению эмпирических фактов. Включает в себя применяемые на данном историческом этапе развития науки методы эмпирического и теоретического исследования, определённую гносеологическую или социальную установку в познании, философские идеи и принципы, психологию учёных. Понятие "стиль научного мышления" было введено в науку М. Борном и Л. Флеком.
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Лингвисти́ческая филосо́фия — направление в аналитической философии в 1930—1960-х годах, получившее наибольшее распространение в США и Великобритании. Будучи в определённом смысле последователями Мура и Витгенштейна, представители лингвистической философии всё же, в отличие от логических позитивистов, не призывали к улучшению естественного языка по образцу формализованных логических языков или языков науки. Одна из школ лингвистической философии (Д. Уиздом, М. Лазеровиц, Э. Эмброуз) сблизилась с...
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод...
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Постпозитиви́зм (англ. Postpositivism) — общее название для нескольких школ философии науки, объединённых критическим отношением к эпистемологическим учениям, которые были развиты в рамках неопозитивизма и обосновывали получение объективного знания из опыта. Основные представители: Карл Поппер, Томас Кун, Имре Лакатос, Пол Фейерабенд, Майкл Полани, Стивен Тулмин. К постпозитивизму близки работы школы неорационализма, в особенности Г. Башляра и М. Фуко.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Плюрали́зм (от лат. pluralis — множественный) — философская позиция, согласно которой существует множество различных равноправных, независимых и несводимых друг к другу основ или форм бытия (онтологический плюрализм), а значит и форм знания и методологий познания (эпистемологический плюрализм). Плюрализм занимает оппонирующую позицию по отношению к монизму.
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Онтоло́гия (новолат. ontologia от др.-греч. ὄν, род. п. ὄντος — сущее, то, что существует + λόγος — учение, наука) — учение о сущем; учение о бытии как таковом; раздел философии, изучающий фундаментальные принципы бытия, его наиболее общие сущности и категории, структуру и закономерности. Философское учение об общих категориях и закономерностях бытия, существующее в единстве с теорией познания и логикой.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Топологическая рефлексия — метод современной философии, учитывающий нелинейный, но непрерывный (топологический) характер современного мышления (рефлексии). Термин введен и обоснован петербургским философом Савчуком в 2003 годудля того чтобы противопоставить современное мышление классическому, которое в этом контексте именуется оптической рефлексией, что указывает на связь с эпохой Просвещения и предшествующим ему картезианством. Если оптическая рефлексия постулирует идеал бестелесного взгляда с позиции...
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Аналити́ческая филосо́фия (англ. Analytic philosophy) — англо-американская традиция философии, получившая широкое распространение в середине XX века. Аналитическая философия не представляет собой единой школы, поскольку хотя и сформировалась на основе британского неореализма Мура и Рассела, однако также впитала в себя австрийский неопозитивизм (через Айера и Куайна) и американский прагматизм (Пирс, Моррис). От позитивизма она заимствует антиметафизическую направленность (критика философских «псевдопроблем...
Методоло́гия нау́ки, в традиционном понимании, — это учение о методах и процедурах научной деятельности, а также раздел общей теории познания (гносеологии), в особенности теории научного познания (эпистемологии) и философии науки.
Философия логики — раздел философии, изучающий предмет, функциональность и методологию логики как общеметодологической концепции науки. Философия логики исследует проблему наличия и совмещения в логике онтологических и когнитивных оснований, проблему действительности или фиктивности логического следования (импликации, материальной импликации), объёма предваряющих рассуждения объявлений (деклараций), содержания категорий истина и ложь. Современная философия логики изучает проблемы гранулированности...
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Конвенционали́зм (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана...
Психологи́зм — тенденция в философии и гуманитарном знании к объяснению духовных явлений и идеальных сущностей работой индивидуального или коллективного сознания. Наиболее известны психологистические системы в логике и математике.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Социология знания (англ. Sociology of knowledge) — теоретическая область социологии, изучающая с различных теоретико-методологических позиций проблематику социальной природы знания. В сферу интересов социологии знания входит анализ социальной природы знания (социология знания в узком смысле); мышления, его исторического развития (социология мышления), когнитивных систем и познавательной деятельности общества (социология познания) и основания социологии (социология социологии).
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Номотетика,
номотетический подход или метод (от др.-греч. νόμος — закон + корень θη- — полагать, устанавливать) − 1) в учении Канта способ «законодательной» деятельности разума в установлении им законов и правил познания; 2) в неокантианстве баденской школы — метод естественных наук, направленный на выявление общих закономерностей, генерализующий общие тенденции науки. Понятие введено Вильгельмом Виндельбандом, подробно описано Генрихом Риккертом, усматривавшим вслед за Кантом предмет естествознания...
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
Джастификационизм (от англ. justificationism - justification) — позитивистский (в некоторых источниках постпозитивистский) метод науки, в основе которого лежит предположение о том, что научная теория обосновывается фактами, логическими последовательностями. Термин введён И. Лакатосом.
Трансцендентальная иллюзия — термин, введённый философом Иммануилом Кантом, для обозначения системы философско-этических учений, постулатов и доказательств, пытающихся объяснить феномены запредельного по отношению к миру явлений и недоступного познанию (трансцендентного), на основании эмпирического опыта. В частности, к трансцендентальной иллюзии Кант относил систему доказательств бытия Бога, разработанную Св. Фомой Аквинским.
Трансцендентальная логика (нем. Transzendentale Logik) — учение Канта о чистых правилах и понятиях рассудка, которые априори определяют наш опыт. Вторая часть Критики чистого разума. Трансцендентальная логика подразделяется на трансцендентальную аналитику и трансцендентальную диалектику.
Социологическая теория — совокупность понятий и принципов, объясняющих функционирование социологических структур.
Умозре́ние (лат. speculatio) — 1) деятельность мышления, вращающаяся в сфере предметов или событий, не данных на опыте, но лишь предполагаемых; 2) мышление, содержание которого — только мыслимое или сверхчувственное.
Позитиви́зм (фр. positivisme, от лат. positivus — положительный) — философское учение и направление в методологии науки, определяющее единственным источником истинного, действительного знания эмпирические исследования и отрицающее познавательную ценность философского исследования.
Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке.
Априо́ри (лат. a priori — буквально «от предшествующего») — знание, полученное до опыта и независимо от него (знание априори, априорное знание), то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори (лат. a posteriori — от последующего...
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Прикладна́я матема́тика — область математики, рассматривающая применение математических методов, алгоритмов в других областях науки и техники. Примерами такого применения будут: численные методы, математическая физика, линейное программирование, оптимизация и исследование операций, моделирование сплошных сред (Механика сплошных сред), биоматематика и биоинформатика, теория информации, теория игр, теория вероятностей и статистика, финансовая математика и актуарные расчёты, криптография, а следовательно...
Интерсубъекти́вность — понятие, означающее 1) особую общность; 2) определённую совокупность людей, обладающих общностью установок и воззрений; 3) обобщенный опыт представления предметов.
Неорационализм — течение в европейской философии науки, которое является реформацией классического рационализма. Создателем неорационализма принято считать Гастона Башляра, французского философа и искусствоведа, хотя также есть множество других философов, таких как Фердинанд Гонсет, Эмиль Мейерсон, Жан Пиаже и другие философы, в том числе и критического рационализма, которые теоретически тоже могли быть отцами-основателями неорационализма.
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают...
Научный реализм (англ. Scientific realism) — течение в философии науки, согласно которому единственным надёжным средством достижения знания о мире является научное исследование, результат которого интерпретируется с помощью научных теорий. Теории научного реализма могут быть также вероятно истинными или приблизительно истинными или относительно истинными. Теории касаются наблюдаемых и ненаблюдаемых объектов, хотя и являются в сущности достоверными, однако могут быть в какой-то степени ложны.