SlideShare uma empresa Scribd logo
1 de 18
Tópicos de Lógica Correntes Matemáticas: Formalismo Prof. José Neto
Tópicos de Lógica Apresentação Prof. José Neto Eraldo Gonçalves Lucas Matos Sogenes Ivan Peixoto Leila Câmara
Formalismo O formalismo teve como principal característica organizar o pensamento matemático e enquadrá-lo dentro do  método axiomático ,[object Object]
Formalismo ,[object Object]
Métodos  Axiomáticos Idéia geral do método axiomático,  que perdurou até o século XX: usado para “colocar em ordem” um certo domínio do  conhecimento. Partido de  princípios (postulados) “evidentes”, chegar  por demonstração às demais proposições (teoremas).
Métodos  Axiomáticos ,[object Object],[object Object],Axiomas e postulados:
Métodos  Axiomáticos Termos Primitivos (conceitos): Define-se como conceito primitivo toda aquele que não admite definição, isto é, o conceito que é aceito por ser óbvio ou conveniente para uma determinada teoria.   Os  conceitos   primitivos  servem de base para a construção de postulados (ou axiomas) que formarão, por sua vez, a estrutura lógica e formal da teoria.
Métodos  Axiomáticos Grandes trabalhos matemáticos, estão intimamente ligados ao método axiomático: ,[object Object],[object Object],[object Object]
Métodos  Axiomáticos São os objetos de estudo, algo a ser investigado Termos Primitivos
Métodos  Axiomáticos Termos Primitivos Regras de Formação São regras que organizam os dados encontrados, neste momento devem ser elaboradas formulas bem formada.
Termos Primitivos Regras de Formação Formulas Bem Estruturadas Métodos  Axiomáticos São proposições bem formuladas e estruturadas sem contradição.
Métodos  Axiomáticos São verdades significativas que não podem ser contestadas. Termos Primitivos Regras de Formação Formulas Bem Estruturadas Axiomas e Postulados
Métodos  Axiomáticos São proposições bem formuladas e estruturadas sem contradição. Termos Primitivos Regras de Formação Formulas Bem Estruturadas Axiomas e Postulados Regras de Inferências
Métodos  Axiomáticos Termos Primitivos Regras de Formação Formulas Bem Estruturadas Axiomas e Postulados Regras de Inferências Determinam quais das formulas bem-formadas são teoremas, estas regras devem ser verdades na qual possam ser demonstradas.
Métodos  Axiomáticos Teoremas Termos Primitivos Regras de Formação Formulas Bem Estruturadas Axiomas e Postulados Regras de Inferências Afirmações que podem ser provadas
Teoria  de  Gödel ,[object Object],[object Object]
Teoria  de  Gödel Conjectura de Goltpach Todo número inteiro par, maior que dois, pode ser escrito com a soma de dois números primos positivos.  2 + 2 = 4 3 + 3 = 6 3 + 5 = 8
Crítica  Do  Formalismo

Mais conteúdo relacionado

Destaque (10)

Fundamentos da Linguística para a formação do profissional da informação
Fundamentos da Linguística para a formação do profissional da informaçãoFundamentos da Linguística para a formação do profissional da informação
Fundamentos da Linguística para a formação do profissional da informação
 
Formalismo
FormalismoFormalismo
Formalismo
 
Formalismo
FormalismoFormalismo
Formalismo
 
Aula 1 linguística
Aula 1   linguísticaAula 1   linguística
Aula 1 linguística
 
A Linguística como Ciência
A Linguística como CiênciaA Linguística como Ciência
A Linguística como Ciência
 
Formalismo Russo
Formalismo RussoFormalismo Russo
Formalismo Russo
 
Formalismo x funcionalismo
Formalismo x funcionalismoFormalismo x funcionalismo
Formalismo x funcionalismo
 
Introdução aos estudos linguísticos
Introdução aos estudos linguísticosIntrodução aos estudos linguísticos
Introdução aos estudos linguísticos
 
Parte 1 linguística geral apresentação
Parte 1   linguística geral apresentaçãoParte 1   linguística geral apresentação
Parte 1 linguística geral apresentação
 
Construtivismo[1]
Construtivismo[1]Construtivismo[1]
Construtivismo[1]
 

Mais de Lucas Matos (9)

Seminario nasf revisado 25 03-13
Seminario nasf revisado 25 03-13Seminario nasf revisado 25 03-13
Seminario nasf revisado 25 03-13
 
Apresentação videoconfeência ciclo de oficinas
Apresentação videoconfeência ciclo de oficinasApresentação videoconfeência ciclo de oficinas
Apresentação videoconfeência ciclo de oficinas
 
Indicadores viep 1° semestre 2011 cms
Indicadores viep 1° semestre 2011 cmsIndicadores viep 1° semestre 2011 cms
Indicadores viep 1° semestre 2011 cms
 
Mundo novo cartografia
Mundo novo cartografiaMundo novo cartografia
Mundo novo cartografia
 
Programa de imunização
Programa de imunizaçãoPrograma de imunização
Programa de imunização
 
Projeto linhas de cuidado
Projeto linhas de cuidadoProjeto linhas de cuidado
Projeto linhas de cuidado
 
Cobertura vacinal com boas práticas de vacinação e perfil das salas de vacina...
Cobertura vacinal com boas práticas de vacinação e perfil das salas de vacina...Cobertura vacinal com boas práticas de vacinação e perfil das salas de vacina...
Cobertura vacinal com boas práticas de vacinação e perfil das salas de vacina...
 
Rede materno infantil - Rede Cegonha Bahia
Rede materno infantil - Rede Cegonha BahiaRede materno infantil - Rede Cegonha Bahia
Rede materno infantil - Rede Cegonha Bahia
 
Ldb 9394 - 20 de Dezembro 1996 - Lucas Matos e Souza - IFBA 2009
Ldb 9394 - 20 de Dezembro 1996 - Lucas Matos e Souza - IFBA 2009Ldb 9394 - 20 de Dezembro 1996 - Lucas Matos e Souza - IFBA 2009
Ldb 9394 - 20 de Dezembro 1996 - Lucas Matos e Souza - IFBA 2009
 

Último

ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
azulassessoria9
 
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
azulassessoria9
 
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdfatividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
Autonoma
 
Considerando as pesquisas de Gallahue, Ozmun e Goodway (2013) os bebês até an...
Considerando as pesquisas de Gallahue, Ozmun e Goodway (2013) os bebês até an...Considerando as pesquisas de Gallahue, Ozmun e Goodway (2013) os bebês até an...
Considerando as pesquisas de Gallahue, Ozmun e Goodway (2013) os bebês até an...
azulassessoria9
 
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
azulassessoria9
 
República Velha (República da Espada e Oligárquica)-Sala de Aula.pdf
República Velha (República da Espada e Oligárquica)-Sala de Aula.pdfRepública Velha (República da Espada e Oligárquica)-Sala de Aula.pdf
República Velha (República da Espada e Oligárquica)-Sala de Aula.pdf
LidianeLill2
 
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
azulassessoria9
 
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
azulassessoria9
 
Aprender as diferentes formas de classificar as habilidades motoras é de extr...
Aprender as diferentes formas de classificar as habilidades motoras é de extr...Aprender as diferentes formas de classificar as habilidades motoras é de extr...
Aprender as diferentes formas de classificar as habilidades motoras é de extr...
azulassessoria9
 

Último (20)

Slides Lição 06, Central Gospel, O Anticristo, 1Tr24.pptx
Slides Lição 06, Central Gospel, O Anticristo, 1Tr24.pptxSlides Lição 06, Central Gospel, O Anticristo, 1Tr24.pptx
Slides Lição 06, Central Gospel, O Anticristo, 1Tr24.pptx
 
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
 
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
 
Falando de Física Quântica apresentação introd
Falando de Física Quântica apresentação introdFalando de Física Quântica apresentação introd
Falando de Física Quântica apresentação introd
 
Sopa de letras | Dia da Europa 2024 (nível 2)
Sopa de letras | Dia da Europa 2024 (nível 2)Sopa de letras | Dia da Europa 2024 (nível 2)
Sopa de letras | Dia da Europa 2024 (nível 2)
 
Sistema de Bibliotecas UCS - Cantos do fim do século
Sistema de Bibliotecas UCS  - Cantos do fim do séculoSistema de Bibliotecas UCS  - Cantos do fim do século
Sistema de Bibliotecas UCS - Cantos do fim do século
 
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdfatividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
 
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.docGUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
 
Considerando as pesquisas de Gallahue, Ozmun e Goodway (2013) os bebês até an...
Considerando as pesquisas de Gallahue, Ozmun e Goodway (2013) os bebês até an...Considerando as pesquisas de Gallahue, Ozmun e Goodway (2013) os bebês até an...
Considerando as pesquisas de Gallahue, Ozmun e Goodway (2013) os bebês até an...
 
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
 
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxSlides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
 
Aula 25 - A america espanhola - colonização, exploraçãp e trabalho (mita e en...
Aula 25 - A america espanhola - colonização, exploraçãp e trabalho (mita e en...Aula 25 - A america espanhola - colonização, exploraçãp e trabalho (mita e en...
Aula 25 - A america espanhola - colonização, exploraçãp e trabalho (mita e en...
 
Introdução às Funções 9º ano: Diagrama de flexas, Valor numérico de uma funçã...
Introdução às Funções 9º ano: Diagrama de flexas, Valor numérico de uma funçã...Introdução às Funções 9º ano: Diagrama de flexas, Valor numérico de uma funçã...
Introdução às Funções 9º ano: Diagrama de flexas, Valor numérico de uma funçã...
 
República Velha (República da Espada e Oligárquica)-Sala de Aula.pdf
República Velha (República da Espada e Oligárquica)-Sala de Aula.pdfRepública Velha (República da Espada e Oligárquica)-Sala de Aula.pdf
República Velha (República da Espada e Oligárquica)-Sala de Aula.pdf
 
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
 
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
O estudo do controle motor nada mais é do que o estudo da natureza do movimen...
 
Aprender as diferentes formas de classificar as habilidades motoras é de extr...
Aprender as diferentes formas de classificar as habilidades motoras é de extr...Aprender as diferentes formas de classificar as habilidades motoras é de extr...
Aprender as diferentes formas de classificar as habilidades motoras é de extr...
 
apostila filosofia 1 ano 1s (1).pdf 1 ANO DO ENSINO MEDIO . CONCEITOSE CARAC...
apostila filosofia 1 ano  1s (1).pdf 1 ANO DO ENSINO MEDIO . CONCEITOSE CARAC...apostila filosofia 1 ano  1s (1).pdf 1 ANO DO ENSINO MEDIO . CONCEITOSE CARAC...
apostila filosofia 1 ano 1s (1).pdf 1 ANO DO ENSINO MEDIO . CONCEITOSE CARAC...
 
Sopa de letras | Dia da Europa 2024 (nível 1)
Sopa de letras | Dia da Europa 2024 (nível 1)Sopa de letras | Dia da Europa 2024 (nível 1)
Sopa de letras | Dia da Europa 2024 (nível 1)
 
Novena de Pentecostes com textos de São João Eudes
Novena de Pentecostes com textos de São João EudesNovena de Pentecostes com textos de São João Eudes
Novena de Pentecostes com textos de São João Eudes
 

Correntes Matematicas Formalismo

  • 1. Tópicos de Lógica Correntes Matemáticas: Formalismo Prof. José Neto
  • 2. Tópicos de Lógica Apresentação Prof. José Neto Eraldo Gonçalves Lucas Matos Sogenes Ivan Peixoto Leila Câmara
  • 3.
  • 4.
  • 5. Métodos Axiomáticos Idéia geral do método axiomático, que perdurou até o século XX: usado para “colocar em ordem” um certo domínio do conhecimento. Partido de princípios (postulados) “evidentes”, chegar por demonstração às demais proposições (teoremas).
  • 6.
  • 7. Métodos Axiomáticos Termos Primitivos (conceitos): Define-se como conceito primitivo toda aquele que não admite definição, isto é, o conceito que é aceito por ser óbvio ou conveniente para uma determinada teoria. Os conceitos primitivos servem de base para a construção de postulados (ou axiomas) que formarão, por sua vez, a estrutura lógica e formal da teoria.
  • 8.
  • 9. Métodos Axiomáticos São os objetos de estudo, algo a ser investigado Termos Primitivos
  • 10. Métodos Axiomáticos Termos Primitivos Regras de Formação São regras que organizam os dados encontrados, neste momento devem ser elaboradas formulas bem formada.
  • 11. Termos Primitivos Regras de Formação Formulas Bem Estruturadas Métodos Axiomáticos São proposições bem formuladas e estruturadas sem contradição.
  • 12. Métodos Axiomáticos São verdades significativas que não podem ser contestadas. Termos Primitivos Regras de Formação Formulas Bem Estruturadas Axiomas e Postulados
  • 13. Métodos Axiomáticos São proposições bem formuladas e estruturadas sem contradição. Termos Primitivos Regras de Formação Formulas Bem Estruturadas Axiomas e Postulados Regras de Inferências
  • 14. Métodos Axiomáticos Termos Primitivos Regras de Formação Formulas Bem Estruturadas Axiomas e Postulados Regras de Inferências Determinam quais das formulas bem-formadas são teoremas, estas regras devem ser verdades na qual possam ser demonstradas.
  • 15. Métodos Axiomáticos Teoremas Termos Primitivos Regras de Formação Formulas Bem Estruturadas Axiomas e Postulados Regras de Inferências Afirmações que podem ser provadas
  • 16.
  • 17. Teoria de Gödel Conjectura de Goltpach Todo número inteiro par, maior que dois, pode ser escrito com a soma de dois números primos positivos. 2 + 2 = 4 3 + 3 = 6 3 + 5 = 8
  • 18. Crítica Do Formalismo