Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Evolução da lógica - Old

No description
by

Hudson P.M.

on 3 February 2014

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Evolução da lógica - Old

"A Escola de Atenas", do pintor italiano Rafael; ao centro, os filósofos gregos Platão e Aristóteles. (Aristóteles apontando para baixo, dando a ideia de que a verdade está entre nós, Platão apontando para cima, clara evidência sobre a teoria das ideias).

Platão e Aristóteles
Período Contemporâneo
(Início do século XX até os dias de hoje)

Período Clássico
(Século IV aC. ao Século XIX)

- China (V - III a.C)
- Índia (V a.C - XVI e XVII d.C)
- Grécia

Expansão dos Estudos da Lógica
Pensar é preciso.
Adélia Fonseca;
Vitor Rangel;
Pedro Henrique;
Fábio Benehd.

Tema:
"A evolução do raciocínio humano através dos filosófos."
Bibliografia:
Os sofistas
http://pt.wikipedia.org/wiki/Racioc%C3%ADnio

http://afilosofia.no.sapo.pt/Hist.htm

http://pt.wikisource.org/wiki/Pensar_%C3%A9_preciso/VI/A_Filosofia:
_Descartes,_Pascal,_Hobbes,_Spinoza,_Kant,_Hegel,_Vico

http://www.ipv.pt/millenium/millenium29/18.pdf

http://pt.wikipedia.org/wiki/Hist%C3%B3ria_da_l%C3%B3gica

http://afilosofia.no.sapo.pt/pag2Def.htm

http://pt.wikipedia.org/wiki/Escola_sof%C3%ADstica

http://pt.wikipedia.org/wiki/L%C3%B3gica_difusa
Período Moderno
(Século XIX a princípios do século XX)

- Cálculo proposicional
Universidade Federal do Tocantins
Curso de Ciência da Computação
Área de Leitura e Produção de Textos Ciêntificos

Como o Homem desenvolveu
suas formas de raciocínio ao
longo da História...

Organon
Início da Crítica a Lógica Aristótelica
Lógica Medieval
Início da Lógica
Aristóteles
Os estoicos
René Descartes (1596-1650)
Gottfried Wilhelm Leibniz
Aplicações da Lógica
Blaise Pascal
Inventores de máquinas inteligentes tinham a seu dispor uma ferramenta fundamental: uma lógica amplamente formalizada.
Charles Babbage (1792-1871)
Aplicações da Lógica
Aplicações da Lógica
Ernst Schröder
Gottlob Frege
George Boole
Fonte: http://www.afilosofia.com.br/media/images/filosofia-sofismo-e-sofistas.jpg
Fonte: http://lounge.obviousmag.org/abismo/assets_c/2013/01/3138700392_88c5a57905_b-thumb-600x412-33877.jpg
Fonte: http://commons.wikimedia.org/wiki/File:Aristoteles_Logica_1570_Biblioteca_Huelva.jpg
Início da Crítica a Lógica Aristótelica
Francis Bacon (1561-1626)

Sua obra "Novo Organon" tratava de criar um novo método de investigação científica - o método indutivo-experimental.
Fonte: http://leandronazareth.blogspot.com.br/2013/04/quinta-metidacao-de-descartes-do-livro.html
Fonte: http://pt.wikipedia.org/wiki/Ficheiro:Francis_Bacon,_Viscount_St_Alban_from_NPG_(2).jpg
Durante o florescimento da escolástica (séc XIII a XV) foram realizados notáveis progressos na lógica aristotélica.
Contribuições de: Duns Escoto, Guilherme de Occam, Alberto da Saxónia e Raimundo Lúlio.
Fonte: http://balearidesdigital.com/bdvs01/wordpress/wp-content/uploads/2013/12/16545_raimundo-300x267.jpg
Raimundo Lúlio
Nesse período o português Pedro de Hispano escreve a "Summulae Logicals", tratado de lógica mais difundido em toda a Europa até o séc. XVI.
Fonte: http://photos1.blogger.com/blogger/1452/1816/320/pedro%20hispano.jpg
Fonte: http://4.bp.blogspot.com/_lZmt8NV6C2s/S_0vv_eN-MI/AAAAAAAABUs/jRVyJ81cD5M/s400/The+School+of+Athens+-+1509.jpg
Pascaline, primeira máquina de somar. ( 1642 )
Fonte: http://2.bp.blogspot.com/-q5hGDC1Pj18/TihqUBVUHtI/AAAAAAAAAmM/al2mPaZLbKY/s320/attali-blaise-pascal1.jpg
Fonte: http://upload.wikimedia.org/wikipedia/commons/thumb/8/80/Arts_et_Metiers_Pascaline_dsc03869.jpg/800px-Arts_et_Metiers_Pascaline_dsc03869.jpg
Gottfried Wilhelm Leibniz
Calculadora que para além de somar, subtrair, podia multiplicar, dividir e extrair raízes quadradas. (1694)
Fonte: http://4.bp.blogspot.com/-oEjLoqCY9HA/T8fEmzxrowI/AAAAAAAABKI/6HiyQ62ApAE/s320/Leibnizr.jpg
Fonte: http://lh4.ggpht.com/_Qmjqb2Gk9no/Ta-WYjSWS1I/AAAAAAAAMmU/Mkt1FV083v0/clip_image008_thumb.jpg?imgmax=800
Fonte: https://www.hannover.de/Media/01-DATA-Neu/Bilder/Landeshauptstadt-Hannover/Herrenhausen-Bilder/Museum-Schloss-Herrenhausen/Historische-Persönlichkeiten/Gottfried-Wilhelm-Leibniz
Fonte: http://www.computacaonews.com.br/admin/upload/image_galeria_img_id8_tam_g.jpg
"Máquina analítica" que podia ser programada utilizando cartões perfurados.
Fonte: http://upload.wikimedia.org/wikipedia/commons/c/ce/George_Boole_color.jpg
Fonte: http://upload.wikimedia.org/wikipedia/commons/3/34/Ernst_schroeder.jpg
Fonte: http://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Young_frege.jpg/200px-Young_frege.jpg
Grupo:
Descartes.
Alunos:
Obrigado a todos pela atenção.
Grupo:
Descartes.
Fonte: https://maps.google.com.br/
1
2
3
4
5
6
Início:
- China
- Índia
Sofistas
-Platão
-Parménides
-Aristóteles
-"Organon"
Estoicos
Lógica Medieval
Séc. XIII-XV
-Escolástica
-Aprimoração da obra de Aristóteles
7
Novo Organon
Séc. XVI
- Francis Bacon
- René Descartes
Arte Combinatória
- Leibniz (1646-1716)
Séc. XIX
- Lógica matemática
- George Boole
- Ernst Schröder
- Cálculo proposicional
e dos predicados
O foco central de seus ensinamentos concentrava-se no logos ou discurso, com foco em estratégias de argumentação.
Séc. XVII
Fonte: http://www.bpiropo.com.br/graficos/FPC20060814n.jpg
Esse tear era programado por uma série de cartões perfurados, cada um deles controlando um único movimento da lançadeira.
Os Teares de Jacquard (1804)
Fonte: http://pt.wikipedia.org/wiki/Joseph-Marie_Jacquard
Joseph-Marie Jacquard
(Lyon 1752 - Oullins 1834),
mecânico francês inventor do tear mecânico.

Microprocessadores foram inventados em 1969, no ano em que surgia a internet. Começava então a revolução dos computadores.

Primeiro computador totalmente eletrônico ENIAC (1946)
Fonte: http://pt.wikipedia.org/wiki/ENIAC
Fonte: http://pt.wikipedia.org/wiki/Harvard_Mark_I
IBM-Harvard Mark 1
(1944)
Primeiro computador eletromecânico automático de larga escala.

Cibernética
Informática
Fonte: http://tec.nologia.com/img/1/guantes-ciberneticos.jpg
Fonte: http://veja.abril.com.br/assets/images/2013/5/145471/inteligencia-artificial-size-620.jpg
Fonte: http://www.blogti.microcampsp.com.br/wp-content/uploads/2013/05/FIGURA016.jpg
- Sua capacidade de processamento era de 5.000 operações por segundo;

- Criado na segunda guerra, tinha como principal finalidade cálculos balísticos;

- Possuía 17.468 válvulas termiônicas, de 160 kW de potência;
Inteligência Artificial
É atribuido a ele a criação da lógica matemática.

Com sua obra "Matemathical Analysis of Logic" (1847), a lógica foi pela primeira vez
tratada como um cálculo de signos algébricos.

Contribuições da sua obra:
- base da computação moderna;
- base da teoria dos conjuntos;
- contribuição decisiva contra as restrições
impostas à lógica desde Aristóteles.
Através de suas "Lições sobre a álgebra lógica", obra monumental com 3 volumes (1890 - 1905), Schroder deu acabamento ao trabalho de Boole.
Posteriormente o trabalho de Aristóteles foi reunido na obra denominada Organon, onde encontramos no capítulo Analytica Priora a parte essencial da Lógica.

O Organon está dividido em 6 partes:
1. categoria, contendo escritos sobre a teoria dos tipos, isto é, uma teoria na qual os objetos são classificados de acordo com o que se pode dizer significativamente sobre eles;
2. tópicos, onde são escritos os critérios orientadores de todos aqueles que tomam parte em competições públicas de dialética ou discussão;
3. refutação dos sofistas;
4. interpretação, onde Aristóteles fornece alguns escritos sobre os juízos e sobre quando estes são verdadeiros ou não.
5. primeiros analíticos, com escritos sobre o silogismo em geral;
6. segundos analíticos, com escritos sobre a demonstração.

Aristóteles é considerado o pai da lógica.

Para ele, raciocínio (dedutivo) reduz-se essencialmente ao tipo determinado que se denomina silogismo.

Fonte: http://2.bp.blogspot.com/-5TF-IRvQoPw/TbWEcBSWhQI/AAAAAAAAACQ/QNr2hs_QZ-8/s1600/aristoteles.jpg
( Grécia, 384 a.C - 322 a.C. )
( Alemanha, 1841 - 1902 )
( Reino Unido, 1815 - 1864 )
Ocupa um lugar especial na história da lógica. Ele procurou aplicar à lógica o modelo de cálculo algébrico da sua época.

Em sua obra "Arte Combinatória", publicada em 1666, apresenta os principios desta nova lógica.
Primeiro a apresentar o cálculo proposicional na sua forma moderna.

Passa-se da algebra da lógica (matematização do pensamento) à logística (logicização das matemáticas) e mesmo ao logicismo (redução das matemáticas à lógica).
A lógica aristotélica aparecia-lhe incapaz de permitir o progresso do conhecimento. Ora, para Descartes, a função da filosofia é o aumento gradual do conhecimento, a busca de um saber unitário e universal, ou seja, atravessado por uma mesma estrutura matemática.
Ao longo do séc. XX os estudos da lógica ganharam grande diversificação, chegando a um alto grau de formalização com um sistema completo de símbolos e regras de combinação.

A partir deste sistema tornou-se particularmente aplicável à concepção de máquinas inteligentes.
Fonte: http://t0.gstatic.com/images?q=tbn:ANd9GcQCF4Hxp_JBvl9vMzrRAKdLz9Tm0ZWsXUcQqNyG8XLVKcXGYkUdhQ
1944
1946
1950
Mark1
ENIAC
Sistema
numérico
binário
Cibernética;
Informática;
Inteligência
Artificial.
( Alemanha, 1848 - 1925 )
( Alemanha, 1646 - 1716 )
Aplicações da Lógica
- Cálculo de predicados
Fuzzy Logic
http://www.riversoftavg.com/fuzzy_logic.htm
Lógica Difusa
Deve ser vista mais como uma área de pesquisa sobre tratamento da incerteza, ou uma família de modelos matemáticos dedicados ao tratamento da incerteza, do que uma lógica propriamente dita.

Normalmente está associada ao uso da teoria de conjuntos fuzzy proposto por Lukasiewicz.
Matemático e lógico britânico.
Contribuiu para o simbolismo matemático propondo o uso do solidus (traço inclinado) para a impressão das frações.
Sua maior contribuição para o conhecimento foi como reformador da lógica. Efetivamente, o renascimento dos estudos de lógica que começaram na primeira metade do século XIX deveu-se quase que inteiramente aos trabalhos de De Morgan e Boole, outro matemático inglês.
As realizações mais importantes de De Morgan foram o lançamento das fundações de relações e a preparação do caminho para o nascimento da lógica simbólica (ou matemática).
Augustus De Morgan
Fonte: http://pt.wikipedia.org/wiki/Augustus_De_Morgan
( Reino Unido, 1806–1871 )
http://informatica.hsw.uol.com.br/futuro-da-internet.htm
Formulou as Leis de Morgan e introduziu o termo e a ideia da "indução matemática".

O renascimento dos estudos da lógica, no séc. XIX, deve-se basicamente a De Morgan e Boole.

Dentre seus trabalhos estão o lançamento das fundações de relações e a preparação do caminho para a criação da lógica simbólica (ou matemática).

Contribuiu para o simbolismo matemático propondo o uso do solidus (traço inclinado) para a impressão das frações.





Deve ser vista mais como uma área de pesquisa sobre tratamento da incerteza

, ou uma família de modelos matemáticos dedicados ao tratamento da incerteza,

do que uma lógica propriamente dita.

Normalmente está associada ao uso da teoria de conjuntos fuzzy proposto por Lukasiewicz.
Full transcript