UNISUL - Universidade do Sul de Santa

Plano de Ensino
Disciplina: Lógica II - 4C

Turma: 517 - LÓGICA II - 2013B

Professor(es) Conteudista(s):
SERGIO SELL

Professor(es):
SERGIO SELL

Créditos: 4

Carga Horária (Hora-aula): 60

Ementa:
Elementos do Cálculo de Predicados. Aspectos históricos e conceituais.

Justificativa:
A disciplina justifica-se por ser um importante instrumento de desenvolvimento da capacidade de abstração dos
acadêmicos, levando-os a trabalhar com linguagens formalizadas cada vez mais complexas. Esta disciplina é muito útil
para a compreensão das temáticas abordadas nas demais disciplinas do curso.

Objetivos:
Objetivos- Definir e contextualizar a lógica clássica.
- Conhecer os aspectos teóricos e operacionais do cálculo proposicional e do cálculo de predicados.
- Desenvolver a habilidade de trabalhar com linguagens formalizadas cada vez mais complexas.
- Contribuir para a compreensão das temáticas abordadas nas disciplinas Filosofia da Linguagem, Filosofia da Ciência,
Teoria do Conhecimento e História da Filosofia.
- Aprofundar e instrumentalizar a atitude reflexiva e crítica.

Conteúdo Programático:
O Cálculo Quantificacional Clássico (CQC)
A linguagem do cálculo de predicados
Um pouco mais sobre o Cálculo Proposicional
A lógica clássica e o cálculo proposicional

Sistema de Avaliação:
O processo de avaliação nesta disciplina contempla:
1 atividade de avaliação a distância (AD)
1 avaliação presencial (AP)
Ambas são corrigidas pelo professor tutor, que emite nota. Veja no cronograma as datas das avaliações.
O aluno deverá alcançar aproveitamento na disciplina mínimo de 7.0 pontos, que é calculado da seguinte maneira:
Avaliação da disciplina = [(3,5 x Média de AD) + (6,5 x AP)] / 10
O aluno que não conseguir o aproveitamento na disciplina necessário para a aprovação (7,0) terá o direito de fazer a
avaliação final (AF). Neste caso, o resultado final (RF) relativo à disciplina será calculado por:
Resultado Final = (Avaliação da disciplina + Avaliação Final) / 2
E será considerado aprovado caso o Resultado Final (RF) seja maior ou igual a 6,0.
A avaliação final presencial somente é realizada para o aluno que não atingir a média estabelecida para aprovação na
disciplina.

Critérios de Avaliação:
1) O "fórum" e a "exposição" não são avaliações e sim ferramentas de aprendizagem. As participações nestas atividades
são recomendadas e serão acompanhadas pelo professor, mas não serão corrigidas e também não valem nota.2) A
Atividade de Avaliação à Distância (AD) vale nota e precisa ser enviada no prazo. O prazo estabelecido no cronograma
para o envio dessa atividade deve ser respeitado. Avaliações enviadas fora do prazo terão sua nota reduzida em meio
Página 1 de 2
ponto a cada 2 dias de atraso. (Atrasos de apenas poucas horas não serão não serão penalizados). 3) As avaliações
deverão ser realizadas individualmente. 4) Após o envio da AD é responsabilidade do aluno acessar e conferir se o
arquivo enviado para a ferramenta Avaliação corresponde ao documento da respectiva atividade e não apresenta
problemas técnicos. Em caso de impossibilidade de acesso as respostas da atividade o professor deverá definir um novo
prazo para o reenvio da AD e poderá aplicar um desconto na nota da AD.5) Como regra geral, não há a possibilidade de
se refazer a Avaliação a Distância. Em situações específicas, no entanto, o Professor poderá solicitar a correção de
algumas respostas. Somente nesses casos de indicação do Professor é que uma nova versão da AD será avaliada. 6) Os
seguintes itens são esperados em uma boa avaliação:- Organização clara de idéias e informações. - Domínio e/ou
identificação dos conceitos desenvolvidos no texto. - Análise das informações estabelecendo relações entre as idéias
propostas, isto é, capacidade de aplicação dos principais conceitos estudados em situações concretas. - Raciocínio lógico
na descrição das idéias. - Formulação de síntese coerente com o conteúdo estudado.

Bibliografia Básica:
ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. SãoPaulo: Nobel, 2002.
BLANCHÉ, R.; DUBUCS, J. História da lógica. Tradução António P. Ribeiro, Pedro E. Duarte. Lisboa: Edições 70, 2001
KELLER. V.; BASTOS, C. L. Aprendendo lógica. 16. ed. Petropolis, RJ: Vozes, 2007.

Bibliografia Complementar:
DELACAMPAGNE, C. História da filosofia no século XX. Rio de Janeiro: Zahar, 1997.
GERôNIMO, João Roberto; FRANCO, Valdeni Soliani.Fundamentos de matemática: uma introdução à lógica matemática,
teoria dos conjuntos, relações e funções. Maringá:Eduem, 2006.
HEGENBERG, L. Dicionário de lógica. São Paulo: EPU, 1995.
KELLER. V.; BASTOS, C. L. Aprendendo lógica. 16. ed. Petrópolis, RJ: Vozes, 2007.
KNEALE, W.; KNEALE, M. O desenvolvimento da lógica. 3. ed. Lisboa: Fundação Calouste Gulbenkian, 1991.

Página 2 de 2