Según el punto de vista predominante en la filosofía sobre la modalidad durante la mayor parte del siglo XX cualquier noción de necesidad que pueda tener sentido es dependiente de nuestros sistemas lingüísticos de representación. Así, la distinción modal tradicional, de carácter ontológico o metafísico, entre propiedades esenciales y propiedades accidentales sólo sería admisible en la medida en que pueda verse como un antecedente, más o menos afortunado, de distinciones lingüísticas basadas en el concepto de analiticidad o de verdad en virtud del significado. Bajo esa doctrina se produce, por lo tanto, una suerte de asimilación entre la dicotomía metafísica necesario/contingente y la dicotomía semántica analítico/sintético; o debería decirse quizá, una reducción de la primera a la segunda.La diferencia entre ambas dicotomías modales se corresponde aproximadamente con la diferente fuerza modal que detectara Kripke entre verdades necesarias y verdades a priori, tal y como las clasificó en "Naming and Necessary". El aspecto más relevante de dicha obra es su critica a la confusión de ambas nociones modales, es decir, su distinción entre lo necesario y lo a priori. La distinción kripkeana entre las dos modalidades es justamente el objeto principal de esta investigación. Dicha distinción contribuye en buena medida a clarificar uno de los problemas más debatidos en la literatura filosófica sobre lo modal, y del cual me ocupo con detenimiento: el de las condiciones de identidad de objetos correspondientes a distintas circunstancias posibles, es decir, el problema de la identidad transmundana, como se le conoce cuando se habla en términos de mundos posibles: ¿qué determina que el objeto "x" y el objeto "y", pertenecientes a mundos posibles distintos, sean o no el mismo objeto? La noción de mundo posible apta para dar cuenta de la necesidad y la noción de mundo posible apta para dar cuenta de la analiticidad o de la aprioridad difieren en aspectos muy sustanciales. El propósito primordial de este trabajo es describir algunos de esos aspectos.Los objetivos y resultados de la tesis se distribuyen a lo largo de sus capítulos del siguiente modo. El origen histórico de las discusiones más relevantes sobre los fundamentos de la modalidad ha tenido lugar en estrecha conexión con el desarrollo de sistemas de lógica modal cuantificada. He juzgado apropiado comenzar la investigación analizando, en el capítulo 1, las críticas que durante los años 40 y 50 dirigió Quine a la lógica modal cuantificada. Según Quine la violación del principio de sustituibilidad en contextos modales hace ilegítima la cuantificación desde fuera del operador modal de variables que aparezcan bajo el alcance de dicho operador. Examino con detalle diferentes versiones de esa objeción.La única forma de dar sentido a ese tipo de cuantificación sería, afirma Quine, comprometerse con una doctrina insostenible: el esencialismo aristotélico. Una vía de reivindicación de la lógica modal seguida por algunos lógicos y filósofos como Marcus o T. Parsons ha consistido en rechazar esa afirmación alegando que un sistema de lógica modal no tiene por qué contar entre sus teoremas con sentencias esencialistas. Quine ha clarificado que el compromiso con el esencialismo denunciado por él no procede de los teoremas de la lógica modal cuantificada pero sí de las verdades presupuestas de algún modo al usar el lenguaje de dicha lógica. Recurriendo a una analogía entre la lógica modal cuantificada y la lógica clásica de primer orden, ofrezco una interpretación y defensa de la postura que se deja entrever en esa clarificación de Quine.Paralelamente a esas controversias, Kripke, tras haber sido uno de los primeros en proporcionar una semántica de mundos posibles para la lógica modal, propugnaba en "Naming and Necessary" una concepción de la necesidad que no rehusaba el esencialismo ya que éste parecía derivarse de sus análisis sobre la referencia de los nombres propios y de los términos de género natural. Tales análisis dependían de una diferenciación crucial entre lo necesario y lo a priori. En el capítulo 2 expongo y asumo lo esencial de esas ideas, enfatizando cómo la confusión entre verdades necesarias y verdades a priori ha fomentado el antiesencialismo. Además, presento como correlativas de la distinción necesidad/aprioritud las distinciones entre condiciones de verdad y significado, y entre propiedad y concepto. Por lo que respecta a esta última distinción. postulada también en diversos escritos de Putnam, Dretske o Kim, sugiero ver a las propiedades como funciones que asignan a mundos posibles subconjuntos de sus dominios, y a los conceptos (predicativos) como capacidades cognoscitivas para detectar propiedades mediante vías o modos de presentación específicos. Entre los resultados propios que aparecen en este capítulo se encuentra una propuesta sobre la relación entre las propiedades naturales o causalmente eficaces (que denomino universales) y el resto de propiedades: estas últimas supervienen fuertemente sobre propiedades y relaciones naturales, de acuerdo con una definición específica de superveniencia fuerte en la que apelo a la noción de mundo (metafísicamente) posible.En el capítulo 3 menciono una concepción sobre la identidad de los objetos materiales, compartida por Quine y D. Lewis, contrastándola con la teoría substancíalista defendida por Wiggins en "Sameness and Substance" que, a mi parecer, es preferible. La concepción Quine-Lewis conlleva, por ejemplo, un criterio de individuación de objetos: la región espaciotemporal ocupada por un objeto determina la identidad del mismo. Y conlleva también la identificación de los objetos con fusiones mereológicas de cualesquiera partes suyas.Muestro la afinidad de tales tesis con el rechazo del esencialismo. Contra la segunda de ellas presento un argumento propio en el que pongo de manifiesto diferencias intuitivamente reconocibles entre objetos macroscópicos típicos y fusiones mereológicas, y que conciernen a la vaguedad y a la modalidad.El resto de ese capítulo trata de la identidad transmundana. Suscribo un principio defendido por Forbes en "The Metaphysics of Modality" (que denomino principio de fundamentación de la identidad transmundana) de acuerdo con el cual las relaciones de. identidad y diversidad a través de mundos posibles han de basarse en algo; y explico por qué dicho principio, que puede entenderse como la negación del haecceitismo, no contradice ciertas consideraciones de Kripke en favor de la estipulación del contenido de los mundos posibles. Discuto además un problemático argumento de Kripke en favor de la necesidad del origen material de las mesas (cuyas dificultades han sido señaladas por N. Salmón), del que proporciono una reconstrucción inspirada por Forbes usando como premisa implícita el principio de fundamentación de la identidad transmundana.El capitulo 4 contiene las ideas principales sobre fundamentos de la modalidadmetafísica. Tal y como se sugiere en algún pasaje de "Naming and Necessary", las intuiciones paradigmáticas de lo que es una posibilidad metafísica alternativa para un objeto del mundo real conciernen a posibilidades que se ramifican del mundo real (es decir, que comparten con el mundo real un pasado temporal común). Ese punto de vista queda recogido y concretado por Forbes al proponer la que denomino Tesís Ramifícacionista: cualesquiera mundos posibles con objetos en común son mundos que se ramifican entre sí. (Una versión más fuerte de esa tesis establecería que cualesquiera mundos posibles se ramifican entre sí).A la noción de ramificación subyace la de proceso causal, modelado o encauzado de acuerdo con leyes causales: de tal manera que las posibilidades abiertas al futuro desarrollo de un proceso causal de un mundo posible "w" (las ramificaciones) corresponden exactamente a las posibilidades permitidas por las leyes que rigen en "w". Por consiguiente, mundos posibles que comparten objetos, dado que se ramificarán entre sí, compartirán también las leyes. Y si todos los mundos se ramifican entre sí entonces las leyes son necesarias.La necesidad de las leyes es también consecuencia de la teoría de Shoemaker y de Swoyer según la cual los universales se individualizan por los poderes causales que confieren a sus ejemplificaciones o, visto de otro modo, por el lugar que ocupan en la red de interconexiones nómicas integrada por todos los universales (nómicamente relacionados por las leyes causales). En defensa de dicha teoría y de dicha consecuencia presento una serie de réplicas a diversas objeciones al respecto que ha formulado Armstrong.En el capítulo 5 me ocupo de la analiticidad, desde la perspectiva que guía este trabajo: el contraste entre las dos distinciones modales: necesario/contingente y analítico/sintético (o a priori / a posteriori). Asumo la noción tradicional de verdad analítica, que propongo caracterizar vagamente como verdad cognoscible meramente a partir del conocimiento de su significado (la formulación más habitual, verdad en virtud del significado, presenta ciertas dificultades). Otra caracterización, que conlleva elucidar la modalidad analítica usando la modalidad metafísica. Es ésta: es analíticamente posible que "p" si y sólo si hay un mundo (metafísicamente) posible en que un individuo cree racionalmente que "p".Ambas formulaciones ponen de manifiesto que el concepto de analiticidad está esencialmente vinculado con conceptos epistemológicos como los de conocimiento o creencia. Supuestos esos vínculos entre semántica y filosofía de la psicología, un modo de abordar la analiticidad es abordar los constituyentes de los contenidos de las actitudes proposicionales, es decir, los conceptos. Presento la teoría sobre conceptos de Peacocke, cuya tesis central es que los conceptos se individualizan por las condiciones requeridas para poseerlos. Si ignoramos una matización que sería necesario introducir en dicha tesis (exigida por el holismo en las relaciones entre algunos conceptos), podemos ilustrar así 1a necesidad kripkeana a posteriori: la meramente aparente contingencia de enunciados como "agua=H2O" (es decir, su carácter a posteriori) consistiría en la genuina posibilidad de que alguien poseyera el concepto agua pero no poseyera el concepto H2O o viceversa. / In this Doctoral Dissertation the Kripkean distinction between two modal dichotomies (the metaphysical necessary/contingent dichotomy and the epistemological "a priori/a posteriori" dichotomy) is used to clarify a number of topics related with essentialism, possible worlds and transworld identity. These are some of the main thesis sustained:(1) Quine's claim that quantified modal logic is committed to essentialism is made plausible by stressing the difference between necessary truths and theorems of modal logic.(2) Quine and D. Lewis share a view on identity conditions for material objects according to which (i) if "a" and "b" occupy the same spatio-temporal area then "a" ="b", and (ii) macroscopic objects are identical to mereological sums of their parts. An alternative theory defended by Wiggins lacks some important difficulties (involving vagueness and modality) that the Quine-Lewis view has.(3) The branching conception of modality (suggested by Kripke and explicitely slated by Forbes) provides grounds for transworld identity: if "u" and "v" are possible worlds with objects in common, then "u" and "v" have some initial segment of their courses of history in common; so transworld identity is partly grounded in transtemporal identity.(4) The branching view is close to the claim that laws are necessary, which is also a consequence of Shoemaker's theory of properties: these are individuated by the causal powers they bestow on their instances.(5) Every genuine properly strongly supervenes on natural properties and relations (according to a technical definition of that notion of supervenience).(6) I suggest this elucidation of the relation between (metaphysical) necessity and analyicity: it is analytically possible that "p" if and only if it is metaphysically possible for someone rationally to believe that "p".

The first part of this thesis articulates and defends the Subjectivist View of the Mental. According to this view, my mental states are essentially different from the mental states of everyone else, but the fact that they are is a subjective fact, rather than an objective one. Chapter 1 explains what it takes for a fact to be subjective, what kind of difference holds between my mental states and everyone else's mental states and what kind of intuitions lead me to believe that there is such a difference. Chapter 2 defends the Subjectivist View of the Mental from objections and discusses some of its most significant implications. In the second part of the thesis, I explore the advantages that the Subjectivist View of the Mental offers when it comes to accounting for three basic features of our knowledge of the mental. Chapter 3 deals with the asymmetry between self-knowledge and knowledge of other minds. It is argued that, if the Subjectivist View of the Mental is true, we can explain why this asymmetry holds without assuming that self-knowledge and knowledge of other minds are involved with substantially different ways of knowing. Chapter 4 focuses on the immunity to error through misidentification of mental self-ascriptions. I show that, while there has been a temptation to explain this phenomenon by following Lichtenberg and Wittgenstein in taking the content of mental self-ascriptions to be general rather than particular, this proposal cannot be made to work unless something like the Subjectivist View of the Mental is true. Chapter 5 is concerned with experiential knowledge. I argue that, if experiential truths are taken to be objective truths, it is not easy to see why experiential knowledge should have the peculiar 'first-hand' character it has. The problem disappears if experiential truths are regarded as subjective rather than objective. / La primera parte de esta tesis articula y defiende la Teoría Subjetivista de lo Mental. Según esta teoría, mis estados mentales son esencialmente diferentes de los estados mentales de los demás, pero el hecho de que lo son no es un hecho objetivo, sino que un hecho subjetivo. El Capítulo 1 explica qué significa que un hecho sea subjetivo, qué tipo de diferencia hay entre mis estados mentales y los estados mentales de los demás y qué tipo de intuiciones me llevan a creer que haya esta diferencia. El Capítulo 2 defiende la Teoría Subjetivista de lo Mental frente a objeciones y discute algunas de sus implicaciones más importantes. En la segunda parte de la tesis, voy a examinar las ventajas que la Teoría Subjetivista de lo Mental ofrece cuando se trata de dar cuenta de tres fenómenos característicos de nuestro conocimiento de los hechos mentales. El Capítulo 3 trata de la asimetría entre el conocimiento de nuestra propia mente y el conocimiento de otras mentes. Se argumenta que, si la Teoría Subjetivista de lo Mental es correcta, es posible explicar esta asimetría sin asumir que el conocimiento de nuestra propia mente y el conocimiento de otras mentes están basados en diferentes formas de conocimiento. El Capítulo 4 se centra en la “inmunidad al error mediante identificación equivocada” de las auto-atribuciones mentales. Lo que voy a mostrar es que, aunque haya habido una tendencia a explicar este fenómeno diciendo (como Lichtenberg y Wittgenstein) que el contenido de la auto-atribuciones mentales es general y no particular, esta estrategia no puede funcionar a menos que la Teoría Subjetivista de lo Mental sea correcta. El Capítulo 5 se ocupa del conocimiento experiencial. Se argumenta que, si las verdades experienciales son consideradas como verdades objetivas, es difícil explicar porqué el conocimiento experiencial tiene que ser conocimiento de 'primera mano'. El problema desaparece si las verdades experienciales son consideradas como verdades subjetivas.

Complex hardware systems become more and more ubiquitous in mission critical applications such as military, satellite, and medical to name but a few. In such applications, reliability remains a primary concern because a failure that occurs during their normal operations might produce important catastrophes like loss of life or loss of money. All these failures are often caused by minuscule bug that exists inside the software which controls the systems, or within the hardware itself. In addition, most of these systems cannot be interrupted while working, even for a few seconds a year, making it difficult to repair bugs found during their normal operations. The main purpose of this work is to build efficient verification techniques for asynchronous concurrent systems. Because of the pivotal roles these systems assume in a given application, designers of such systems must keep development and maintenance costs under control and meet nonfunctional constraints on the design of the system, such as cost, power, weight, or the system architecture by itself. But most importantly, they must assure their customer as well as the certification authorities that both the design and its implementation are correct. Otherwise, they may end up shipping unsafe systems to the market, and the consequences of this action would be catastrophic. To achieve this goal, designers need efficient methods and tools to assist them in verifying the correctness of the design. In this thesis we focus on a symbolic model checking technique called bounded model checking (BMC). BMC is a method targeted mainly at finding bugs in a system. It answers the questions whether there exists a counterexample, shorter than a given length, that violates a given property. During a BMC operation each execution path is encoded into Boolean formula, and the problem is reduced to satisfiability checking of the formula. Therefore, the operation consists mainly in constructing a Boolean formula that is satisfiable if and only if such a counterexample exists. We model our systems with transition systems (TSs). In particular, we are mainly interested in synchronized product of TSs. Since concurrent systems are formed by a combination of several components communicating between each other, synchronized product of TSs is well-suited to capture the behavior of such systems. The executions of concurrent systems are commonly modeled using the so-called interleaving execution, which allows only one single event to fire at each step. However, due to the complexity of such systems inteleaving method will not only require many steps but also generate long formulas. In this work, we adopt another approach based on breadth-first search (BFS). In a BMC operation, the translation of the model into a Boolean formula is polynomial in the size of the model, but the solving time of the Boolean formula can be exponential in the size of the formula. Therefore, our research hypothesis is that we can improve the efficiency of BMC by generating succinct formula, and by minimizing the number of necessary steps during an execution. We introduce several BMC techniques aimed at improving the efficiency of BMC for asynchronous concurrent systems. The techniques are grouped in two main parts (i) techniques for checking reachability properties and (ii) techniques for checking properties written in linear temporal logic (LTL). In addition, we also propose some methods for minimizing the number of execution steps or bound. We implemented all these methods in a BMC toolset. At the end of the dissertation, we will discuss the experimental results we obtained.

Orientadora: Deise Maria Antonio Sabbag / Banca: Carlos Cândido de Almeida / Banca: Solange Puntel Mostafa / Resumo: A realização de um intercâmbio de saberes e de conhecimentos é possível por meio da interdisciplinaridade. Dessa forma, as áreas de interesse precisam de identidade, a fim de que, mediante visões diferentes, ocorra a compreensão de um objeto comum. Existe uma complexidade no campo informacional que pede uma rede de cooperação científica. Sendo assim, são necessários enriquecimentos teóricos e conceituais. Nesse horizonte, os estudos sobre linguagem e discurso devem ser reconhecidos como indispensáveis na Ciência da Informação. Os trabalhos ligados às vertentes francesas de Análise do Discurso, cuja fundamentação teórica está alicerçada nos estudos de Michel Pêcheux, de Michel Foucault e da Sociolinguística, auxiliam no entendimento de como as relações de poder são simbolizadas e sustentadas no campo informacional. Destarte, esse trabalho investiga como os estudos franceses sobre discurso estabelecem suas interações epistemológicas com a Organização da Informação e do Conhecimento no contexto brasileiro. Expõe, ademais, como a Teoria do Discurso colabora na interpretação dos processos linguísticos, ideológicos e políticos que se manifestam nos modos de ordenar, representar e disseminar a informação e o conhecimento. Desse modo, as formas de organizar a informação não são neutras, pois estão inseridas em uma dimensão ideológica. Elas são dependentes das condições de produção e dos anseios interpretativos dos sujeitos envolvidos nos processos informacionais. As relações de poder... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The realization of an exchange of knowledge and wisdom is possible through interdisciplinarity. In this way, the areas of interest need identity, so that, through different visions, the understanding of a common object occurs. There is a complexity in the information field that calls for a network of scientific cooperation. Therefore, theoretical and conceptual enrichment is necessary. Within this horizon, studies on language and discourse must be recognized as indispensable in Information Science. The works related to the French aspects of Discourse Analysis, whose theoretical foundation is based on the studies of Michel Pêcheux, Michel Foucault and Sociolinguistics, help in the understanding of how the relations of power are symbolized and sustained in the informational field. Thus, this work investigates how the French studies on discourse establish their epistemological interactions with the Organization of Information and Knowledge in the Brazilian context. It also shows how Discourse Theory contributes to the interpretation of the linguistic, ideological and political processes that are manifested in the ways of ordering, representing and disseminating information and knowledge. In this way, the ways of organizing information are not neutral, since they are inserted in an ideological dimension. They are dependent on the conditions of production and the interpretative longings of the subjects involved in the informational processes. Power relations, therefore, must be co... (Complete abstract click electronic access below) / Mestre

Orientador: Marcos Antonio Alves / Banca: Osvaldo Frota Pessoa Júnior / Banca: Max Rogério Vicentini / Resumo: Nesta Dissertação desenvolvemos uma análise do estatuto científico da ciência cognitiva, em sua fase inicial, mais especificamente no período entre as décadas de 1940 e 1970. Como ponto de partida, utilizamos a abordagem epistemológica de Thomas Kuhn sobre as revoluções científicas. Para alcançar esse objetivo, dividimos a dissertação em três capítulos. No primeiro, expomos alguns dos principais conceitos relacionados à abordagem de Kuhn referentes à estrutura das revoluções científicas. Um dos conceitos-base dessa perspectiva é a noção de paradigma. Um paradigma estabelece e norteia a atividade de uma comunidade científica. Ele é constituído, dentre outras coisas, por teorias empiricamente testáveis, métodos de pesquisa, experimentos, formas de procedimentos, conjuntos de leis e princípios. Indica, ainda, os problemas a serem desenvolvidos pela comunidade científica, determinando uma agenda científica. Via de regra, a fase inicial de uma nova área de pesquisa é marcada por um momento de luta paradigmática, caracterizando-se pela existência de diversos paradigmas rivais. Desde o momento em que um deles passa a ser dominante, a área de pesquisa alcança o estatuto de ciência normal. Uma vez apresentada, de maneira geral, a abordagem de Kuhn, no segundo capítulo passamos a tratar da ciência cognitiva em sua fase inicial. Ainda com raízes na cibernética, esse movimento intelectual, em seus primeiros momentos, almejava instaurar uma ciência dos processos cognitivos. Essa perspecti... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In this dissertation, we seek to develop an analysis of the scientific status of cognitive science in its initial phase, more specifically the period between the 1940s and 1970s. As a starting point for this analysis, we use Thomas Kuhn's epistemological approach to revolutions scientific research. To achieve this goal, we divided the dissertation into three chapters. In the first, we present some of the main concepts related to Kuhn's approach to the structure of scientific revolutions. One of the basic concepts of this perspective is the notion of paradigm. A paradigm establishes and guides the activity of a scientific community. It is constituted, among other things, by empirically testable theories, methods of research, experiments, forms of procedures, sets of laws and principles. It also indicates the problems to be developed by the scientific community, determining a scientific agenda. As a rule, the initial phase of a new area of research is marked by a moment of paradigmatic struggle, characterized by the existence of several rival paradigms. From the moment one of them becomes dominant, the area of research reaches the status of normal science. Having presented, in general, Kuhn's approach, in the second chapter we turn to cognitive science in its initial phase. Still rooted in cybernetics, this intellectual movement, in its first moments, aimed to establish a science of cognitive processes. This perspective adopts by methodological principle the conception that cer... (Complete abstract click electronic access below) / Mestre

Orientador: Romulo Campos Lins / Orientador: Heloisa da Silva / Banca: João Ricardo Viola dos Santos / Banca: Jorge Tarcísio da Rocha Falcão / Banca: Marcus Vinicius Maltempi / Banca: Regina Luzia Corio de Buriasco / Resumo: Este estudo encontra sua justificação no cenário mais amplo de uma pesquisa bibliográfica sobre teorias de educação matemática como as postuladas em Lins, Freudenthal, Davidov, Brosseau, etc., no qual procuramos por desenvolvimento teórico na perspectiva do Modelo dos Campos Semânticos (LINS, 1999, 2004, 2008, 2012), a propósito de gerar meios a caracterizar "ação didática" quando fundamentada em diferentes teorias de educação matemática. A intenção é alcançar dizer de modelo didático a partir do ponto de vista teórico de diferentes constructos de educação matemática. Neste largo cenário, a ideia de caracterizar "ação didática" em diferentes teorias para então oferecer delas uma leitura em paralelo, nos trouxe diante de uma questão central que a precede: a de buscar uma forma de abordar diferença para tecer um contexto em que "ação didática" no escopo de uma teoria não fosse lida por falta no escopo de outra, nem em discursos sobre "melhoria" do ensino de matemática. Este foi o objetivo central desta tese que se caracteriza, então, na produção de um conjunto de ensaios em cuja forma buscamos abordar diferença como experiência necessária e anterior para um modo de ler modelos didático-teóricos e dizer de "ação didática" em educação matemática. Neste intento, a teoria epistemológica do conhecimento elaborada por Romulo Campos Lins, o Modelo dos Campos Semânticos (MCS), comparece tanto como metodologia de pesquisa à produção da forma dos ensaios, quanto como uma das teorias de e... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This study finds its justification in the broader scenario of one bibliographical research on mathematical education theories such as those postulated by Lins, Freudenthal, Davidov, Brosseau, etc. In it, we seek theoretical development from the perspective of the Model of Semantic Fields (LINS, 1999, 2004, 2008, 2012) in order to generate means to characterize "didactical action" when based on different theories of mathematical education. The intention is to talk about a didactical model from theoretical points of view of mathematical education constructs. In this scenario, the idea of characterizing "didactical action" in different theories, to offer from them a parallel reading, brought us to a central question that precedes it. The question is to seek a way of approaching difference to produce a context in which "didactical action", in the scope of one theory, would not be read in the scope of another one through a deficit reading and nor in discourses on "improvement" of mathematics teaching. This was the central aim of this dissertation. It is characterized as a cluster essays production, in which form we search a way of approaching difference as a necessary and previous experience to a mean of reading "didactical action" and saying of didactical models in mathematical education. In this attempt, the epistemological theory of knowledge elaborated by Romulo Campos Lins, the Model of Semantic Fields, appears on one side, as a research methodology to the production of the e... (Complete abstract click electronic access below) / Resumen: Este estudio encuentra su justificación en el escenario más amplio de una investigación bibliográfica sobre teorías de educación matemática como las postuladas en Lins, Freudenthal, Davidov, Brosseau, etc., en el cual buscamos por desarrollo teórico en la perspectiva del Modelo de los Campos Semánticos (LINS, 1999, 2004, 2008, 2012), a propósito de generar medios para caracterizar "acción didáctica" cuando está fundamentada en diferentes teorías de educación matemática. La intención es llegar a decir de modelo didáctico desde el punto de vista teórico de diferentes constructos de educación matemática. En este escenario, la idea de caracterizar "acción didáctica" en diferentes teorías para entonces ofrecer de ellas una lectura en paralelo, nos trajo ante una cuestión central que la precede: la de buscar una forma de abordar diferencia para tejer un contexto en que "acción "didáctica" en el alcance de una teoría no fuera leída por falta en el ámbito de otra, ni en discursos sobre "mejora" de la enseñanza de matemáticas. Este fue el objetivo central de esta tesis que se caracteriza entonces, en la producción de un conjunto de ensayos en cuya forma busco abordar diferencia como experiencia necesaria y anterior para un modo de leer "acción didáctica" y decir de modelos didácticos en educación matemática. En este intento, la teoría epistemológica del conocimiento elaborada por Romulo Campos Lins, el Modelo de los Campos Semánticos (MCS), aparece tanto como metodología de investigac... (Resumen completo clicar acceso eletrônico abajo) / Doutor

O presente trabalho pretende discutir o papel da noção de modelo dentro da Bildtheorie, ou concepção-Bild, de Boltzmann por meio de uma reconstrução parcial das visões sobre a Natureza e sobre a Ciência deste cientista-filósofo austríaco, em termos de imagem científica de natureza e imagem filosófica de ciência. Queremos destacar as contribuições epistemológicas de Boltzmann para a Física e para a Filosofia da Ciência a partir de sua concepção de mundo (Weltanschauung), baseadas em uma visão mecânico-estatística de natureza e em suas posturas filosóficas pautadas pelo pluralismo, pelo representacionalismo e pelo naturalismo (bem como sua defesa ao atomismo, ao método hipotético-dedutivo, a bem da criatividade científica). Consideramos estes os elementos fundamentais para a compreensão do papel da noção de modelo dentro da ecologia cognitiva global boltzmanniana, papel que se nos parece fundamental para a manutenção da coerência desta estrutura global. / The present work intends to discuss the role of the notion of the model within Boltzmann\'s Bildtheorie, or conception-Bild, by means of a partial reconstruction of the visions on the Nature and on the Science of this Austrian scientist-philosopher, in terms of scientific image of nature and philosophical image of science. We want to emphasize Boltzmann\'s epistemological contributions to Physics and to the Philosophy of Science from his world\'s conception (Weltanschauung), based on a mechanical-statistical view of nature and its philosophical positions guided by pluralism, representationalism and naturalism (as well as his defense of atomism, the hypothetical-deductive method, for the sake of scientific creativity). We consider these the fundamental elements for the understanding the role of the notion of the model within Boltzmann\'s global cognitive ecology, role that seems fundamental to the maintenance of the coherence of his global structure.

Orientador: José Augusto Chaves Guimarães / Banca: Leilah Santiago Bufrem / Banca: Marisa Bräscher Basílio Medeiros / Resumo: Estudo sobre as posturas epistêmicas que influenciam o domínio de organização do conhecimento (OC) por meio da análise da sua produção científica. Descrever a concepção da epistemologia no periódico Knowledge Organization por meio da metateoria é o objetivo geral proposto desta pesquisa. Estabelece outros cinco objetivos específicos que apoiarão o desenvolvimento da pesquisa para responder ao objetivo geral: a) analisar a produção científica em epistemologia da organização do conhecimento publicado no periódico Knowledge Organization; b) discutir o conceito de epistemologia no domínio da organização do conhecimento; c) identificar os propósitos da epistemologia da organização do conhecimento; d) apresentar um entendimento mais profundo das principais influências epistemológicas no domínio da organização do conhecimento. O corpus é formado por 31 artigos científicos publicados no periódico Knowledge Organization. A metodologia é baseada em um estudo exploratório e descritivo, formado por três partes: coleta de dados, análise e síntese. Os dados foram coletados por meio da base de dados Web of Science (WoS) onde o periódico Knowledge Organization é indexado. Na análise, duas ferramentas da teoria fundamentada em dados foram utilizadas, codificação e memorandos. A análise e a síntese foram feitas baseadas nos códigos e memorandos gerados na fase da coleta. O processo de codificação é formado por códigos abertos, códigos axiais e códigos seletivos. Três famílias de atributos fora... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: It is a study about the epistemic stances that influence the knowledge organization domain by analyzing its scientific production. To describe the conception of epistemology in the Knowledge Organization journal through metatheory is the general objective of this research. It establishes other four specific objectives that will support the development of the research to answer the general objective: a) to analyze the scientific literature on epistemology of knowledge organization published in the Knowledge Organization journal; b) to discuss the concept of epistemology in the knowledge organization domain; c) to identify the purposes of epistemology on the knowledge organization domain; d) to present a deeper understanding on the main epistemological influences on the knowledge organization domain. The corpus is composed by 31 scientific papers published in the journal Knowledge Organization. The process of the study is composed by exploratory and descriptive study and, it has three parts: data collection, analysis and, synthesis. The data was collected through the database Web of Science (WoS) where the Knowledge Organization journal is indexed. In the analysis stage, two grounded theory tools were used, coding and memoing. The analysis and synthesis were made based on codes and memos generated in the collection stage. The coding process is formed by open coding, axial coding and selective coding. Three attribute families were identified and analyzed in this research: the co... (Complete abstract click electronic access below) / Resumen: Estudio sobre las posturas epistémicas que influencian el dominio de organización del conocimiento (OC) a través del análisis de su producción científica. Describir la concepción de la epistemología en la revista Knowledge Organization a través de la metateoría es el objetivo general propuesto de esta investigación. Establece otros cinco objetivos específicos que apoyaran el desarrollo de la investigación para responder al objetivo general: a) analizar la producción científica en epistemología de la organización del conocimiento publicada en el periódico Knowledge Organization; b) discutir el concepto de epistemología en el ámbito de la organización del conocimiento; c) identificar los propósitos de la epistemología de la organización del conocimiento; d) presentar un entendimiento más profundo de las principales influencias epistemológicas en el dominio de la organización del conocimiento. El corpus está formado por 31 artículos científicos publicados en la revista Knowledge Organization. La metodología se basa en un estudio exploratorio y descriptivo, que tiene tres partes: recolección de datos, análisis y síntesis. Los datos fueron recolectados a través de la base de datos Web of Science (WoS) donde se indiza el periódico Knowledge Organization. En el análisis, dos herramientas de la teoría fundamentada en datos fueron utilizadas, codificación y memorandos. El análisis y la síntesis se basó en los códigos y memorandos generados en la fase de recolección. El proceso de codi... (Resumen completo clicar acceso eletrônico abajo) / Doutor

Orientador: Hélio Rebello Cardoso Júnior / Banca: Milton Carlos Costa / Banca: Marcos Alexandre Gomes Nalli / Resumo: As reflexões epistemológicas de Paul Veyne são fundamentais para a escrita da história. Historiador que mantém um diálogo constante com as ciências humanas, principalmente a filosofia e a sociologia, Veyne aborda temas clássicos e atuais caros à história, tais como: acontecimento, causalidade, intriga, método, teoria, conceituação, cientificidade e progressos do conhecimento histórico. Nesta pesquisa, apresentaremos quatro textos da epistemologia veyniana: Como se escreve a história (1971), obra de vasta erudição, na qual Veyne está preocupado em pensar as problemáticas da narrativa histórica e as relações que esta estabelece com as ciências humanas; A história conceitual (1974), texto que explora a conceituação dos acontecimentos, para evitar que a narrativa histórica se atenha meramente ao factual; O inventário das diferenças: história e sociologia (1976), trabalho inicialmente proferido como Aula Inaugural no Collège de France, obra em que se estreitam as relações entre história e sociologia, e se estabelecem certos dispositivos teóricos para a pesquisa histórica; e, finalmente, Foucault revoluciona a história (1978), que versa sobre as contribuições de Michel Focault para a história. Após apresentarmos a epistemologia de Veyne, discutiremos determinados aspectos de seu pensamento, relacionados com a filosofia de Michel Foucault, com o marxismo e com a hermenêutica. Por fim, analisaremos a recepção de sua obra no Brasil, por meio de comentários pontuais e trabalhos dedicados exclusivamente a sua epistemologia. / Abstract: The epistemologic reflections of Paul Veyne are fundamentally rooted in history. An Historian who keeps a constant dialogue with the human sciences, Veyne approaches classical and current themes so important to history, such as cause and effect, intrigue, method, theory, conceptualization, scince, and historical knowledge progress. In this research, we will show four texts of Veynian epistemology: Como se escreve a história (1971), a vast eruditon work, in which Veyne is concerned with the problems of the narrative and the relation that history establishes with the human sciences; A história conceitual (1974) explores the conceptualization of events in order to avoid the historical narrative ; O inventário das diferenças: história e sociologia (1976) announced at the opening lecture at College de France, which focuses on the relationship between sociology and history, establishing certain theoretical dispositives for historical research; and Foucault revoluciona a história (1978), which discusses the contributions of Michel Foucault to history. After introducing the epistemology of Veyne, we will discuss certain aspects of his thought with the philosophy of Michael Foucault, Marxism, and hermeneutica. Finally, we will analyse the reception of his work in Brazil through selected comments and works exclusively dedicated to his epistemology. / Mestre

\"As Investigações lógicas\", de Edmund Husserl, têm sua origem na busca por uma nova fundamentação para a lógica. Tal objetivo resulta, em grande parte, de insatisfações em relação à compreensão da lógica como ramificação da psicologia, que, para Husserl, culminaria em contradição. Em oposição a essa teoria, o autor argumenta em prol de uma lógica verdadeira em si, possível apenas a partir de uma compreensão da verdade como ideia, independente de toda facticidade empírica. Husserl recusa-se, contudo, a subscrever à noção de uma idealidade hipostatizada, parte de uma realidade própria, separada do mundo sensível. Como é possível, então, sustentar simultaneamente essas duas posições? Para responder a essa questão e clarificar a relação entre as esferas do real e do ideal na obra, examinarei o texto das Investigações dando especial atenção ao lugar ocupado pela idealidade. Mostrarei, assim, que a compreensão husserliana de conceitos como expressão, ato mental e intencionalidade permite ao autor atribuir uma posição peculiar aos objetos ideais, que existem como objetos legítimos, sem situá-los num domínio totalmente separado daquele dos objetos da sensibilidade. / Edmund Husserl\'s \"Logical Investigations\" have their starting point in the search for a new foundation for Logic. This goal springs to a great extent from dissatisfactions regarding the prevailing theory of Logic as a branch of Psychology, which results, to the author, in blatant contradiction. Opposing this theory, Husserl argues for a logical science that is true in itself, possible only when truth is taken as an idea, free from all empirical facticity. At the same time, the author refuses to subscribe to the idea of a hypostatized ideality, pertaining to its own realm, separate from the world of sensibility. How is it possible, then, to concurrently support these two positions? To answer this question and clarify the relationship between the spheres of real and ideal, we will delve into the Logical Investigations with an eye to the role fulfilled by ideality in their pages. In doing this, I will show that Husserl\'s understanding of concepts such as expression, act and intentionality allow him to assign a special role to ideal objects, which exist as legitimate objects, without consigning them to a realm completely foreign to that of the objects of sensory perception.