Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-26T05:10:17Z (GMT). No. of bitstreams: 1 Cholodovskis_AnaFlaviadeFaria_M.pdf: 14177739 bytes, checksum: 714f42d947721ac9da9a5d1e34cd497e (MD5) Previous issue date: 2014 / Resumo: Existem diversas razões para justificar o desenvolvimento de lógicas não-clássicas tais como a expressividade destas linguagens e como elas poderiam ajudar a formalizar o pensamento humano. Neste sentido, as lógicas não-monotônicas foram desenvolvidas em prol de formalizar raciocínios cotidianos baseados na premissa de que nós deveríamos ser capazes de retratar conclusões previamente obtidas quando confrontadas com novas informações. Algumas lógicas não-monotônicas utilizam a noção de pensamento default para formalizar raciocínios cotidianos. Por outro lado, as lógicas paraconsistentes são aquelas lógicas que estudam teorias não-explosivas e foram desenvolvidas em prol de lidar com contradições. Sobre as lógicas paraconsistentes, existe uma classe de sistemas que se mostram realmente interessantes, particularmente: as Lógicas de Inconsistência Formal (LIFs). LIFs são um tipo especial de lógicas paraconsistentes que são gentilmente explosivas e internalizam o conceito de consistência no nível da linguagem-objeto utilizando o operador de consistência ? . A questão inicial Poderia a Paraconsistência substituir a Não-Monotonicidade? nos guiou à formalização de uma pergunta mais específica, entretanto, mais intrigante: É possível desenvolver uma lógica não-monotônica gentilmente explosiva?. No intuito de buscar responder a essa questão, é importante investigar conceitual e filosoficamente a relevância e as problemáticas de se desenvolver tal lógica. Este trabalho visa justificar a importância de uma lógica não-monotônica paraconsistente baseada nas Lógicas de Inconsistência Formal a partir de uma análise intuitiva dos conceitos e das noções envolvidas em tais sistemas formais considerando, ainda, abordagens possíveis a partir das chamadas Lógicas Adaptativas de Inconsistência e das Lógicas Moduladas / Abstract: There are many reasons to justify the development of non-classical logics such as the expressivity of those languages and how they could help to formulate human reasoning. In that sense, nonmonotonic logics were developed in order to formalize everyday reasoning based on the premise that we should be able to retract conclusions previously obtained in face of new information. Some nonmonotonic logics uses the notion of default reasoning to formalize everyday reasoning. On the other hand, paraconsistent logics are those logics that studies non-explosive theories and were developed in order to deal with contradictions. About paraconsistent logics, there is a class of systems that has shown to be really interesting, particularly: the Logics of Formal Inconsistency [LFIs]. LFIs are a special kind of paraconsistent logics that are gently explosive and internalize the concept of consistency at the object-language level using the consistency operator ?. The initial question Can Paraconsistency replace Nonmonotonicity? guided us to the formulation of a more specific yet intriguing question: Is it possible to develop a gently explosive nonmonotonic logic?. In order to answer that question, it is important to investigate both conceptual and philosophical relevance and problems of developing such logic. This work intends to justify the importance of a non-monotonic paraconsistent logic based on Logics of Formal Inconsistency from an intuitive analysis of concepts and notions involved in such formal systems, also considering possible approaches from the so called Adaptive Logics of Inconsistency an Modulated Logics / Mestrado / Filosofia / Mestra em Filosofia

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-20T11:11:02Z (GMT). No. of bitstreams: 1 Corbalan_MariaInes_M.pdf: 1281325 bytes, checksum: e3827248da48b3c7e6a632848660be7e (MD5) Previous issue date: 2012 / Resumo: O presente trabalho tem como objetivo principal definir o conceito de Conectivo de Restauração Local. Revemos diversos sistemas lógicos conhecidos na literatura sob o ângulo do novo conceito introduzido...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The present work aims principally to de.ne the concept of Local Restoration Connective. We review known systems of logic from the point of view of such new concept...Note: The complete abstract is available with the full electronic document / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Antonio Vidiella Barranco / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Física Gleb Wataghin / Made available in DSpace on 2018-08-28T00:18:27Z (GMT). No. of bitstreams: 1 Souza_DouglasDelgadode_D.pdf: 6011689 bytes, checksum: b920d0dfb23c23b599d6bf1a254285ec (MD5) Previous issue date: 2015 / Resumo: Na primeira parte deste trabalho seguimos os estudos de Hirota e colaboradores e definimos quatro estados quase-Bell baseados em estados coerentes comprimidos da luz. Dois desses estados são maximamente emaranhados, enquanto o emaranhamento dos outros dois depende apenas da sobreposição entre os estados coerentes comprimidos que os compõem. A partir destes estados quase-Bell, definimos novos estados interpolados cujo emaranhamento é também governado por um parâmetro de interpolação adicional e estudamos algumas das propriedades destes estados (emaranhamento e eficiência energética). Por fim, usamos estes estados e definimos alguns estados de Werner, com os quais analisamos de forma simples uma possível influência de um ambiente dissipativo parametrizado pela probabilidade de o estado de Werner estar em sua forma emaranhada ou misturada. Para esta análise usamos os conceitos de separabilidade e emaranhamento. Na segunda parte estudamos a estimativa de fase quântica usando estados gaussianos puros (estados coerentes comprimidos). Iniciamos com a estimativa da fase introduzida por um operador unitário em cujo hamiltoniano está presente uma perturbação linear nos operadores de criação e aniquilação, além do operador de número de fótons responsável pela evolução de fase (perturbação linear unitária). Obtemos quais são os estados gaussianos ótimos para a estimativa desta fase e analisamos a optimalidade da detecção homódina. A seguir, consideramos o parâmetro de perturbação como uma variável aleatória que obedece a uma distribuição gaussiana de probabilidades (perturbação linear aleatória) e novamente obtemos os estados de sonda ótimos e analisamos a optimalidade da detecção homódina. Por fim, estudamos a estimativa de fase com perturbação linear unitária utilizando os estados quase-Bell interpolados definidos na primeira parte deste trabalho e verificamos que a utilização de emaranhamento permite uma melhor estimativa de fase para uma mesma energia disponível / Abstract: In the first part of this work we follow the studies of Hirota and collaborators and we define four quasi-Bell states based on squeezed coherent states of light. Two of these states are maximally entangled, while the entanglement of the other two depends only on the overlap between the squeezed coherent states that were combined. From these quasi-Bell states we define new interpolated states for which the entanglement is also governed by an additional interpolation parameter, and we study some of the properties of these states (entanglement and energy efficiency). Finally, we use these states to define some Werner states, which we use to study in a simple way the possible influence of some dissipative environment parameterized by the probability that the Werner state is entangled or mixed. For this analysis we use the concepts of separability and entanglement. In the second part, we study the quantum phase estimation using pure Gaussian states (squeezed coherent states). We begin with the estimation of the phase introduced by a unitary operator whose Hamiltonian also contains a disturbance that is linear in the creation and annihilation operators in addition to the photon number operator responsible for the phase evolution (unitary linear disturbance). We find what are the optimal Gaussian states for this phase estimation and we also analyze the optimality of the homodyne detection. Next, we consider the disturbance parameter to be a random variable submitted to a Gaussian distribution (random linear disturbance) and again we find what are the optimal probe states and analyze the optimality of the homodyne detection. Finally we study the phase estimation with unitary linear disturbance using the interpolated quasi-Bell states defined in the first part of this work and we verify that the use of entanglement leads to a better phase estimation for the same amount of available energy / Doutorado / Física / Doutor em Ciências / 2011/00220-5 / FAPESP

No description available.

Neste trabalho, descrevemos vários protocolos para a geração de estados estacionários não clássicos, suportados principalmente pela engenharia de hamiltonianos seletivos Jaynes-Cummings, e de reservatórios atômicos. Começamos apresentando um protocolo para engenhar interações seletivas lineares e não lineares do tipo Jaynes-Cummings como também simulações numéricas para comprovar a eficácia de nosso esquema. Analisamos também como aplicar essas interações seletivas à preparação e proteção de estados de Fock estacionários via reservatório atômico. Esta estratégia combina a ação dos mecanismo de amortecimento da cavidade com os de um reservatório atômico engenhado para conduzir uma distribuição térmica inicial a um estado de Fock estacionário. A mesma técnica pode ser utilizada para fatiar as distribuições de probabilidade no espaço de Fock, permitindo assim a preparação de uma variedade de estados de equilíbrio não clássicos. Também apresentamos um protocolo para a engenharia de interações upper-bound e sliced Jaynes-Cummings e anti-Jaynes-Cummings na eletrodinâmica quântica de cavidade. No Hamiltoniano upper-bound, a interação átomo-campo está confinada a um subespaço de Fock com estados que vão desde Ι0> até Ι4> enquanto que no Hamiltoniano sliced vão desde ΙM> até ΙM + 4>. Mostramos como construir Liouvillianos upper-bound independentemente da engenharia do Hamiltoniano upper-bound. Os Hamiltonianos e Liouvillianos upper-bound e sliced podem ser usados, entre outras aplicações, para gerar estados de Fock estacionários no modo da cavidade e para a implementação de um dispositivo de tesoura quântica para truncagem de estado óptico. Finalmente, propomos um esquema para a preparação de estados emaranhados estacionários em redes bosônicas dissipativas. Descrevemos a sua aplicação em um sistema de cavidades acopladas interagindo com um reservatório construído por átomos de três níveis. Os emblemáticos estados Bell e NOON, e estados multipartites (tipo W) podem ser produzidos com alta fidelidade e pureza. / In this work, we describe various protocols for the generation of nonclassical steady-state, supported mainly by the engineering selective Hamiltonian Jaynes-Cummings-type, and atomics reservoirs. We started presenting a framework to engineer nonlinear selective JaynesCummings-type interactions with numerical simulations to prove the effectiveness of our scheme. We further analyses how to apply these selective interactions to the preparation and protection of steady Fock states via atomic reservoir. This strategy combines the action of cavity damping mechanisms with that of an engineered atomic reservoir to drive an initial thermal distribution to a Fock equilibrium state. The same technique can be used to slice probability distributions in the Fock space, thus allowing the preparation of a variety of non-classical equilibrium states. Also we present a protocol to engineer upper-bound and sliced Jaynes-Cummings-type and anti-Jaynes-Cummings-type Hamiltonians in cavity quantum electrodynamics. In the upper-bounded Hamiltonians, the atom-field interaction is confined to a subspace of Fock states ranging from Ι0> up to Ι4>, while in the sliced interaction the Fock subspace ranges from ΙM> up to ΙM + 4>. We also show how to build upper-bounded and sliced Liouvillians irrespective of engineering Hamiltonians. The upper-bounded and sliced Hamiltonians and Liouvillians can be used, among other applications, to generate steady Fock states of a cavity mode and for the implementation of a quantum-scissors device for optical state truncation. Finally we propose a scheme for the preparation of steady entanglements in bosonic dissipative networks. We describe its implementation in a system of coupled cavities interacting with an engineered reservoir built up of three-level atoms. Emblematic bipartite (Bell and NOON) and multipartite (W -class) states can be produced with high fidelity and purity.

Neste trabalho, descrevemos vários protocolos para a geração de estados estacionários não clássicos, suportados principalmente pela engenharia de hamiltonianos seletivos Jaynes-Cummings, e de reservatórios atômicos. Começamos apresentando um protocolo para engenhar interações seletivas lineares e não lineares do tipo Jaynes-Cummings como também simulações numéricas para comprovar a eficácia de nosso esquema. Analisamos também como aplicar essas interações seletivas à preparação e proteção de estados de Fock estacionários via reservatório atômico. Esta estratégia combina a ação dos mecanismo de amortecimento da cavidade com os de um reservatório atômico engenhado para conduzir uma distribuição térmica inicial a um estado de Fock estacionário. A mesma técnica pode ser utilizada para fatiar as distribuições de probabilidade no espaço de Fock, permitindo assim a preparação de uma variedade de estados de equilíbrio não clássicos. Também apresentamos um protocolo para a engenharia de interações upper-bound e sliced Jaynes-Cummings e anti-Jaynes-Cummings na eletrodinâmica quântica de cavidade. No Hamiltoniano upper-bound, a interação átomo-campo está confinada a um subespaço de Fock com estados que vão desde Ι0> até Ι4> enquanto que no Hamiltoniano sliced vão desde ΙM> até ΙM + 4>. Mostramos como construir Liouvillianos upper-bound independentemente da engenharia do Hamiltoniano upper-bound. Os Hamiltonianos e Liouvillianos upper-bound e sliced podem ser usados, entre outras aplicações, para gerar estados de Fock estacionários no modo da cavidade e para a implementação de um dispositivo de tesoura quântica para truncagem de estado óptico. Finalmente, propomos um esquema para a preparação de estados emaranhados estacionários em redes bosônicas dissipativas. Descrevemos a sua aplicação em um sistema de cavidades acopladas interagindo com um reservatório construído por átomos de três níveis. Os emblemáticos estados Bell e NOON, e estados multipartites (tipo W) podem ser produzidos com alta fidelidade e pureza. / In this work, we describe various protocols for the generation of nonclassical steady-state, supported mainly by the engineering selective Hamiltonian Jaynes-Cummings-type, and atomics reservoirs. We started presenting a framework to engineer nonlinear selective JaynesCummings-type interactions with numerical simulations to prove the effectiveness of our scheme. We further analyses how to apply these selective interactions to the preparation and protection of steady Fock states via atomic reservoir. This strategy combines the action of cavity damping mechanisms with that of an engineered atomic reservoir to drive an initial thermal distribution to a Fock equilibrium state. The same technique can be used to slice probability distributions in the Fock space, thus allowing the preparation of a variety of non-classical equilibrium states. Also we present a protocol to engineer upper-bound and sliced Jaynes-Cummings-type and anti-Jaynes-Cummings-type Hamiltonians in cavity quantum electrodynamics. In the upper-bounded Hamiltonians, the atom-field interaction is confined to a subspace of Fock states ranging from Ι0> up to Ι4>, while in the sliced interaction the Fock subspace ranges from ΙM> up to ΙM + 4>. We also show how to build upper-bounded and sliced Liouvillians irrespective of engineering Hamiltonians. The upper-bounded and sliced Hamiltonians and Liouvillians can be used, among other applications, to generate steady Fock states of a cavity mode and for the implementation of a quantum-scissors device for optical state truncation. Finally we propose a scheme for the preparation of steady entanglements in bosonic dissipative networks. We describe its implementation in a system of coupled cavities interacting with an engineered reservoir built up of three-level atoms. Emblematic bipartite (Bell and NOON) and multipartite (W -class) states can be produced with high fidelity and purity.

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-17T19:11:26Z (GMT). No. of bitstreams: 1 Silvestrini_LuizHenriquedaCruz_D.pdf: 1289416 bytes, checksum: aa5f4929e7149a647d28c4fd4df86874 (MD5) Previous issue date: 2011 / Resumo: Mikenberg, da Costa e Chuaqui (1986) introduziram a noção de quase-verdade por meio da noção de estruturas parciais, e para tanto, conceberam os predicados como ternas. O arcabouço conceitual resultante proporcionou o emprego de estruturas parciais na ciência, pois, em geral, não sabemos tudo a respeito de um determinado domínio de conhecimento. Generalizamos a noção de predicados como ternas para fórmulas complexas. A partir desta nova abordagem, obtemos uma definição de quase-verdade via noção de satisfação pragmática de uma fórmula A em uma estrutura parcial E. Introduzimos uma lógica subjacente à nossa nova definição de quase-verdade, a saber, a lógica paraconsistente trivalente LPT1, a qual possui uma axiomática de primeira ordem. Relacionamos a noção de quase-verdade com algumas lógicas paraconsistentes já existentes. Defendemos que a formalização das Sociedades Abertas, introduzidas por Carnielli e Lima-Marques (1999), quando combinada com quantificadores modulados, introduzidos por Grácio (1999), constitui uma alternativa para capturar a componente indutiva presente na atividade científica, e mostramos, a partir disso, que a proposta original de da Costa e colaboradores pode ser explicada em termos da nova noção de sociedades moduladas / Abstract: Newton da Costa and his collaborators have introduced the notion of quasi-truth by means of partial structures, and for this purpose, they conceived the predicates as ordered triples: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively (the latter represents lack of information). This approach provides a conceptual framework to analyse the use of (first-order) structures in science in contexts of informational incompleteness. In this Thesis, the notion of predicates as triples is extended recursively to any complex formula of the first-order object language. From this, a new definition of quasi-truth via the notion of pragmatic satisfaction is obtained. We obtain the proof-theoretic counterpart of the logic underlying our new definition of quasi-truth, namely, the three-valued paraconsistent logic LPT1, which is presented axiomatically in a first-order language. We relate the notion of quasi-truth with some existing paraconsistent logics. We defend that the formalization of (open) society semantics when combined with the modulated quantifiers constitutes an alternative to capture the inductive component present in scientific activity, and show, from this, that the original proposal of da Costa and collaborators can be explained in terms of the new concept of modulated societies / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T20:57:48Z (GMT). No. of bitstreams: 1 Fernandez_VictorLeandro_D.pdf: 6531217 bytes, checksum: 2a972c9e9fa860af8f9cc57b3e1bb73d (MD5) Previous issue date: 2005 / Resumo: Neste trabalho investigamos com um enfoque abstrato um processo de combinações de lógicas conhecido como Fibrilação de lógicas. Em particular estudamos a transferência, mediante fibrilação, de certas propriedades intrínsecas às lógicas proposicionais. As noções mencionadas são as de protoalgebrizabilidade, equivalencialidade e algebrizabilidade. Ditas noções fazem parte da "Hierarquia de Leibniz" , conceito fundamental da chamada Lógica Algébrica Abstrata. Tal hierarquia classifica as diferentes lógicas segundo o seu grau de algebrizabilidade. Assim, nesta tese estudaremos se, quando duas lógicas possuem alguma dessas propriedades, a fibrilação delas possui também tal característica. Com o objetivo de diferençar os diferentes modos de fibrilação existentes na literatura, analisamos duas maneiras de fibrilar lógicas: Fibrilação categorial (ou C-fibrilação) e Fibrilação no sentido de D. Gabbay (G-fibrilação). Também estudamos uma variante da Gfibrilação de lógicas conhecida como Fusão de lógicas. Assim, damos diferentes condições que devem valer para que a C-fibrilação de uma lógica protoalgébrica seja também protoalgébrica, e procedemos de forma similar com as outras propriedades que constituem a Hierarquia de Leibniz. No caso da G-fibrilação e da fusão de lógicas chegamos a diversos resultados análogos aos anteriores, os quais permitem ter uma visão geral da relação entre Lógica Algébrica Abstrata e as Combinações de lógicas / Abstract: ln this thesis we investigate, with an abstract approach, a process of combinations of logics known as fibring of logics. ln particular we study the transference by fibring of certain properties, intrinsic to propositionallogics: protoalgebricity, equivalenciality and algebraizability. The notions above belong to the "Leibniz Hierarchy", a fundamental concept of the so-called Abstract Algebraic Logic. Such hierarchy classifies the logics according to its algebraizability degree. So, in this thesis we will study whether, given two logics having some of these properties, the fibring of them still has that property. With the aim of distinguishing the different techniques of fibring existing in the literature, we analyze two methods of fibring logics: Categorial Fibring (or C-fibring) and Fibring in D. Gabbay's sense (G-fibring). We also study a variant of G-fibring known as fusion of logics. So, we give different conditions that must hold in order to obtain a protoalgebraic logic by means of C-fibring of protoalgebric logics. We proceed in a similar way with the other properties that constitutes the Leibniz Hierarchy. With respect to G-fibring and fusion, we arrive to similar results which allow us to get an overview of the relation between Abstract AIgebraic Logic and the subject of combinations of logics / Doutorado / Doutor em Filosofia

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T18:45:14Z (GMT). No. of bitstreams: 1 Testa_RafaelRodrigues_D.pdf: 1707390 bytes, checksum: 77a5315394cfd4052cf1fe8733d0559c (MD5) Previous issue date: 2014 / Resumo: A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário / Abstract: Belief Revision studies how rational agents change their beliefs when they receive new information. The AGM system, most influential work in this area of study investigated by Alchourrón, Gärdenfos and Makinson, postulates rationality criteria for different types of belief change and provides explicit constructions for them - the equivalence between the postulates and operations is called representation theorem. Recent studies show how the AGM paradigm can be compliant with different non-classical logics, which is called the AGM-compliance - this is the case of the paraconsistent logics family we analyze in this thesis, the Logics of Formal Inconsistency (LFIs). Despite the AGM-compliance, when a new logic is taken into account its underlying rationality must be understood and its language should be used. In that way new constructions are proposed, which actually captures the intuition of LFIs - what we call the AGMo system. Thus, we provide a new interpretation for these logics, more in line with formal epistemology. In an alternative approach, by considering the AGM-compliance, we show how the AGM results can be directly applied to LFIs -- resulting the AGMp system. In both approaches, we prove the corresponding representation theorems where needed / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-19T13:14:11Z (GMT). No. of bitstreams: 1 Oliveira_AntonioMarmodaCunha_M.pdf: 7643012 bytes, checksum: 1904b2b114fcf86253069cc0fe63eedb (MD5) Previous issue date: 2011 / Resumo: Neste trabalho investigaremos, do ponto de vista da lógica e da filosofia, os fenômenos pragmáticos conhecidos como pressuposição e implicatura, relacionando-os a traços mais gerais da racionalidade humana, como economia e consistência, e ao pluralismo da lógica atual, incluindo alguns tópicos de contenda entre a tradição clássica e as propostas alternativas recentes. Grice articulou uma análise destes fenômenos assentes em princípios para a conversação ou interação entre entes racionais e cooperativos. Divergimos da tradição griceana, postulando que as implicaturas são processadas por "clivagem de informações", ou por verificação de outros critérios lógicos, ao invés da mera exploração de máximas. Partindo de conceitos precisamente definidos, como pressuposição e implicatura, é possível construir um arcabouço lógico, a denominar sistemas pressuposicionais, que estendem outros sistemas lógicos (como, por exemplo, o cálculo proposicional) e cujos resultados exporemos / Abstract: In this work we shall, from the logical and philosophical standpoint, investigate two pragmatic phenomena known as presupposition and implicature, associating them to more general features of human rationality, such as economy and consistency, and to the current logical pluralism, including some controversies between the classical tradition and more recent alternative approaches. Grice has articulated an analysis of such phenomena based on principles governing conversation or interaction between cooperative and rational beings. We dissent from the gricean tradition, and proposing that implicatures are processed by the 'sieving of information', rather than by the mere exploitation of maxims. By providing precise definitions to the concepts of presupposition and implicature, it is possible to build a logical framework, to be called presuppositional systems, which either extend or generalise other logical systems (such as the propositional calculus, for instance), the results of which we shall present hereinafter / Mestrado / Filosofia / Mestre em Filosofia