THE FORMAL AND THE FORMALIZED: THE CASES OF SYLLOGISTIC AND SUPPOSITION THEORY

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e. theories of formalization). Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments (i.e. the second sub-project). In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize.

Formal semantics for propositional attitudes

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or preparatory conditions. According to standard logic of attitudes (Hintikka), human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode.

Uma nota sobre a lógica formal de Kant

O artigo apresenta um problema que surge da combinação da teoria kantiana dos juízos analíticos com a sua adesão oficial à silogística. Argumenta-se em seguida que o problema só pode ser inteiramente solucionado pelo reconhecimento de que a lógica com a qual Kant de fato operava não é consistente nem com a silogística, nem com a lógica clássica, consistindo, de fato, em uma espécie de lógica inclusiva.

HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA)

Resumen El articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1) y (3), como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1) (Ver también (2) y (3)) sobre estos temas.

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.

A conservação do papagaio-da-cara-roxa (Amazona brasiliensis) no estado do Paraná: uma experiência de Educação Ambiental no ensino formal

No presente trabalho, avaliou-se a experiência de Educação Ambiental do "Projeto de Conservação do Papagaio-da-Cara-Roxa (Amazona brasiliensis)", no ensinoformal, realizado pela Sociedade de Pesquisa em Vida Selvagem e Educação Ambiental (SPVS), no litoral norte do Estado do Paraná. A experiência teve o intuito de fomentar, tanto no corpo docente quando no corpo discente, a discussão sobre valores e princípios que norteiam as relações homem/natureza, desenvolvendo-se, assim, uma interação mais responsável com o meio ambiente. Foram desenvolvidos módulos-educativos sobre o papagaio-da-cara-roxa e seu ambiente, direcionados a 795 estudantes do ensino fundamental, nos Municípios de Paranaguá e Guaraqueçaba. Para analisar a eficácia das atividades, os estudantes responderam a testes antes e depois do processo educativo que mediram mudanças obtidas com relação ao incremento de conhecimento, postura e valorização do papagaio-da-cara-roxa e de seu ambiente. Os resultados indicaram que a utilização do exemplo de uma espécie, ameaçada de extinção e que ocorre próximo às comunidades envolvidas no processo de conservação, serviu de base para a associação do tema específico para com uma realidade ambiental mais ampla e contextualizada localmente.

Mercúrio total em cação comercializado em São Paulo - SP, Brasil

Foram determinados os teores de mercúrio total em espécies de cação - anjo, cação-azul, cambeva, caçoa, machote e anequim - comercializadas em São Paulo - SP, Brasil. Os níveis encontrados variaram de 0,04 a 4,71mg Hg/kg, sendo que 54% estavam acima de 1mg Hg/kg, que é o limite aceito pela legislação brasileira especificamente para peixes predadores, para o propósito de consumo. Os resultados mostram que espécies de cação têm sido comercializadas em desacordo com a legislação, expondo os consumidores aos riscos tóxicos provocados pelo mercúrio. Foram feitas considerações em relação aos elevados níveis de mercúrio observados e o consumo correspondente, baseado na Ingestão Semanal Tolerável Provisional de 0,3mg de mercúrio total por pessoa, que no máximo não deverá ser superior a 0,2mg na forma de metilmercúrio, recomendada pela FAO/OMS. Considerações também foram feitas em relação à necessidade de inspeção e monitoramento das espécies brasileiras de cação usadas como alimento.

Pró-vitaminas A em hortaliças comercializadas no mercado formal e informal de Viçosa (MG), em três estações do ano

Para fornecer dados sobre a influência climática e a forma de comercialização sobre carotenóides de vegetais, este estudo pesquisou o conteúdo de alfa e beta-caroteno e o valor de vitamina A de sete hortaliças (batata-doce, cenoura, moranga, pimentão, quiabo, tomate e vagem), na cidade de Viçosa (MG), utilizando a Cromatografia Líquida de Alta Eficiência. Compararam-se hortaliças comercializadas nos mercados formal (mercados locais) e informal (feira livre) durante primavera, verão e outono. A cenoura apresentou os teores mais elevados de alfa e beta-caroteno (31,17 e 58,18 µg/g, respectivamente), seguida pela moranga (4,33 e 23,16 µg/g, respectivamente), enquanto a batata-doce apresentou o teor mais reduzido de beta-caroteno (0,51 µg/g). O valor de vitamina A variou conforme o perfil de alfa e beta-caroteno. Com exceção da cenoura e do quiabo, não houve influência significativa do local de comercialização sobre o conteúdo de carotenóides. A variação do conteúdo de carotenos nas estações do ano foi inexpressiva, sendo que apenas o pimentão apresentou valores significativamente diferentes. Porções de 100 g das hortaliças analisadas fornecem entre 3 e 78% da recomendação de vitamina A.

Determinantes da recuperação do emprego formal no Brasil: evidências para o período 2001/2005 e hipoteses para uma agenda de pesquisa

Decisive factors affecting the recent increase in formal employment in Brazil. This paper gives a general overview of the evolution of labour market indicators between 1995 and 2005 in Brazil. It shows an overall increase in formal employment rates from 2001 to 2005, as opposite to what had happened from 1995 to 1999. It is argued that such recent trends might indicate the reconfiguration of the labour market in better terms, with potential positive consequences to the finance performance of the Social Security sector. The paper also examines some of the major factors associated with this new trend and their chances to maintain such tendency in the near future. It's important to notice that all of them may be subject to some kind of political management by the State. In other words, we suggest that there are suficient instruments and operative skills in the Brazilian State to make these and others factors work in favour of a more persistent strategy of development with social inclusion through labour.

Aprendizagem e Comunicação em Bateson: A exigência de uma epistemologia Formal e Complexa

RESUMO: Para Bateson, a mudança social radicaria numa mudança epistemológica profunda que incidisse sobretudo na educação e na comunicação (onde incluía a sua teorização psicológica). Essa revolução paradigmática, baseada na lógica formal de Whitehead e Russell, evitaria discursos ditos científicos destituídos de rigor. Aqui, analisamos hermeneuticamente o seu pensamento, salientando os limites que a lógica formal encontra nas experiências éticas, religiosas e estéticas. Sem essa revolução, encontramo-nos condenados à estagnação intelectual, pois formamos cidadãos sem capacidade de aprender a aprender, que possibilitaria a capacidade de produzir abduções, inferência lógica tão necessária na produção do raciocínio humano; o seu desenvolvimento garantiria a capacidade de pensar/construir complexamente o mundo, interligando os saberes; poucos são também aqueles que explicitam e argumentam a favor das suas crenças, base axiomática da capacidade abdutiva. A organização social (via sistema educativo, formal e não formal) se constrói com sujeitos que raramente possuem mentes bem estruturadas, favorecedoras de passagem de patamares de aprendizagem para outros superiores. Antes se estimula a confusão de tipos lógicos, tomando o todo pela parte, por exemplo. Bateson critica também o sistema de avaliação quantitativo, diminuindo a possibilidade de formação do pensamento abstrato e formal, como a filosofia e a matemática exigem.