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.

Carcinoma diferenciado da tireóide: a validade da complementação da tireoidectomia

OBJETIVO: Analisar a invasão tumoral do lobo contralateral da glândula tireóide no carcinoma diferenciado, correlacionando o risco/benefício com as complicações decorrentes de uma segunda intervenção. MÉTODO: De outubro/93 a dezembro/96 foram operados 20 pacientes com carcinomas diferenciados da glândula tireóide. Os parâmetros analisados foram sexo, idade, tipo de operação, tipo de complicações, histopatológico da peça cirúrgica e invasão do lobo contralateral. Eram dois pacientes do sexo masculino (10%) e 18 do feminino (90%); as idades variaram de 17 a 89 anos; o tipo histológico mais freqüente foi o carcinoma papilífero (13 casos), seguido do folicular (seis casos) e carcinoma de células de Hürthle (um caso). Como primeiro procedimento cirúrgico houve 11 lobectomias + istmectomias, quatro lobectomias subtotais e uma istmectomia. Cinco pacientes não realizaram a totalização (um por fibrose, três por perda de seguimento e um por ser microcarcinoma). RESULTADOS: Na análise do lobo contralateral realizada em 15 pacientes, 11 resultaram negativas e outras quatro positivas (26,6%). As complicações apresentadas foram rouquidão (dois casos revertidos com tratamento fonoterápico), hipoparatireoidismo (dois casos, um transitório e um permanente). CONCLUSÃO: A totalização da tireoidectomia é um procedimento importante no tratamento do tumor maligno da tireóide pela alta porcentagem de metástase contralateral (26,6%). Além disso, é um procedimento com mortalidade nula e pequena incidência de complicações.

Validade da punção biópsia por agulha fina nas doenças da glândula parótida

OBJETIVO: Avaliar o método de punção biópsia aspirativa por agulha fina (PBAAF), técnica relativamente simples, de conhecida importância em cirurgia de cabeça e pescoço. Sua indicação em doenças das glândulas salivares, no entanto, especialmente na parótida, ainda é muito controversa na literatura. O diagnóstico pela PBAAF permite o adequado planejamento terapêutico e preparo do paciente. Muitos, porém, alegam que seu emprego acrescenta muito pouco à conduta terapêutica, além de ser procedimento doloroso e elevar o custo do tratamento. MÉTODO: Os autores analisaram os prontuários de 247 pacientes submetidos a parotidectomias, realizadas entre 1986 e 1998, comparando a punção aspirativa por agulha fina com o anatomopatológico definitivo. Isso foi possível em 211 casos. Houve predomínio do sexo feminino, com idade variando de dez a 84 anos. RESULTADOS: Os tumores benignos foram os mais prevalentes, correspondendo a 85,3% dos casos, com predomínio do adenoma pleomórfico. A punção por agulha fina permitiu diferenciar tumores benignos de malignos em 165 casos (78,1%) e acertou o diagnóstico histológico em 77,6 %. CONCLUSÕES: Concluímos que a PBAAF é um método eficiente e simples que fornece ao cirurgião diagnóstico das neoplasias na grande maioria das vezes e deve fazer parte, sempre que possível, da documentação pré-operatória.

Validade da citologia e da biópsia orientada pela colposcopia no diagnóstico do carcinoma cervical pré-clínico

Objetivo: avaliar a eficácia da citologia e da biópsia orientada pela colposcopia na discriminação entre o carcinoma invasor pré-clínico e as lesões intra-epiteliais. Pacientes e Métodos: 441 pacientes submetidas a conização, histerectomia e operação de Wertheim-Meigs, no período de 1978 a 1995, no Hospital Universitário Clementino Fraga Filho, Universidade Federal do Rio de Janeiro, Setor de Patologia Cervical. Foram efetuados os cálculos da sensibilidade, especificidade, valores preditivos, razão de verossimilhança e intervalos de confiança de cada exame, divididos em quatro categorias: normal e inflamatório; displasia leve e displasia moderada; displasia acentuada e carcinoma in situ, e carcinoma microinvasor e invasor. As biópsias foram analisadas como um todo e separadas pelo tipo de colposcopia (satisfatória e insatisfatória). Resultados: a citologia mostrou sensibilidade de 50%, especificidade de 89%, valor preditivo positivo de 63% e valor preditivo negativo de 82%. As razões de verossimilhança foram 4,4 para o diagnóstico de invasão, 0,7 para displasia acentuada e carcinoma in situ, 0,1 para displasia leve e moderada, 2,2 para normal e inflamatório e 0,6 para o conjunto de resultados negativos para invasão. A biópsia orientada pela colposcopia apresentou sensibilidade de 50%, especificidade de 100%, valor preditivo positivo de 100% e valor preditivo negativo de 83%. As razões de verossimilhança foram: tendendo ao ¥ para o resultado de invasão, 0,5 para displasia acentuada e carcinoma in situ, 0,2 para displasia leve e moderada, 0,3 para normal e inflamatório e 0,5 para o conjunto de resultados negativos para invasão. A biópsia orientada pela colposcopia satisfatória com lesão visível mostrou sensibilidade de 59%, especificidade de 100%, valor preditivo positivo de 100% e valor preditivo negativo de 83%. As razões de verossimilhança foram: tendendo ao ¥ para o resultado positivo de invasão, 0,5 para displasia acentuada e carcinoma in situ, zero para displasia leve e moderada, zero para negativo e inflamatório e 0,4 para o conjunto de resultados negativos para invasão.

Validade dos Métodos Clínico e Ecográfico para o Diagnóstico de Adenomiose

Objetivos: determinar a sensibilidade, especificidade, valores preditivos positivo e negativo de um método clínico e da ultra-sonografia no diagnóstico da adenomiose. Métodos: foi realizado estudo transversal do tipo validação de método diagnóstico incluindo 95 mulheres no menacme submetidas a histerectomia por diversas indicações. O diagnóstico clínico foi estabelecido em mulheres acima de 40 anos, dois ou mais filhos, com desvio menstrual para mais associado a dismenorréia. O diagnóstico ecográfico foi firmado pelo achado de, no mínimo, uma área mal delimitada de textura miometrial anormal hiper ou hipoecoíca, heterogênea ou cística. O critério histopatológico, considerado padrão-ouro, consistiu de achado de glândulas e estroma endometrial a 2,5 cm ou mais da junção endomiometrial. Resultados: o método clínico apresentou sensibilidade de 68,2%, especificidade de 78,1%, valor preditivo positivo de 48,4% e valor preditivo negativo de 89,1%. Para o método ecográfico esses valores foram de, respectivamente, 45,5%, 84,9%, 47,6% e 83,8%. A razão de verosimilhança foi de 3,11 para o método clínico e 3,03 para o método ecográfico. Considerando apenas os casos positivos para ambos os métodos concomitantemente, a sensibilidade não ultrapassou 30%, mas a especificidade aproximou-se de 100%. Considerando-se os casos positivos em um dos dois métodos ou em ambos, a sensibilidade atingiu 86% e a especificidade a 60%. Conclusões: o método ecográfico não foi superior ao método clínico no diagnóstico de adenomiose.

Validade das tabelas de peso fetal clássicas para a população Portuguesa

OBJETIVO: avaliar a validade de várias tabelas de peso fetal, habitualmente usadas em Portugal, para classificar a sua população. MÉTODOS: estudo observacional retrospectivo. Foram analisados os registos de nascimentos no período de dois anos (Maio de 2008 a Abril de 2010), decorrentes de gestações unifetais com datação precisa por ecografia entre as 8ª e 14ª semanas de gestação, na mesma instituição. Após validação dos registos, foram analisados os percentis de peso gerados para cada semana de gestação completa, suavizados por uma função polinomial de dois graus, comparando-os com as tabelas mais usadas na instituição e no país, através do uso de Z-scores, valores de percentis, sensibilidade para detecção do percentil 10 (P10) da amostra e comparação de médias de peso. RESULTADOS: um total de 5.378 recém-nascidos (RN) foi registado no período; 2.195 (42%) RN corresponderam aos critérios de inclusão, com idade gestacional (IG) entre as 24ª e 42ª semanas, permitindo uma análise estatística entre as 34ª e as 41ª semanas. Foram detectadas diferenças no peso médio por IG entre tabelas e em relação à amostra, bem como diferenças entre os sexos. O P10 de outros trabalhos mostrou diferenças entre -288g na 37ªs (-11% nos dados de Lubchenco et al.) e +133g na 34ªs (+7,6% nos dados de Carrascosa et al.) em relação ao obtido na amostra. A sensibilidade para detecção de um RN abaixo do P10 na amostra variou, às 39ªs, entre 14,1e 100%, dependendo da tabela usada. DISCUSSÃO: as limitações deste tipo de valores de referência devem ser tidas em consideração, tentando minimizá-las, nomeadamente pela criação de valores locais/regionais ou nacionais, com a contemplação de outras variáveis, sobretudo o sexo do RN, em gravidezes rigorosamente datadas e pela validação in loco dos valores utilizados.

Validade e confiabilidade de uma versão on-line do Female Sexual Function Index por teste e reteste

OBJETIVO: Foi testar a validade e a confiabilidade de uma versão on-line do Female Sexual Function Index (FSFI). MÉTODOS: Uma versão on-line do FSFI foi comparada à versão tradicional, em papel. Para tanto, estudantes de Fisioterapia de três cidades foram alocadas randomicamente em dois grupos - G-pp/ol (n=126) e G-ol/pp (n=147). As mulheres do G-pp/ol responderam ao FSFI do modo tradicional, em papel e caneta, enquanto o G-ol/pp respondeu a uma versão on-line do mesmo questionário. Após 15 dias de intervalo, houve nova coleta, quando o G-pp/ol respondeu a versão on-line enquanto o G-ol/pp respondeu no papel. Todos os dados foram transportados para o software estatístico SPSS. Diferenças demográficas entre os dois grupos foram reveladas pelo teste t de Student ou pelo teste exato de Fischer (IC95%; p>0,05). A associação e a correlação entre as respostas entre G-pp/ol e G-ol/pp durante cada coleta foram acessadas pelo teste t e o coeficiente de Pearson. Estratégia idêntica foi utilizada para as comparações intragrupo. RESULTADOS: Um total de 273 mulheres participou do estudo e 28 (10,2%) desistiram da segunda coleta. Não houve diferenças demográficas entre os grupos. Houve associação entre 15 das 19 questões do FSFI entre os dois grupos, tanto no teste quanto no reteste. A análise intragrupo revelou que todas as questões e os escores do FSFI estiveram associados, mas fracamente correlacionados para um mesmo grupo durante as duas coletas. CONCLUSÃO: A versão on-line do FSFI apresentou validade e confiabilidade aceitáveis quando comparada à versão em papel, o que pode justificar a opção por essa modalidade, especialmente em estudos envolvendo sexualidade.

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.