O documento discute a relação entre linguagem, lógica e realidade segundo diferentes filósofos e lógicos como Wittgenstein, Brouwer e Martin-Löf. Apresenta o desenvolvimento da lógica simbólica e da interpretação funcional da dedução lógica, culminando na formulação recente de "provas de igualdade" como "caminhos" na teoria dos tipos.
A Filosofia Analítica da Linguagem de Bertrand RussellJorge Barbosa
1) O documento discute a filosofia analítica da linguagem de Bertrand Russell e como ele via a linguagem como fundamental para entender problemas filosóficos.
2) Russell acreditava que problemas filosóficos surgem de confusões conceptuais resultantes do mau uso da linguagem comum, e que a solução é clarificar o significado dos enunciados.
3) A teoria da linguagem de Russell se baseia na ideia de que linguagem é constituída por proposições cujos elementos significam os constituintes dos fatos, e uma linguagem perfe
O Círculo de Viena e a Escola de Frankfurt desenvolveram duas críticas distintas da linguagem no século XX. O Círculo de Viena focou-se na análise lógica da linguagem para distinguir enunciados dotados de sentido daqueles que não são, enquanto a Escola de Frankfurt criticou a linguagem como instrumento de dominação social que justifica a exploração do trabalho.
1) O documento discute a metáfora clássica segundo Aristóteles e seu papel no discurso persuasivo.
2) Aristóteles via a metáfora como algo que poderia tornar o discurso mais agradável ao aproximá-lo da linguagem familiar, mas também como algo arriscado se muito distante do conceito original.
3) Para Aristóteles, metáforas que revelassem grandes dessemelhanças entre conceitos poderiam ensinar mais, apesar do risco de incompreensão.
Este documento resume a evolução do pensamento sobre a retórica ao longo da história da filosofia, desde os sofistas na Grécia Antiga até pensadores contemporâneos. Começa descrevendo como os sofistas viam a retórica como uma técnica de persuasão relativista e sem preocupação com a verdade, enquanto Platão a via como uma arte potencialmente imoral. Aristóteles desenvolveu uma concepção mais científica da retórica ligada à investigação e ao debate público racional. Pensadores modernos valorizaram a razão e
Frege contribuiu para a filosofia da linguagem ao distinguir sentido e referência e ao afirmar que a referência de uma sentença é seu valor de verdade. Embora seu foco principal fosse provar que a aritmética é um ramo da lógica, suas análises tiveram consequências filosóficas importantes sobre a linguagem.
1) O texto discute a filosofia de David Hume e sua análise das capacidades do entendimento humano.
2) Hume argumenta que todo o conhecimento humano se baseia na experiência sensível através de impressões e ideias.
3) Ele propõe uma distinção entre conhecimento a priori de relações de ideias e conhecimento a posteriori de questões de fato, ambos baseados na experiência.
1) O documento descreve a obra e pensamento do filósofo alemão Gottlob Frege, focando no seu artigo "Sobre o sentido e a referência".
2) Frege desenvolveu o conceito de distinção entre sentido e referência para resolver o problema da igualdade de identidade em juízos.
3) Anteriormente, em sua obra Conceitografia, Frege analisava o conteúdo de juízos em termos de função-conceito e objeto-argumento, o que levava a contradições quando aplicado a juízos de igualdade.
A verdade e seu contexto uma abordagem a partir de habermas e rortyFrederico Garcia Brito
Este documento discute as visões de Habermas e Rorty sobre a questão da verdade. Rorty acredita que devemos abandonar a noção de verdade objetiva e substituí-la por descrições úteis. Já Habermas defende que devemos manter a noção de verdade como algo incondicional, baseado no mundo da vida e no discurso. O documento também explora as críticas de Habermas a Rorty por não levar a virada linguística até suas últimas consequências.
A Filosofia Analítica da Linguagem de Bertrand RussellJorge Barbosa
1) O documento discute a filosofia analítica da linguagem de Bertrand Russell e como ele via a linguagem como fundamental para entender problemas filosóficos.
2) Russell acreditava que problemas filosóficos surgem de confusões conceptuais resultantes do mau uso da linguagem comum, e que a solução é clarificar o significado dos enunciados.
3) A teoria da linguagem de Russell se baseia na ideia de que linguagem é constituída por proposições cujos elementos significam os constituintes dos fatos, e uma linguagem perfe
O Círculo de Viena e a Escola de Frankfurt desenvolveram duas críticas distintas da linguagem no século XX. O Círculo de Viena focou-se na análise lógica da linguagem para distinguir enunciados dotados de sentido daqueles que não são, enquanto a Escola de Frankfurt criticou a linguagem como instrumento de dominação social que justifica a exploração do trabalho.
1) O documento discute a metáfora clássica segundo Aristóteles e seu papel no discurso persuasivo.
2) Aristóteles via a metáfora como algo que poderia tornar o discurso mais agradável ao aproximá-lo da linguagem familiar, mas também como algo arriscado se muito distante do conceito original.
3) Para Aristóteles, metáforas que revelassem grandes dessemelhanças entre conceitos poderiam ensinar mais, apesar do risco de incompreensão.
Este documento resume a evolução do pensamento sobre a retórica ao longo da história da filosofia, desde os sofistas na Grécia Antiga até pensadores contemporâneos. Começa descrevendo como os sofistas viam a retórica como uma técnica de persuasão relativista e sem preocupação com a verdade, enquanto Platão a via como uma arte potencialmente imoral. Aristóteles desenvolveu uma concepção mais científica da retórica ligada à investigação e ao debate público racional. Pensadores modernos valorizaram a razão e
Frege contribuiu para a filosofia da linguagem ao distinguir sentido e referência e ao afirmar que a referência de uma sentença é seu valor de verdade. Embora seu foco principal fosse provar que a aritmética é um ramo da lógica, suas análises tiveram consequências filosóficas importantes sobre a linguagem.
1) O texto discute a filosofia de David Hume e sua análise das capacidades do entendimento humano.
2) Hume argumenta que todo o conhecimento humano se baseia na experiência sensível através de impressões e ideias.
3) Ele propõe uma distinção entre conhecimento a priori de relações de ideias e conhecimento a posteriori de questões de fato, ambos baseados na experiência.
1) O documento descreve a obra e pensamento do filósofo alemão Gottlob Frege, focando no seu artigo "Sobre o sentido e a referência".
2) Frege desenvolveu o conceito de distinção entre sentido e referência para resolver o problema da igualdade de identidade em juízos.
3) Anteriormente, em sua obra Conceitografia, Frege analisava o conteúdo de juízos em termos de função-conceito e objeto-argumento, o que levava a contradições quando aplicado a juízos de igualdade.
A verdade e seu contexto uma abordagem a partir de habermas e rortyFrederico Garcia Brito
Este documento discute as visões de Habermas e Rorty sobre a questão da verdade. Rorty acredita que devemos abandonar a noção de verdade objetiva e substituí-la por descrições úteis. Já Habermas defende que devemos manter a noção de verdade como algo incondicional, baseado no mundo da vida e no discurso. O documento também explora as críticas de Habermas a Rorty por não levar a virada linguística até suas últimas consequências.
Linguagem, lógica e a natureza da matemáticaRuy De Queiroz
"Linguagem, Lógica e a Natureza da Matemática", palestra ministrada no IV Congresso da Associação de Linguagem & Direito - Linguagem & Direito: rios sem discurso?", de 28 a 30/09/2016, na UNICAP, em Recife.
Este documento resume a filosofia medieval e as contribuições de Gottlob Frege à filosofia e matemática. A filosofia medieval foi influenciada pela Igreja Católica e discutiu assuntos ligados às doutrinas cristãs. Frege foi um filósofo alemão que contribuiu para a filosofia da linguagem, lógica e matemática através da distinção entre conceito e objeto e do logicismo, a ideia de que a aritmética é um ramo da lógica. Seu trabalho influenc
A filosofia analítica se concentra na análise dos conceitos fundamentais por meio da linguagem. Ela começou no final do século 19 e se popularizou com Wittgenstein, que defendia esclarecer conceitos ao invés de especulações metafísicas. A filosofia analítica usa métodos da lógica e semântica para elucidar a estrutura lógica dos conceitos.
Essencialismo e anti essencialismo e pragmatismohilton leal
1) O documento discute essencialismo versus anti-essencialismo do ponto de vista de Richard Rorty.
2) Rorty critica a noção de "mente" defendida pelo essencialismo moderno, mostrando que é produto de um vocabulário histórico.
3) Ele propõe uma abordagem anti-essencialista e holista, onde justificação do conhecimento é vista como prática social dependente de vocabulários.
Irracionalismo e antiontologia esboço de uma crítica a richard rortyajr_tyler
Este documento apresenta uma crítica às ideias do filósofo pragmatista Richard Rorty sobre verdade e linguagem. O autor argumenta que Rorty comete equívocos ao afirmar que a verdade depende das frases e linguagens humanas, já que a verdade se refere à realidade objetiva. Além disso, o pensamento de Rorty é associado ao irracionalismo de Nietzsche e Wittgenstein ao negar a existência de uma realidade independente das representações humanas. Por fim, o conceito de progresso em Lukács é contrastado com a visão
O documento discute diferentes definições e perspectivas sobre o que é matemática. Apresenta quatro grupos de definições: matemática como ciência da quantidade, como ciência das relações, como ciência do possível e como ciência das construções possíveis. Conclui que atualmente há um certo ecletismo na abordagem da matemática, reunindo elementos de diferentes teorias.
Defesa de Memorial para progressão para Professor Titular (Classe E) 2015Ruy De Queiroz
[1] O documento descreve a carreira acadêmica e pesquisa de Ruy J. G. B. de Queiroz, incluindo seu doutorado no Imperial College London e trabalho na UFPE desde 1993. [2] Ao longo dos anos, seu foco de pesquisa foi a teoria da prova, teoria dos tipos e fundamentos construtivos da matemática, com influência de Wittgenstein, Gentzen e Martin-Löf. [3] Recentemente, seu trabalho explorou a conexão entre teoria de tipos e teoria da homotopia no
Este documento fornece uma introdução à filosofia através de três abordagens: etimológica, simbólica e cronológica. Resume brevemente as visões de filósofos importantes como Parmênides, Sócrates, Tomás de Aquino e John Locke, e fornece sugestões bibliográficas adicionais sobre o tema.
O documento discute vários filósofos e suas perspectivas sobre a linguagem. Ludwig Wittgenstein acreditava que tudo que pode ser pensado pode ser dito e que não se deve falar sobre o que não pode ser pensado claramente. Marilena Chauí define linguagem e discute diferentes tipos como denotativa e conotativa. A linguagem verbal permite aos seres humanos ultrapassar os limites da experiência vivida através do uso de símbolos.
A lógica estuda o raciocínio e argumentos formais. Ela investiga como asserções são combinadas e como teoremas podem ser deduzidos de axiomas. A lógica também desenvolve linguagens formais para modelar situações e analisá-las.
O documento discute os principais tópicos investigados na Ontologia e Metafísica ao longo da história da Filosofia, como a natureza do ser, as categorias de Aristóteles, as provas da existência de Deus, as críticas de Kant e do Neopositivismo. Também aborda o uso de ontologias na Ciência da Informação para estruturar e compartilhar conhecimento sobre determinados domínios.
1) O documento analisa o livro "Mythologies" de Roland Barthes, publicado originalmente em 1957. Barthes era um teórico francês influenciado pela escola estruturalista.
2) O livro pode ser dividido em duas partes: a primeira consiste em uma série de pequenas histórias analisando mitos da sociedade moderna, e a segunda parte é mais teórica.
3) Barthes pretende mostrar como os mitos podem ser reinterpretados para ajudar o homem moderno a ter uma nova visão de si mesmo, criticando principal
1) O documento resume a obra "Teoria do Conhecimento" de Johannes Hessen, publicada em 1925. Hessen era um teólogo e filósofo alemão que viveu entre 1889-1971.
2) A teoria do conhecimento é dividida em vários tópicos, incluindo dogmatismo, ceticismo, subjetivismo, relativismo, pragmatismo e criticismo. Cada posição é definida e discutida brevemente.
3) Hessen critica tanto o racionalismo quanto o empirismo por limitarem a origem do conhe
O documento resume a biografia e as principais ideias filosóficas de Bertrand Russell. No capítulo 12, Russell discute a factividade do conhecimento e defende uma teoria metafísica da verdade baseada na correspondência entre crenças e realidade extramental, e não nas qualidades internas das crenças. Ele argumenta que qualquer teoria da verdade deve permitir a existência de crenças falsas.
O avanço do conhecimento científico e o pensamento complexoFernando Alcoforado
1. O documento discute o fim das certezas no pensamento científico clássico devido ao avanço do conhecimento no século XX, incluindo a descoberta da teoria da relatividade, mecânica quântica e o princípio da incerteza.
2. Também aborda como o teorema da incompletude de Gödel mostrou que um sistema formal não pode se autojustificar e como isso abalou as certezas estabelecidas.
3. Defende que o pensamento complexo é necessário para superar as limitações
O documento discute a lógica e sua história. Apresenta definições de lógica, operações do pensamento lógico e etimologia da palavra. Também resume contribuições de figuras históricas como Aristóteles, Platão, Porfírio e Boécio para o desenvolvimento da lógica.
Idealismo e materialismo, geografia crítica e a concepção da abstração espacialajr_tyler
1) O documento discute a dicotomia entre idealismo e materialismo na filosofia, com ênfase no materialismo de Feuerbach e no materialismo marxista.
2) Analisa a obra de Engels "Ludwig Feuerbach e o fim da Filosofia Clássica Alemã" para entender as diferenças entre o materialismo de Feuerbach e o materialismo evoluído de Marx e Engels.
3) Tem como objetivo mostrar que a abstração espacial representa um retorno ao idealismo, especialmente de Kant e Hegel, enquant
O documento discute os atos epistemológicos da pesquisa de ver, ouvir, ler e escrever. Apresenta que ver envolve elaborar um olhar multidimensional sobre fenômenos, distinguindo regimes de visibilidade. Ouvir implica escuta do mundo e discursos sociais. Ler requer interpretação cuidadosa para reconstruir o pensamento do autor. Escrever permite recriar o mundo por meio da linguagem e construir novos significados.
O documento discute como a linguagem molda nossa percepção do mundo. Filósofos como Frege e Wittgenstein defenderam o desenvolvimento de uma linguagem lógica e precisa para evitar equívocos nos campos filosófico e científico, inspirando-se na lógica matemática. Wittgenstein propôs os "jogos de linguagem" para considerar o uso correto das palavras em diferentes contextos.
Este documento discute conceitos epistemológicos como senso comum, ciência e ideologia. Também aborda os atos de construção do conhecimento como ver, ouvir, ler e escrever. Finalmente, fornece orientações sobre processos de leitura crítica como fichamento e tomada de notas.
Homotopic Foundations of the Theory of ComputationRuy De Queiroz
The document discusses the history and impact of intuitionistic type theory on the foundations of mathematics and computation. It describes how Martin-Löf's introduction of identity types in type theory allowed a connection between term rewriting and concepts in homotopy theory. It discusses how homotopy type theory has since been used to formalize concepts of "sameness" in mathematics like isomorphisms and homotopies. Researchers have used these tools to formally represent and calculate fundamental groups of topological spaces.
What formal equalities between rewriting paths have in common with homotopies...Ruy De Queiroz
O documento discute a importância da educação para o desenvolvimento econômico e social de um país. A educação é essencial para aumentar a produtividade dos trabalhadores e promover a inovação, o que por sua vez impulsiona o crescimento econômico. Países com populações mais educadas tendem a ter sociedades mais prósperas e estáveis.
Linguagem, lógica e a natureza da matemáticaRuy De Queiroz
"Linguagem, Lógica e a Natureza da Matemática", palestra ministrada no IV Congresso da Associação de Linguagem & Direito - Linguagem & Direito: rios sem discurso?", de 28 a 30/09/2016, na UNICAP, em Recife.
Este documento resume a filosofia medieval e as contribuições de Gottlob Frege à filosofia e matemática. A filosofia medieval foi influenciada pela Igreja Católica e discutiu assuntos ligados às doutrinas cristãs. Frege foi um filósofo alemão que contribuiu para a filosofia da linguagem, lógica e matemática através da distinção entre conceito e objeto e do logicismo, a ideia de que a aritmética é um ramo da lógica. Seu trabalho influenc
A filosofia analítica se concentra na análise dos conceitos fundamentais por meio da linguagem. Ela começou no final do século 19 e se popularizou com Wittgenstein, que defendia esclarecer conceitos ao invés de especulações metafísicas. A filosofia analítica usa métodos da lógica e semântica para elucidar a estrutura lógica dos conceitos.
Essencialismo e anti essencialismo e pragmatismohilton leal
1) O documento discute essencialismo versus anti-essencialismo do ponto de vista de Richard Rorty.
2) Rorty critica a noção de "mente" defendida pelo essencialismo moderno, mostrando que é produto de um vocabulário histórico.
3) Ele propõe uma abordagem anti-essencialista e holista, onde justificação do conhecimento é vista como prática social dependente de vocabulários.
Irracionalismo e antiontologia esboço de uma crítica a richard rortyajr_tyler
Este documento apresenta uma crítica às ideias do filósofo pragmatista Richard Rorty sobre verdade e linguagem. O autor argumenta que Rorty comete equívocos ao afirmar que a verdade depende das frases e linguagens humanas, já que a verdade se refere à realidade objetiva. Além disso, o pensamento de Rorty é associado ao irracionalismo de Nietzsche e Wittgenstein ao negar a existência de uma realidade independente das representações humanas. Por fim, o conceito de progresso em Lukács é contrastado com a visão
O documento discute diferentes definições e perspectivas sobre o que é matemática. Apresenta quatro grupos de definições: matemática como ciência da quantidade, como ciência das relações, como ciência do possível e como ciência das construções possíveis. Conclui que atualmente há um certo ecletismo na abordagem da matemática, reunindo elementos de diferentes teorias.
Defesa de Memorial para progressão para Professor Titular (Classe E) 2015Ruy De Queiroz
[1] O documento descreve a carreira acadêmica e pesquisa de Ruy J. G. B. de Queiroz, incluindo seu doutorado no Imperial College London e trabalho na UFPE desde 1993. [2] Ao longo dos anos, seu foco de pesquisa foi a teoria da prova, teoria dos tipos e fundamentos construtivos da matemática, com influência de Wittgenstein, Gentzen e Martin-Löf. [3] Recentemente, seu trabalho explorou a conexão entre teoria de tipos e teoria da homotopia no
Este documento fornece uma introdução à filosofia através de três abordagens: etimológica, simbólica e cronológica. Resume brevemente as visões de filósofos importantes como Parmênides, Sócrates, Tomás de Aquino e John Locke, e fornece sugestões bibliográficas adicionais sobre o tema.
O documento discute vários filósofos e suas perspectivas sobre a linguagem. Ludwig Wittgenstein acreditava que tudo que pode ser pensado pode ser dito e que não se deve falar sobre o que não pode ser pensado claramente. Marilena Chauí define linguagem e discute diferentes tipos como denotativa e conotativa. A linguagem verbal permite aos seres humanos ultrapassar os limites da experiência vivida através do uso de símbolos.
A lógica estuda o raciocínio e argumentos formais. Ela investiga como asserções são combinadas e como teoremas podem ser deduzidos de axiomas. A lógica também desenvolve linguagens formais para modelar situações e analisá-las.
O documento discute os principais tópicos investigados na Ontologia e Metafísica ao longo da história da Filosofia, como a natureza do ser, as categorias de Aristóteles, as provas da existência de Deus, as críticas de Kant e do Neopositivismo. Também aborda o uso de ontologias na Ciência da Informação para estruturar e compartilhar conhecimento sobre determinados domínios.
1) O documento analisa o livro "Mythologies" de Roland Barthes, publicado originalmente em 1957. Barthes era um teórico francês influenciado pela escola estruturalista.
2) O livro pode ser dividido em duas partes: a primeira consiste em uma série de pequenas histórias analisando mitos da sociedade moderna, e a segunda parte é mais teórica.
3) Barthes pretende mostrar como os mitos podem ser reinterpretados para ajudar o homem moderno a ter uma nova visão de si mesmo, criticando principal
1) O documento resume a obra "Teoria do Conhecimento" de Johannes Hessen, publicada em 1925. Hessen era um teólogo e filósofo alemão que viveu entre 1889-1971.
2) A teoria do conhecimento é dividida em vários tópicos, incluindo dogmatismo, ceticismo, subjetivismo, relativismo, pragmatismo e criticismo. Cada posição é definida e discutida brevemente.
3) Hessen critica tanto o racionalismo quanto o empirismo por limitarem a origem do conhe
O documento resume a biografia e as principais ideias filosóficas de Bertrand Russell. No capítulo 12, Russell discute a factividade do conhecimento e defende uma teoria metafísica da verdade baseada na correspondência entre crenças e realidade extramental, e não nas qualidades internas das crenças. Ele argumenta que qualquer teoria da verdade deve permitir a existência de crenças falsas.
O avanço do conhecimento científico e o pensamento complexoFernando Alcoforado
1. O documento discute o fim das certezas no pensamento científico clássico devido ao avanço do conhecimento no século XX, incluindo a descoberta da teoria da relatividade, mecânica quântica e o princípio da incerteza.
2. Também aborda como o teorema da incompletude de Gödel mostrou que um sistema formal não pode se autojustificar e como isso abalou as certezas estabelecidas.
3. Defende que o pensamento complexo é necessário para superar as limitações
O documento discute a lógica e sua história. Apresenta definições de lógica, operações do pensamento lógico e etimologia da palavra. Também resume contribuições de figuras históricas como Aristóteles, Platão, Porfírio e Boécio para o desenvolvimento da lógica.
Idealismo e materialismo, geografia crítica e a concepção da abstração espacialajr_tyler
1) O documento discute a dicotomia entre idealismo e materialismo na filosofia, com ênfase no materialismo de Feuerbach e no materialismo marxista.
2) Analisa a obra de Engels "Ludwig Feuerbach e o fim da Filosofia Clássica Alemã" para entender as diferenças entre o materialismo de Feuerbach e o materialismo evoluído de Marx e Engels.
3) Tem como objetivo mostrar que a abstração espacial representa um retorno ao idealismo, especialmente de Kant e Hegel, enquant
O documento discute os atos epistemológicos da pesquisa de ver, ouvir, ler e escrever. Apresenta que ver envolve elaborar um olhar multidimensional sobre fenômenos, distinguindo regimes de visibilidade. Ouvir implica escuta do mundo e discursos sociais. Ler requer interpretação cuidadosa para reconstruir o pensamento do autor. Escrever permite recriar o mundo por meio da linguagem e construir novos significados.
O documento discute como a linguagem molda nossa percepção do mundo. Filósofos como Frege e Wittgenstein defenderam o desenvolvimento de uma linguagem lógica e precisa para evitar equívocos nos campos filosófico e científico, inspirando-se na lógica matemática. Wittgenstein propôs os "jogos de linguagem" para considerar o uso correto das palavras em diferentes contextos.
Este documento discute conceitos epistemológicos como senso comum, ciência e ideologia. Também aborda os atos de construção do conhecimento como ver, ouvir, ler e escrever. Finalmente, fornece orientações sobre processos de leitura crítica como fichamento e tomada de notas.
Homotopic Foundations of the Theory of ComputationRuy De Queiroz
The document discusses the history and impact of intuitionistic type theory on the foundations of mathematics and computation. It describes how Martin-Löf's introduction of identity types in type theory allowed a connection between term rewriting and concepts in homotopy theory. It discusses how homotopy type theory has since been used to formalize concepts of "sameness" in mathematics like isomorphisms and homotopies. Researchers have used these tools to formally represent and calculate fundamental groups of topological spaces.
What formal equalities between rewriting paths have in common with homotopies...Ruy De Queiroz
O documento discute a importância da educação para o desenvolvimento econômico e social de um país. A educação é essencial para aumentar a produtividade dos trabalhadores e promover a inovação, o que por sua vez impulsiona o crescimento econômico. Países com populações mais educadas tendem a ter sociedades mais prósperas e estáveis.
Connections between Logic and Geometry via Term RewritingRuy De Queiroz
Invited talk at the 11th International Conference on Logic and Applications - LAP 2022, held as a hybrid meeting hosted by the Inter University Center Dubrovnik, Croatia, September 26 - 29, 2022.
Law and Legal uses for blockchain technologiesRuy De Queiroz
O documento discute os conceitos fundamentais de blockchain e criptomoedas, incluindo: (1) Blockchains são sistemas computacionais descentralizados que transferem poder dos participantes individuais para o código; (2) Bitcoin propôs o primeiro blockchain em 2008 e expandiu ideias sobre confiança descentralizada entre usuários; (3) A escalabilidade social é a capacidade de uma instituição suportada por tecnologia suportar diversos participantes de forma benéfica.
A União Europeia está considerando novas regras para veículos autônomos. As regras propostas exigiriam que os fabricantes de veículos autônomos assumam mais responsabilidade por acidentes e forneçam mais dados sobre o desempenho do veículo para reguladores. Os fabricantes teriam que mostrar que sistemas autônomos são seguros antes de colocá-los à venda.
The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise causes chemical changes in the brain that may help protect against mental illness and improve symptoms.
Desafios na Interseção entre Direito e TecnologiaRuy De Queiroz
O documento discute os desafios na interseção entre direito e tecnologia, incluindo:
1) A tecnologia evolui em um ritmo exponencial, enquanto os sistemas sociais e legais evoluem de forma incremental, criando desafios.
2) A inteligência artificial tem potencial para fazer descobertas científicas com volumes gigantescos de dados.
3) As plataformas online tanto empoderam a participação cívica quanto levantam questões sobre liberdade de expressão e responsabilidade das empresas.
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)Ruy De Queiroz
A empresa de tecnologia anunciou um novo smartphone com câmera aprimorada, maior tela e bateria de longa duração. O dispositivo também possui um processador mais rápido e armazenamento expansível. O novo modelo será lançado em outubro por um preço inicial de US$799.
Linguagem, Lógica e a Natureza da MatemáticaRuy De Queiroz
This document provides an overview of several key thinkers and ideas related to logic, language, and mathematics, including:
- Ludwig Wittgenstein's view that "the meaning of a word is its use in the language" and that "philosophy is the critique of language."
- Brouwer's intuitionism which viewed mathematics as mental constructions rather than discoveries, and lawless sequences as freely generated without restrictions.
- Gödel's incompleteness theorems which showed that any formalized theory powerful enough to express arithmetic is either inconsistent or incomplete.
- Wittgenstein's later work which rejected the idea that words have intrinsic meanings and focused on "language games" and interpretations as dependent on use
Computational Paths and the Calculation of Fundamental GroupsRuy De Queiroz
This document discusses the impact of intuitionistic type theory in mathematics. It introduces identity types as a way to formalize logical equality via proofs of equality between terms. Identity types allow for a connection between term rewriting and geometric concepts like paths and homotopy. Specifically, computational paths can be used to calculate fundamental groups of topological spaces like the fundamental group of a circle. This links type theory with fields like algebraic topology and homotopy theory.
Computational Paths and the Calculation of Fundamental GroupsRuy De Queiroz
Apresentação online na Série "Lógicos em Quarentena", iniciativa conjunta da Soc. Brasileira de Lógica e do Grupo de Interesse em Lógica da Soc. Brasileira de Computação, 20/05/2020
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)Ruy De Queiroz
O documento fornece um resumo da história e conceitos fundamentais da criptografia moderna, desde a criptografia tradicional até os desenvolvimentos recentes. Aborda tópicos como criptografia de chave pública, complexidade computacional, criptografia pós-quântica e padronização.
O documento discute os riscos de privacidade apresentados pela Internet das Coisas (IoT) em 3 frases ou menos:
1) A IoT permitirá o rastreamento de preferências e comportamentos no mundo offline, desafiando noções tradicionais de privacidade.
2) Dispositivos da IoT coletam grandes quantidades de dados pessoais sem o consentimento significativo dos usuários, tornando difícil gerenciar limites e participar do uso de dados.
3) À medida que mais dispositivos se tornam "inteligentes", haverá menos escolha para os consumid
Capitalismo de Vigilância e Proteção de Dados PessoaisRuy De Queiroz
Este documento discute os riscos crescentes à privacidade e aos dados pessoais decorrentes do uso intensivo de dados por empresas, campanhas políticas e governos. Inclui exemplos de como dados de localização, saúde mental e comportamento online estão sendo coletados e usados de forma preocupante sem o devido consentimento das pessoas.
This document discusses the connections between type theory, homotopy theory, and proofs of equality. It provides background on the development of type theory and its interpretation as proofs, with propositions as types and proofs as programs. It discusses how proofs of equality in type theory and lambda calculus can be viewed as paths between terms. Recent work in homotopy type theory aims to develop mathematics within type theory based on this connection to paths and homotopy theory.
This document discusses the connections between computations, paths, types, and proofs. It describes how equality in lambda calculus can be viewed as convertibility between lambda terms, with proofs of equality seen as paths. Type theory allows viewing proofs as terms via the Curry-Howard correspondence. Homotopy type theory brings together type theory and homotopy theory, allowing computations to be used to calculate fundamental groups and prove theorems about spaces. The goal of realizing Grothendieck's vision of describing homotopy types using infinity-groupoids is discussed.
O documento discute a privacidade e proteção de dados pessoais. Trata da exposição de dados pessoais na internet, da falta de conscientização sobre privacidade de dados, e da crescente complexidade do tema. Também aborda a manipulação de mercados digitais e como a vulnerabilidade das pessoas pode ser explorada e projetada por meio da tecnologia e dos dados pessoais coletados.
Slides Lição 12, Betel, Ordenança para amar o próximo, 2Tr24.pptxLuizHenriquedeAlmeid6
Slideshare Lição 12, Betel, Ordenança para amar o próximo, Pr Henrique, EBD NA TV, 2° TRIMESTRE DE 2024, ADULTOS, EDITORA BETEL, TEMA, ORDENANÇAS BÍBLICAS, Doutrina Fundamentais Imperativas aos Cristãos para uma vida bem-sucedida e de Comunhão com DEUS, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Comentários, Bispo Abner Ferreira, Com. Extra Pr. Luiz Henrique, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique
Telepsiquismo Utilize seu poder extrassensorial para atrair prosperidade (Jos...fran0410
Joseph Murphy ensina como re-apropriar do pode da mente.
Cada ser humano é fruto dos pensamentos e sentimentos que cria, cultiva e coloca em pratica todos os dias.
Ótima leitura!
PP Slides Lição 11, Betel, Ordenança para exercer a fé, 2Tr24.pptxLuizHenriquedeAlmeid6
Slideshare Lição 11, Betel, Ordenança para exercer a fé, 2Tr24, Pr Henrique, EBD NA TV, 2° TRIMESTRE DE 2024, ADULTOS, EDITORA BETEL, TEMA, ORDENANÇAS BÍBLICAS, Doutrina Fundamentais Imperativas aos Cristãos para uma vida bem-sucedida e de Comunhão com DEUS, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Comentários, Bispo Abner Ferreira, Com. Extra Pr. Luiz Henrique, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique
Slides Lição 12, Central Gospel, O Milênio, 1Tr24, Pr Henrique.pptxLuizHenriquedeAlmeid6
Slideshare Lição 12, Central Gospel, O Milênio, 1Tr24, Pr Henrique, EBD NA TV, Revista ano 11, nº 1, Revista Estudo Bíblico Jovens E Adultos, Central Gospel, 2º Trimestre de 2024, Professor, Tema, Os Grandes Temas Do Fim, Comentarista, Pr. Joá Caitano, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Com. Extra Pr. Luiz Henrique, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique, https://ebdnatv.blogspot.com/
Inscreva-se em nosso canal e tenha em suas mãos grãndes estudos bíblicos, temáticos e doutrinários da Palavra de Deus . Pr Davi Passos Estudos Bíblicos🇦🇺
https://www.youtube.com/user/Davidjp21
https://pt.slideshare.net/davipassos77
https://www.facebook.com/davi.passos.77
https://www.facebook.com/davi .passos ....
https://gettr.com/user/prdavipassos
Loteria - Adição, subtração, multiplicação e divisão.Mary Alvarenga
Os jogos utilizados como ferramenta de ensino para o estudo da matemática são de suma importância, tendo em vista que podem proporcionar melhor desempenho no aprendizado dos conteúdos, além de estimular o interesse, o entusiasmo e o prazer de estudar.
Conversaremos sobre como trabalhar no Mundo da Arquitetura Técnica e de Solução em Salesforce.
- Suas diferenças
- Seus requisitos
- Suas particularidades
- Quais conhecimentos e aptidões teremos que ter para cada tipo
- Suas tarefas básicas
- Empregabilidade Global
- Caminhos a trilhar no Trailhead
E tiraremos duvidas sobre ambos os tipos de trabalho.
1. Lógica, Linguagem e a
“Realidade”
Lançamento do Livro “The Functional
Interpretation of Logical Deduction”
(World Sci., Oct 2011)
Ruy J.G.B. de Queiroz
2. Linguagem versus “Realidade”
• “O mundo é a totalidade
de fatos, não de coisas”
• “Os limites de minha
linguagem significam os
limites de meu mundo”
• “Sobre o que não
podemos falar, devemos
passar em silêncio”
Ludwig Wittgenstein (1889-
1951)
3. Lógica: Ciência da Argumentação,
Princípios da Racionalidade
• Aristóteles (380 a.C. –
322 a.C.): o que há por
trás do raciocínio
dedutivo
• Leibniz (1646-1716):
linguagem simbólica
visando objetividade
• Frege (1848-1925):
tratamento matemático
a argumentos
4. “Toda Filosofia é uma
Crítica da Linguagem”
• “Escreví um livro
chamado Tractatus
Logico-Philosophicus
contendo todo o meu
trabalho dos últimos 6
anos. Acredito que
resolví nossos
problemas finalmente.
Isso pode parecer
arrogante, mas não
consigo evitar.” (1919)
5. Bertrand Russell (1872-1970)
(co-autor do “Principia Mathematica”)
• “Ele foi talvez o
exemplo mais perfeito
que conhecí de gênio
como tradicionalmente
concebido, apaixonado,
profundo, intenso, e
dominador. Ele tinha
uma espécie de pureza
que nunca conheci
igualada exceto por
G.E.Moore.”(1959)
6. Família Wittgenstein em Viena
• Karl Wittgenstein: 2o mais
rico do Império Áustro-
Húngaro (atrás dos
Rotschilds). Dono da
Siderúrgica Krupp
• Klimt pintou Gretl
• Ravel compôs peça (mão
esquerda) para Paul
• Brahms, Mahler e Strauss
freqüentavam a casa
• 1919: renúncia à herança
8. Palestra em Viena (Março/1928):
“Matemática, Ciência e Linguagem”
Leis do Intuicionismo
(1906):
1. Matemática é
alingüística
2. Há objetos da
Matemática que são
criados, e não
descobertos
9. Luitzen E. J. Brouwer (1881-1966)
e o Intuicionismo
• Matemática também
como um ato de criação,
e não apenas de
descoberta
• A concepção de espaço
não é a priori, embora a
de tempo o seja
• Controvertido, porém
respeitado: ajudou a criar
a Topologia
• Na Universidade aos 16
10. Livro Azul (1930)
• “As perguntas ‘O que é
comprimento?’, ‘O que é
significado?’, ‘O que é o
número 1?’, etc.,
produzem em nós uma
cãimbra mental.
• Sentimos que não
podemos apontar para
nada em resposta a elas,
e mesmo assim
deveríamos apontar para
algo.”
11. Santo Agostinho e o
Aprendizado de Linguagem
• “Quando Santo Agostinho fala sobre o
aprendizado de linguagem ele fala sobre como
associar nomes a coisas, ou entender os nomes
das coisas.
• Nomear aqui aparece como os fundamentos, a
base e tudo o que diz respeito a linguagem.
• Nessa visão de linguagem encontramos as raízes
da seguinte idéia: Toda palavra tem um
significado. Esse significado está correlacionado
com a palavra. É o objeto para o qual a palavra
aponta.”
12. Jogos de Linguagem
• “Vou chamar o todo, consistindo de linguagem e
as ações nas quais ela está entrelaçada, de ‘jogo
de linguagem’.”
• “A palavra ‘jogo-de-linguagem’ é usada aqui para
enfatizar o fato de que falar numa linguagem é
parte de uma atividade, ou uma forma de vida.”
• “Quando penso através da linguagem, não
existem ‘significados’ passando pela minha
mente em conjunto com as expressões verbais: a
linguagem é em si mesma o veículo do
pensamento”. (Não há linguagem privada).
13. Gramática Filosófica (1933)
• “Qualquer
interpretação ainda fica
pendurada no ar
juntamente com o que
ela interpreta, e não
pode lhe dar suporte.
• Interpretações por si só
não determinam
significado.”
14. Investigações Filosóficas (1945)
• “Para uma ampla classe
de casos—embora não
para todos—nos quais
empregamos a palavra
‘significado’ ela pode ser
definida assim: o
significado de uma
palavra é seu uso na
linguagem”
• “Filosofia é uma batalha
contra o enfeitiçamento
de nossa inteligência por
meio da linguagem”.
15. Fundamentos da Matemática (1941-4)
• “Eu disse uma vez: ‘Se
você quiser saber o que
uma proposição
matemática diz, olhe
para o que sua
demonstração prova’
• Agora, será que não há
tanto veracidade
quanto falsidade
nisso?”
16. Lógica Simbólica e Funcionalidade
Haskell Curry (1900-1982)
William Howard (1926-)
• Cada enunciado da
Matemática pode ser
visto como o conjunto
de suas provas
• “Interpretação
Funcional de Curry-
Howard” (1934, 1968)
17. Formalização da
Matemática Construtiva (1970’s)
Per Martin-Löf (1942-)
• “Matemática Construtiva
e Programação de
Computadores são
essencialmente a mesma
coisa”
• “Uma prova matemática é
um programa (de
computador)”
• “Teoria Intuicionística de
Tipos” (1972-1984)
18. Intuicionismo e Verificacionismo
Michael Dummett (1925-)
• Retomada do
Intuicionismo, porém com
base no paradigma
“significado é uso” de
Wittgenstein
• O significado de um
enunciado matemático é
determinado pelo que
conta como uma prova
dele. (1977)
19. Teoria Verificacionista do Significado
Dag Prawitz (1936-)
• Teoria do Significado
baseada na idéia de que o
modo de provar um
enunciado determina seu
significado
• Junta-se a Dummett para
reformular o
Intuicionismo sem o
exoticismo de Brouwer
(“Matemática é
alingüística”).
20. Semântica Baseada em
Jogo ou Diálogo
Jaakko Hintikka (1929-)
Paul Lorenzen (1915-
1994)
• Significado de uma
sentença na linguagem
da matemática definido
pela forma de
interação, ao invés de
condições de verdade
21. 13o Simpósio Wittgenstein 1988
(Kirchberg, Áustria)
Moderador de minha
apresentação: David
Pears (1921-2009):
tradutor do Tractatus
para o inglês, biógrafo,
e autor de vários livros
importantes
22. Significado e Conseqüências
• “Será que você vai achar que estou louco se eu
der a seguinte sugestão: o enunciado ‘todo x tem
a propriedade P’ só tem significado quando
estabelecemos que ‘a’ tem a propriedade P,
qualquer que seja esse elemento ‘a’?” (Carta a
Russell em 1912)
• “A questão não é ‘O que estou fazendo quando . .
.?’ (pois isso poderia apenas ser uma questão
psicológica) – mas sim, ‘Que significado o
enunciado tem, o que pode ser deduzido dele,
que conseqüências ele tem?’ (1947-1948)
23. Teoria de Tipos
“Significado-como-Uso”
• Tese de Doutorado,
Imperial College,
Fev/1990
• Reformulação da Teoria
de Martin-Löf, com base
no paradigma
“significado-como-uso”
de Wittgenstein,
alternativamente à
posição de Dummett e
Prawitz.
24. Sistemas Dedutivos Rotulados
• Dov Gabbay (1945-):
Dedução lógica envolve
uma combinação de
linguagem e meta-
linguagem
• Minha leitura: a teoria
de tipos “significado-
como-uso” seria uma
realização dessa idéia
25. Curso em Riga (Letônia)
• Mathieu Marion
(Québec): 25/05 a
10/06/2010, “Lógica:
De Verdade a Provas e
Jogos”: “Da numerosa
bibliografia, olharemos
unicamente para os
artigos filosóficos do
lógico Ruy de
Queiroz…”
26. Provas de Igualdade
Martin Hofmann (Munique)
Thomas Streicher
(Darmstadt)
• 1994: Modelo da Teoria
Intuicionística de Tipos de
Martin-Löf que refuta o
princípio da unicidade de
provas de igualdade
• 1994: Igualdade na
Dedução Rotulada
27. Provas de Igualdade: Ju
• Dissertação de
Mestrado (1995)
• 2o Lugar no concurso de
teses da Sociedade
Brasileira de
Computação
• 3 publicações
internacionais
28. Recentemente: Uma Ponte entre
Geometria, Lógica e Álgebra
Vladimir Voevodsky
(Princeton)
Steve Awodey (Carnegie-
Mellon)
• Fundamentos da
Matemática baseados no
Modelo de Hofmann &
Streicher (2005-presente)
• Um tipo é um espaço
topológico; elementos
são pontos; e provas de
igualdade entre pontos
são “caminhos”.
29. Desdobramentos Recentes
• Desde 1993 temos uma formulação de “prova
de igualdade” como “caminhos”.
• Na dissertação de Ju (1995) surgiram mais
detalhes técnicos que permitem a
aproximação com o trabalho de Hofmann e
Streicher, e com a linha de trabalho de
Voevodsky e Awodey denominada de
“Fundamentos Univalentes da Matemática”.