Informe de Seminario para optar al grado de Licenciado en Filosofía / La presente tesina realiza en su marco teórico una breve introducción a las ideas del Círculo de Viena sobre el significado, para a continuación presentar el ataque frontal a las bases del positivismo lógico llevado a cabo por Quine, cuyo original sistema filosófico involucra sostener tesis filosóficas de carácter abarcador, dejándolas en un sector indefinido entre lo semántico, lo epistemológico y lo metafísico. Por lo anterior, la estructura de la exposición del sistema quineano se hará desde “fuera” hacia “adentro”, es decir, yendo del ataque hacia Carnap y el Círculo, pasando por sus tesis del compromiso ontológico, el holismo semántico, la indeterminación de la traducción, la relatividad ontológica y la indeterminación de la referencia, para luego ir hacia las presuposiciones empíricas tácitas que hacen su sistema creíble, o sea, la reificación como punto de continuidad entre el lenguaje natural y la teoría científica, junto con su concepción de un significado estimulativo compatible con el conjunto de sus proposiciones filosóficas. Una vez en el interior del sistema se atacará la noción de “reificación quineana” que involucra que el mundo es concebido desde nuestra niñez como un conjunto no ordenado de experiencia siendo ordenado recién con la adquisición de un lenguaje cualquiera, cosa incompatible con lo que la investigación en psicología del desarrollo ha descubierto. Finalmente, considerando que lo que muestran los experimentos hechos en niños prelingüísticos es una prueba suficiente de la falta de plausibilidad del edificio quineano, entonces se intentará hacer una reconstrucción sobre las soluciones que se han formulado históricamente a los problemas del “significado”, la “referencia” y la “comunicación”, lo que implicará inmediatamente una propuesta sobre las nociones conceptuales que debe contener una teoría más completa cuyo objeto sean los lenguajes naturales.

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2015-11-12T09:41:23Z No. of bitstreams: 1 texto completo.pdf: 2874495 bytes, checksum: 6e012c46258024982e6e3a2ba5314770 (MD5) / Made available in DSpace on 2015-11-12T09:41:23Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2874495 bytes, checksum: 6e012c46258024982e6e3a2ba5314770 (MD5) Previous issue date: 2015-02-27 / Fundação de Amparo à Pesquisa do Estado de Minas Gerais / Em 1978, Quine ([28]) apresentou um teorema global para aplicações estáveis entre a superfícies fechadas e orientadas, que relaciona a soma do grau das cúspides com a característica de Euler do contradomínio e de dois conjuntos da aplicação: um formado pelo fecho das regiões regulares que tem a orientação preservada pela aplicação e, o outro, formado pelo fecho das regiões regulares que tem a orientação invertida. Em [23], Mendes de Jesus obteve resultados que levaram a uma nova demonstração para o teorema de Quine, via transições de codimensão um e cirurgias de aplicações estáveis, no estudo do comportamento topológico dos conjuntos regulares e singulares de aplicações estáveis entre superfícies fechadas e orientadas. O objetivo deste trabalho é apresentar e essa nova demonstra ̧ao e os principais resultados que levaram a ela. / In 1978, Quine ([28]) presented a global theorem for stable applications between closed and oriented surfaces, which relates the sum of the degree of the cusps with the Euler characteristic of the codomain and two sets of the application: one formed by the closure of regular regions that have preserved by the application and orientation, the other, formed by the closure of regular regions which has inverted orientation. In [23], Mendes de Jesus obtained results that led to a new demonstration to Quine’s theorem, via transitions of codimension one and surgeries of stable applications, in topological behavior of the study of regular and singular sets of stable maps between closed and oriented surfaces. The objective of this paper is to present this new demonstration and the main results that led to it. / O autor não colocou título em inglês.

No description available.

No description available.

No description available.

No description available.

<p>This thesis is divided into two parts: the Theory of Items, and the Theory of Contexts. The latter is a further elaboration of the former.</p> <p>In the first chapter I argue against the classical doctrine of ontological-referential theory. This classical position may be represented by Russell's and by Quine's position on nonexistent objects.</p> <p>The first position that I propose to reject is the view that in order to say anything true about an object its name or description must have an actual reference. This view is represented by Russell's proposition *14.21: t-:Ψ (rx)(øx) .->. E!(rX)(øx) on which Russell writes: "This proposition shows that if any true statement can be made about (1x)(øx), then (1x)(øx) must exist". (Principia Mathematica)</p> <p>The Theory of Items rejects this view and states that whether a statement about a certain object is true or is false does not depend on the ontic status of that object. Thus, consequently, a true statement about nonexistent objects can be made (without making a distinction between a secondary and a primary occurrence as Russell did).</p> <p>The second position that is to be rejected is the view that nonexistent objects are mere nothings. This is represented by one of Quine's theorems that nonexistent objects are simply empty sets. *197 t- r -(Eβ) (α) (α=β. ≡ ø) ->. (1α)ø = 9¬</p> <p>(Mathematical Logic). For the Theory of Items, nonexistent objects are not nothings, they are somethings for they can be said to have any property whatsoever. Thus if we may have a set that contains existent objects, then we may also have a set that contains nonexistent objects. Nonexistent objects are just as much 'items' as existent ones; this is the reason why I call the theory being proposed here the 'Theory of Items' and not the Theory of Objects. The word 'item' is used instead of 'objects' to indicate the ontic neutrality of the matter that we are talking about.</p> <p>In the second chapter I will present various examples of the classical view and I will try reply to their arguments in the light of the Theory of Items explained previously.</p> <p>In the third chapter I will discuss the Theory of Contexts. I will argue that semantical features (truth and falsity) should be assigned to various statements about various items (existent or nonexistent). I maintain that the assignment of a truth value is very much context-dependent. The characteristics of contexts and various rules that iv. govern them will be discussed. More attention will be given to the fictional items and fictional contexts for no doubt they present some peculiar problems. For example if a fictional item x in a story C1 has a feature that-p, and the same item in a different story C2 has a feature that--~p, then can we validly conclude that the fictional item x is both p and ~p? My argument is based on the analysis of contexts. Only by presenting a satisfactory theory of contexts can that problem (and many other paradoxes) be solved.</p> <p>This thesis is far from being complete. There are some important topics that I do not discuss (due to page and time limitation). For example the problems of: significance and nonsignificance; whether we should take a three value logic (by incorporating significance as the third value) instead of the classical two value system; consistencies; and a possible formal theory for the Theory of Contexts. The last two of these problems are stated very briefly in the Appendix.</p> / Master of Arts (MA)

[pt] Ao sugerir o naturalismo como método filosófico, Quine propõe uma mudança na epistemologia tradicional: a filosofia deve ser considerada em continuidade com a ciência natural sendo preciso, portanto, abandonar o projeto de uma filosofia primeira dependente de investigações a priori. Para Quine, a metafísica não garante nenhuma segurança e a ciência com seu método de hipóteses verificáveis é o único e o melhor meio para o conhecimento. Segundo o naturalismo de Quine, não há diferença de natureza entre a ciência e filosofia, pois ambas relacionam teoria e experiência através da linguagem. Nesta dissertação, procuro mostrar por meio de um questionamento acerca da metodologia utilizada por Quine, algumas fragilidades presentes na sua perspectiva sobre o conhecimento filosófico. Minha estratégia consiste em mostrar como Quine rejeita os conceitos de a priori e analítico e procura, por meio do naturalismo e da concepção comportamentalista da linguagem, manter as teorias e seu aspecto abstrato no nível da experiência. Contudo, investigo a hipótese de que a tese da subdeterminação das teorias pela experiência fragiliza seu empirismo, pois ao ser aceita, impediria um naturalismo forte onde as teorias seriam produtos que dependeriam exclusivamente da experiência. / [en] By embracing naturalism as a philosophical method of investigation, Quine proposes a change in traditional epistemology: philosophy must be continuous with natural science, and, therefore, not based on a first philosophy dependent on a priori investigations. For Quine, metaphysics does not guarantee anything, and due to its method of verifiable hypotheses, science is the only and the best instrument of knowledge. In naturalism there is no difference of nature between science and philosophy because both relate experience and theory through language. In this dissertation, I argue that there are some weaknesses in this perspective on philosophical methodology and knowledge. My strategy is to analyze Quine s rejection of the notions of a priori and analytic and his claim that theories and their abstract aspects can be kept at the level of experience by combining naturalism with a behaviorist conception of language. I argue that the thesis of the underdetermination of theories by experience poses a problem for Quine s empiricism, and undermines a strong naturalism according to which theories depend exclusively on experience.

Zugl.: Berlin, Techn. Universiẗat, Diss., 2008. / Hergestellt on demand.

Orientador: Alexandre César Rodrigues da Silva / Resumo: Com a disseminação de dispositivos eletrônicos cada vez menores e o advento de novas tecnologias. A busca por métodos de minimização de funções booleanas tem sido a base para eletrônica digital. Neste trabalho apresenta-se a implementação da primeira fase do método Quine-McCluskey Estendido que utiliza-se de estruturas AND-XOR-XNOR para a geração de implicantes primos. O objetivo do trabalho foi comprovar que, na maioria das vezes, a implementação de uma função Booleana utilizando expressões AND-XOR-XNOR requerem menor quantidade de termos produtos, quando comparado com implementação com expressões AND-OR. A fase de cobertura dos mintermos em ambos os métodos foi formulada como um problema de programação linear inteira 0 e 1 que através do programa Lp_solve obteve a solução de menor custo. Na comparação da eficiência dos métodos foram analisados os custos dos circuitos mínimos gerados, a quantidade de memória utilizada e o tempo de execução. Com os resultados obtidos pode-se concluir que, para a maioria dos casos executados, o método Quine-McCluskey Estendido gera uma solução de menor custo. No entanto, com relação ao desempenho computacional (tempo de execução e memória), o método Quine-McCluskey Estendido apresentou-se inferior se comparado ao Quine-McCluskey. / Mestre