Spelling suggestions: "subject:"1ógica - estudo e ensino"" "subject:"1ógica - cstudo e ensino""
1 |
Normalização e normalização forte para a logica classica de primeira ordemMassi, Cosme Damião Bastos 31 May 1989 (has links)
Orientador : Luiz Carlos P. D. Pereira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-14T16:48:24Z (GMT). No. of bitstreams: 1
Massi_CosmeDamiaoBastos_M.pdf: 1123334 bytes, checksum: 84d7b2ad0e7b5c1f7bdb7f89710349cc (MD5)
Previous issue date: 1988 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Filosofia
|
2 |
Definição de conjuntos decidiveis de valorações pela fatorização da linguagemLoparic, Andrea Maria Altino de Campos, 1941- 22 April 1988 (has links)
Orientador: Balthazar Barbosa Filho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:21:40Z (GMT). No. of bitstreams: 1
Loparic_AndreaMariaAltinodeCampos_D.pdf: 4680670 bytes, checksum: cd67073ce355c780cd6ade0827c462d4 (MD5)
Previous issue date: 1988 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Lógica e Filosofia da Ciência
|
3 |
Kant e a analise geometrica gregaFrangiotti, Marco Antonio 15 February 1989 (has links)
Orientador: Zeljko Loparic / Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:36:00Z (GMT). No. of bitstreams: 1
Frangiotti_MarcoAntonio_M.pdf: 25799734 bytes, checksum: 673a848edc28bd9076337ef678125886 (MD5)
Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência
|
4 |
Provas de normalização para a logica classicaMassi, Cosme Damião Bastos 11 December 1990 (has links)
Orientador : Luiz Carlos P. D. Pereira / Tese (doutorado) - Universidade Estadualde Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T22:58:23Z (GMT). No. of bitstreams: 1
Massi_CosmeDamiaoBastos_D.pdf: 9082634 bytes, checksum: c9505e5aace28913be4668f2a0203745 (MD5)
Previous issue date: 1990 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia
|
5 |
A racionalidade da descoberta cientificaCorreia, Gastão Clovis Lima 16 November 1987 (has links)
Orientador: Zeljko Loparic / Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / O exemplar CLE pertence a coleção Michel Debrun(CLE-MD) / Made available in DSpace on 2018-07-13T20:33:36Z (GMT). No. of bitstreams: 1
Correia_GastaoClovisLima_M.pdf: 14996866 bytes, checksum: 7ee33124d1f4f2cfc910d7e711a6e7b7 (MD5)
Previous issue date: 1987 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência
|
6 |
O buraco negro do valor de verdade : a semantica dos predicados vagosMoura, Heronides Maurílio de Melo 05 March 1996 (has links)
Orientador: Rodolfo Ilari / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-07-20T23:36:58Z (GMT). No. of bitstreams: 1
Moura_HeronidesMauriliodeMelo_D.pdf: 30904721 bytes, checksum: da0d729fbb7bcfec4580130950ac7d5a (MD5)
Previous issue date: 1996 / Resumo: O objetivo desta tese é analisar os predicados vagos, especialmente substantivos e adjetivos, como 'montanha', 'cristão', 'calvo', 'alto', etc. No primeiro capítulo, delimita-se o conceito de vagueza, diferenciando-o de outros conceitos semânticos, como ambigüidade, generalidade e não dito. Após exposição do conceito de vagueza na teoria de Quine, tenta-se mostrar que a definição de vagueza em termos de condições de verdade (predicados vagos são aqueles que não são nem verdadeiros, nem falsos de certos objetos) apresenta sérios dilemas para uma semântica lógica. No segundo capítulo, examina-se o contexto teórico no qual se insere o conceito de vagueza de Quine. Mostra-se que a questão da vagueza é extremamente relevante para os problemas (como o da aprendizagem lingüística e o da indeterminação da ontologia) que a teoria de Quine põe em jogo e que, ao mesmo tempo, tal questão acarreta alguns dilemas para essa teoria. No terceiro capítulo, aborda-se em detalhes um modelo semântico (A Teoria dos Topoi, desenvolvida por Ducrot e outros) que tenta dar conta de fatos semânticos abrangidos pela vagueza, entendida como gradualidade de predicados. Argúi-se, então, que a abordagem da Teoria dos Topoi, segundo a qual a gradualidade dos predicados é de natureza argumentativa (um predicado é vago, neste modelo, porque os topoi a eles associados podem ser aplicados com maior ou menor força argumentativa), é insatisfatória na sistematização e explicação do conceito de predicados vagos. Finalmente, no quarto capítulo, critica-se a descrição semântica dos 'modificadores de vagueza' (especialmente a construção comparativa e os intensificadores) que o conceito de vagueza definido em termos de condições de verdade proporciona (seja na teoria de Quine, seja em modelos lógicos alternativos, como a teoria de supervaluation). Como alternativa a estes modelos (e também à Teoria dos Topoi) é proposto um modelo com marcações de graus de vagueza, no qual sentenças com predicados vagos não são consideradas 'proposições'. Predicados vagos são definidos como aqueles que são passíveis de 'complementação de sentido' (operação semântica que afeta a estrutura semântica de um termo, tornando-o menos vago). A solução proposta leva a uma reavaliação da relação entre sentido e referência / Abstract: The aim of this thesis is to analyse vague predicates, specially nouns and adjectives such as "mountains", "christian", "bald", "tall", among others. In the first chapter, one shows the concept of vagueness distinguishing it from other semantic concepts, such as ambiguity, generality, and 'unsaid'. After discussing the concept of vagueness in Quine's theory, one attempts to demonstrate that the definition of vagueness in terms of truth conditions (vague predicates are the ones which are neither true nor false of some objects) displays serious dilemmas for a logic semantics. 1n the second chapter, one investigates the theoretical frame in which Quine's concept of vagueness is inserted. One also shows that vagueness is extremely relevant to the problems (such as language learning and indeterminacy of ontology) which Quine's theory puts at stake and, at 'the same time, such a question brings some dilemmas within it to this theory. In the third chapter, one approaches in detail a semantic model (the Topoi Theory developed by Ducrot and collaborators) which intends to handle semantic facts encompassed by vagueness, understood here as graduality of predicates. One arguments, then, that the approach ofthe Topoi Theory, according to which graduality ofpredicates is ofan argumentative nature (a predicate is vague, in this model, due to the fact that the topoi associated to it may be applied with greater or smaller argumentative force) is unsatisfying either in systematizing or in explaining the concept of vague predicates. At last, in the fourth chapter, one criticizes the semantic description of "vagueness modifiers" (in special comparative construction and intensifiers) afforded by the concept of vagueness defined in terms of truth conditions ( be it in Quine's theory or in altemative logic models, such as the "supervaluation theory"). As an altemative to these models (and also to the Topoi Theory) one proposes a model with degree traces of vagueness, in which sentences with vague predicates are not considered as "propositions". Vague predicates are defined as those which may be subjected to "meaning complementation" (a semantic operation which does affect the semantic structure of a term in as much as it makes it less vague). The solution put forward '"points to a re-evaluation of the rapport between sense and reference / Doutorado / Doutor em Linguística
|
7 |
Traduções conservativasFeitosa, Hercules de Araujo 11 March 1998 (has links)
Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia eCiencias Humanas / Made available in DSpace on 2018-07-23T14:56:19Z (GMT). No. of bitstreams: 1
Feitosa_HerculesdeAraujo_D.pdf: 4244790 bytes, checksum: 1ce087f1bac361fda9b53035ab9cd130 (MD5)
Previous issue date: 1997 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Mestre em Filosofia
|
8 |
Para uma teoria de traduções entre logicas cumulativasScheer, Mauro Cesar 02 August 2018 (has links)
Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T21:14:26Z (GMT). No. of bitstreams: 1
Scheer_MauroCesar_M.pdf: 5841295 bytes, checksum: 0ec03e18461fd9ac68e7b409b32a9673 (MD5)
Previous issue date: 2002 / Resumo: Há inúmeras situações pertinentes ao mundo real em que necessariamente trabalhamos com conhecimento incompleto. Muitas vezes temos que tomar decisões que pensamos ser as mais corretas, decisões que são corroboradas por um conjunto de
informações incompletas, ou seja, inferimos conclusões "plausíveis" e "consistentes" com nossa base de conhecimento. Um formalismo para "raciocinar" de forma eficiente sobre uma base de conhecimento incompleto deve ser capaz de admitir expressões que sejam
válidas em geral, reconhecer e assimilar exceções quando necessário. As lógicas não monotônicas são adequadas ao tipo de formalismo a que estamos nos referindo. Mas quais são as propriedades mínimas que caracterizam a não monotonicidade de certas lógicas? As propriedades consideradas fundamentais para sistemas não monotônicos serão apresentadas neste trabalho, juntamente com as várias relações entre essas propriedades. Nos primeiros capítulos apresentamos a família dos operadores cumulativos e, a
partir da propriedade distributiva, dedutiva e supracompacta apresentamos outras famílias de operadores cumulativos. Em capítulo intermediário o conceito de lógica cumulativa é apresentado. O último capítulo do trabalho é dedicado ao estudo de traduções (traduções conservativas) entre lógicas cumulativas. Procuramos estabelecer resultados que caracterizam a existência ou não de traduções (traduções conservativas) entre lógicas cumulativas e resultados que nos permitam dizer quais propriedades das respectivas lógicas envolvidas em tais traduções são preservadas / Abstract: There are countless situations in the real world in which we necessarily deal without a complete knowledge. Sometimes we have to make decisions that we think to be the most correct ones which are confirmed by an incomplete set of information, in other words, we infer "plausible" and "consistent" conclusions based on our actual knowledge. A formalism to think in an efficient way on an incomplete knowledge base should be able to admit expressions of general validity, to recognize and to assimilate exceptions when necessary. The non-monotonic logics are appropriate to the kind of formalism that we are referring to. But what are the minimum properties that characterize the non-monotonicity of certain logics? The properties considered essential to non-monotonic systems will be presented in this study, together with an analysis of the relation ships among them. In the first chapters we present the family of cumulative operators and, from the distributive, deductive and supracompact properties, we present other families of
cumulative operators. In an intermediate chapter the concept of cumulative logic is presented. The last chapter is dedicated to the study of translations (conservative translations) between cumulative logics. We look for to establishing results that characterize the existence of translations (conservative translations) between cumulative logics and results that allow us to determine which properties are preserved from the logics involved in such translations / Mestrado / Mestre em Filosofia
|
9 |
O ensino de algebra numa perspectiva logico-historica : um estudo das elaborações correlatas de professores do ensino fundamentalSousa, Maria do Carmo de 03 August 2018 (has links)
Orientador : Anna Regina Lanner de Moura / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-03T23:05:07Z (GMT). No. of bitstreams: 1
Sousa_MariadoCarmode_D.pdf: 17781478 bytes, checksum: 302c40ab06db23fdfeb4c985682bd460 (MD5)
Previous issue date: 2004 / Doutorado
|
10 |
Razão, computação e sistemas formaisSanz, Wagner de Campos 27 May 1991 (has links)
Orientador : Carlos Alberto Lungarzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T23:41:21Z (GMT). No. of bitstreams: 1
Sanz_WagnerdeCampos_M.pdf: 17577824 bytes, checksum: 42b3db4ea8164c8778cb4b8c0927b7cd (MD5)
Previous issue date: 1991 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia
|
Page generated in 0.1161 seconds