Search

Expressões quantificadoras estão na história da filosofia e da lógica pelo menos desde a criação do silogismo por Aristóteles. Outro momento central na história dessas expressões é o desenvolvimento do sistema formal do Begriffsschrift de Frege. Em seu trabalho, o autor inclui axiomas para quantificação sobre objetos individuais e conceitos. Sendo os quantificadores também um tipo de conceito, ele os denomina “conceitos de segundo nível”. Com o advento da teoria dos modelos (na década de 1950) a noção semântica de “interpretação” promove uma revolução copernicana neste campo de estudo e na maneira de definir os “conceitos” fregeanos, com ênfase nas expressões quantificadoras. Tal revolução não consiste simplesmente em uma nova forma de apresentar os quantificadores de Frege, mas possibilitou uma ampliação na variedade de quantificadores que podem ser implementados. Essa abertura a novas possibilidades é devida, basicamente, aos trabalhos de Mostowski (1957) e Lindström (1966) que desenvolvem a noção de quantificação generalizada. Existem, no entanto, limites tanto nessa implementação quanto na interpretação de certos quantificadores de línguas naturais. A dependência de uma expressão a um contexto é uma das barreiras que a linguagem natural impõe à lógica formal. Nesse sentido Grice em 1975 abre espaço em seu Logic and Conversation para um outro olhar sobre a “lógica da linguagem ordinária”. O presente trabalho se propõe a uma análise nas diversas tentativas de formalização de quantificadores em linguagens naturais. Partimos de uma abordagem que investigue aspectos lógicos e pragmáticos dos quantificadores. Visamos uma classificação de quantificadores que acreditamos ser capaz de elucidar questões sobre os limites de definições destas expressões. Quantifying expressions have been part of the history of philosophy and logic at least since Aristotle’s creation of syllogism. Another pivotal moment in the history of these expressions is the introduction of the formal system in Frege’s Begriffsschrift, which includes axioms for quantifying individual objects and concepts. Since quantifiers are also a type of concept, Frege calls them "second-level concepts". With the advent of model theory (in the 1950s) the semantic notion of "interpretation" promotes a Copernican revolution in this field of study and in the way of defining Fregean "concepts", by emphasizing on quantifying expressions. Such a revolution does not merely consist of a new way of presenting Frege’s quantifiers but has made it possible to expand the range of quantifiers that can be implemented. This opening to new possibilities is due, basically, to the work of Mostowski (1957) and Lindström (1966) that develop the notion of generalized quantification. There are, however, limits both to this implementation and to the interpretation of certain natural language quantifiers. The dependence of an expression on a context is one of the barriers that natural language imposes on formal logic. In this sense, Grice in 1975 makes room in his ’Logic and Conversation’ for another look at the "logic of ordinary language". This thesis proposes an analysis of the various attempts to formalize quantifiers in natural languages. We start from an approach that investigates logical and pragmatic aspects of quantifiers and aim at a classification of quantifiers that we believe can elucidate problems on the limits of definitions of these expressions.

Este trabalho discorrerá sobre a visão de Herbert Paul Grice em relação a linguagem e o processo de comunicação humana. A teoria de Grice é importante, pois é pioneira no que concerne a separação entre a significação natural e a significação não natural. Na sua abordagem, a significação natural trata de uma conexão natural entre fatos e a significação não natural de convenções que associam fatos sem relações naturais entre si, sendo esta última o que possibilita a comunicação humana. Segundo Grice há quatro tipos de significação não natural, a saber: a significação atemporal, a significação atemporal aplicada, a significação de ocasião e a significação do locutor. Grice é mais conhecido por sua definição de significação do locutor, que suscitou muito interesse no âmbito da filosofia da linguagem. Em nossa pesquisa identificamos que nenhum autor aborda a teoria das implicaturas conversacionais relacionando-a com as quatro camadas de significação não natural identificadas pelo autor. Este fato influiu no modo como as implicaturas conversacionais foram analisadas até agora. Dito isto, nossa intenção aqui é de mostrar que as implicaturas conversacionais são uma análise do que Grice chama de significação de ocasião. Ao realizarmos este trabalho estaremos contribuindo para mostrar o pensamento griceano como um todo coerente, ao qual o próprio autor se referia por “um projeto mais amplo”, demonstrando que essas noções não são isoladas, mas partes de uma mesma abordagem do processo de comunicação humana. Finalmente, por identificar as implicaturas enquanto significação de ocasião, mostraremos como a divisão das camadas de significação feitas pelo autor ajudam a esclarecer a distinção entre semântica e pragmática This work will discuss about Herbert Paul Grice‟s vision relatively to the Language and the humane communicaton processing. Grice‟s theory it is important, because it is pioneer in such proposition that concerns to the separation between natural meaning and the non natural meaning. In his approaching, the natural meaning tracts of a natural conection among facts and the non natural meaning of conventions that associate facts without natural relations among themselves, being this last one what possibilites the humane communication. According to Grice‟s theory there are four types of non natural meaning, as to know: timeless meaning, the timeless applied meaning, the occasion-meaning and the utterer‟s meaning. Grice is more known by his definition about the utterer‟s meaning, that had raised so much interesting in the scope of the language Philosophy. In our research, we had identified that anyother author approaches something about the theory of the conversational implicatures relating it with the four layers of non natural meaning identified by the author. This fact had influenced in the modus as the conversational implicatures were analised until now. Once said that, our intention here is to show that the conversations implicatures are an analyse of what Grice names of occasion- meaning. When performing this work we will be contributing to clerify the gricean thought as a coherent whole, to which the author by himself would refer as “a most amplified project”, demonstrating that these notions are not isolated, but parts of the same approaching of the humane communication processing. Finally, to identify the implicatures as the occasion-meaning, we will present how the divisions of the layers of the meaning done by the author can help to explain the distnctions between semantics and pragmatic.

The main goal of this work is to clarify the central concepts involved in the study of formalization of conditional sentences. More specifically, it has been done a comparative analysis of the two greater and more traditional proposals of conditional formalization (Lewis 1973c e Adams 1975). These proposals were responsible for the creation of a way of analysis that still present in the current debate about this subject. This work pursues to explain the principal assumptions held within these proposals. According to certain disambiguation techniques from Bennett (2003) and Lycan (2005), this work tries to explicit how these assumptions connect to the aims sought by the initial approaches. The following results show that there is a not declared presumption, the definition of the object of study of these theories, i.e., the definition of conditional sentence. This work argues that despite of not explicitly declared the definition of the study object has a central role in the intelligibility of the debate itself estudo da formalização das sentenças condicionais. Mais especificamente, empreendemos uma análise comparativa de duas das principais e mais tradicionais propostas de formalização dos condicionais (Lewis (1973c) e Adams (1975)), propostas responsáveis pela inauguração de vertentes de análise que ainda se fazem presentes no debate contemporâneo sobre o tema. Visamos, fundamentalmente, o esclarecimento das principais assunções presentes nessas propostas. Com base em certas técnicas de desambiguação presentes em Bennett (2003) e em Lycan (2005), buscamos explicitar como essas assunções articulam-se, efetivamente, aos objetivos almejados pelas abordagens inaugurais. Os resultados que se seguem mostram que existe um pressuposto, não explicitamente declarado, tácito, a definição do objeto de estudo dessas teorias, isto é, a definição de sentença condicional. Argumentamos que, apesar de não claramente declarada, a definição do objeto de estudo desempenha um papel fundamental na própria inteligibilidade do debate