watteau
18.04.2008, 15:07
Санкт-Петербургский государственный университет информационных технологий, механики и оптики
Кафедра философии
Приглашает в аспирантуру по специальности
«Логика»
Содержанием специальности " Логика" является исследование проблем ис-тории современного состояния логики в свете современных ее подходов и решение стоящих перед логической наукой новых актуальных проблем. Ис-следования должны вестись на базе сложившихся в отечественной и миро-вой логике передовых достижений как в методах решения логических про-блем, так и в применяемом для этих целей техническом аппарате. Основны-ми объектами исследований являются теоретические, метатеоретические, семантические и прикладные аспекты логики, а также разработка направ-ленного на совершенствование исследований логического аппарата. Разра-ботка новых направлений в современной логике.
Область исследования:
1. История логики.
2. Логические формы и приемы познания: формы мышления, определение, классификация, абстракция и идеализация, аксиоматизация, формализация.
3. Аппарат логики: алгебра логики, логика высказываний, логика кванторов, логика первого и высших порядков, различные типы исчислений.
4. Логическая семантика: алгебраические, теоретико-множественные семан-тики,
реляционные семантики возможных миров, проблема содержательности се-мантик
логических систем, категорная семантика, теория семантических категорий.
5. Теория моделей.
6. Теория доказательств.
7. Силлогистические теории.
8. Классическая логика.
9. Неклассические логики (интуиционистская и конструктивная), многознач-ные логики,
модальные логики (алетические, деонтические, эпистемологические, вре-менные и
другие), логики с неклассическим пониманием следования (релевантные, па-ранепротиворечивые, немонотонные).
10. Теории логического вывода (теории следования, теории импликаций).
11. Недедуктивные логические теории: индуктивная логика, вероятностная логика,
логика решений, логика нечетких понятий, аналогия.
12. Логические проблемы аргументации.
13. Метатеоретические проблемы логики: непротиворечивость, полнота, раз-решимость формализованных теорий, независимость их аксиом, определи-мость, сравнительный
анализ логических теорий.
14. Метатеоретические проблемы, связанные с основаниями математики: ло-гицизм,
формализм, интуиционизм и консерватизм, проблемы аксиоматизации тео-рии
множеств, логические и семантические парадоксы.
15. Прикладные проблемы логики и логической семантики.
15.1. Приложения логики: в методологии науки, в философии, в онтологии, в теологии, в эпистемологии, в психологии, в правовых науках, в этике, в лин-гвистике и в других дисциплинах и познавательных процедурах.
15.2. Приложения логики в компьютерных науках: логическое программиро-вание, динамические логики, логики программ, логика экспертных систем.
Отрасль наук:
философские науки.
Право поступления в аспирантуру имеют выпускники высших учебных за-ведений. Предпочтение будет отдано выпускникам философских факульте-тов, и особое предпочтение будет отдано выпускникам кафедры логики.
До сдачи экзаменов обязательно пройти собеседование.
По всем вопросам обращайтесь по адресу кафедры философии:
philosophy@mail.ifmo.ru
Дополнительную информацию об аспирантуре можно получить на сайте фа-культета Послевузовского профессионального образования: http://www.ifmo.ru/faculty/13/fak_13.htm
Кафедра философии
Приглашает в аспирантуру по специальности
«Логика»
Содержанием специальности " Логика" является исследование проблем ис-тории современного состояния логики в свете современных ее подходов и решение стоящих перед логической наукой новых актуальных проблем. Ис-следования должны вестись на базе сложившихся в отечественной и миро-вой логике передовых достижений как в методах решения логических про-блем, так и в применяемом для этих целей техническом аппарате. Основны-ми объектами исследований являются теоретические, метатеоретические, семантические и прикладные аспекты логики, а также разработка направ-ленного на совершенствование исследований логического аппарата. Разра-ботка новых направлений в современной логике.
Область исследования:
1. История логики.
2. Логические формы и приемы познания: формы мышления, определение, классификация, абстракция и идеализация, аксиоматизация, формализация.
3. Аппарат логики: алгебра логики, логика высказываний, логика кванторов, логика первого и высших порядков, различные типы исчислений.
4. Логическая семантика: алгебраические, теоретико-множественные семан-тики,
реляционные семантики возможных миров, проблема содержательности се-мантик
логических систем, категорная семантика, теория семантических категорий.
5. Теория моделей.
6. Теория доказательств.
7. Силлогистические теории.
8. Классическая логика.
9. Неклассические логики (интуиционистская и конструктивная), многознач-ные логики,
модальные логики (алетические, деонтические, эпистемологические, вре-менные и
другие), логики с неклассическим пониманием следования (релевантные, па-ранепротиворечивые, немонотонные).
10. Теории логического вывода (теории следования, теории импликаций).
11. Недедуктивные логические теории: индуктивная логика, вероятностная логика,
логика решений, логика нечетких понятий, аналогия.
12. Логические проблемы аргументации.
13. Метатеоретические проблемы логики: непротиворечивость, полнота, раз-решимость формализованных теорий, независимость их аксиом, определи-мость, сравнительный
анализ логических теорий.
14. Метатеоретические проблемы, связанные с основаниями математики: ло-гицизм,
формализм, интуиционизм и консерватизм, проблемы аксиоматизации тео-рии
множеств, логические и семантические парадоксы.
15. Прикладные проблемы логики и логической семантики.
15.1. Приложения логики: в методологии науки, в философии, в онтологии, в теологии, в эпистемологии, в психологии, в правовых науках, в этике, в лин-гвистике и в других дисциплинах и познавательных процедурах.
15.2. Приложения логики в компьютерных науках: логическое программиро-вание, динамические логики, логики программ, логика экспертных систем.
Отрасль наук:
философские науки.
Право поступления в аспирантуру имеют выпускники высших учебных за-ведений. Предпочтение будет отдано выпускникам философских факульте-тов, и особое предпочтение будет отдано выпускникам кафедры логики.
До сдачи экзаменов обязательно пройти собеседование.
По всем вопросам обращайтесь по адресу кафедры философии:
philosophy@mail.ifmo.ru
Дополнительную информацию об аспирантуре можно получить на сайте фа-культета Послевузовского профессионального образования: http://www.ifmo.ru/faculty/13/fak_13.htm