One reason, several logics

Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC , a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

Constituição de professores universitários de disciplinas sobre ensino de Química

This paper focuses on the teaching development practice in the field of chemistry covering such disciplines as chemistry teaching practice, chemistry teaching instrumentation and chemistry teaching methodology and/or didactics, thereby describing and analysing the logics of the development practice and the role of teachers as well as the epistemological identity configurations (knowledges which are proper to said identity) within this discipline field.

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system. It is shown that background of Vasiliev's ideas lies deeply in Russia's culture and particular approach to logical discourse. Several Russian scholars expressed ideas similar to Vasiliev's though not in such explicit form. This period might be called the prehistory of paraconsistency. Real history of paraconsistency starts with N.C.A. da Costa's works.

Da Costa on ontology: a naturalistic interpretation

Da Costa's conception of being modifies that of Quine to incorporate relativization to non-classical logics. A naturalistic view of this conception is discussed. This view tries to extend to logic some ideas of Maddy's naturalism concerning mathematics.

Form(s)-of-life: agamben's reading of Wittgenstein and the potential uses of a notion

Giorgio Agamben and Ludwig Wittgenstein seem to have very little in common: the former is concerned with traditional ontological issues while the latter was interested in logics and ordinary language, avoiding metaphysical issues as something we cannot speak about. However, both share a crucial notion for their philosophical projects: form of life. In this paper, I try to show that, despite their different approaches and goals, form of life is for both a crucial notion for thinking ethics and life in-common. Addressing human existence in its constitutive relation to language, this notion deconstructs traditional dichotomies like bios and zoé, the cultural and the biological, enabling both authors to think of a life which cannot be separated from its forms, recognizing the commonality of logos as the specific trait of human existence. Through an analogical reading between both theoretical frameworks, I suggest that the notion of form-of-life, elaborated by Wittgenstein to address human production of meaning, becomes the key notion in Agamben's affirmative thinking since it enables us to consider the common ontologically in its relation to Human potentialities and to foresee a new, common use of the world and ourselves.

Um Modelo Fuzzy Comportamental para análise de sobre-reação e sub-reação no mercado de ações brasileiro

Neste artigo, são apresentados testes empíricos para a investigação de ocorrência de fenômenos de sobre-reação e sub-reação no mercado de ações brasileiro. Para esses testes, é proposto um modelo baseado na teoria de conjuntos Fuzzy, que possui forte relação com as heurísticas de representatividade e ancoramento, estabelecidas na teoria de finanças comportamentais. O modelo proposto é empregado para a formação de carteiras e utiliza indicadores financeiros de companhias abertas. Para as análises são utilizados dois conjuntos de ações, um do setor de petróleo e petroquímica e outro do setor têxtil, com indicadores financeiros relativos ao período de 1994 a 2005.

UM MODELO FUZZY-DEA-GAME PARA ESTRATÉGIAS DE PRODUÇÃO SOB INCERTEZA

Este trabalho desenvolve um novo modelo Fuzzy-DEA-Game (FDG) para apoiar o estabelecimento de estratégias de produção. Esse modelo combina a Análise Envoltória de Dados (DEA) com conceitos da Teoria dos Conjuntos Fuzzy e do Jogo da Barganha de Nash. O modelo permite uma avaliação da eficiência produtiva e econômica dos produtos, o que pode resultar num portfólio de produtos mais rentáveis e de interesse do mercado consumidor. O modelo foi aplicado em uma empresa do segmento de energia. Os resultados obtidos com a aplicação do modelo FDG mostraram-se aderentes à realidade da empresa estudada e forneceram metas para a redução dos níveis de recursos (entradas) necessários para a fabricação dos produtos e para aumento dos níveis de resultados (saídas) oriundos da comercialização desses produtos. Como resultado adicional importante, o modelo FDG permitiu a identificação dos produtos do portfólio que são mais sensíveis à ocorrência de incerteza.

Fuzzy linguistic model for evaluating the risk of neonatal death

OBJECTIVE: To introduce a fuzzy linguistic model for evaluating the risk of neonatal death. METHODS: The study is based on the fuzziness of the variables newborn birth weight and gestational age at delivery. The inference used was Mamdani's method. Neonatologists were interviewed to estimate the risk of neonatal death under certain conditions and to allow comparing their opinions and the model values. RESULTS: The results were compared with experts' opinions and the Fuzzy model was able to capture the expert knowledge with a strong correlation (r=0.96). CONCLUSIONS: The linguistic model was able to estimate the risk of neonatal death when compared to experts' performance.

Lógica fuzzy e regressão logística na decisão para prática de cintilografia das paratiróides

OBJETIVO: Desenvolver e comparar dois modelos matemáticos, um deles baseado em regressão logística e o outro em teoria de conjuntos fuzzy, para definir a indicação para a realização do exame cintilográfico a partir de resultados dos exames laboratoriais. MÉTODOS: Foram identificados 194 pacientes que tiveram cálcio e paratormônio séricos medidos a partir da base de registros de cintilografia de paratiróides realizadas em laboratório de diagnóstico de São Paulo, no período de janeiro de 2000 a dezembro de 2004. O modelo de regressão logística foi desenvolvido utilizando-se o software SPSS e o modelo fuzzy, o Matlab. A performance dos modelos foi comparada utilizando-se curvas ROC. RESULTADOS: Os modelos apresentaram diferenças estatisticamente significantes (p=0,026) nos seus desempenhos. A área sob a curva ROC do modelo de regressão logística foi de 0,862 (IC 95%: 0,811-0,913) e do modelo de lógica fuzzy foi 0,887 (IC 95%: 0,840-0,933). Este último destacou-se como particularmente útil porque, ao contrário do modelo logístico, mostrou capacidade de utilizar informações de paratormônio em intervalo em que os valores de cálcio mostraram-se pouco discriminantes. CONCLUSÕES: O modelo matemático baseado em teoria de conjuntos fuzzy pareceu ser mais adequado do que o baseado em regressão logística como método para decisão da realização de cintilografia das paratiróides. Todavia, sendo resultado de um exercício metodológico, inferências sobre o comportamento do objeto podem ser impróprias, dada a não representatividade populacional dos dados.

Ciclo de vida organizacional pautado no modelo de Lester, Parnell e Carraher (2003) e na lógica fuzzy: classificação de empresas de um segmento industrial de Santa Catarina

Neste estudo, objetiva-se identificar os estágios do ciclo de vida organizacional pautados no modelo de Lester, Parnell e Carraher (2003) das empresas do segmento industrial de máquinas, aparelhos e materiais elétricos do estado de Santa Catarina. Pesquisa descritiva, com abordagem quantitativa, foi realizada por meio de levantamento com aplicação de questionário aos gestores das empresas. A população constituiu-se das 264 empresas desse segmento econômico, listadas na Secretaria da Fazenda do Estado de Santa Catarina, e a amostra não aleatória das 40 empresas que responderam a pesquisa. As variáveis de identificação dos estágios de ciclo de vida utilizadas no questionário foram extraídas de Lester, Parnell e Carraher (2003). Os dados da pesquisa foram submetidos à técnica estatística denominada lógica fuzzy. Os resultados da pesquisa demonstraram que 57,5% das empresas foram classificadas no estágio do nascimento, 15% do, 7,5% da Maturidade, 10% do rejuvenescimento e 10% do declínio. Concluiu-se que determinados estágios do ciclo de vida organizacional estão próximos uns dos outros e que não se pode perceber claramente uma progressão determinista nas fases do ciclo de vida, como uma sequência única, definitiva e irreversível, no sentido tradicional biológico.

Proposta de reconhecimento de padrão de conforto em clientes com pênfigo vulgar utilizando a Lógica Fuzzy

Propuesta de reconocimiento del estándar de comodidad en clientes con pénfigo vulgar utilizando la Lógica FuzzyO objetivo é propor a Lógica Fuzzy para reconhecimento de padrões de conforto de pessoas submetidas a uma tecnologia de cuidar em Enfermagem por apresentarem pênfigo vulgar, uma doença cutâneo-mucosa rara que acomete principalmente adultos. A proposta aplicável em métodos experimentais com sujeitos submetidos à comparação quali-quantitativa (taxonomia/pertinência) do padrão de conforto antes e depois da intervenção. Requer o registro em escala cromática correspondente à intensidade de cada atributo: dor; mobilidade e comprometimento da autoimagem. As regras Fuzzy estabelecidas pela máquina de inferência definem o padrão de conforto em desconforto máximo, mediano e mínimo, traduzindo a eficácia dos cuidados de Enfermagem. Apesar de pouco utilizada na área de Enfermagem, essa lógica viabiliza pesquisas sem dimensionamento a priori do número de sujeitos em função da estimação de parâmetros populacionais. Espera-se avaliação do padrão de conforto do cliente com pênfigo diante da tecnologia aplicada de forma personalizada, conduzindo a avaliação global.

Fuzzy logic applied to the modeling of water dynamics in an Oxisol in northeastern Brazil

Modeling of water movement in non-saturated soil usually requires a large number of parameters and variables, such as initial soil water content, saturated water content and saturated hydraulic conductivity, which can be assessed relatively easily. Dimensional flow of water in the soil is usually modeled by a nonlinear partial differential equation, known as the Richards equation. Since this equation cannot be solved analytically in certain cases, one way to approach its solution is by numerical algorithms. The success of numerical models in describing the dynamics of water in the soil is closely related to the accuracy with which the water-physical parameters are determined. That has been a big challenge in the use of numerical models because these parameters are generally difficult to determine since they present great spatial variability in the soil. Therefore, it is necessary to develop and use methods that properly incorporate the uncertainties inherent to water displacement in soils. In this paper, a model based on fuzzy logic is used as an alternative to describe water flow in the vadose zone. This fuzzy model was developed to simulate the displacement of water in a non-vegetated crop soil during the period called the emergency phase. The principle of this model consists of a Mamdani fuzzy rule-based system in which the rules are based on the moisture content of adjacent soil layers. The performances of the results modeled by the fuzzy system were evaluated by the evolution of moisture profiles over time as compared to those obtained in the field. The results obtained through use of the fuzzy model provided satisfactory reproduction of soil moisture profiles.

Espectros Vis-NIR do Solo e Fuzzy K-Médias Aplicados na Delimitação de Unidades de Mapeamento de Solos em Topossequências

RESUMO O conhecimento dos solos é cada vez mais importante para que o uso dele seja realizado corretamente na agropecuária, no crescimento urbano, na conservação dos recursos naturais, entre outros. Entretanto, verifica-se carência de profissionais qualificados para a caracterização e os mapeamentos pedológicos, particularmente em escalas de maior detalhamento. Essa carência, aliada aos avanços das ferramentas computacionais e do sensoriamento remoto, promoveu o surgimento do Mapeamento Digital de Solos (MDS), que busca auxiliar e agilizar as atividades de levantamento pedológico. Assim, este trabalho objetivou desenvolver uma metodologia de delimitaçao de unidades de solos em topossequências por meio do comportamento espectral dos solos no comprimento de onda do Visível-Infravermelho Próximo (Vis-NIR). A metodologia espectral consistiu na obtenção das curvas espectrais dos solos por meio do espectrorradiômetro FieldSpecPro e da redução do número de informações espectrais por meio da análise de Componentes Principais, seguida de agrupamento das amostras mediante método fuzzy k-médias. Foram selecionadas cinco topossequências com pontos equidistantes de 30 m para caracterizar as classes de solos e amostragens. Foram descritas oito classes de solos distintas, que tiveram caracterização detalhada e classificação em perfis pedológicos. No restante dos pontos, a caracterização das classes de solos foi feita com base na classificação dos solos realizada nos perfis pedológicos, com coleta de amostras por meio de tradagens nas profundidades de 0,00-0,20 e 0,80-1,00 m, perfazendo o total de 162 amostras ao longo das cinco topossequências. As amostras foram analisadas pelas metodologias convencional e espectral, para que os resultados pudessem ser comparados e avaliados. Dessa forma, foram realizadas análises morfológicas, físicas (textura) e químicas nas amostras de solo. Das cinco topossequências estudadas, os resultados foram satisfatoriamente semelhantes; alguns solos não foram perfeitamente individualizados pela metodologia espectral, em razão da grande semelhança em seus comportamentos espectrais, como demonstrado pelo Latossolo Vermelho Férrico e Nitossolo Vermelho Férrico. A metodologia espectral foi capaz de diferenciar solos com resposta espectral distinta e estabelecer limites nas topossequências, apresentando grande potencial para ser implementada em levantamentos pedológicos.

LA TESIS DE LA ELECCIÓN DIVINA DE LO ÓPTIMO: UNA EXCEPCIÓN EN LA TEORÍA MODAL DE LEIBNIZ

La proposición "Dios elige lo mejor" constituye una verdad incuestionable para Leibniz, y una premisa fundamental en su explicación de la existencia del mundo, tanto como en su teodicea. Leibniz sintió la necesidad de clarificar su carácter modal, dada la importancia de tal cuestión en relación con la libertad divina. Sin embargo, en el abordaje de este problema, se vio conducido a infringir los criterios de su propia teoría modal, con el fin de justificar la contingencia de tal proposición. Este trabajo intenta mostrar que la posición principal sostenida por Leibniz, en torno a la modalidad de esta proposición, constituye una suerte de excepción en el marco de su doctrina modal, y que esta ambigüedad refleja las razones profundas de las oscilaciones constatables en sus escritos sobre esta temática.