[pt] A dissertação consiste em uma reflexão sobre a noção de existência. É feita, de início, uma breve exposição a respeito do argumento ontológico de Santo Anselmo e o tipo de concepção de existência que ele demanda. A seguir, é empreendida uma breve investigação a respeito da visão de três pilares de nossa tradição filosófica a respeito da noção de existência: Hume, Kant e Frege. Suas concepções são estudadas, até certo ponto, em separado, a fim de que possam ser trazidos à luz seus principais aspectos e os contornos peculiares que conferem à noção de que pretendem dar conta. Posteriormente, são postas lado a lado em um cotejo de algumas de suas mais relevantes semelhanças e discrepâncias. A esse estudo, segue-se uma investigação crítica. Em primeiro lugar, é exposta a parte negativa desta: algumas observações a respeito de problemas envolvidos em cada um dos tipos de concepção da existência exemplificados nas partes precedentes, mescladas a reflexões a respeito da relação da existência com noções como quantificação e indivíduo, às quais dão ensejo. Em segundo lugar, sua parte positiva: com base nas observações já feitas, algumas sugestões de como dar conta de certos aspectos relevantes da noção de existência. A dissertação inclui ainda um apêndice em que se leva a cabo uma breve incursão no pensamento aristotélico. Mais precisamente, será investigada a relação entre a existência e a quantificação no contexto da teoria do quadrado das oposições, tal como formulada no célebre tratado De Interpretatione. / [en] The dissertation consists of a reflection on the notion of existence. At first, a brief exposition about St. Anselms ontological argument and the kind of conception of existence that it demands is made. After that, a brief investigation regarding the vision of the notion of existence of three main pillars of our philosophical tradition - Hume, Kant and Frege - is undertaken. To a certain extent, their conceptions are studied separately, so that the main aspects and peculiar outline that they convey to the notion of which they intend to give an account can be brought to light. Subsequently, these conceptions are put side by side in a comparison of some of their most relevant similarities and discrepancies. This study is followed by a critical investigation. First, its negative part is exposed: some observations regarding problems involved in each one of the kinds of conception of existence exemplified in the precedent parts, mixed with reflections on the relation between existence and notions such as that of individual and quantification to which they give rise. Secondly, its positive part: based on the observations already made, some suggestions on how to give an account of some relevant aspects of the notion of existence. The dissertation also contains an appendix in which a brief incursion in the aristotelian thought is undertaken. More specifically, it consists of an investigation regarding the relation between existence and quantification in the context of the theory of the square of oppositions as formulated in the famous treatise De Interpretatione.

Orientador: Hércules de Araújo Feitosa / Co-orientador: Marcelo Reicher Soares / Resumo: Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / Abstract: This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible. / Mestre

Este trabalho apresenta o desenvolvimento de um sistema inteligente para análise da técnica de pedalada aplicada por ciclistas. Para isso, desenvolveu-se um par de pedais de encaixe instrumentados, a partir dos quais é possível medir a componente de força normal aplicada nas partes frontal e posterior dos pedais. O modelo virtual da célula de carga experimental foi desenvolvido através da digitalização dos pedais de encaixe comerciais, utilizando-se um sistema comercial de escaneamento 3D com precisão declarada de 0,1mm. Cada pedal foi instrumentado com oito extensômetros de resistência elétrica (HBM 1-LY-13-1.5/350). Posteriormente os carregamentos máximos em cada eixo de medida de força foram estabelecidos utilizando-se uma plataforma de aquisição comercial específica para medida de deformação mecânica. Considerando-se os valores determinados, desenvolveu-se o circuito de condicionamento e realizaram-se os ensaios de deformação estática, obtendo-se as funções de transferência de saída de tensão elétrica em função do carregamento mecânico. O erro de linearidade máximo, considerando todos os canais, ficou abaixo de 0,75% e a máxima incerteza expandida (k=2) por canal, obtida através da aplicação do método clássico, foi de 1,55%. Em sequência, integrouse o sistema de pedais desenvolvido a dois outros sistemas, são eles: um par pedivelas experimentais instrumentados, capazes de medir as três componentes da força aplicada aos pedais e transmitidas aos pedivelas com um erro de linearidade abaixo de 0,6% e uma incerteza combinada inferior a 3,22%, e um sistema de cinemetria comercial, cuja precisão declarada pelo fabricante é de 1mm. Para possibilitar uma comparação quantitativa entre treinos ou ciclistas, implementou-se um sistema inteligente, baseado em redes Neuro-Fuzzy (ANFIS). A partir dos valores da potência média, do desvio padrão da potência e da assimetria bilateral média, obtidos ao longo de ensaios realizados sob protocolo desenvolvido especificamente para este trabalho, um score que representa o nível da técnica de pedalada apresentado pelo ciclista é determinado. Com intuito de testar o sistema, desenvolveu-se um projeto de experimentos com 2 fatores controláveis (sujeito e nível de frenagem de um rolo de treinamento), e realizou-se ensaios com oito ciclistas de características fisiológicas e níveis de preparos distintos. Através da análise estatística, constatou-se que das 23 variáveis de resposta consideradas ao longo do experimento, 23 são influenciadas significativamente pelo fator controlado sujeito e oito são influenciadas significativamente pelo fator controlado nível de frenagem magnética. / This report describes the development of an intelligent pedaling technique analysis system. To accomplish that, a pair of road bicycle pedals (SHIMANO R540) were instrumented to measure the forces that are applied to the front and back regions of the pedals. The virtual models of the pedals were developed based on a 3D scanned mesh developed with aid of a commercial 3D scanning system with a precision of 0.1mm. Each pedal was instrumented with eight electrical resistance strain-gages (HBM 1-LY-13-1.5/350). After that, the range of the mechanical deformation of each measurement channel was determined with aid of an industrial deformation acquisition system. The conditioning circuit was developed based on the mechanical deformation ranges previously determined and the static calibration experiment was performed to determine the voltage output transfer functions. The maximum linearity error determined per channel was 0,75% and the maximum expanded uncertainty (k=2), determined applying the classical methodology, was 1,55%. After that, the instrumented pedals developed were integrated with two complementary systems, which are: a pair of instrumented crank arm load cells which measure the components of the force applied to the bicycle pedal with a linearity error under 0.6% and an uncertainty of 3,22% and an Optitrack motion track system with a declared accuracy of 1mm. An intelligent pedaling technique analysis system was implemented through an Adaptive Neuro Fuzzy Inference System (ANFIS) to determine the cyclist pedaling technique score based on three inputs: the average power applied to bicycle pedal, the average power standard deviation and the bilateral asymmetry index, all of them collected under an experimental protocol specifically designed for this application. To evaluate the behavior of the system developed a randomized block experiment design with two controlled factors was performed indoor with aid of an ergometer roll; 160 sprints were conducted with eight subjects of different training levels. From the data collected an ANOVA test was performed, which confirmed that all the 23 response variables vary significantly in function of the subject’s controlled factor and eight of them vary significantly in function of the magnetic braking level.

Made available in DSpace on 2016-04-26T18:18:32Z (GMT). No. of bitstreams: 1 MARIA DE LOURDES BACHA.pdf: 3487465 bytes, checksum: 82b4a08bc24e694d1c96622e8b238070 (MD5) Previous issue date: 1999-03-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Esta tese tem como objetivo analisar o diálogo de Peirce com Mil com respeito ao fundamento e à validade da indução. Inicialmente apresentamos um resumo do percurso histórico sobre o conceito da indução, passando por algumas idéias de Aristóteles (que desenvolveu a doutrina dos silogismos e também criou o termo apagoge, cuja tradução latina é indução e para quem a indução diz respeito a todos aqueles casos de argumentos não demonstrativos nos quais a verdade das premissas não requer a verdade da conclusão), por Bacon (que foi o primeiro filósofo a formular uma teoria da indução apropriada para ser usadas nas ciências naturais), por Hume (que formula a grade questão da indução, isto é, como se justificam as inferências indutivas? Qual o fundamento de nossas conclusões a partir da experiência?) e por Mill, que é o grande interlocutor de Peirce na questão da indução e cuja teoria da indução tem fundamento no principio da uniformidade da natureza. A seguir trazemos o percurso evolucionário das ideais peircianas sobre indução como correlatas do realismo, para finalmente, discutirmos críticas e argumentos que Peirce dirige a Mill, cuja ênfase está na questão na uniformidade da natureza e na lei da causalidade

Resumo: Esta dissertação investiga os processos de inferência - dedução, indução e abdução - nos seres humanos, e os compara com as contribuições tradicionais dos procedimentos de inferência aplicados nas ciências cognitivas, até resultados originados recentemente. Para essa investigação, apresentam-se primeiro os processos de inferência; mostram-se, então, relatos de Varela sobre o percurso seguido por alguns estudiosos que pretenderam definir a noção de cognição; e destacam-se estudos sobre os sistemas dinâmicos realizados por alguns autores como Bertalanffy, Kelso, Prigogine e outros. Pode-se caracterizar a abdução como surpresa, a possibilidade ainda indefinida; mas para chegarse a explicações do fato surpreendente usam-se processos dedutivos para confrontação com o que já é conhecido e processos indutivos com os quais generaliza-se o fato. Existe um terceiro elemento que liga idéias possíveis a idéias factuais existentes e, então, interpreta-se essa nova idéia, ou como pertencente a alguma lei já conhecida, ou como alguma lei ou hábito novo. A ciência cognitiva clássica estuda a cognição conforme o cognitivismo, isto é, a partir de símbolos e regras pré-definidas. Os sistemas que seguem os modelos da ciência cognitiva clássica não fazem observações empíricas sobre o mundo em que estão inseridos. A abordagem teórica que estuda a cognição ou o comportamento inteligente como resultado da interação direta do indivíduo com o ambiente é a ciência cognitiva dinâmica ou cognição situada e incorporada. Segundo estudiosos dessa abordagem, o sistema cérebro-corpo-ambiente é que deve ser observado para o entendimento da cognição. Nessa abordagem, tenta-se explicar os comportamentos do senso comum, ou as reações que envolvem interação com o ambiente como, por exemplo, ir até uma livraria comprar um livro... (Resumo completo, clicar acesso eletrônico abaixo). / Abstract: This work investigates the processes of inference - deduction, induction and abduction - in human beings and it compares them with traditional contributions of the applied pro-cedures of inference in cognitives sciences, until the recently produced results. In order to achieve this inquiry, the inference processes are first presented; then, Varela's ac-counts on trajectory followed by some researchers whose purposes were to define cognition notion are presented; and studies on dynamical systems carried out by some authors like Bertalanffy, Kelso, Prigogine and others are pointed out. Abduction can be characterized as surprise, possibility that is still indefinite; but to reach the explanations of the surprising fact, deductive processes should be confronted with what is already known, in addition to inductive processes with which the fact is generalized. There is one third element that connects possible ideas to existing factual ideas and, then, this new idea is interpreted, either as pertaining to some already known law, or as new law or habit. Classical cognitive science considers cognition according to cognitivism, that is, from symbols and predefined rules. The systems that follow the classical cognitive science models do not make empirical comments about the world where they are in-serted. The theoretical approach that studies cognition or intelligent behavior as a re-sulted of the direct interaction of the individual with the environment is the dynamical cognitive science or embodied and embedded cognition. According to researchers on this approach, the brain-body-environment system is the one that must be observed to understand cognition. In this approach, it is tried to explain common sense behaviors, or reactions that involve interaction with the environment, for instance, going to a book-store to buy a book... (Complete abstract, click electronic address below). / Orientador: Hércules de Araújo Feitosa / Coorientador: Maria Claudia Cabrini Grácio / Banca: Lauro Frederico Barbosa da Silveira / Banca: Fátima de Lourdes dos S. Nunes Marques / Mestre

Inaug.-Diss.--Kiel. / Lebenslauf.

Inaug.-Diss.--Kiel. / Lebenslauf.

C. Steyer's Inaug.-Diss.--Leipzig. / Syriac text with commentary in German. Syriac title at head of t.p. Lebenslauf. Includes bibliographical references (p. [vii]).

Inaug.-Diss.--Halle-Wittenberg. / Vita. "Literaturangabe": p. [92]-94.

Resumo: Este estudo apresenta a criação de uma plataforma para o desenvolvimento e a avaliação de algoritmos que visam resolver o problema de definir a satisfatibilidade de uma fórmula em lógica proposicional. Muitos estudos já foram realizados sobre o problema da satisfatibilidade, principalmente sobre fórmulas na Forma Normal Conjuntiva. Com isso, muitas técnicas foram desenvolvidas baseadas nas características exclusivas desse formato. O algoritmo conhecido como DPLL é utilizado como base técnica para os principais resolvedores atuais. Heurísticas de aprendizado sobre erros e melhores estruturas de representação são os pontos fortes dos algoritmos mais modernos. Porém, a utilização de um formato de representação menos restritivo, não clausal, permite aos resolvedores atuarem sobre um número maior de domínios. Testes automatizados de circuitos são um bom exemplo de aplicação para um resolvedor não clausal. Dada a diversidade de aplicações, o processo de desenvolvimento de tais algoritmos exige a decisão de qual conjunto de técnicas e heurísticas deve ser utilizado para um melhor desempenho. Nesse cenário, uma plataforma de desenvolvimento robusta, que permita a implementação de estruturas e heurísticas específicas, facilita esse processo de decisão, possibilitando, assim, análises comparativas mais precisas entre diversas soluções.