Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2014-09-19T21:05:56Z No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Cláudia Bueno (claudiamoura18@gmail.com) on 2014-09-28T02:24:15Z (GMT) No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-09-28T02:24:15Z (GMT). No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-02-17 / There are two questions about deontic logic that appear frequently in the literature on the subject. The first concerns the legitimacy and the second the deontic paradoxes. The first of these, however, is not the main concern of this paper, we assume, alongside Castañeda the thesis that there are logical relationships, not only between propositions, but also among imperatives and norms. Thus, the main focus of this paper will be to investigate deontic paradoxes, and in particular, the Castañeda‟s solution. This solution involves a distinction between propositions and practitions as well as between imperatives and norms. We also show the advantage of this solution compared to other solution named scope deontic operator. Finally, we analyze Lou Goble‟s criticism to Castañeda‟s solution and objections to this criticism. / Há duas questões acerca da lógica deôntica que aparecem com frequência na literatura sobre o tema. A primeira diz respeito à sua legitimidade e a segunda aos paradoxos deônticos. A primeira destas, entretanto, não é a principal preocupação deste trabalho: assumiremos, ao lado de Castañeda, a tese que há relações lógicas, não somente entre proposições, mas também entre imperativos e entre normas. Assim, o foco principal deste texto consistirá em investigar o problema dos paradoxos deônticos e, em particular, a proposta de solução de Castañeda aos mesmos. Tal solução envolve a distinção entre proposições e practições, bem como entre imperativos e normas. Também mostraremos a vantagem desta solução em relação às outras, denominadas de soluções de escopo do operador deôntico. E, por fim, analisaremos a crítica de Lou Goble à solução de Castañeda e objeções a esta crítica.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-01-19T10:20:09Z No. of bitstreams: 2 Dissertação - Diego de Souza Avendano - 2016.pdf: 2770544 bytes, checksum: 621a0eef262e3cc91e4fab9e3a64f74a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-01-19T10:21:18Z (GMT) No. of bitstreams: 2 Dissertação - Diego de Souza Avendano - 2016.pdf: 2770544 bytes, checksum: 621a0eef262e3cc91e4fab9e3a64f74a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-01-19T10:21:18Z (GMT). No. of bitstreams: 2 Dissertação - Diego de Souza Avendano - 2016.pdf: 2770544 bytes, checksum: 621a0eef262e3cc91e4fab9e3a64f74a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-11-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The aim of this dissertation is outline the course by which the concept of rule "arises" in Wittgenstein's thought. I shall consider that the origin of the approach to the concept of "rule" lies in the rapid development of the author's thinking between 1929-1934. His immediate problem was to remedy the glaring error, presented by Ramsey, on the Tractarian remarks about the logical necessity. In order to correct this error, Wittgenstein introduces two major innovations with which he believes that can solve the problem and still preserve the rigid tractarian demarcation between logical truth and empirical truth. First, he will replace the combinatorial model underlying the natural language that prevailed in the Tractatus by a conception which he describes as a system of propositions (Satzsysteme), in which language would be considered as a complex system of autonomous propositional calculi. This change make possible preserves the thesis that all necessity is a logical necessity, however, it will be necessary to abandon the referential conception of meaning and the logical independence of elementary propositions. Thus, our proposal in this dissertation is to establish all aspects of the Tractarian philosophy that precede and sustain the proposal of language as correspondence, emphasizing that the abandonment shall result in changes such as: 1) a word has its meaning only in the context of its propositional system; 2) the meaning of any word is the totality of the rules governing its use in this system; 3) The meaning of a proposition is the method of its verification. Finally, in order to understand the context of these changes, it seems to be the case, that in one hand, we need to establish the essence and general form of the proposition in the Tractatus, and thereby elucidate some aspects of what are the essential traits of language and the world; On the other, to establish the limits and the scope of analysis, so we can understand its mutation outlined in accordance with the new criterion of sense – the rules – since what counts as the object of analysis will not be determined by a general form, but displayed by a “possible calculus”. / Em minha dissertação buscarei esboçar o percurso pelo qual o conceito de regra “surge” no pensamento de Wittgenstein. Irei considerar que a origem da abordagem do conceito de “regra” encontra-se no rápido desenvolvimento do pensamento do autor entre 1929 – 1934. Nesta época, seu problema imediato era remediar o erro das considerações Tractarianas acerca da necessidade lógica apresentado por Ramsey. Para corrigir este erro, Wittgenstein introduz duas inovações com as quais ele acredita poder resolver o problema e, ainda, preservar a rígida demarcação tractariana entre verdade lógica e verdade empírica. Primeiro, ele irá substituir o modelo único de cálculo subjacente à linguagem natural que imperava no Tractatus por uma concepção que ele descrever como sistema de proposições (Satzsysteme), no qual a linguagem seria vista como um complexo emaranhado de sistemas proposicionais autônomos, cada qual constituindo um espaço lógico distinto. Desta maneira, ele preserva a tese de que toda necessidade é uma necessidade lógica, contudo, será preciso abandonar a concepção referencial de significado e a independência lógica das proposições elementares. Assim, nossa proposta nesta dissertação é estabelecer todos os aspectos da filosofia do Tractatus que antecedem e fundamentam a proposta da linguagem enquanto correspondência, enfatizando que o abandono desta última resulta em mudanças como: 1) uma palavra só tem significado no contexto do seu sistema proposicional; 2) o significado de uma palavra qualquer é a totalidade das regras que governam seu uso neste sistema; 3) o sentido de uma proposição é o método de sua verificação. Por fim, para que possamos compreender o contexto dessas mudanças, parece ser o caso de, por um lado, estabelecer a essência e a forma geral da proposição no Tractatus e, com isso, elucidar alguns aspectos do que, segundo o autor, são traços essências da linguagem e do mundo; por outro, estabelecer os limites do âmbito da análise, para que possamos compreender a sua mutação esboçada em conformidade com o novo critério do sentido, as regras, pois o que conta como objeto de análise será menos determinado por uma forma geral e mais exibido por um “cálculo” possível.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-10-13T19:12:35Z No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2014-10-13T20:49:48Z (GMT) No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-13T20:49:48Z (GMT). No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-09-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / By means of the Curry-Howard Correspondence Martin-Löf’s intuitionistic type theory claims that to define a proposition by laying down how its canonical proofs are formed is the same as to define a set by laying down how its canonical elements are formed; consequently a proposition can be seen as the set of its proofs. On the other hand, we find in this very same theory a distinction between the notions of set and of type, such that the difference of the latter in relation to the former consists in the fact that to form a type we do not need to present an exhaustive prescription for the formation of its objects; it is sufficient to just have a general notion of what would be an arbitrary object that inhabits such type. Thus we argue that we can extract two distinct notions of propositon from the intuitionistic type theory, one which treats propositions as types and another which treats propositions as sets. Such distinction will have some bearing on discussions concerning hypothetical demonstrations and conjecture’s formation. / A teoria intuicionista de tipos, de Martin-Löf, alega, à luz da correspondência Curry- Howard, que definir uma proposição por meio do estabelecimento de como as suas provas canônicas são formadas é o mesmo que definir um conjunto por meio do estabelecimento de como os seus elementos canônicos são formados, fazendo com que uma proposição possa ser vista como o conjunto de suas provas. Por outro lado, encontramos nessa mesma teoria uma distinção entre as noções de conjunto e tipo, sendo que a diferença deste em relação àquele consiste no fato de que para se formar um tipo não é preciso apresentar uma prescrição exaustiva da formação de seus objetos, basta se ter uma noção geral do que seria um objeto arbitrário que o habita. Tendo isso em conta, argumentamos que podemos extrair da teoria intuicionista de tipos duas concepções de proposição distintas, uma que considera proposições como tipos e outra que considera proposições como conjuntos. Tal distinção implicará em algumas considerações envolvendo questões sobre demonstrações hipotéticas e a formação de conjecturas.

Submitted by Ana Caroline Costa (ana_caroline212@hotmail.com) on 2018-11-13T19:24:29Z No. of bitstreams: 2 Dissertação - Bruna Garcia da Silveira Miguel Elias - 2018.pdf: 1464993 bytes, checksum: 4fb42bf2c5bf3dba934d5546c6206189 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-11-14T12:53:24Z (GMT) No. of bitstreams: 2 Dissertação - Bruna Garcia da Silveira Miguel Elias - 2018.pdf: 1464993 bytes, checksum: 4fb42bf2c5bf3dba934d5546c6206189 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-11-14T12:53:24Z (GMT). No. of bitstreams: 2 Dissertação - Bruna Garcia da Silveira Miguel Elias - 2018.pdf: 1464993 bytes, checksum: 4fb42bf2c5bf3dba934d5546c6206189 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-10-15 / This dissertation is an investigation of the notions of “indeterminacy”, “inexactness” and “vagueness” in the context of Wittgenstein's phenomenology during in the intermediary period of the author. The occurrence of vague terms in phenomenological expressions seems a problem to be solved, since it gives rise to some dissatisfaction with the lack of “precision” which should be a feature of any suitable language. We will deal with this “problem” about the vagueness expressions and some reflections about it, specifically as they were presented by Wittgenstein in the work Phenomenal Language. We explore in this dissertation some changes in the thought of this philosopher, from the Tractatus-Logico-Philosophicus to the text Phenomenal Language, with the intention of identifying, clarifying and later proposing modes to overcome the mistakes from the new ideas of Wittgenstein throughout the intermediate period, as they are rejected by the philosopher himself in the mentioned text. Such illusions, according to Wittgenstein, would be responsible for certain illusory conceptions about “language” and “perception” itself. We shall deal with some of Wittgenstein's notes on these misleading conceptions, seeking to show their connection with an old Tractarian idea, called of “doctrine of the simple” by Fogelin, and which we‟ll refer to as the “paradigm of logical elementarity” in this dissertation. We will try to sort out how this paradigm about logical “simplicity” or “elementarity” would have led to a misunderstanding about the kind of “logical generality” involved in several domains, especially the empirical and the phenomenal, as in the intervening period. Our aim is to spot out and examine such misunderstandings with the intention of overcoming them, and thus perhaps offer a proper treatment of language and perception which would allow us to understand the kind of “logical generality” involved in the phenomenal realm, and thus understand what that is meant by “indeterminacy”, “inaccuracy” or “vagueness” in those contexts. / Esta dissertação é uma investigação acerca das noções de “indeterminação”, “inexatidão” e “vagueza”, no contexto da fenomenologia de Wittgenstein exposta no período intermediário do autor. A ocorrência de termos vagos em expressões fenomênicas parece um problema a ser resolvido, desde que ocasione certa insatisfação quanto à falta de “precisão” que deveria ser uma característica de qualquer linguagem adequada. Trataremos desse “problema” acerca da vagueza nas expressões e de algumas reflexões em torno disso, mais especificamente, como elas foram apresentadas no texto Linguagem Fenomenal por Wittgenstein. Exploramos nesta dissertação algumas mudanças no pensamento desse filósofo, desde o Tractatus-Logico-Philosophicus até o texto Linguagem Fenomenal, com a intenção de identificar, esclarecer e, posteriormente, propor, a partir das novas ideias de Wittgenstein ao longo do período intermediário, modos de superar os enganos, denunciados por ele próprio no texto mencionado. Tais enganos, segundo Wittgenstein, seriam os responsáveis por certas concepções ilusórias acerca da “linguagem” e da própria “percepção”. Lidaremos com alguns dos apontamentos feitos por Wittgenstein sobre essas concepções ilusórias, buscando mostrar a conexão dessas com uma antiga ideia tractariana, chamada por Fogelin de “doutrina do simples”, e que nós chamamos nesse trabalho de “paradigma da elementaridade lógica”. Consideraremos, como no período intermediário, esse paradigma acerca da “simplicidade” ou “elementaridade” lógica teria ocasionado uma má compreensão acerca do tipo de “generalidade lógica” envolvida em diversos âmbitos, principalmente os âmbitos linguístico e o fenomênico. Visamos trazer à tona e examinar tais enganos, com a intenção de superá-los, e assim talvez oferecer um tratamento adequado à linguagem e à percepção, que nos permita compreender o tipo de “generalidade lógica” envolvida no âmbito fenomênico, e assim compreender o que se entende por “indeterminação”, “inexatidão” ou “vagueza” nesse contexto.