Иммануи́л Кант — немецкий философ, один из центральных мыслителей эпохи Просвещения. Всесторонние и систематические работы Канта в области эпистемологии, метафизики, этики и эстетики сделали его одной из самых влиятельных фигур в западной философии Нового времени.
Метафи́зика, или «Первая философия» — раздел философии, занимающийся исследованиями первоначальной природы реальности, мира и бытия, посредством, по Канту, чистого разума.
Логи́ческий позитиви́зм, также логический эмпиризм и неопозитивизм — школа философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающиеся на рационализм, основанный на математических и логико-лингвистических конструкциях в эпистемологии. Логический позитивизм утверждает, что мир познаваем, надо только избавиться от ненаблюдаемого.
И́стина — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной, если она соответствует предмету.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Телеоло́гия — онтологическое учение об объяснении развития в мире с помощью конечных, целевых причин. Ставит перед собой задачу ответить на вопрос «зачем, с какой целью?». В современной методологии рассматривается как принцип объяснения, дополняющий традиционную причинность причинами-целями. Корни телеологического подхода к действительности следует искать в тех теряющихся в глубокой древности антропоморфных представлениях, когда люди стали приписывать явлениям и процессам природы целесообразный характер своих действий и поведения. Возникшие позднее попытки объяснения целесообразности в природе и обществе с помощью принципов механистического детерминизма и причинности потерпели тогда неудачу. Уже в античной философии предпринимаются усилия по объяснению процессов развития в живой природе и истории с помощью особых целевых причин.
Априо́ри — знание, полученное до опыта и независимо от него, то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Иммануилу Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори — знание, полученное из опыта.
Катего́рия в филосо́фии — предельно общее понятие, выражающее наиболее существенные отношения действительности. Изучение категорий заключается в определении наиболее фундаментальных и широких классов сущностей.
Антино́мия — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между признаваемыми одинаково верными положениями, или, другими словами, противоречие нескольких законов. Термин «антиномия» был предложен Гоклениусом.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил.
«Кри́тика чи́стого ра́зума» — философский труд Иммануила Канта, впервые опубликованный в 1781 году в Риге в издательстве И. Ф. Харткноха. Считается одной из наиболее фундаментальных работ в истории философии и главным сочинением философа. Ключевой вопрос «Критики» — исследование познавательной возможности разума, в отрыве от знаний, получаемых эмпирическим (опытным) путём. По ходу исследования философ освещает вопросы пространства и времени, возможности доказательства существования Бога посредством разума и др.
Кантиа́нство — система критической философии, разработанная Иммануилом Кантом, а также другие философские системы, возникшие под влиянием его идей.
Немецкая философия — обобщенное название для философии на немецком языке, а также философии немецких мыслителей.
Сэр Алфред Джулс А́йер — английский философ-неопозитивист, представитель аналитической философии — по некоторой оценке, — один из ведущих философов середины XX века.
«Ве́нский кружо́к» — сообщество учёных, регулярно собиравшихся в Вене с конца 20-х и до середины 30-х годов XX века. Руководителем кружка был профессор кафедры индуктивных наук Мориц Шлик. С деятельностью «Венского кружка» связывают зарождение философского логического позитивизма.
«Пролего́мены ко всякой будущей метафизике, могущей возникнуть в смысле науки» — работа немецкого философа Иммануила Канта, вышедшая в 1783 г. в Риге в издательстве И. Ф. Харткноха. «Пролегомены…» являются предварительной к теории метафизики работой, в которой Кант раскрывает предмет и задачи метафизики, а также указывает план её создания, реализованный им в «Критике чистого разума».
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Принцип Юма — принцип, утверждающий невозможность перехода от суждений со связкой «есть» (описательных) к суждениям со связкой «должен» исключительно на основании логики. Назван в честь шотландского философа Дэвида Юма, отметившего опрометчивость попыток современников вывести моральные нормы из знаний о сущем.
Достове́рность — термин, имеющий различные значения и применяемый в философии, теории судебных доказательств, гносеологии, логике, теории вероятностей, психологии, естествознании и других областях. Единого определения термина не существует, хотя собственное его определение пытались давать многие известные философы.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждения является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые», поскольку оно обобщает и дает новую информацию о таком предмете как лебедь.
