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.

Indiscernibilidade e identidade em química: aspectos filosóficos e formais

Neste artigo tratamos, de um ponto de vista formal e filosófico, com alguns conceitos que fazem parte da química usual. As teorias da química, e seus conceitos, normalmente são apresentadas de um ponto de vista informal (não axiomatizada), e isso pode trazer dificuldades filosóficas (embora a química propriamente - bem como também as outras disciplinas da ciência aplicada - pareçam não sofrer qualquer restrição quanto a isso). Aqui estaremos ocupados em um aspecto parti-cu-lar, que diz respeito à indiscernibilidade de alguns objetos básicos da química, tais como átomos, moléculas, bem como de seus componentes. Começamos com uma visão geral da identidade destes compostos e seus componentes a partir de uma perspectiva filosófica e, em seguida, mostramos em que sentido o conceito de identidade dos compostos químicos é problemático em relação ao conceito correspondente de identidade na lógica e matemática clássicas (que, como em geral é suposto, estão 'alicerçando' as teorias químicas). Argumentamos que, por um lado, a química parece supor que esses objetos básicos precisam ser 'idênticos' (indistinguíveis) uns aos outros (como enfatizado há muito tempo por John Dalton, como veremos.) Por outro lado, do ponto de vista formal, se a lógica subjacente à teoria atômica for a lógica clássica (que também é pano de fundo da matemática padrão), coisas idênticas devem ser a mesma coisa e logo 'colapsar' em apenas uma (e este não é o caso em química, uma vez que temos uma enorme quantidade de átomos e moléculas semelhantes, mas não apenas um). Esta aparente contradição pode ser tratada de várias perspectivas e, aqui, propomos o uso de uma teoria de conjuntos não-clássica (a saber, a teoria de quase-conjuntos) para alicerçar uma formulação axiomática de certas teoria químicas, mostrando como essa diferente base matemática pode nos levar a uma visão que está mais perto da química em si. Como esta teoria não é conhecida em geral, uma breve revisão se faz necessária. Por último, mostramos como podemos construir modelos matemáticos para átomos e moléculas utilizando esta teoria de conjuntos alternativa evitando, assim, o problema lógico acima mencionado, e discutimos um pouco da abordagem mereológica dos compostos químicos a partir dessa perspectiva quase-conjuntista.

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.

Indicadores de qualidade e composição de leite informal comercializado na região Sudeste do Estado de São Paulo

Resumo:O leite informal é reconhecido como o produto comercializado sem inspeção. Avaliou-se a qualidade microbiológica, constituintes nutricionais e presença de substâncias inibidoras do crescimento bacteriano em 100 amostras informais de leite de vacas, comercializadas na região sudoeste do estado de São Paulo, Brasil. Verificou-se que 77% da Contagem de Células Somáticas (CCS) e 86% da Contagem Bacteriana Total (CBT) das amostras estavam em desacordo com os valores máximos exigidos pela Instrução Normativa 62 do MAPA. Identificaram-se teores em desacordo para sólidos totais (36%), proteína (23%), gordura (38%), extrato seco desengordurado (43%) e nitrogênio uréico (73%). Em 59% das amostras detectou-se a presença de resíduos de inibidores do crescimento bacteriano. Isolaram-se 240 linhagens de micro-organismos com predomínio de enterobactérias, estreptococos, estafilococos e fungos. O leite informal é comercializado na região sem as mínimas condições de higiene e oferece riscos a saúde pública, além de representar sério problema sócio-econômico para região.

Quality of propolis commercialized in the informal market

The purpose of this research was to evaluate the quality of propolis produced and commercialized informally in São Paulo State through physicochemical analyses of ethanolic extracts of propolis (EEP). Thus, 40 samples of in nature propolis, provided by beekeepers from 32 towns, were analyzed. The EEP were prepared in a proportion of 30% (w/v), and the physicochemical tests were performed according to the Technical Regulation of Propolis Identity and Quality. The pH of each EEP sample was also evaluated. Regarding the dry extract, it was observed that 80% of the samples meet the minimum requirements established by the Brazilian legislation. With regard to the oxidizing property, 67.5% of EEP were below the maximum time allowed for oxidation. With regard to the solubility in lead acetate, 97.5% of the samples showed positive results, whereas no sample produced a negative result in terms of solubility in sodium hydroxide. Regarding the concentration of flavonoids, 95% of the samples produced results consistent with the minimum value allowed, and regarding the phenolic compounds, all samples were in accordance with the legislation. The EEP pH was slightly acidic. Therefore, it can be concluded that most EEP is consistently in accordance with the Brazilian legislation, which suggests that good quality propolis is produced by those beekeepers.

Trabalho infantil e o status ocupacional dos pais

Child labor and the parents' status of employment. The objective of this paper is to verify the hypothesis of the effect of the status of employment of the head of the family on the occurrence of child labor, as well as to analyze other characteristics which can influence such behavior. A probit model was used to realize the statistical tests. The results ratify the hypothesis proposed that the families whose head works as an independent worker show higher probability for the occurrence of child labor than those whose head works as a formal salaried worker. Among other results, it must be highlighted, making simulations, that increasing parents' schooling is more efficient than augmenting income to reduce the use of child labor. These results endorse the proposition that the status of employment should be used, complementing the criteria of income per capita, to select families in the cash transfers programmes or others to eradicate child labor.

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.