Специальности, виды профессии
Логика

09.00.07 Логика

 

Шифр специальности: 09.00.07 Логика

 

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

 

Область исследования:
1. История логики.
2. Логические формы и приемы познания: формы мышления, определение, классификация, абстракция и идеализация, аксиоматизация, формализация.
3. Аппарат логики: алгебра логики, логика высказываний, логика кванторов, логика первого и высших порядков, различные типы исчислений.
4. Логическая семантика: алгебраические, теоретико-множественные семантики, реляционные семантики возможных миров, проблема содержательности семантик логических систем, категорная семантика, теория семантических категорий.
5. Теория моделей.
6. Теория доказательств.
7. Силлогистические теории.
8. Классическая логика.
9. Неклассические логики (интуиционистская и конструктивная), многозначные логики, модальные логики (алетические, деонтические, эпистемологические, временные и другие), логики с неклассическим пониманием следования (релевантные, паранепротиворечивые, немонотонные).
10. Теории логического вывода (теории следования, теории импликаций).
11. Недедуктивные логические теории: индуктивная логика, вероятностная логика, логика решений, логика нечетких понятий, аналогия.
12. Логические проблемы аргументации.
13. Метатеоретические проблемы логики: непротиворечивость, полнота, разрешимость формализованных теорий, независимость их аксиом, определимость, сравнительный анализ логических теорий.
14. Метатеоретические проблемы, связанные с основаниями математики: логицизм, формализм, интуиционизм и консерватизм, проблемы аксиоматизации теории множеств, логические и семантические парадоксы.
15. Прикладные проблемы логики и логической семантики.
15.1. Приложения логики: в методологии науки, в философии, в онтологии, в теологии, в эпистемологии, в психологии, в правовых науках, в этике, в лингвистике и в других дисциплинах и познавательных процедурах.
15.2. Приложения логики в компьютерных науках: логическое программирование, динамические логики, логики программ, логика экспертных систем.

 

Отрасль наук: философские науки.

Search Results from Поисковая система работы Сareerjet | Стать партнером
На этом сайте, Ваши объявления о вакансиях через систему Сareerjet
RSS-рассылка: Вакансии Логика
Unity C# разработчик (Bombastic Brothers, сетевая логика)

Mail.Ru - Москва - Ленинградский, Чукотский Автономный Округ - Fast Forward Studio — самая молодая студия разработки мобильных игр для проектов My.com. Наш первый проект — Planet of Heroes — игра в жанре MOBA, смелый вызов рынку мобильных игр. В студии работают талантливые люди, профессионалы игровой индустрии, которых объединяет общая идея — игра Planet of Heroes. Мы не верим, что бывают бывшие геймеры, но знаем, что с возрастом у многих меняется стиль жизни и уже нет возможности играть по несколько часов в день за ПК. Именно для таких людей создана наша игра. В некотором смысле мы создаем игру для себя — игру, в которой присутствует соревновательный дух, которая допускает различные стратегии и содержит все ключевые элементы жанра. Игру, в которую можно играть, стоя в очереди в банке, находясь в метро и на обеденном перерыве. Присоединяйтесь к нашей команде. Вместе мы будем делать лучшие игры! Обязанности: развитие и поддержка существующей сетевой части боевой логики; оптимизация производительности сетевого кода; поддержание существующе... - Постоянная работа - Полная занятость


Энергетик

Логика - Челябинск - расследования аварий и поломок, анализ причин их возникновения, составление соответствующих актов и разработка мероприятий по предупреждению и устранению аварий и поломок. Обеспечение и контроль качественного обслуживания и ремонтов согласно графиков ТОиР; Ответственность за безопасную эксплуатацию тепло-энергооборудования. * Условия работыОфициальное трудоустройство, соц. пакет. О компанииКорпорация "Логика" была основана в 1990 году. За годы своего становления и развития компания получила широкую... известность и приобрела репутацию надежного партнера не только в Челябинской области, но и в других регионах страны, а также ближнего Зарубежья. В настоящее время главным направлением деятельности корпорации "Логика" является развитие мебельного производства. Сегодня мы производим и продаем офисную мебель, корпусную мебель, межкомнатные двери, шпонированные как натуральным, так и искусственным покрытием, кабинеты руководителя, кресла и стулья. Кроме того, мы освоили производство сейфов и металлических... - Постоянная работа - Полная занятость


Проектировщик, архитектор

Логика - Челябинск - ЗарплатаДоговорная. Форма оплатыОклад Тип работыПостоянная График работы Полный день ОбязанностиЭскизный проект, рабочий проект, спецификация на детали. Условия работыТрудоустройство согласно ТК РФ, соц.пакет, удобный офис, дружный коллектив. О компанииКорпорация "Логика" была основана в 1990 году. За годы своего становления и развития компания получила широкую известность и приобрела репутацию надежного партнера не только в Челябинской области, но и в других регионах страны, а также... ближнего Зарубежья. В настоящее время главным направлением деятельности корпорации "Логика" является развитие мебельного производства. Сегодня мы производим и продаем офисную мебель, корпусную мебель, межкомнатные двери, шпонированные как натуральным, так и искусственным покрытием, кабинеты руководителя, кресла и стулья. Кроме того, мы освоили производство сейфов и металлических дверей. Современное немецкое оборудование с широким спектром переменных параметров дало возможность выполнять... - Постоянная работа - Полная занятость


Специалист call-центра

Логика - Челябинск - Зарплатаот 15 000 руб. Форма оплатыСделка Тип работыПостоянная График работы Полный день Обязанности- Работа с клиентской базой (текущие клиенты + привлечение новых); - Консультирование по товарам и услугам. * Условия работыЦентр обработки входящих и исходящих звонков. О компанииКорпорация "Логика" была основана в 1990 году. За годы своего становления и развития компания получила широкую известность и приобрела репутацию надежного партнера не только в Челябинской области, но и в других... регионах страны, а также ближнего Зарубежья. В настоящее время главным направлением деятельности корпорации "Логика" является развитие мебельного производства. Сегодня мы производим и продаем офисную мебель, корпусную мебель, межкомнатные двери, шпонированные как натуральным, так и искусственным покрытием, кабинеты руководителя, кресла и стулья. Кроме того, мы освоили производство сейфов и металлических дверей. Современное немецкое оборудование с широким спектром переменных параметров дало... - Постоянная работа - Полная занятость


Менеджер по продажам, торговый представитель

Логика - Челябинск - ЗарплатаОт 25 000 руб. Форма оплатыОклад+процент Тип работыПостоянная График работы Полный день ОбязанностиАктивные продажи. Работа с крупными клиентами, заключение сделок. Условия работыГрафик 5/2 с 9-00 до 18-00 Соцпакет. Профессиональный рост. * О компанииКорпорация "Логика" была основана в 1990 году. За годы своего становления и развития компания получила широкую известность и приобрела репутацию надежного партнера не только в Челябинской области, но и в других регионах страны, а... также ближнего Зарубежья. В настоящее время главным направлением деятельности корпорации "Логика" является развитие мебельного производства. Сегодня мы производим и продаем офисную мебель, корпусную мебель, межкомнатные двери, шпонированные как натуральным, так и искусственным покрытием, кабинеты руководителя, кресла и стулья. Кроме того, мы освоили производство сейфов и металлических дверей. Современное немецкое оборудование с широким спектром переменных параметров дало возможность выполнять... - Постоянная работа - Полная занятость


Search All Amazon* UK* DE* FR* JP* CA* CN* IT* ES* IN* BR* MX
Search Results from «Озон» Менеджмент
2008 Copyright © JobLove.ru Мобильная Версия v.2015 | PeterLife и компания
Пользовательское соглашение использование материалов сайта разрешено с активной ссылкой на сайт. Партнёрская программа.
Яндекс цитирования Яндекс.Метрика