Resumo não disponível

Resumo não disponível

Orientador: Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-05T14:45:44Z (GMT). No. of bitstreams: 1 Hahn_Alexandre_M.pdf: 569115 bytes, checksum: 67f2e4499a551bb555cfa81fa64023a3 (MD5) Previous issue date: 2005 / Resumo: Com o propósito de mostrar que e como ocorrem, na Doutrina da virtude de Kant, problemas relativos ao sentido e referência dos juízos fundamentais dessa obra, a dissertação investiga a origem e o desenvolvimento do problema moral na filosofia de Kant, desde a Crítica da razão pura até a Metafísica dos Costumes, porque é importante saber qual era o problema que Kant pretendia solucionar. Em seguida, é desenvolvida a análise do texto da Doutrina da virtude a partir da interpretação semântica, a fim de identificar os mencionados problemas e as soluções fornecidas por Kant para estes. Por fim, expomos e debatemos algumas outras interpretações que dizem respeito direta ou indiretamente a Doutrina da virtude / Abstract: In order to show what and how problems related to the sense and reference of the fundamental judgements in Kant¿s Doctrine of Virtue happen, this dissertation investigates the origin and the development of the moral problem in Kant¿s philosophy, from the Critique of Pure Reason to the Metaphysics of Morals, because it is important to know what the problem that Kant intended to solve was. Secondly, the analysis of the text of the Doctrine of Virtue is developed starting from the semantic interpretation, in order to identify the problems mentioned above and their solutions as offered by Kant. Finally, we expose and discuss some other interpretations direct or indirectly related to the Doctrine of Virtue / Mestrado / Mestre em Filosofia

Orientador: Zeljko Loparic / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-13T05:03:31Z (GMT). No. of bitstreams: 1 Meirelles_AgostinhodeFreitas_D.pdf: 1015958 bytes, checksum: 5de95c6cae7f4a98ca1b2073d66a1608 (MD5) Previous issue date: 2009 / Resumo: Em nossa pesquisa defendemos a tese do projeto de Crítica da razão de Kant (1781-7), no qual, inicialmente, a problemática histórica é abordada de modo pouco elucidativo. O filósofo, segundo nos parece, nunca admitiu a existência de uma ciência histórica, e, por este motivo, jamais pretendeu fundar uma filosofia da história, apesar de o capítulo final da primeira Crítica receber o título de Historia da razão pura, onde Kant menciona a necessidade de examinar a referida história da filosofia segundo a perspectiva transcendental. Motivos não faltarão para duvidar da solidez da Doutrina transcendental do método (segunda parte da primeira Crítica), os quais serão, posteriormente, fornecidos pelo próprio filósofo. No que se refere à segunda Crítica (1788) nenhuma concepção de história se insinua. Em seus textos de filosofia prática escritos após essa obra, os quais abordam, direta ou indiretamente, a questão histórica, não há o apelo à consciência moral do sujeito e muito menos à idéia de uma vontade pura. Estes elementos, constitutivos do domínio da moralidade, são plenamente aceitáveis quando examinada a possibilidade do imperativo categórico. O principal objetivo da filosofia transcendental direcionada para o âmbito moral consiste somente em demonstrar que a lei moral, nos seres finitos, não é uma simples quimera, e que o acatamento subjetivo ao princípio objetivo não é só possível, mas real. Porém, quando a reflexão filosófica kantiana se vê obrigada a responder a respeito da possibilidade de a razão ser efetivamente prática, isto é, provar-se enquanto poder de determinação na natureza humana situada historicamente, o problema a resolver pela filosofia transcendental, como já dissemos, exige outro tipo de análise. Talvez este seja o teste mais difícil enfrentado pela filosofia crítica kantiana. A última centúria de nossa pesquisa visa apontar na terceira Crítica (1790-3) o aplainamento do caminho que facilitará o acesso da filosofia transcendental ao território indemarcável da história. Com a última Crítica, Kant consegue conferir à razão a orientação que necessitava para efetivar definitivamente o Giro copernicano em filosofia / Abstract: In our research we defend the thesis of Kant's Critique of Reason (1781-7), where, initially, the historic issue is approached in an insufficiently elucidative way. The philosopher, in our point of view, never admitted the existence of a historical science, and, for this reason, have never intended to create a philosophy of history, despite the fact that the final chapter of the first Critique is entitled History of pure reason, where Kant mentions the need to examine the aforesaid history of philosophy in conformity with the transcendental perspective. Certainly arguments will arise to bring doubts to the consistency of the transcendental Doctrine of the method (second part of the first Critique), which will, afterwards, be furnished by the philosopher himself. Regarding the second Critique (1788), no conception of history is suggested. His texts about practical philosophy written after the treatise, which approaches, direct or indirectly the historic issue, present no appeal to the moral conscience of the subject and also to the concept of a pure will. These elements, constitutive of the domain of morality, are fully acceptable when the possibility of a categorical imperative is examined. The main objective of transcendental philosophy directed towards the moral scope consists only in the demonstration that the moral law, in the finite existence, is not a simple chimera, and that the subjective acceptance to the objective principle is not only possible, but real. However, when the Kantian philosophic reflection faces the need to given an answer regarding the possibility of the reason being effectively practical, that is, to prove itself as a power of determination in the human nature historically placed, the problem to be solved by transcendental philosophy, as we mentioned before, requires another type of analysis. Perhaps this is the most difficult test faced by Kantian critical philosophy. The last centennial of our research aims to point out in the third Critique (1790-3) the leveling of the pathway, which will make it easier to access the transcendental philosophy to the non-limited territory of history. With the last Critique, Kant was successful in the task to grant to the reason the orientation required to complete the Copernican Revolution in philosophy / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Zeljko Loparic / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-08T21:59:34Z (GMT). No. of bitstreams: 1 Faggion_AndreaLuisaBucchile_D.pdf: 1765247 bytes, checksum: 66d0eedab94ae9f69896c902e4f5ddc1 (MD5) Previous issue date: 2007 / Resumo: A expressão ¿Revolução Copernicana¿, usada por Kant para enfatizar a ruptura entre a filosofia crítica e a metafísica tradicional, leva-nos, acima de tudo, a considerar o objeto do conhecimento de uma nova maneira. Agora, o problema da relação entre uma representação e seu objeto tem um conceito do último similar a uma construção matemática como sua condição de solubilidade. Em outras palavras, a forma do objeto é considerada como sendo constituída por operações cognitivas. Explorando a Dedução Transcendental e o Esquematismo Transcendental, nós acreditamos ter descoberto que, mais do que a possibilidade de que um objeto em sentido ¿forte¿ seja constituído por operações cognitivas, Kant teve sucesso mesmo em provar que, em princípio, nós sempre temos que poder executar aquelas operações (desde que nós temos intelecto discursivo e intuição sensível). Isto é o mesmo que dizer que nossa leitura pretende compatibilizar a Semântica Trasncendental, enquanto uma Semântica Construtivista, com uma leitura anti-cética dos fins da Analítica Transcendental / Abstract: The expression ¿Copernican Revolution¿, used by Kant to emphasize the rupturebetween critical philosophy and metaphysical tradition, takes us, above all, to consider the object of knowledge in a new way. Now, the problem of the relation between a representation and its object has a concept of the later which is similar to a mathematical construction as its solvability condition. In other words, the form of the object is taken as constituted by cognitive operations. By exploring the Transcendental Deduction and the Transcendental Schematism, we believe to have discovered that, more than the possibility that an object in the ¿weighty¿ sense be constituted by cognitive operations, Kant has even succeed in proving that, in principle, we always have to be able to execute those operations (since we have discursive intellect and sensible intuition). This amounts to say that our reading intends to make Transcendental Semantic as a Constructive Semantic compatible with an anti-skeptical reading of Transcendental Analytic¿s goals / Doutorado / Doutor em Filosofia

Orientador: Walter Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T05:55:31Z (GMT). No. of bitstreams: 1 Podiacki_Rodrigo_M.pdf: 538726 bytes, checksum: 3a51529177d89ce92122bde746a321c3 (MD5) Previous issue date: 2008 / Resumo: Esta dissertação tem como objetivo desenvolver uma semântica correta e completa para uma classe de lógicas de primeira ordem conhecidas como Lógicas da Inconsistência Formal (LIFs). Após uma elucidação geral sobre semânticas paraconsistentes e de primeira ordem, uma LIF particular, chamada QmbC, será caracterizada axiomaticamente. Em seguida será construída uma semÂntica que se demonstrará correta e completa para a LIF em questão. Por fim, uma série de LIFs com propriedades sintáticas interessantes serão caracterizadas axiomaticamente, e será visto como a semântica construída para QmbC pode ser estendida para todas essas lógicas. / Abstract: This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be constructed. Finally, a variety of LFIs having nice syntactic properties will be axiomatically defined, and it will be shown how the semantics proposed for QmbC can be extended for all these logics. / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T19:23:49Z (GMT). No. of bitstreams: 1 Pimenta_OlavoCalabria_M.pdf: 8184899 bytes, checksum: 73889509bbd7aa624843c4a04003deab (MD5) Previous issue date: 2003 / Resumo: Neste trabalho identifiquei os elementos mais importantes envolvidos na argumentação de Kant na sua Analítica Transcendental, isto é, por um lado, as representações intuitivas (sensações, intuições empíricas, intuições puras e aparecimentos) tratadas na Estética Transcendental e, por outro, tanto as representações discursivas (conceitos) como as operações (associadas a unidades, regras e julgamentos) tratadas na sua Lógica Transcendental. Em relação a cada um destes elementos, faço um confronto entre trechos de diversas obras de Kant onde eles são explicitados, buscando identificar, nesta multiplicidade de descrições, informações complementares e/ou possíveis incoerências, na intenção de compreender cada um deles de maneira clara e precisa. Finalmente, exponho como Kant opera com tais elementos para resolver seu problema fundamental relacionado à possibilidade dos juízos sintéticos, inicialmente no Esquematismo dos conceitos e, depois, nas Proposições Fundamentais do entendimento puro / Abstract: In this work I have identified the most important elements in Kant' s argumentation in his Transcendental Analytic, that is, on one side, the intuitive representations (sensations, empirical intuitions, pure intuitions and appearances) covered in his Transcendental Aesthetic, and, on the other side, as much the discursive representations (concepts) as the operations (associated to unity, mIes andjudgments) treated in his Transcendental Logic. In relation to each of theses elements, I have made a confrontation between parts of Kant's manifold works where they are explained, searching to identify, in that multiplicity of descriptions, informations and/or possible incoherencies, aimed to comprehend each one of them in a clear and precise way. Finally, I exposed how Kant operates with these elements to solve his fundamental problem relatively to the possibility of synthetic judgments, first in his Schematism of the Conceptions and, afier, in his Principies of pure understanding / Mestrado / Mestre em Filosofia

Orientador : Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T22:45:44Z (GMT). No. of bitstreams: 1 Piza_SuzedeOliveira_M.pdf: 9650365 bytes, checksum: c09a4f1262dd651801cf7dbb68ef8b1b (MD5) Previous issue date: 2004 / Resumo: A pesquisa se centra na explicitação dos procedimentos que dão sentido às idéias e aos conceitos na filosofia kantiana, isto é, os procedimentos esquemáticos. Parte-se da hipótese que o conceito de esquematismo em Kant é um conceito polissêmico, aparecendo não só como esquematismo puro do entendimento (tal como enunciado na primeira Crítica), mas, também como simbolização (através de analogias) e como metáfora. Resguardando as diferenças entre as diversas formas de manifestação do esquematismo, no interior da filosofia kantiana, procuramos destacar o invariável presente em todas elas: as imagens. Esquematismo, simbolização, metáforas e exemplos são denominados por nós nesta exposição de imagens de Kant. A denominação tem a função de destacar o aspecto sensível e imagético dos procedimentos de significação na obra kantiana. Após enunciar os procedimentos de significação, optamos por compreender melhor tais procedimentos concentrando-nos na Doutrina do direito de Kant. O direito, ou domínio jurídico, foi apresentado como lugar privilegiado para se pensar a sensificação-significação, especialmente o esquematismo analógico. Duas interpretações nos guiaram nesta investigação, a saber, a leitura semântica de Zeljko Loparic, cuja base está no livro "A Semântica transcendental de Kant" e o trabalho desenvolvido pelo filósofo' português, Leonel Ribeiro dos Santos "As metáforas da razão" / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Orientadores: Walter Alexandre Carnielli, Carlos M. C. L. Caleiro / Texto em ingles e portugues / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Tese (doutorado) - Universidade Tecnica de Lisboa, Instituto Superior Tecnico / Made available in DSpace on 2018-08-04T03:00:36Z (GMT). No. of bitstreams: 1 Almeida_JoaoMarcosde_D.pdf: 4760856 bytes, checksum: c6233b2352045368e0a3c7de2738d321 (MD5) Previous issue date: 2005 / Resumo: Segundo a pressuposição de consistência clássica, as contradições têm um cará[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocínio sensato pode então ter lugar. Uma lógica é paraconsistente se ela rejeita uma tal pressuposição, e aceita ao invés que algumas teorias inconsistentes conquanto não-triviais façam perfeito sentido. A? Lógicas da Inconsistência Formal, LIFs, formam uma classe de lógicas paraconsistentes particularmente expressivas nas quais a noção meta-teónca de consistência pode ser internalizada ao nível da linguagem obje[c]to. Como consequência, as LIFs são capazes de recapturar o raciocínio consistente pelo acréscimo de assunções de consistência apropriadas. Assim, por exemplo, enquanto regras clássicas tais como o silogismo disjuntivo (de A e {não-,4)-ou-13, infira B) estão fadadas a falhar numa lógica paraconsistente (pois A e (nao-A) poderiam ambas ser verdadeiras para algum A, independentemente de B), elas podem ser recuperadas por uma LIF se o conjunto das premissas for ampliado pela presunção de que estamos raciocinando em um ambiente consistente (neste caso, pelo acréscimo de (consistente-.A) como uma hipótese adicional da regra). A presente monografia introduz as LIFs e apresenta diversas ilustrações destas lógicas e de suas propriedades, mostrando que tais lógicas constituem com efeito a maior parte dos sistemas paraconsistentes da literatura. Diversas formas de se efe[c]tuar a recaptura do raciocínio consistente dentro de tais sistemas inconsistentes são também ilustradas Em cada caso, interpretações em termos de semânticas polivalentes, de traduções possíveis ou modais são fornecidas, e os problemas relacionados à provisão de contrapartidas algébricas para tais lógicas são examinados. Uma abordagem formal abstra[cjta é proposta para todas as definições relacionadas e uma extensa investigação é feita sobre os princípios lógicos e as propriedades positivas e negativas da negação. / Abstract: According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to recapture consistent reasoning by the addition of appropriate consistency assumptions. So, for instance, while classical rules such as disjunctive syllogism (from A and (not-A)-or-B, infer B) are bound to fail in a paraconsistent logic (because A and (not-.4) could both be true for some A, independently of B), they can be recovered by an LFI if the set of premises is enlarged by the presumption that we are reasoning in a consistent environment (in this case, by the addition of (consistent-/!) as an extra hypothesis of the rule). The present monograph introduces the LFIs and provides several illustrations of them and of their properties, showing that such logics constitute in fact the majority of interesting paraconsistent systems from the literature. Several ways of performing the recapture of consistent reasoning inside such inconsistent systems are also illustrated. In each case, interpretations in terms of many-valued, possible-translations, or modal semantics are provided, and the problems related to providing algebraic counterparts to such logics are surveyed. A formal abstract approach is proposed to all related definitions and an extended investigation is carried out into the logical principles and the positive and negative properties of negation. / Doutorado / Filosofia / Doutor em Filosofia e Matemática

Orientador: Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T03:25:04Z (GMT). No. of bitstreams: 1 Linhares_OrlandoBruno_M.pdf: 11609686 bytes, checksum: c937fa1bd01fa7a2c25d02060551a97b (MD5) Previous issue date: 2005 / Resumo: O objetivo dessa tese é investigar as origens das antinomias matemáticas nas Reflexões da década de silêncio. A consciência do problema das antinomias só se tomou possivel na medida em que Kant formulou, a partir de 1772, o problema da significação de conceitos e juizos, estabelecendo o dominio legitimo de sua aplicabilidade. Tal consciência possibilitou a distinção da lógica transcendental em analítica e dialética, isto é, uma lógica da verdade e uma lógica da ilusão. Em outras palavras, Kant só foi capaz de formular o problema das antinomias na segunda metade da década de 1770, após elaborar entre 1772 e 1775, ainda que na forma de um esboço, a idéia da analítica transcendental concebida como uma semântica transcendental / Abstract: The objective of this thesis is to investigate the origins of the mathematical antinomies in Reflexões made during the "silent decade". The conscience ofthe problem ofthe antinomies just became possible insofar as Kant formulated, from 1772, the problem of the meaning concepts and judgements, establishing the genuine domain of its applicability. This conscience made possible the distinction of transcendental logic in analytic and dialectic, that is, a logic of truth and a logic of illusion. In other words, Kant was capable to formulate the problem of the antinomies only in the second half of the 1770s, when between 1772 and 1775, he worked out, even if as a sketch, the idea of transcendental analytic conceived as a transcendental semantics / Mestrado / Filosofia / Mestre em Filosofia