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.

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.

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.

Nomes próprios gerais no contexto da semântica de J. S. Mill

O presente artigo apresenta argumentos em defesa da hipótese de que nomes próprios gerais são impossíveis no contexto da filosofia geral de Stuart Mill. Minha tese é contrária à posição de John Skorupski sobre esta questão. Ofereço dois argumentos que representam, respectivamente, duas diferentes perspectivas: pragmático e sistemático. No primeiro, analiso o problema dos nomes próprios gerais no contexto da linguagem natural. No segundo, discuto o problema no contexto interno do Sistema de Lógica de Mill.

A loucura como questão semântica: uma interpretação kantiana

Apesar das mudanças do projeto kantiano, é possível identificar o problema da loucura como sendo abordado em duas perspectivas: uma fisiológica, outra semântica. A abordagem fisiológica corresponde ao modelo das ciências dos objetos dos sentidos externos. Já a abordagem semântica da loucura se desenvolve dentro da tarefa crítica da filosofia, isto é, como parte de uma investigação acerca do alcance e dos limites da razão humana. Nesse sentido, a loucura se insere em duas séries diferentes. No primeiro caso aparece vinculada às lesões cerebrais, problemas de percepção ou até mesmo em relação ao consumo de substâncias que alteram o funcionamento físico. No segundo caso se relaciona com o entusiasmo do desvario profético, o fanatismo religioso, o misticismo e até mesmo a ilusão metafísica. Para desenvolver o nosso trabalho apresentaremos elementos da abordagem fisiológica e da abordagem semântica encontradas em alguns dos diferentes textos e, por último, realizaremos algumas considerações sobre a possibilidade do desenvolvimento de um saber sobre a loucura em Kant.

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.

O Relativismo Cognitivo é Autorrefutante?

RESUMO: Hilary Putnam procurou solapar o relativismo cognitivo, mediante acusações de incoerência autodestrutiva. A concepção de Thomas Kuhn de desenvolvimento do conhecimento científico ocupa um lugar de destaque nesse empreendimento crítico, e a incomensurabilidade entre paradigmas rivais constitui o núcleo da disputa. Putnam afirmou que a incomensurabilidade é autorrefutante, levando em conta apenas sua dimensão semântica. Este artigo examina essa investida antirrelativista. Considero dois sentidos de autorrefutação, o material e o formal, e defendo que essa acusação não atinge a referida formulação semântica. Adicionalmente, mostro que a dimensão epistemológica da incomensurabilidade também não é afetada.