nÃo hà / Um grave problema presente quando aplicamos semÃntica composicional, que atribui simples valores de verdade a frases, à que quando essas seqÃÃncias estÃo presentes em alguns contextos especÃficos, a substituiÃÃo de certas expressÃes com a mesma referÃncia pode cambiar o valor de verdade da frase maior ou entÃo impedir que inferÃncias vÃlidas sejam realizadas. Por exemplo, da afirmaÃÃo "Pedro acredita que Alexandre o Grande foi aluno de AristÃteles", nÃo se pode inferir corretamente neste contexto de crenÃa que a substituiÃÃo de "Alexandre o grande" por "o vencedor da batalha de Arbela" seja vÃlida porque eventualmente Pedro pode nÃo saber que "Alexandre o Grande à o vencedor da batalha de Arbela" e por isso a verdade das premissas nÃo garante a verdade da conclusÃo: "Pedro acredita que o vencedor da batalha de Arbela foi aluno de AristÃteles". A conclusÃo nÃo se segue pois ela nÃo depende da relaÃÃo de identidade efetiva entre âAlexandre o Grandeâ e âO vencedor da Arbelaâ, e sim depende, de maneira contingente, do conjunto de crenÃas de Pedro; ou ainda, segundo Frege, depende do sentido que Pedro associa a descriÃÃo âAlexandre o Grandeâ. Em contextos intensionais a verdade da conclusÃo (apÃs substituiÃÃo) depende de uma maneira especÃfica da maneira de conceber o nome em questÃo, por isso a substituiÃÃo entre nomes cujo referente à o mesmo, mas que diferem em sentido, nÃo funciona em todos os casos. O fato à que Frege nunca estabeleceu critÃrios de identidade para o sentido (Sinn), apenas reservou-se a declarar simplesmente que o sentido à o "modo de apresentaÃÃo" da referÃncia. Pretendemos apresentar critÃrios de identidade para o sentido em geral, e em contextos intensionais, em particular. Os sucessores de Frege, dentre eles o lÃgico Alonzo Church e o filÃsofo Rudolf Carnap foram os primeiros a estabelecer que duas expressÃes tÃm o mesmo sentido se e somente se sÃo sinonimamente isomorfas e intensionalmente isomorfas, respectivamente. Tais critÃrios devem ser entendidos à luz dos pressupostos lÃgicos de Church em sua LÃgica do Sentido e da DenotaÃÃo (LSD) e das idÃias de Carnap â muitas delas constituintes do programa filosÃfico do Positivismo lÃgico, em seu livro Meaning and Necessity. Mais recentemente, Pavel Tichà estabeleceu de maneira mais exata o que à o sentido e sua identidade atravÃs do Procedural isomorphism o qual constitui um dos fundamentos da LÃgica Intensional Transparente (TIL). / A feature of the distinction between extensionalism and intensionalism, which has been widely taken as a criterion to separate the two positions, is that within an extensionalist logic, substitution is possible salva veritate (that is, without thereby changing the truth-value of the statement concerned) with respect to identical instances of some basic logical form â and in an intensionalist logic it is not. The different logical forms with respect to which such substitution might take place accounts for some of the variety of different extensionalisms on offer in the current philosophical landscape. So our starting-point is Fregeâs puzzle. This question is frequently accepted as one of the foundations of modern semantics. To explain why a true sentence of the form âa = bâ can be informative, unlike a sentence of the form âa = aâ, Frege introduced an entity standing between an expression and the object denoted (bezeichnet) by the expression. He named this entity Sinn (sense) and explained the informative character of the true âa=bâ-shaped sentences by saying that âaâ and âbâ denote one and the same object but differ in expressing (ausdrÃcken) distinct senses. The problem, though, is that Frege never defined sense. The conception of senses as procedures that is developed here has much in common with a number of other accounts that represent meanings, also, as structured objects of various kinds, though not necessarily as procedures. In the modern literature, this idea goes back to Rudolph Carnapâs (1947) notion of intensional isomorphism. Church in (1954) constructs an example of expressions that are intensionally isomorphic according to Carnapâs definition (i.e., expressions that share the same structure and whose parts are necessarily equivalent), but which fail to satisfy the principle of substitutability. The problem Church tackled is made possible by Carnapâs principle of tolerance (which itself is plausible). We are free to introduce into a language syntactically simple expressions which denote the same intension in different ways and thus fail to be synonymous. TichÃâs objectualist take on âoperation-processesâ may be seen in part as linguistic structures transposed into an objectual key; operations, procedures, structures are not fundamentally and inherently syntactic items, but fully-fledged, non-linguistic entities, namely, constructions.

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.

A exploração do paralelismo na programação em lógica e considerada uma alternativa para simplificação da programação de maquinas paralelas e para aumento do desempenho de programas em lógica. Desta forma, a integração da programação em lógica e sistemas paralelos tornou-se nos últimos anos um centro de atenções da comunidade ciêntifica. Dentre os problemas que devem ser solucionados para exploração adequada do paralelismo, encontra-se a analise de granulosidade. A análise de granulosidade determina o tamanho dos grãos, ou seja, a complexidade dos módulos que devendo ser executados seqüencialmente num único processador. Basicamente, esta analise consiste de uma refinada identificação dos grãos, visando a máxima eficiência na exploração do paralelismo. Neste sentido, devem ser realizadas considerações sobre dependências, complexidade dos grãos e custos envolvidos na paralelização. Recentemente, a analise de granulosidade na programação em lógica tem recebido atenção especial por parte dos pesquisadores. Os grãos podem ser identificados pelo programador através de primitivas de programação ou podem ser detectados automaticamente pelo sistema paralelo. Na programação em lógica, a exploração automática do paralelismo é estimulada, devido ao paralelismo implícito existente na avaliação das expressões lógicas. Além disso, a programação em lógica permite uma clara distinção entre a semântica e o controle da linguagem, proporcionando uma abordagem distinta entre a descrição do problema e o caminho para obtenção das soluções. A detecção automática do paralelismo permite o aproveitamento de programas já existentes, alem de liberar o programador do encargo de paralelizar o problema. Este trabalho dedica-se ao estudo da analise automática de granulosidade na programação em lógica. O texto propõe um modelo para geração de informações de granulosidade, denominado GRANLOG (GRanularty ANalyzer for LOGic Programming). O GRANLOG realiza uma analise estática de um programa em 16aica. Dessa analise resulta o programa granulado, ou seja, o programa original acrescido da anotação de granulosidade. Esta anotação contem diversas informações que contribuem de forma significativa com a exploração adequada do paralelismo na programação em lógica. Durante o desenvolvimento do GRANLOG foram exploradas diversas áreas de pesquisa da programação em lógica, dentre as quais destacam-se: analise de modos, analise de tipos, análise de medidas para mensuração do tamanho de termos, interpretação abstrata, analise de dependências e analise de complexidade. A integração destes t6picos torna o GRANLOG uma rica fonte de pesquisa. Além disso, a organização modular da proposta permite o aprimoramento independente de suas partes, tornando a estrutura do modelo uma base para o desenvolvimento de novos trabalhos. Além do modelo, o texto descreve a implementação de um protótipo e propõe duas aplicações para as informações de granulosidade, ou seja, auxilio a decisões de escalonamento e simulação da execução de programas. O texto apresenta ainda uma proposta para integração do GRANLOG a um modelo para execução paralela de programas em lógica, denominado OPERA. O OPERA dedica-se a exploração do paralelismo na programação em lógica e possui atualmente um protótipo para execução paralela de programas em lógica em redes de computadores. Os bons resultados obtidos com a integração OPERA-GRANLOG demonstram a relevância das informações geradas pelo modelo proposto neste trabalho. Encontra-se ainda neste texto uma proposta para inclusão do GRANLOG numa interface gráfica, denominada XOPERA. Esta interface permite a execução do protótipo OPERA e, a partir deste trabalho, gerencia também o protótipo GRANLOG. A inclusão da gerencia do GRANLOG na interface XOPERA, contribui de forma substancial para a integração OPERA-GRANLOG. / The exploitation of parallelism in logic programming is considered an alternative for simplifying the task of programming parallel machines. Also, it provides a way to increase the performance of logic programs. Because of this, integrating parallel systems with parallel programmin g has been a topic of much interest in the scientific comunity, in the last years. Among the problems that must be solved for the adequate exploitation of parallelism, there is the granularity analysis. Granularity analysis determines the size of the grains, that is, the complexity of the modules that must be sequentially executed in a single processor. Basically, this analysis consists of a refined identification of the grains, aiming the maximum efficiency in the parallelism exploitation. In this sense, considerations must be taken about dependencies, grain complexity and costs involved in the parallelizing process. Recently, many researchers have given special attention to the granularity analysis of logic programming. The grains may be identified by the programmer via programming primitives, or they may be automatically detected by the parallel system. In logic programming, the automatic exploitation of parallelism is stimulated, because of the implicit parallelism that exists in the evaluation of the logic expressions. Besides, logic programming allows a clear distinction between the semantics and the control of the language, providing a distinct approach between the problem description and the way to obtain the results. The automatic detection of parallelism permits the utilization of already written programs, also freeing the programmer from parallelizing the program by hand. This work is dedicated to the study of automatic granularity analysis in logic programming. The text proposes a model for generating granularity informations, called GRANLOG (GRanularity Analyzer for LOGic Programming). GRANLOG performs a static analysis of a logic program. From this analysis, it results a granulated program, that is, the original program increased by the granularity annotation. This annotation has several informations that contribute in a significant way to the adequate exploitation of parallelism in logic programming. During the development of GRANLOG, several research areas have been explored, namely, mode analysis, type analysis, measure analysis for measuring the size of terms, abstract interpretation, dependencies analysis and complexity analysis. The integration of these topics makes GRANLOG a good source for researchs. Besides, the modular organization proposed permits the independent improvement of its parts, making of the model structure, a base for the development of new works. Besides the model, the text describes the implementation of a prototype and proposes two applications for the granularity informations, namely, help in scheduling decisions and program execution simulation. It also presents a proposal for integrating GRANLOG to a parallel logic execution model for logic programming, called OPERA. OPERA is dedicated to the exploitation of parallelism in logic programming and, at the present time, has a prototype for parallel execution of logic programming in computer networks. The good results obtained by integrating OPERA and GRANLOG show the importance of the information generated by the model proposed in this work. There is, also, in this work, a proposal for including GRANLOG in a graphical interface, called XOPERA. This interface allows the execution of the OPERA prototype and, from now on, also manaaes the GRANLOG prototype. The inclusion of GRANLOG in the XOPERA interfaces substantially contributes to the OPERAGRANLOG intearation.

Orientador: Antonio José de Almeida Meirelles, Charlles Rubber de Almeida Abreu / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Alimentos / Made available in DSpace on 2018-08-17T20:08:39Z (GMT). No. of bitstreams: 1 Hirata_GlauciadeFreitas_M.pdf: 4160128 bytes, checksum: 9b62997885094931827adf8fd70b8a25 (MD5) Previous issue date: 2011 / Resumo: Na indústria de óleos, a remoção dos ácidos graxos livres é a etapa mais importante do processo de purificação. Geralmente, é realizada pelo refino químico ou físico. Em alguns casos, no entanto, o refino convencional provoca resultados indesejáveis. A desacidificação por extração líquido-líquido tem se mostrado uma alternativa viável tecnicamente. Nos estudos realizados, os dados de equilíbrio são determinados e modelados para cada tipo de óleo isoladamente, resultando em modelos que são específicos para cada óleo. No entanto, para obter uma ferramenta preditiva, é necessário considerar as verdadeiras composições presentes nas misturas para que se consiga distinguir o comportamento de cada tipo de sistema de forma satisfatória. Neste trabalho, os dados existentes na literatura foram usados para reajustar os parâmetros de interação entre grupos do método UNIFAC. Isto é necessário porque os parâmetros originais do UNIFAC-LLE não predizem bem o comportamento desse tipo de sistema. Para reajustar estes parâmetros, os sistemas foram modelados considerando sua complexidade. Entretanto, para conseguir comparar com os dados experimentais, as misturas foram consideradas pseudoternárias e pseudoquaternárias (como estão disponíveis os dados experimentais). Uma nova divisão também foi proposto para simplificar a descrição do pseudocomponente óleo. No caso, cada resíduo de ácido graxo (juntamente com "um terço" do resíduo de glicerol) que se liga para formar as moléculas de triacilglicerol foram considerados como componentes independentes, negligenciando sua real conectividade. Isto é útil, pois reduz consideravelmente o número de componentes do pseudocomponente óleo. Para isso, um grupo adicional foi criado (-COOCH5/3). Os desvios encontrados usando os grupos e os parâmetros originais de UNIFAC-LLE foram consideravelmente maiores do que os desvios encontrados para os outros dois casos (parâmetros reestimados e nova divisão), o que demonstra a melhora no poder preditivo do método UNIFAC. Foram determinados dois sistemas de validação, um com óleo de palma e o outro com uma mistura de óleos de babaçu, palma e soja, em que se pode constatar a melhora no poder preditivo, tanto usando os parâmetros originais reajustados como usando os parâmetros ajustados com a nova divisão, quando comparado com os parâmetros originais do UNIFAC-LLE. Este estudo possibilitou a organização dos dados de equilíbrio líquido-líquido para a desacidificação de óleos disponíveis na literatura e, ampliou a possibilidade de uso de tais dados no desenvolvimento e otimização de processos na indústria de óleos vegetais e seus derivados / Abstract: In the industry of oils, the removal of free fatty acids is the most important stage of the purification procedure. It is usually performed by chemical or physical refining. In some cases, however, the conventional refining causes undesirable results. The deacidification by liquid-liquid extraction has proved a viable alternative technically. In the studies carried out, the data regarding equilibrium are determined and modeled for each type of oil alone, resulting in models that are specific for each oil. However, to obtain a predictive tool, it is necessary to consider the true compositions present in the mixtures so that it could distinguish the behavior of each type of system satisfactorily. In this work, the existing data in the literature were used to recalculate group interaction parameters of the UNIFAC method. This is necessary because the original parameters of UNIFAC-LLE do not yield predictions with enough accuracy. To adjust these parameters, the systems were modeled considering its complexity, however, in order to compare with experimental data, the compositions were reduced to pseudo ternary and pseudo quaternary (as are available the experimental data). New groups have also been proposed to simplify the description of the oil pseudocomponent. In this case, each fatty acid residue (together with ¿one third¿ of a glycerol residue) that connects to form the triacylglycerol molecules are considered as independent components, regardless of the true connectivity. This is useful because it reduces the number of components of the oil pseudocomponent. For this, an additional group was created (-COOCH5/3). The derivation found using the original groups and parameters of UNIFAC-LLE was considerably higher than the deviations found in both other cases(adjusted original parameters and new division), showing that the predictive power of the UNIFAC method was improved for this type of system. Two validation systems were made: one with palm oil and the other one with a mixture of babassu oil, palm and soya, where you can see the improvement in predictive power, either using the adjusted original parameters or using the parameters adjusted to the new division, when compared to the original parameters. Thus, this study enabled the organization of the data set of liquid-liquid equilibrium for deacidification of oils available in the literature and extended the use of such data in the development and optimization of procedures in the industry of vegetable oil and its derivatives / Mestrado / Engenharia de Alimentos / Mestre em Engenharia de Alimentos

Orientadores: Wagner Caradori do Amaral, Paulo Augusto Valente Ferreira / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T08:06:48Z (GMT). No. of bitstreams: 1 Moreira_VicenteDelgado_D.pdf: 1111607 bytes, checksum: 9222971b25851f421024465a31aedb3b (MD5) Previous issue date: 2006 / Resumo: O interesse pelo projeto de controladores preditivos para sistemas híbridos vem aumentando nos últimos anos. Os sistemas híbridos são descritos simultaneamente por relações lógicas, baseadas por exemplo nos operadores SE/ENTÃO/SENÃO, e por equações dinâmicas. Devido às exigências relacionadas ao desempenho de rastreio das referências em malha fechada, busca-se atualmente metodologias de modelagem que permitam integrar as representações dinâmicas e as proposições lógicas do processo híbrido em uma abordagem não-hierárquica. As abordagens encontradas na literatura para o controle preditivo de sistemas híbridos são preferencialmente aplicáveis a processos determinísticos cujas dinâmicas são representadas no espaço de estados. Em certos casos, um modelo de estados não é conhecido, incertezas para métricas politópicas inviabilizam o projeto de controladores preditivos robustos, ou outras formas de modelagem são mais adequadas para a representação do processo. Neste trabalho, desenvolve-se uma nova metodologia para a modelagem e o controle preditivo robusto de sistemas híbridos incertos. Na abordagem proposta, as proposições lógicas são transformadas em desigualdades lineares mistas equivalentes, como sugerido na literatura. Um modelo baseado em séries de funções ortonormais é estimado para descrever o comportamento dinâmico do processo. Os modelos baseados em séries podem ser representados no espaço de estados, e a ordem do modelo pode ser reduzida escolhendo-se adequadamente as bases ortonormais. Como sugerido na literatura, a incerteza de um conjunto de respostas ao impulso é mapeada em intervalos de pertinência que definem os coeficientes da série ortonormal. Impõe-se condições adicionais sobre esta técnica para assegurar que todas as respostas ao impulso do processo estão representadas no modelo. Os limites da incerteza são estimados, ao contrário das abordagens encontradas na literatura, onde é necessário conhecer antecipadamente a amplitude máxima da perturbação. A equação de estados do modelo proposto não contém coeficientes incertos, implicando que o seu espaço politópico é reduzido substancialmente quando comparado às abordagens existentes na literatura, onde todas as matrizes da representação de estados podem estar contidas em politopos. Também propõe se uma nova estratégia para assegurar a estabilidade robusta do processo em malha fechada com controle preditivo. A estratégia é baseada em conjuntos terminais, uma das formas menos conservadoras de assegurar o rastreio das referências do sistema. Resultados de simulação são apresentados para ilustrar o desempenho desta nova abordagem de controle preditivo robusto para sistemas híbridos incertos. Utiliza-se o algoritmo proposto para o controle de um sistema de refrigeração industrial / Abstract: Model-based Predictive Control (MPC) has been attracting interest in both academic and industrial areas since the 1970's. The MPC methodology has been recently extended to a class of hybrid systems described by dynamics and logic rules. Logical propositions are performed by using, for example, IF /THEN/ELSE operators. Due to performance requirements, the nonhierarchical modeling approaches to hybrid systems have been preferable in MPC schemes. Some methodologies to the modeling and predictive controling of hybrid systems can be found in the literature. These schemes are specially applicable to deterministic hybrid systems whose dynamics are represented in state-space. In some cases, a state-space model is not available or politopic uncertainties can prohibit real time implementations. Over this, other models can be more adequate to parameter estimation. A new approach for modeling and controlling a class of hybrid systems described by interacting physical laws, logic rules, and operational requirements is proposed in this work. As recently suggested in the literature, the logic rules are integrated into the model as equivalent linear inequality constraints involving both continuous and binary variables. The distinguishing feature of the approach proposed is the use of orthonormal series for modeling the process dynamics. The model proposed can be easily estimated with only approximate knowledge of the system dynamics. The order of the model can be reduced by an adequate selection of the orthonormal basis. Uncertainties in the process dynamics are incorporated into the output equation only, reducing the mo dei politopic space. A new strategy to assure robust stability is also presented. The reference tracking is guaranteed by using a terminal set constraint, which does not severally affect the tracking performance of the closed loop system. The approaches proposed in the literature to determine a terminal set constraint use the maximal amplitude of the perturbation,which is generally unknown.- 15 this work, the limits of the uncertainty are estimated. Simulation examples illustrate the main characteristics of the framework proposed. / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-07T00:21:55Z (GMT). No. of bitstreams: 1 Sanz_WagnerdeCampos_D.pdf: 2570437 bytes, checksum: 15352759879927665653f4fc165c3703 (MD5) Previous issue date: 2006 / Resumo: O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenção, em primeiro lugar, sobre a negação e, depois, como conseqüência das propostas para a negação, sobre a constante de absurdo. Nosso ponto de partida é, na verdade, um problema de natureza conceitual. Questionaremos a correção e a adequação da análise da negação e do absurdo atualmente predominante no meio-ambiente de dedução natural de estilo gentzeniano. O questionamento dessas análises adota como ponto focal o conceito de hipótese. O conceito de hipótese é uma noção central para os sistemas de dedução natural e a nossa proposta de análise desse conceito servirá de esteio para a formulação das propostas elucidatórias para a negação e o absurdo dentro dos sistemas de dedução natural / Abstract: The purpose of this thesis is to present an elucidation of negation and absurd for intuitionist and classical logics in the range of natural deduction systems. Our study could be seen as a development of a proposal presented by Russell over a hundred years ago, which he presumably abandoned later on. First, we will focus on negation and then on the absurd constant, as a consequence of the claims we are making for negation. As a matter of fact, our starting point is a problem of a conceptual nature. We will question the correctness and the adequacy of the analysis of negation and absurd, prevailing nowadays in the Gentzen-style natural deduction circle. The concept of hypothesis is the focus point in questioning these analyses. The concept of hypothesis is a central notion for natural deduction systems and the purpose of our analysis of this concept is to support the formulation of elucidative propositions for negation and absurd in natural deduction systems / Doutorado / Doutor em Filosofia

Submitted by Luanna Matias (lua_matias@yahoo.com.br) on 2015-05-15T18:05:08Z No. of bitstreams: 2 Dissertação - Ricardo da Silva Santos - 2015.pdf: 789332 bytes, checksum: 923307ee147a03d1a874647f6dcf4c9e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luanna Matias (lua_matias@yahoo.com.br) on 2015-05-15T18:08:48Z (GMT) No. of bitstreams: 2 Dissertação - Ricardo da Silva Santos - 2015.pdf: 789332 bytes, checksum: 923307ee147a03d1a874647f6dcf4c9e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-05-15T18:09:06Z (GMT). No. of bitstreams: 2 Dissertação - Ricardo da Silva Santos - 2015.pdf: 789332 bytes, checksum: 923307ee147a03d1a874647f6dcf4c9e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-03-27 / This work was divided into three chapters , the rst we have some basic de nitions for the study of di erential equations, and basic results as Euler's formula and Wronskian . In the second chapter, we talked about Di erential Equations of First Order Linear, and commenting on PVI, and the Theorem of Existence and Uniqueness for ODEs. In the third and main chapter, we work with resolution methods Di erential Equations. In particular, we present a unnusual in mathematics literature to solve Linear Di erential Equations, which is by Equation Characteristic. / Este trabalho foi dividido em 3 capítulos. No primeiro temos algumas de finições básicas para o estudo de Equações Diferenciais, e resultados básicos como a fórmula de Euler e Wronskiano. No segundo capítulo, falamos sobre Equações Diferenciais Lineares de Primeira Ordem, além de comentarmos sobre o que vem a ser Problema do Valor Inicial (PVI), e o Teorema da Existência e Unicidade para EDO's. No terceiro e principal capítulo, trabalhamos com métodos de resolução de uma Equação Diferencial Ordinária Com Coe ficentes Constantes. Em especial, apresenta-mos um método não tão usual na literatura Matemática pra resolver EDOs Lineares, que é através da Derivação da Equação Caraterística.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-09-22T13:40:01Z No. of bitstreams: 2 Dissertação - Tulio Marcio Gentil dos Santos - 2017.pdf: 1903129 bytes, checksum: 68678e5a2933f0e40216c1e1181aa7bc (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-09-22T13:40:22Z (GMT) No. of bitstreams: 2 Dissertação - Tulio Marcio Gentil dos Santos - 2017.pdf: 1903129 bytes, checksum: 68678e5a2933f0e40216c1e1181aa7bc (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-09-22T13:40:22Z (GMT). No. of bitstreams: 2 Dissertação - Tulio Marcio Gentil dos Santos - 2017.pdf: 1903129 bytes, checksum: 68678e5a2933f0e40216c1e1181aa7bc (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-08-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Let $F_d$ be the free group of rank $d$, freely generated by $\{y_1,...,y_d\}$, $\mathbb{D}F_d$ the group ring over an integral domain $\mathbb{D}$, $E_d$ subset of $F_d$ containing $\{y_1,...,y_d\}$, $p_s(x)=x^n+c_{s,n-1}x^{n-1}+...+c_{s,1}x+c_{s,0} \in \mathbb{D}[x]$ a monic polynomial and the quotient ring $$A(d,n,E_d)=\frac{\mathbb{D}F_d}{\langle p_s(s):s\in E_d \rangle_{ideal}}.$$ When $p_s(s)$ is cubic for all $s$, we construct a finite set $E_d$ such that $A(d,n,E_d)$ has finite rank over an extension of $\mathbb{D}$. In the case where all polynomials are equal to $(x-1)^3$ and $\mathbb{D}=\mathbb{Z}[\frac{1}{6}]$ we construct a finite subset $P_d$ of $F_d$ such that $A(d,3,P_d)$ has finite $\mathbb{D}$-rank and its augmentation ideal is nilponte. Furthermore $(x-1)^3$is satisfied by all elements in the image of $F_2$ in $A(2,3,P_2)$. / Sejam $F_d$ um grupo livre de posto $d$, livremente gerado por $\{y_1,...,y_d\}$, $\mathbb{D}F_d$ o anel de grupo sobre o domínio de integridade $\mathbb{D}$, $E_d$ subconjunto de $F_d$ contendo $\{y_1,...,y_d\}$, $p_s(x)=x^n+c_{s,n-1}x^{n-1}+...+c_{s,1}x+c_{s,0} \in \mathbb{D}[x]$ e o anel quociente $$A(d,n,E_d)=\frac{\mathbb{D}F_d}{\langle p_s(s):s\in E_d \rangle_{ideal}}.$$ Quando $p_s(s)$ é cúbico para todo $s$, construímos um conjunto finito $E_d$ tal que $A(d,n,E_d)$ tem posto finito sobre uma extensão de $\mathbb{D}$. No caso em que todos os polinômios são iguais a $(x-1)^3$ e $\mathbb{D}=\mathbb{Z}[\frac{1}{6}]$, construímos um subconjunto finito $P_d$ de $F_d$ tal que $A(d,3,P_d)$ tem $\mathbb{D}$-posto finito e seu ideal de aumento é nilpotente. Além disso $(x-1)^3$ é satisfeita por todos elementos na imagem de $F_2$ em $A(2,3,P_2)$.

Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-22T15:04:13Z (GMT). No. of bitstreams: 1 Almeida_EdgarLuisBezerrade_M.pdf: 946200 bytes, checksum: e8e316a3ee7420c8d7f45a751651a436 (MD5) Previous issue date: 2013 / Resumo: Esta Dissertação apresenta uma definição de lógica abstrata e caracteriza alguns sistemas lógicos bastante conhecidos na literatura como casos particulares desta. Em especial, mostramos que a lógica de primeira ordem, lógica de segunda ordem, lógica com o operador Q1 de Mostowski e a lógica infinitária L!1! são casos particulares de lógicas abstratas. Mais que isso, mostramos que tais lógicas são regulares. Na análise de cada uma das lógicas acima citadas, mostramos o comportamento das mesmas com relação às propriedades de Löwenheim-Skolem e compacidade enumerável, resultados estes centrais à teoria de modelos. Nossa análise permite-nos constatar que, dentre os quatro casos apresentados, o único que goza de ambas as propriedades é a lógica de primeira ordem; as demais falham em uma, na outra ou em ambas as propriedades. Mostramos que isso não é mera coincidência, mas sim um resultado profundo, que estabelece fronteiras bem delimitadas à lógica de primeira ordem, conhecido como primeiro teorema de Lindström: se uma lógica é regular, ao menos tão expressiva quanto à lógica de primeira ordem e satisfaz ambas as propriedades citadas, então esta é equivalente a lógica de primeira ordem. Realizamos uma prova cuidadosa do teorema, em que cada ideia e cada estratégia de prova é estabelecida criteriosamente. Com seu trabalho, Lindström inaugurou um novo e profícuo campo de estudo, a teoria abstrata de modelos que estabelece, com relação a diversas combinações de propriedades de sistemas lógicos, uma estratificação entre lógicas. Apresentamos um outro exemplo de tal estratificação através de uma versão modal do teorema de Lindström, versão esta que caracteriza a lógica modal básica como maximal quanto a bissimilaridade e compacidade. Encerramos esta Dissertação com algumas considerações acerca da influência do primeiro teorema de Lindström / Abstract: This thesis presents the definition of abstract logic and features some quite logical systems presented in the literature as particular cases of this. In particular, we show that first-order logic, second-order logic, the logic with Mostowski's operator Q1 and the infinitary logic L!1! are specific systems of abstract logic. Moreover, we show that such logics are regular. In the analysis of each above mentioned logical systems we analyses his performance with regard to the properties of compactness and Löwenheim-Skolem, results that have important role in model theory. Our analysis allows us to conclude that among the four cases, the only one who enjoys both properties is the first-order logic, and all others fail in one, other or both properties. We show that this is not mere coincidence, but rather a deep, well-defined boundaries establishing the first-order logic, known as first Lindström's theorem: a regular logic that is at least as expressive as first-order logic and satisfies both properties mentioned, then this is equivalent to first-order logic. We conducted a thorough proof of the theorem, in which each idea and each proof strategy is carefully established. With his work Lindström inaugurated a new and fruitful field of study, the abstract model theory, which establishes with respect to different combinations of properties of logical systems, stratification between logical. Here is another example of such stratification through one of the theorem of modal version Lindström, which characterizes this version of the logic basic modal such as maximal bissimimulation and compactness. We conclude the thesis with some considerations about the influence of the Lindström's theorem / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-19T13:14:11Z (GMT). No. of bitstreams: 1 Oliveira_AntonioMarmodaCunha_M.pdf: 7643012 bytes, checksum: 1904b2b114fcf86253069cc0fe63eedb (MD5) Previous issue date: 2011 / Resumo: Neste trabalho investigaremos, do ponto de vista da lógica e da filosofia, os fenômenos pragmáticos conhecidos como pressuposição e implicatura, relacionando-os a traços mais gerais da racionalidade humana, como economia e consistência, e ao pluralismo da lógica atual, incluindo alguns tópicos de contenda entre a tradição clássica e as propostas alternativas recentes. Grice articulou uma análise destes fenômenos assentes em princípios para a conversação ou interação entre entes racionais e cooperativos. Divergimos da tradição griceana, postulando que as implicaturas são processadas por "clivagem de informações", ou por verificação de outros critérios lógicos, ao invés da mera exploração de máximas. Partindo de conceitos precisamente definidos, como pressuposição e implicatura, é possível construir um arcabouço lógico, a denominar sistemas pressuposicionais, que estendem outros sistemas lógicos (como, por exemplo, o cálculo proposicional) e cujos resultados exporemos / Abstract: In this work we shall, from the logical and philosophical standpoint, investigate two pragmatic phenomena known as presupposition and implicature, associating them to more general features of human rationality, such as economy and consistency, and to the current logical pluralism, including some controversies between the classical tradition and more recent alternative approaches. Grice has articulated an analysis of such phenomena based on principles governing conversation or interaction between cooperative and rational beings. We dissent from the gricean tradition, and proposing that implicatures are processed by the 'sieving of information', rather than by the mere exploitation of maxims. By providing precise definitions to the concepts of presupposition and implicature, it is possible to build a logical framework, to be called presuppositional systems, which either extend or generalise other logical systems (such as the propositional calculus, for instance), the results of which we shall present hereinafter / Mestrado / Filosofia / Mestre em Filosofia