Табела 5.2.

Спецификација предмета
Спецификацију треба дати за сваки предмет из студијског програма.
Студијски програм : Основне академске студије филозофије
Назив предмета: Логика
Наставник/наставници: Милош Аџић
Статус предмета: обавезни
Број ЕСПБ: 12
Услов: без претходних услова
Циљ предмета
Студент треба да научи шта је то формални језик исказне и предикатске логике, да одлучује које су
формуле таутологије и да доказује у формалном систему класичне предикатске логике.
Исход предмета
Студент је научио шта је то формални језик исказне и предикатске логике, научио је да одлучује које су
формуле таутологије и да доказује у формалном систему класичне предикатске логике.
Садржај предмета
Основе класичне исказне и предикатске логике, основни појмови о синтакси и семантици, основни појмови
о природној дедукцији.
Литература
К. Дошен, Основна логика (Београд, 2013)
М. Борисављевић, Увод у логику, I део (Саобраћајни факултет, Београд, 2009)
М. Борисављевић, Увод у логику, II део (Саобраћајни факултет, Београд, 2013)
А. Крон, Логика (Универзитет у Београду, 1998)
Ж. Ковијанић Вукићевић и С. Вујошевић, Увод у логику (Универзитет Црне Горе, Подгорица, 2009)
Број часова активне наставе: 6 Предавања: 2 Вежбе: 4
Методе извођења наставе – Предавања и вежбе. Вежбе се не састоје у томе да асистент ради задатке на
табли, а студенти преписују, него студенти добију задатке и раде их сами.
Оцена знања (максимални број поена 100)
поена
Предиспитне обавезе Завршни испит Поена
активност у току предавања писмени испит 30
практична настава усмени испт 40
колоквијум-и
други облици предиспитних
30
обавеза