Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

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

Индекс Формальная логика

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

63 отношения: Encyclopedia of Philosophy, III век до н. э., XIX век, XX век, Кутюра, Луи, Критика чистого разума, Кафедра (подразделение вуза), Пуанкаре, Анри, Пеано, Джузеппе, Асмус, Валентин Фердинандович, Аристотель, Алексеев, Никита Глебович, Нью-Йорк, Новое время, Руниверс, Рассел, Бертран, Реляционная модель данных, Строгович, Михаил Соломонович, Сталин, Иосиф Виссарионович, Средние века, Тарский, Альфред, Фреге, Фридрих Людвиг Готлоб, Философская энциклопедия, Философский факультет МГУ, Формальная логика, Челпанов, Георгий Иванович, Шольц, Генрих, Щедровицкий, Георгий Петрович, Я всегда был идеалистом, Яновская, Софья Александровна, Марков, Андрей Андреевич (младший), Маковельский, Александр Осипович, Милль, Джон Стюарт, Москва, Московский государственный университет, Московский логический кружок, Московский методологический кружок, Морган, Огастес де, Ильенков, Эвальд Васильевич, Зиновьев, Александр Александрович, Буль, Джордж, Высказывание (логика), Вопросы языкознания, Вопросы философии, Вестник Московского университета, Венский кружок, Гильберт, Давид, Есенин-Вольпин, Александр Сергеевич, Львовско-варшавская школа, Ладенко, Иосаф Семёнович, ..., Лосев, Алексей Фёдорович, Логические исследования, 1904 год, 1940 год, 1946 год, 1947 год, 1948 год, 1951 год, 1960 год, 1961 год, 1967 год, 1975 год, 2003 год. Развернуть индекс (13 больше) »

Encyclopedia of Philosophy

Encyclopedia of Philosophy — одна из двух (наряду с Routledge Encyclopedia of Philosophy) крупнейших англоязычных философских энциклопедий.

Новый!!: Формальная логика и Encyclopedia of Philosophy · Узнать больше »

III век до н. э.

Без описания.

Новый!!: Формальная логика и III век до н. э. · Узнать больше »

XIX век

Девятнадцатый (XIX) век длился с 1801 по 1900 год по григорианскому календарю.

Новый!!: Формальная логика и XIX век · Узнать больше »

XX век

мини XX век (двадцатый век, 20 век, двадцатое столетие) — отрезок времени, продолжительностью 100 лет, с по.

Новый!!: Формальная логика и XX век · Узнать больше »

Кутюра, Луи

Луи Кутюра́ (Louis Couturat; 17 января 1868 — 3 августа 1914) — французский математик, логик, исследователь Лейбница, занимался усовершенствованием и распространением языка Идо, философскими основаниями математики.

Новый!!: Формальная логика и Кутюра, Луи · Узнать больше »

Критика чистого разума

«Критика чистого разума» (Kritik der reinen Vernunft) — философский труд Иммануила Канта, впервые опубликованный в 1781 году в Риге.

Новый!!: Формальная логика и Критика чистого разума · Узнать больше »

Кафедра (подразделение вуза)

Кафедра Истории, философии и культурологии в СПбГТУРП (2015): помещение со столом для проверки студенческих работ и чаепития, шкафами для документов и книг. На стенах кафедры помещены календарь и часы Ка́федра (καθέδρα, букв. — сиденье) — основная структурная единица факультета в высшем учебном заведении, осуществляющая подготовку слушателей, студентов и курсантов в рамках определённой специализации.

Новый!!: Формальная логика и Кафедра (подразделение вуза) · Узнать больше »

Пуанкаре, Анри

Жюль Анри́ Пуанкаре́ (Jules Henri Poincaré; 29 апреля 1854, Нанси, Франция — 17 июля 1912, Париж, Франция) — французский,,, и. Глава Парижской академии наук (1906), член Французской академии (1908) и ещё более 30 академий мира, в том числе иностранный член-корреспондент Петербургской академии наук (1895).

Новый!!: Формальная логика и Пуанкаре, Анри · Узнать больше »

Пеано, Джузеппе

''Aritmetica generale e algebra elementare'', 1902 Джузе́ппе Пеа́но (Giuseppe Peano; 27 августа 1858 — 20 апреля 1932) — итальянский математик.

Новый!!: Формальная логика и Пеано, Джузеппе · Узнать больше »

Асмус, Валентин Фердинандович

Валенти́н Фердина́ндович А́смус (Киев, Российская империя — 4 июня 1975Дата смерти соответственно намогильной, в то же время в ряде энциклопедий указан днём смерти 5 июня., Москва, СССР) — русский философ, историк философии, логик и литературовед, педагог, видный деятель советской культуры.

Новый!!: Формальная логика и Асмус, Валентин Фердинандович · Узнать больше »

Аристотель

Аристо́тель (Ἀριστοτέλης; 384 год до н. э., Стагира, Фракия — 322 год до н. э., Халкида, остров Эвбея) — древнегреческий философ.

Новый!!: Формальная логика и Аристотель · Узнать больше »

Алексеев, Никита Глебович

Ники́та Гле́бович Алексе́ев ( —) — российский, доктор психологических наук, член-корреспондент РАО (c 1992 г.), лауреат Золотой медали РАО им.

Новый!!: Формальная логика и Алексеев, Никита Глебович · Узнать больше »

Нью-Йорк

Нью-Йо́рк (New York City, МФА:, или) — крупнейший город США, входящий в одну из крупнейших агломераций мира.

Новый!!: Формальная логика и Нью-Йорк · Узнать больше »

Новое время

Эжен Делакруа. «Свобода, ведущая народ» Гольбейн, Ганс (младший). Послы. 1553 г. Но́вое вре́мя (или новая история) — период в истории человечества, находящийся между Средневековьем и Новейшим временем.

Новый!!: Формальная логика и Новое время · Узнать больше »

Руниверс

Руниверс — сайт о российской истории и культуре.

Новый!!: Формальная логика и Руниверс · Узнать больше »

Рассел, Бертран

Бе́ртран А́ртур Уи́льям Ра́ссел, 3-й граф Рассел (Bertrand Arthur William Russell, 3rd Earl Russell; 18 мая 1872, Треллек, Уэльс — 2 февраля 1970, Уэльс) — британский,, и общественный деятель.

Новый!!: Формальная логика и Рассел, Бертран · Узнать больше »

Реляционная модель данных

Реляционная модель данных (РМД) — логическая модель данных, прикладная теория построения баз данных, которая является приложением к задачам обработки данных таких разделов математики, как теория множеств и логика первого порядка.

Новый!!: Формальная логика и Реляционная модель данных · Узнать больше »

Строгович, Михаил Соломонович

Михаи́л Соломо́нович Строго́вич (17 (29) сентября 1894, Санкт-Петербург — 13 февраля 1984, Москва) — советский правовед, доктор юридических наук, профессор, член-корреспондент Академии наук СССР (1939).

Новый!!: Формальная логика и Строгович, Михаил Соломонович · Узнать больше »

Сталин, Иосиф Виссарионович

Ио́сиф Виссарио́нович Ста́лин (настоящая фамилия — Джугашви́ли, იოსებ ჯუღაშვილი; (по официальной версии), Гори, Тифлисская губерния, Российская империя —, Волынское, Кунцевский район, Московская область, РСФСР, СССР) — российский революционер, советский политический, государственный, военный и партийный деятель, Генералиссимус Советского Союза (1945).

Новый!!: Формальная логика и Сталин, Иосиф Виссарионович · Узнать больше »

Средние века

Средние века Европа в 1328 году Европа в 1430-е Европа в 1470-е Сре́дние века́ или Средневеко́вье — период истории Европы и Ближнего Востока, следующий после Античности и предшествующий Новому времени.

Новый!!: Формальная логика и Средние века · Узнать больше »

Тарский, Альфред

Альфред Тарский (Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности.

Новый!!: Формальная логика и Тарский, Альфред · Узнать больше »

Фреге, Фридрих Людвиг Готлоб

Фридрих Людвиг Готлоб Фреге (Friedrich Ludwig Gottlob Frege, 8 ноября 1848, Висмар — 26 июля 1925, Бад-Клайнен) — немецкий логик, математик и философ.

Новый!!: Формальная логика и Фреге, Фридрих Людвиг Готлоб · Узнать больше »

Философская энциклопедия

Филосо́фская энциклопе́дия — советская отраслевая пятитомная энциклопедия, вышедшая в 1960—1970 годах в издательстве «Советская энциклопедия» под редакцией академика Ф. В. Константинова.

Новый!!: Формальная логика и Философская энциклопедия · Узнать больше »

Философский факультет МГУ

Философский факультет Московского государственного университета имени М. В. Ломонсова — старейший факультет Московского университета.

Новый!!: Формальная логика и Философский факультет МГУ · Узнать больше »

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

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

Новый!!: Формальная логика и Формальная логика · Узнать больше »

Челпанов, Георгий Иванович

Гео́ргий Ива́нович Челпа́нов (Мариуполь — 13 февраля 1936, Москва) — русский философ, логик и психолог.

Новый!!: Формальная логика и Челпанов, Георгий Иванович · Узнать больше »

Шольц, Генрих

Ге́нрих Шольц (Heinrich Scholz; 17 декабря 1884, Берлин — 30 декабря 1956, Мюнстер) — немецкий философ, профессор в Мюнстере (с 1928), логический формалист (логистик), также известный трудами по метафизике и теологии.

Новый!!: Формальная логика и Шольц, Генрих · Узнать больше »

Щедровицкий, Георгий Петрович

Гео́ргий Петро́вич Щедрови́цкий (23 февраля 1929, Москва — 3 февраля 1994, Болшево, Московская область) — советский, затем российский философ и методолог, общественный и культурный деятель.

Новый!!: Формальная логика и Щедровицкий, Георгий Петрович · Узнать больше »

Я всегда был идеалистом

«Я всегда был идеалистом…» — книга воспоминаний Георгия Петровича Щедровицкого.

Новый!!: Формальная логика и Я всегда был идеалистом · Узнать больше »

Яновская, Софья Александровна

Софья Александровна Яновская (урождённая Неймарк; 31 января 1896 — 24 октября 1966) — советский, философ, педагог, создатель советской школы философии математики.

Новый!!: Формальная логика и Яновская, Софья Александровна · Узнать больше »

Марков, Андрей Андреевич (младший)

Андре́й Андре́евич Ма́рков (Санкт-Петербург — 11 октября 1979, Москва) — советский, сын известного русского математика А. А. Маркова, основоположник советской школы конструктивной математики.

Новый!!: Формальная логика и Марков, Андрей Андреевич (младший) · Узнать больше »

Маковельский, Александр Осипович

Алекса́ндр О́сипович Макове́льский (Гродно — 16 декабря 1969, Баку) — русский и советский и историк, член-корреспондент АН СССР (1946), академик АН Азербайджана (1949).

Новый!!: Формальная логика и Маковельский, Александр Осипович · Узнать больше »

Милль, Джон Стюарт

Джон Стю́арт Милль (John Stuart Mill; 20 мая 1806 года, Лондон — 8 мая 1873 года, Авиньон, Франция) — британский философ, социолог, экономист и политический деятель.

Новый!!: Формальная логика и Милль, Джон Стюарт · Узнать больше »

Москва

Москва́ — столица Российской Федерации, город федерального значения, административный центр Центрального федерального округа и центр Московской области, в состав которой не входит.

Новый!!: Формальная логика и Москва · Узнать больше »

Московский государственный университет

Моско́вский госуда́рственный университе́т и́мени М. В. Ломоно́сова — один из старейшихУниверситетская идея впервые реализовалась в России в 1725 году в лице учреждённого в Петербурге Академического университета.

Новый!!: Формальная логика и Московский государственный университет · Узнать больше »

Московский логический кружок

Московский логический кружок (МЛК) — неформальное объединение студентов, аспирантов и выпускников философского факультета МГУ в 1952—1957 (1958) гг., ставившее целью построение на новых основаниях содержательной (содержательно-генетической) логики, теории мышления и гносеологии.

Новый!!: Формальная логика и Московский логический кружок · Узнать больше »

Московский методологический кружок

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

Новый!!: Формальная логика и Московский методологический кружок · Узнать больше »

Морган, Огастес де

Огастес (Август) де Мо́рган (Augustus de Morgan,,, Индия —, Лондон) — шотландский математик и логик, профессор математики в Университетском колледже Лондона (1828—1831, 1836—1866).

Новый!!: Формальная логика и Морган, Огастес де · Узнать больше »

Ильенков, Эвальд Васильевич

Э́вальд Васи́льевич Илье́нков (18 февраля 1924, Смоленск — 21 марта 1979, Москва) — советский, исследователь марксистско-ленинской диалектики.

Новый!!: Формальная логика и Ильенков, Эвальд Васильевич · Узнать больше »

Зиновьев, Александр Александрович

Алекса́ндр Алекса́ндрович Зино́вьев — русский философ, писатель, социолог, публицист.

Новый!!: Формальная логика и Зиновьев, Александр Александрович · Узнать больше »

Буль, Джордж

Джордж Буль (George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик.

Новый!!: Формальная логика и Буль, Джордж · Узнать больше »

Высказывание (логика)

Выска́зывание — в математической логике предложение, выражающее суждение.

Новый!!: Формальная логика и Высказывание (логика) · Узнать больше »

Вопросы языкознания

«Вопро́сы языкозна́ния» — основной лингвистический научный журнал России, издаётся под руководством Отделения историко-филологических наук РАН, периодичность шесть номеров в год.

Новый!!: Формальная логика и Вопросы языкознания · Узнать больше »

Вопросы философии

«Вопро́сы филосо́фии» — советский и российский научно-теоретический философский журнал.

Новый!!: Формальная логика и Вопросы философии · Узнать больше »

Вестник Московского университета

«Ве́стник Моско́вского университе́та» — научный журнал Московского государственного университета, публикующий результаты важнейших научных исследований, проводимых в университете.

Новый!!: Формальная логика и Вестник Московского университета · Узнать больше »

Венский кружок

«Ве́нский кружо́к» (Wiener Kreis) — сообщество учёных, регулярно собиравшихся в Вене с конца 20-х и до середины 30-х годов XX века.

Новый!!: Формальная логика и Венский кружок · Узнать больше »

Гильберт, Давид

Дави́д Ги́льберт (David Hilbert; 23 января 1862 — 14 февраля 1943) — немецкий -универсал, внёс значительный вклад в развитие многих областей математики.

Новый!!: Формальная логика и Гильберт, Давид · Узнать больше »

Есенин-Вольпин, Александр Сергеевич

Алекса́ндр Серге́евич Есе́нин-Во́льпин (Alexander Esenin-Volpin; 12 мая 1924, Ленинград, РСФСР — 16 марта 2016, Бостон, США) — советский и американский, философ, поэт, один из лидеров диссидентского и правозащитного движения в СССР, пионер правового просвещения в диссидентских кругах советского общества, сын Сергея Есенина.

Новый!!: Формальная логика и Есенин-Вольпин, Александр Сергеевич · Узнать больше »

Львовско-варшавская школа

Львовско-Варшавская школа (szkoła lwowsko-warszawska) — польское направление в логическом позитивизме, у истоков которого стоял Казимир Твардовский — ученик Франца Брентано.

Новый!!: Формальная логика и Львовско-варшавская школа · Узнать больше »

Ладенко, Иосаф Семёнович

Иоса́ф Семёнович Ладе́нко (16 сентября 1933, Харьков — 16 марта 1996, Новосибирск) — советский и российский учёный, доктор философских наук (1980), профессор (1984), действительный член РАО (1992).

Новый!!: Формальная логика и Ладенко, Иосаф Семёнович · Узнать больше »

Лосев, Алексей Фёдорович

Бюст А. Ф. Лосева в Российской государственной библиотеке для слепых в Москве Алексе́й Фёдорович Ло́сев, в монашестве Андроник (Новочеркасск — 24 мая 1988, Москва) — русский, антиковед, переводчик, писатель, видный деятель советской культуры.

Новый!!: Формальная логика и Лосев, Алексей Фёдорович · Узнать больше »

Логические исследования

«Логические исследования» (Logische Untersuchungen, 1900, 1901) — философское сочинение Э. Гуссерля.

Новый!!: Формальная логика и Логические исследования · Узнать больше »

1904 год

Без описания.

Новый!!: Формальная логика и 1904 год · Узнать больше »

1940 год

Подробнее см.

Новый!!: Формальная логика и 1940 год · Узнать больше »

1946 год

Без описания.

Новый!!: Формальная логика и 1946 год · Узнать больше »

1947 год

Без описания.

Новый!!: Формальная логика и 1947 год · Узнать больше »

1948 год

Глава правительства Бирмы У Ну.

Новый!!: Формальная логика и 1948 год · Узнать больше »

1951 год

Без описания.

Новый!!: Формальная логика и 1951 год · Узнать больше »

1960 год

Без описания.

Новый!!: Формальная логика и 1960 год · Узнать больше »

1961 год

В 1961 году 17 африканских государств обрели независимость, поэтому год получил название «Год Африки».

Новый!!: Формальная логика и 1961 год · Узнать больше »

1967 год

Без описания.

Новый!!: Формальная логика и 1967 год · Узнать больше »

1975 год

Международный год женщины (резолюция ООН 3010 (XXVII)).

Новый!!: Формальная логика и 1975 год · Узнать больше »

2003 год

* Международный год пресной воды.

Новый!!: Формальная логика и 2003 год · Узнать больше »

Перенаправления здесь:

Логика формальная.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »