visite www.gregosetroianos.mat.br/Lógica

© 2002-2006, Matemática para Gregos & Troianos - Carlos César

Aprenda LÓGICA (em 20 horas)
curso a distância (síncrono)

The very first lesson that we have a right to demand that logic shall teach us is, how to make our ideas clear; and a most important one it is, depreciated only by minds who stand in need of it. To know what we think, to be masters of our own meaning, will make a solid foundation for great and weighty thought.

Charles Sanders Peirce (How to Make Our Ideas Clear)

A Lógica moderna é uma disciplina extremamente vasta e rica em aplicações aos mais variados setores da atividade humana:

• Administração
• Direito
• Filosofia
• Homilética
• Inteligência Artificial
• Lingüística
• Matemática
• Metodologia Científica
• Pedagogia
• Política
• Programação de computadores
• Psicologia
• Robótica
• Semiótica
• Teologia  

É relevante não apenas para profissionais dessas áreas, mas também para:

• estudantes a partir do final do Ensino Fundamental
• vestibulandos
• concursandos
• universitários

Não surpreende, portanto, o espantoso interesse despertado pela mesma nos últimos tempos em nosso país, conforme atesta o número crescente de concursos que incluem provas de Raciocínio Lógico.

O Curso

Em nosso curso, a Lógica é apresentada como uma técnica eficiente para:


organizar conhecimentos em qualquer domínio;
• desenvolver o raciocínio formal;
• treinar a capacidade de abstração;
• compreender algoritmos e processos;
• pensar com clareza;
raciocinar corretamente sem esforço consciente;
• interpretar e analisar informações rapidamente;
• argumentar com elegância;
• estimular o raciocínio crítico;
• aprimorar a competência lingüística (oral e escrita);
• melhorar o desempenho em debates;
• adquirir destreza com o raciocínio simbólico-quantitativo (matemático);
• detectar padrões em estruturas (premissas, pressuposições, cenários etc.)

Nossa Metodologia


• Trata-se de um curso eminentemente orientado para a resolução de problemas, desde o primeiro minuto.
• A teoria é desenvolvida em atenção aos problemas propostos.
• Cada tópico surge motivado pela resolução de um grupo de problemas apropriados.
• Os primeiros problemas de um grupo são resolvidos nas aulas; os demais são deixados como exercícios.
• As respostas dos exercícios são fornecidas na aula seguinte.

Os problemas lógicos oferecidos provêm das mais variadas fontes:

• concursos nacionais (ANPAD, MPU, ESAF etc.);
• concursos estrangeiros (GMAT, GRE, LSAT);
• excertos de livros, artigos técnicos e de revistas;
• casos registrados em debates, conflitos, argumentos em filosofia, matemática, ética, política etc.

O contato com o professor se dará através de:

• textos escritos (arquivos pré-formatados que constituem o material didático, fornecido ao longo do curso).
• textos falados (arquivos de som).
• contato direto via voz.

Artigos adicionais em PDF são fornecidos como leitura  e referência bibliográfica colateral.

Tópicos abordados (curso básico)

(1) Tipos de sentenças; definição de proposição; forma lógica de uma proposição; valor lógico de uma proposição; sintaxe dos cinco conectivos lógicos fundamentais (notações, ordem de precedência); semântica dos conectivos lógicos (tabelas-verdade); representação simbólica de proposições; ambigüidade estrutural; tradução simbólica.

(2) Leis de De Morgan; leis de negação; recíproca, contrária e contrapositiva de uma implicação; redução ao absurdo; propriedades algébricas dos conectivos; outros conectivos lógicos; introdução à álgebra de Boole; métodos de demonstração. O Teste de Wason.

(3) Tautologias; contradições; equivalências lógicas; definição de argumento (premissas e conclusão); argumentos válidos e inválidos; técnicas de refutação; regras de inferência (eliminação e introdução de conectivos); a semântica de “é”; aspectos metodológicos do método dedutivo (conceitos primitivos, axiomas, lemas, teoremas e corolários; algumas técnicas de definição; consistência e independência).

(4) Cálculo de Predicados; sentenças abertas e fechadas; os quantificadores universal e existencial; sintaxe e semântica dos quantificadores; proposições categóricas; leis de negação; aplicação à álgebra dos conjuntos; refutação mediante diagramas de Euler-Venn; o problema do conteúdo existencial na teoria do silogismo.

(5) Predicados e relações; conjunto-verdade; semântica dos “mundos possíveis”; quantificadores restritos; quantificação múltipla; existência e unicidade; argumentos no Cálculo de Predicados; regras de inferência; simbolização de proposições matemáticas; descrições definidas e outros operadores que ligam variáveis; linguagen e metalinguagem; o conceito de verdade; uso e menção.

(6) Operações abstratas; reconhecimento de padrões em estruturas (frases, seqüências de eventos); formas de raciocínio indutivo; raciocínio analógico; argumentação a partir de dados precisos mas insuficientes; argumentação a partir de dados imprecisos.

(7) Raciocínio diagramático e espacial; introdução à Heurística (a arte da descoberta); raciocínio não-linear e "brainstorming"; raciocínio algorítmico; problemas epistemológicos; introdução à abdução segundo Peirce.

(8) Aplicações ao Raciocínio Analítico (análise de textos argumentativos) e à Lingüística; indicadores de premissa e conclusão; análise lógica das conjunções coordenativas e subordinativas; orações subordinadas adjetivas restritivas e explicativas; adequação e limites dos cálculos proposicional e de predicados (relevância e conexão causal, a influência dos tempos e modos verbais); ambigüidade e vaguidade; paradoxos; raciocínio crítico.

(9) Modelagem de problemas quantitativos (tradução em equações e relações, interpretação de fórmulas); técnicas de representação do conhecimento; raciocínio monótono; as diferentes funções da linguagem.

(10) Lógica dialógica; uso da lógica em debates e diálogos; maneiras de detectar e evitar falácias; alguns casos típicos no debate político; revisitando a Maiêutica de Sócrates; fundamentos da retórica e da arte da persuasão.

(11) Introdução à Lógica Jurídica; sentenças imperativas; o conceito de norma jurídica; natureza, classificação, interpretação e sanção; antinomias jurídicas; fundamentos da Lógica Deôntica (modalidades e sua formalização).

(12) (Opcional) Tópicos sobre a História da Lógica (Aristóteles, os estóicos, lógica medieval, Boole e a lógica simbólica, a conceitografia de Frege, a teoria da verdade de Tarski, o Círculo deViena, implicações dos teoremas de Gödel, lógica nebulosa, outros aspectos do século XX)

Inscrições

Em breve estaremos abrindo as inscrições neste site. Informações antecipadas:

• E-mail: cca@gregosetroianos.mat.br
• MSN: cca_gregosetroianos@hotmail.com
• Telefone: (31) 3283-1122

Carlos César de Araújo