Terminal RI - Sophia Biblioteca Web

Resumo Resumo: N.A. Vasiliev é atualmente considerado o primeiro precursor moderno das idéias que, nos últimos 60 anos, possibilitaram a construção das... Ver mais

Resumo

Resumo: N.A. Vasiliev é atualmente considerado o primeiro precursor moderno das idéias que, nos últimos 60 anos, possibilitaram a construção das chamadas lógicas não clássicas. Até bem pouco tempo, no entanto, seu trabalho permaneceu desconhecido, e a divulgação de suas idéias deve-se inicialmente a V.A. Smirnov, 1962, (vide [16]) e G. Kline, 1965, (vide [9]). Mas foi através do trabalho de A.I. Arruda (vide [1] , [2] e [3] ) que as idéias do filosofo russo foram devidamente interpretadas e formalizadas de modo a serem reconhecidas como precursoras das lógicas paraconsistentes é polivalentes. São conhecidos, da obra lógica de Vasiliev, três artigos, escritos no período de 1910-1912 (vide [17], [18] e [19] } e dois abstract ; um deles do mesmo período e o outro de 1925. (vide [20] e [21]) . Nesta dissertação abordaremos apenas os três artigos citados, em sua tradução para o português feita por Edmundo Braga. Este trabalho está dividido em três capítulos. No primeiro capitulo apresentamos um resumo crítico dos três artigos citados, abordando principalmente as idéias relevantes para o estudo que faremos no capitulo III. No segundo capítulo damos um tratamento formal à silogística contraditória apresentada em [18]. Iniciamos com um resumo critico da descrição dada por Vasiliev a esta silogística, e em seguida propomos uma axiomática para a mesma, nos moldes daquela proposta por Lukasiewicz em [11], para a silogística aristotélica. O terceiro capitulo está dividido em duas secções principais: Vasiliev como precursor da lógica paraconsistente, e Vasiliev como precursor da lógica polivalente. Esse capítulo se baseia essencialmente nos artigos [4] e [5] de A.I. Arruda. Existem ainda alguns pontos interessantes nos artigos de Vasiliev que não foram abordados neste trabalho, como por exemplo: 1) Uma análise da lógica dos conceitos (apresentada em [17]), que a interprete como uma lógica modal com operadores de necessidade, impossibilidade e contingência. Para tanto, teria mos que construir inicialmente a silogística modal correspondente, cujos juízos seriam classificados, segundo a quantidade, apenas em universais, e segundo a qualidade em: "é necessário que S seja P" (juízo afirmativo), "é impossível que S seja P" (juízo negativo) e "é contingente que S seja P" (juízo acidental). Todavia os três juízos qualitativamente distintos teriam que ser independentes devido a lei de Quarto-Excluído (vide secção 1.1.3). 2) Um estudo das lógicas da similaridade e da diferença (apresentada em [18]). Estas lógicas são muito semelhantes às lógicas das negações relativas e absoluta (vide secção 3.1.4), podendo ser interpretadas como lógicas polivalentes onde se admite um valor de verdade "falso", um valor de verdade "absolutamente verdadeiro" e vários valores de verdade "relativamente verdadeiro"

Exemplares

CLE (1)
IMECC (1)

DOI: https://doi.org/10.47749/T/UNICAMP.1983.270179

Texto completo pdf

11.

O racionalismo critico e a imagem popperiana da tradição gnoseologica

Caponi, Gustavo Andres

DISSERTAÇÃO - Português

Número de chamada: T/UNICAMP C173r

Publicação: Campinas, SP : [s.n.], 1989.

Assunto: Popper, Karl R. (Karl Raimund), 1902-1994

Resumo

Resumo: Não informado

Exemplares

BCCL (1)
IFCH (1)

DOI: https://doi.org/10.47749/T/UNICAMP.1989.18078

Texto completo pdf

12.

Pautas para uma critica da ciencia realmente existente (o legado epistemologico de Karl Popper)

Caponi, Gustavo Andres

TESE - Português

Número de chamada: T/UNICAMP C173p

Publicação: Campinas, SP : [s.n.], 1992.

Assunto: Popper, Karl R. (Karl Raimund), 1902-1994

Resumo

Resumo: Não informado

Exemplares

BCCL (2)
IFCH (2)

DOI: https://doi.org/10.47749/T/UNICAMP.1992.53715

Texto completo pdf

13.

Relação entre força e sentido em "a interpretação dos sonhos"

Coelho, Jonas Gonçalves

DISSERTAÇÃO - Português

Número de chamada: T/UNICAMP C65r

Publicação: Campinas, SP : [s.n.], 1991.

Assunto: Sonhos

Resumo

Resumo: Não informado

Exemplares

BCCL (1)
IFCH (1)

DOI: https://doi.org/10.47749/T/UNICAMP.1991.45046

Texto completo pdf

14.

Semantica nominativa e logicas modais

Guerzoni, Jose Alexandre Durry, 1958-

TESE - Português

Número de chamada: T/UNICAMP G937s

Publicação: Campinas, SP : [s.n.], 1989.

Assunto: Semântica (Filosofia)

Resumo

Resumo: Não informado

Exemplares

BCCL (1)
CLE (1)
IFCH (1)

DOI: https://doi.org/10.47749/T/UNICAMP.1989.18074

Texto completo pdf

15.

Uma abordagem da logica gramatical e da anafora pronominal

Maia, Edson Campos

DISSERTAÇÃO - Português

Número de chamada: T/UNICAMP M28a

Publicação: Campinas, SP : [s.n.], 1995.

Assunto: Anáfora (Linguística)

Resumo Resumo: Esta dissertação trata da lingüística computacional do ponto de vista da programação lógica, sendo uma contribuição à utilização da lógica... Ver mais

Resumo

Resumo: Esta dissertação trata da lingüística computacional do ponto de vista da programação lógica, sendo uma contribuição à utilização da lógica gramatical como uma ferramenta para descrever a sintaxe de subconjuntos de linguagem natural, em particular do fenômeno lingüístico chamado referência pronominal, onde em seu trabalho de tese, CARVALHO [1989], desenvolve desde formalismos gramaticais mais simples, nos quais as restrições têm de ser explicitamente estabelecidas nas regras gramaticais, até formalismos mais complexos, onde o(a) gramático(a) não tem que se preocupar com as restrições, pois tudo é compilado automaticamente pelo compilador Prolog. Em seu trabalho de tese ela utiliza o conceito de categoria mínima de regência de um nódulo A como sendo a minimal S ou SN dominando A. Porém, com o desenvolvimento da teoria lingüística, o conceito de categoria mínima de regência de um nódulo A passa a ser a primeira categoria maior SN ou S que domina A, um regente de A e um SUJEITO accessível a A. Nesta dissertação será usado este último conceito de categoria mínima de regência e serão analisadas algumas das possíveis implicações que decorrem deste fato

Exemplares

BCCL (1)
IFCH (1)

DOI: https://doi.org/10.47749/T/UNICAMP.1995.84263

Texto completo pdf