$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital > ETDs - Consulta por Orientador/Coorientador
Orientador/Coorientador:
LUIZ CARLOS PINHEIRO DIAS PEREIRA
ETDs:
17
17 linha(s), exibindo todas.
Nº exibido por Pag.: 10 , 20 , 50 , 100
Autor
Língua
Título
1
ANDRE DA SILVA PORTO
pt
[pt] AS BASES FILOSÓFICAS DO CONSTRUTIVISMO MATEMÁTICO DE WITTGENSTEIN [en] THE PHILOSOPHICAL BASIS OF WITTGENSTEIN S MATHEMATICAL CONSTRUCTIVISM
2
BRUNO RAFAELO LOPES VAZ
pt
[pt] O PAPEL DOS DIAGRAMAS NA GEOMETRIA EUCLIDEANA [en] THE ROLE OF DIAGRAMS IN EUCLIDEAN
3
BRUNO RIGONATO MUNDIM
pt
[pt] EM TORNO DA TESE DE CHURCH E DO INTUICIONISMO LÓGICO [fr] AUTOUR DE LA THÈSE DE CHURCH ET DE L INTUITIONNISME LOGIQUE
4
CAMILA APARECIDA RODRIGUES JOURDAN
pt
[pt] O FIM DAS EXPLICAÇÕES: COMO UMA REGRA SE LIGA COM SUAS APLICAÇÕES: O PROBLEMA DA DETERMINAÇÃO INFINITA NA FILOSOFIA DO SEGUNDO WITTGENSTEIN [en] THE END OF EXPLANATIONS: HOW IS A RULE LINKED WITH ITS APPLICATIONS: THE PROBLEM OF INFINITE DETERMINATION IN THE PHILOSOPHY OF THE SECOND WITTGENSTEIN
5
CAMILA APARECIDA RODRIGUES JOURDAN
pt
[pt] IMPREDICATIVIDADE, GENERALIDADE E O DESENVOLVIMENTO DO PENSAMENTO DE WITTGENSTEIN [en] IMPREDICATIVITY, GENERALITY AND THE DEVELOPMENT OF WITTGENSTEINS THOUGHT
6
FABIO FRANCOIS MENDONCA DA FONSECA
pt
[pt] FUNÇÃO E NATUREZA DOS JUÍZOS INFINITOS: ASPECTOS DA NEGAÇÃO PREDICATIVA NA CRÍTICA DA RAZÃO PURA [en] THE INFINITE JUDGMENTS: THEIR FUNCTION AND THEIR NATURE - SOME ASPECTS OF THE PREDICATIVE NEGATION IN THE CRITIQUE OF PURE REASON
7
FERNANDA LOBO AFFONSO FERNANDES
pt
[pt] RESTRIÇÃO OU QUALIFICAÇÃO?: UMA INVESTIGAÇÃO ESTRUTURAL SOBRE AS INTERPRETAÇÕES DA RESPOSTA DE ARISTÓTELES AO PROBLEMA DOS FUTUROS CONTINGENTES [en] RESTRICTION OR QUALIFICATION?: A STRUCTURAL INVESTIGATION OF THE INTERPRETATIONS OF ARISTOTLE S ANSWER TO THE PROBLEM OF FUTURE CONTINGENTS
8
GERMAN LOURENCO MEJIA
pt
[pt] EM DEFESA DO PRINCÍPIO DE NÃO-CONTRADIÇÃO: ARGUMENTOS BASEADOS NO LIVRO IV DA METAFÍSICA [en] IN DEFENSE OF THE PRINCIPLE OF NONCONTRADICTION: ARGUMENTS BASED ON METAPHYSICS BOOK IV
9
GISELE DALVA SECCO
pt
[pt] ENTRE PROVAS E EXPERIMENTOS: UMA LEITURA WITTGENSTEINIANA DAS CONTROVÉRSIAS EM TORNO DA PROVA DO TEOREMA DAS QUATRO CORES [en] BETWEEN PROOFS AND EXPERIMENTS: A WITTGENSTEINEAN READING OF THE PHILOSOPHICAL CONTROVERSIES SURROUNDING THE FOUR COLOR THEOREM PROOF
10
HUGO HOFFMANN BORGES
pt
[pt] CONSTRUINDO TABLEAUX PARA LÓGICA LINEAR INTUICIONISTA [en] BUILDING TABLEAUX FOR INTUITIONISTIC LINEAR LOGIC
11
MARCOS ANTONIO DA SILVA FILHO
pt
[pt] A LÓGICA COMO METAFÍSICA REABILITADA: SOBRE A ISOMORFIA ENTRE MUNDO E LINGUAGEM NO TRACTATUS DE WITTGENSTEIN [en] LOGIC AS REGENERATED METAPHYSICS: ON THE ISOMORPHISM BETWEEN WORLD AND LANGUAGE IN THE WITTGENSTEIN`S TRACTATUS
12
MARCOS ANTONIO DA SILVA FILHO
en
[pt] MUSS LOGIK FUR SICH SELBER SORGEN?: SOBRE O PROBLEMA DA EXCLUSAO DAS CORES, A TABELA DE VERDADE COM MEIO NOTACIONAL, A BILDKONZEPTION E A NEUTRALIDADE DA LÓGICA NO COLAPSO E ABANDONO DO TRACTATUS [en] MUSS LOGIK FUR SICH SELBER SORGEN?: ON THE COLOR EXCLUSION PROBLEM, TRUTH TABLE AS A NOTATIONAL MEANS, BILDKONZEPTION AND THE NEUTRALITY OF LOGIC IN THE COLLAPSE AND ABANDONMENT OF THE TRACTATUS
13
MARIA FERNANDA PALLARES COLOMAR
pt
[pt] APLICAÇÕES DA PRIMEIRA PROVA DE CONSISTÊNCIA APRESENTADA POR GENTZEN PARA A ARITMÉTICA DE PEANO [en] APPLICATIONS OF THE FIRST CONSISTENCY PROOF PRESENTED BY GENTZEN FOR PEANO ARITHMETIC
14
MARIA FERNANDA PALLARES COLOMAR
pt
[pt] CÁLCULO DE SEQÜENTES DE SUCEDENTE MÚLTIPLO PARA LÓGICA INTUICIONISTA DE PRIMEIRA ORDEM [en] MULTIPLE SUCCEDENT SEQUENT CALCULUS FOR INTUITIONISTIC FIRST-ORDER LOGIC
15
MARIA PRISCILLA VIEIRA C FAMILIAR
pt
[pt] POR UMA DOUTA RESIGNAÇÃO: DIZER E MOSTRAR EM WITTGENSTEIN [en] FOR A LEARNED RESIGNATION: SAYING AND SHOWING IN WITTGENSTEIN
16
TIAGO REZENDE DE CASTRO ALVES
pt
[pt] NOTAS SOBRE A NOÇÃO DE EXISTÊNCIA [en] NOTES ON THE NOTION OF EXISTENCE
17
VICTOR LUIS BARROSO NASCIMENTO
pt
[pt] ECUMENISMO LÓGICO [en] LOGICAL ECUMENISM
17 linha(s), exibindo todas.
Nº exibido por Pag.: 10 , 20 , 50 , 100