FISIOLOGIA DA REPRODUÇÃO BOVINA: 2 - ESTRO E SERVIÇO -/- -/- INTRODUÇÃO -/- -/- A identificação de vacas em cio (estro ou cio) é, sem dúvida, a prática mais importante no manejo da reprodução do rebanho leiteiro. Apesar dos avanços no conhecimento da fisiologia da reprodução a nível celular e molecular, a identificação de vacas em estro continua sendo o problema reprodutivo mais importante e o que mais causa prejuízos econômicos. Na indústria de laticínios no Brasil, seu impacto não foi (...) estimado, porém, a estimativa feita por países como os Estados Unidos onde se perdem 300 milhões de dólares por ano pode dar uma ideia, atribuída apenas à baixa eficiência na detecção de estros. Por que é cada vez mais difícil detectar vacas em estro? A resposta está relacionada aos aspectos intrínsecos da vaca leiteira moderna, associadas as práticas de manejo dos rebanhos atuais, caracterizados por possuírem grande número de vacas nos plantéis. -/- -/- 2.1 Como saber que uma vaca está em cio/estro? -/- -/- O comportamento estral é causado por um aumento no estradiol sérico produzido pelo folículo ovulatório. O aumento do estradiol provoca mudanças de comportamento e modificações na genitália externa e interna. A vaca mostra-se inquieta, sua vocalização aumenta, ela anda mais, tenta montar em outras vacas e aceita montar no touro ou em outra vaca, bem como urinam com mais frequência (micção frequente). A vulva fica levemente inflamada, à palpação retal o útero pode ser visto com tônus ou turgor (duro e contraído) e ao massagear o colo do útero observa-se que sai abundante muco cristalino da vulva. O mecanismo clássico proposto na regulação do estro é baseado principalmente no papel do estradiol; no entanto, estudos recentes indicam que o GnRH pode participar da regulação do estro ao nível do hipotálamo. O estro possui duração entre 8 e 18 horas e a intensidade do mesmo é afetada por fatores ambientais e intrínsecos a vaca moderna (figuras de 1 a 6). -/- -/- -/- Figura 2: A observação do grupo sexualmente ativo facilita a identificação das vacas em estro. -/- Figura 1: As vacas em estro formam grupos ativos (grupo sexualmente ativo) separados do resto das vacas. A conformação desses grupos facilita a observação do estro. -/- -/- A formação de grupos de vacas é um fator ideal para a detecção de vacas em cio, elas ficam juntas e começam a montar uma nas outras, a cheirar a urina de ambas etc. comportamentos que podem ser visualizados de longe pelo tratador e diagnosticado o cio o mais breve possível para o manejo reprodutivo adotado pela propriedade seja para monta natural ou controlada e/ou inseminações artificiais (IA) e artificiais em tempo fixo (IATF). -/- -/- Figura 3: O único comportamento positivo do estro é a aceitação da monta de outra vaca. É frequente que a vaca que realiza a monta também esteja em estro, o que só será afirmado até que ela aceite a monta de outra vaca. -/- -/- Figura 4: Cada monta dura de 5 a 7 segundos -/- Figura 5: A vaca leiteira aceita de 5 a 30 montas distribuídas entre 8 e 18 horas. -/- Figura 6: Além das mudanças comportamentais, os estrogênios causam alterações na genitália interna. Uma delas é a produção de muco cervical, que juntamente com o turgor uterino, constituem os sinais genitais do estro. -/- -/- O cio pode ser dividido em três fases, a inicial, a fase de cio verdadeiro e a fase final. O cio verdadeiro quando é observado, é caracterizado pelo momento em que a vaca aceita claramente a monta. Por sua vez, os sinais de início e final de cio se misturam, apresentam nervosismo e inquietação, cheiram e lambem a vagina e a urina de outras vacas, apoiam a cabeça na garupa de outras fêmeas etc. (figura 7). Uma das sugestões adotadas nas propriedades para facilitar a identificação do cio em um rebanho é realizada pelos funcionários com a utilização de um bastão ou fita de coloração da garupa das vacas. -/- Figura 7: Principais sinais que demonstram que a vaca está entrando em cio. As imagens mostram o início do cio, cio verdadeiro e final do cio. -/- CONTINUA. BAIXE O PDF!!! -/- RESUMO -/- -/- < >Nos Estados Unidos, 300 milhões de dólares são perdidos devido à baixa eficiência na detecção do estro. A eficiência na detecção do estro no Brasil é de 40 a 50%. A meta de eficiência para detecção de estro é > 60%. Com a observação das vacas em dois períodos diários de três horas cada (manhã e tarde), consegue-se uma eficiência na detecção de estro de 80%. Menos de 20 por cento das vacas devem ter um intervalo de serviço duplo e nenhum de mais de 48 dias. A taxa de prenhez é obtida multiplicando-se a eficiência na detecção do estro pela porcentagem de concepção e dividindo por 100 (50 * 30/100 = 15%). A taxa de prenhez em rebanhos norte-americanos é de 15%. Nos Estados Unidos, para cada ponto percentual que diminui a taxa de prenhez, não há mais de US$ 12 a US$ 15 por vaca por ano. No Brasil, para cada ponto percentual que aumenta a taxa de prenhez, na faixa de 15 a 20%, é gerada uma renda anual adicional de $ 190 reais por vaca. Não mais que 25% das vacas devem estar vazias no 150º dia pós-parto. Não mais do que 8% devem as vacas ser cobertas no 250º dia pós-parto. 8% das vacas devem engravidar a cada mês. O estro ocorre 48 a 120 horas após o tratamento com PGF2α. 80% é a precisão na palpação do corpo lúteo. Quatorze dias devem decorrer entre duas injeções de PGF2α. Menos de 25% das vacas incluídas no programa de pré-sincronização devem chegar à IATF. No momento da ovulação, a primeira injeção de GnRH deve ser aplicada entre o quinto e o nono dia do ciclo estral. A inseminação cronometrada é realizada 14-16 horas após a segunda injeção de GnRH. O tratamento com dispositivos intravaginais liberadores de progesterona dura 12 dias. Se a duração do tratamento é menor deve-se injetar PGF2α ao retirá-lo. -/- -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- -/- ATUESTA, Jorge; DIAZA, Angela Gonella. Control hormonal del ciclo estral en bovinos y ovinos. Spei Domus, v. 7, n. 14, 2011. -/- COLAZO, Marcos Germán; MAPLETOFT, Reben. Fisiología del ciclo estral bovino. Ciencia Veterinaria, v. 16, n. 2, p. 31-46, 2017. -/- Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. Belo Jardim: IFPE, 2020. -/- Fisiologia da Reprodução Animal: Ovulação, Controle e Sincronização do Cio. Belo Jardim: IFPE, 2020. -/- DOBSON, H. et al. The high‐producing dairy cow and its reproductive performance. Reproduction in domestic animals, v. 42, p. 17-23, 2007. -/- DO VALLE, Ezequlel Rodrigues. O ciclo estral de bovinos e métodos de controle. EMBRAPA-CNPGC., 1991. -/- FURTADO, Diego Augusto et al. Inseminação artificial em tempo fixo em bovinos de corte. Revista científica eletrônica de medicina veterinária, v. 16, p. 1-25, 2011. -/- GALON, Nadav. The use of pedometry for estrus detection in dairy cows in Israel. Journal of Reproduction and Development, v. 56, n. S, p. S48-S52, 2010. -/- HOPPER, Richard M. (Ed.). Bovine reproduction. John Wiley & Sons, 2014. -/- LOPEZ, H.; SATTER, L. D.; WILTBANK, M. C. Relationship between level of milk production and estrous behavior of lactating dairy cows. Animal reproduction science, v. 81, n. 3-4, p. 209-223, 2004. -/- MACMILLAN, Keith L. Recent advances in the synchronization of estrus and ovulation in dairy cows. Journal of Reproduction and development, v. 56, n. S, p. S42-S47, 2010. -/- MUNIS DE OLIVEIRA, G. Fisiologia da Reprodução Bovina e Métodos de Controle do Ciclo Estral. Trabalho de conclusão do curso de especialização em Reprodução e Produção de Bovinos–UCB. Rio de Janeiro, Brasil, 2006. -/- O'CONNOR, MICHAEL L. Estrus detection. In: Current therapy in large animal theriogenology. WB Saunders, 2007. p. 270-278. -/- RIPPE, Christian A. El ciclo estral. In: Dairy Cattle Reproduction Conference. 2009. p. 111-116. -/- ROELOFS, Judith et al. When is a cow in estrus? Clinical and practical aspects. Theriogenology, v. 74, n. 3, p. 327-344, 2010. -/- VIVEIROS, Ana Tereza de Mendonça. Fisiologia da reprodução de bovinos. Lavras: UFLA, p. 62, 1997. (shrink)

Émile Durkheim: Coesão e Fato Social -/- Emanuel Isaque Cordeiro da Silva E-mails: [email protected] / [email protected] WhatsApp: (82)9.8143-8399 -/- Émile Durkheim: Coesão e Fato Social Nascido em 1858, Durkheim era francês e foi bastante influenciado pela obra do filósofo também francês Augusto Comte (1798-1857), que metodizou pela primeira vez o estudo da sociedade (Sociologia) como uma ciência particular e peculiar, e que também conectou a Sociologia com alguns artífices peculiares das Ciências Naturais. Em contrapartida, Durkheim procurou alicerçar a Sociologia (...) como uma ciência social divergente em toda sua totalidade das ciências naturais. Logo, mediante essa finalidade, cuidou em desenvolver uma tese e um artifício de análise que contivesse conceitos peculiares para a instrução da vida em corpo social. Doravante, os princípios da sociologia de Émile Durkheim podem ser reduzidos as alcunhas ou conceitos de coesão, da segmentação do trabalho (ou especialização do trabalho) e de ação, circunstância ou fato social. Ao analisar acerca da divisão do trabalho no corpo social, Durkheim explana: [...] a divisão do trabalho [...] não serviria apenas para dotar nossas sociedades de luxo, invejável talvez, mas supérfluo; ela seria uma condição de existência da sociedade. Graças à divisão do trabalho, ou pelo menos por seu intermédio, se garantiria a coesão social; ela determinaria os traços essenciais da constituição da sociedade. Por isso mesmo, caso seja essa realmente a função da divisão do trabalho, ela deve ter um caráter moral, porque as necessidades de ordem, de harmonia e de solidariedade social são geralmente consideradas morais. Vale salientar que, Émile Durkheim foi inteiramente influenciado pelos acontecimentos históricos que se decorrera nos séculos XVIII e XIX. Todo o continente europeu, ao passo do século XIX ascendeu em derredor dos princípios da Revolução Industrial e da Revolução Francesa. A primeira (Revolução Industrial), tendo sua introdução aos meados do século XVIII, exacerbou atrozmente a produção de mercadorias. Aproveitando-se dos avanços tecnológicos incorporados nas indústrias, a produção industrial na Inglaterra, ao passo do século XVIII, disseminou-se para demais países europeus no século seguinte, transfigurando-se como o âmago central de estruturação da vida sodalícia. A segunda (Revolução Francesa), com seu desencadeamento em 1789, foi inteiramente marcada por metamorfoses políticas estruturais. O corpo social feudalista, que antepor-se ao sodalismo capitalista, foi crepusculada. Todas as estruturas políticas do corpo feudalista deram lugar a hegemonia das organizações políticas capitalistas. O regime monárquico foi finalizado e comutado por entidades políticas que se apropriavam de ideais como a liberdade, a igualdade e a fraternidade, tal qual era o próprio lema da Revolução Francesa. As instituições de educação, antes dominadas e ditadas pela hegemônica Igreja católica, passaram a ser administradas pelo Estado, fazendo com que as mesmas se tornassem leigas. A chamada livre-iniciativa ou o processo em que ocorre o escambo de mercadorias foi exortado por novíssimas regras e leis estabelecidas sob a perspectiva da produção das indústrias, que estavam sob ascensão constante. Ao passo do fim do século XIX, Émile Durkheim percebia atentamente essa ascensão notória do processo de metamorfose social, particularmente instigada pela indústria, e buscava entender esse processo para elucidar o seguinte inquietamento: como pode esse corpo social capitalista, que se fragmenta e qualifica-se em funções cada vez mais divergentes, assegurar uma unicidade, uma coesão social? Pois bem, o autor buscou uma elucidação sociológica para essa questão pragmática. O sociólogo buscou compreender a unicidade social em um mundo cada vez mais fragmentado pela qualificação do trabalho. O mesmo, perguntava-se como os sujeitos distintos, em cargos sociais heterogêneos, poderiam constituir-se socialmente. Buscando uma elucidação, alicerçada nos preceitos sociológicos, desse processo de diferenciação, o autor francês apropriou-se da seguinte hipótese: todo o corpo social, de indivíduos distintos, são definidos por algum tipo de fragmentação (aprimoramento) do trabalho. Isto é, no decorrer do desenvolvimento dos corpos sociais, os sujeitos tendem a se tornarem cada vez mais heterogêneos. Em um corpo social com a mínima fragmentação do trabalho, os sujeitos são mais análogos entre si quando cotejados aos demais que vivem sob um corpo social em que o trabalho é majoritariamente fragmentado. É mediante a essa ótica que o sociólogo francês atenta sobre a coesão social, isto é, o estágio de incorporação de cada corpo social. Em corpos sociais onde o trabalho é predominantemente fragmentado é observada uma dinâmica dupla. Concomitantemente a ocorrência da distinção profissional, é criada o que Durkheim chama de interdependência funcional, isto é, alcunha para designar a dependência recíproca dos indivíduos num mundo onde o trabalho é puramente fragmentado. Os vínculos sociais e a teia de interdependência, definem uma forma de coesão social. Em corpos sociais em que o trabalho não é puramente fragmentado, são as crenças que asseguram a unicidade dos sujeitos, uma vez que o processo de aprimoramento das funções profissionais ainda são puramente arcaicos. Aclarando melhor o supracitado texto, vamos cotejar dois corpos sociais: um corpo social feudal e outro industrial. Pois bem, em um sodalismo feudal hipotético, a fragmentação do trabalho é proveniente alicerçada pelas atividades majoritariamente agrícolas. Os indivíduos servis laboram majoritariamente para o benefício do senhor feudal e a parte restante de seu tempo é para laborar em proveito da sua subsistência e de seu grupo familiar. As metodologias do labor são puramente arcaicas e as práticas de trabalho se resumem em plantar, colher e cuidar dos animais. As metodologias produtivos apropriadas pelos diferentes feudos acabam por ser predominantemente análogas, logo, não há muita distinção entre os sujeitos. Em detrimento ao corpo social feudalista, no corpo industrial, há uma acentuada fragmentação do labor, em que homens e mulheres acabam por exercer funções agudamente distintas. Existem lavadeiras, mecânicos, operários, pedreiros, marceneiros, merchandisings, professores, comerciantes, etc., citando uma parcela ligeiramente pequena das profissões existentes nesse sodalismo e que, mediante essas profissões, ainda há uma fragmentação destas, originando várias subdivisões. Elucidando o anteriormente citado, entre os professores estão aqueles que lecionam Português, Ciências, Filosofia, Antropologia, Sociologia, Educação Física, etc. Para Émile Durkheim, esses corpos sociais são puramente aprimorados, e têm maior estágio de fragmentação profissional, o que gera a caracterização dos sujeitos distintos entre si. A secção do labor é, para o autor, um ingrediente social de impulsionamento da ascensão dos corpos sociais. Os ofícios sociais são primordiais para sua análise, logo, a Sociologia de Durkheim é alcunhada de “funcionalista”. Não obstante, para meditar mais sobre a fragmentação do labor, o autor criou outros preceitos fundamentais. Um deles é o conceito de fato social, primordial para a definição do que é peculiar ou não da Sociologia. Com a finalidade de gerar preceitos com uma maior robustez possível, Durkheim compreendia que o fato social era como uma coisa, um fato tão apreensível quanto qualquer componente ou unidade física ou biológica. Os fenômenos sociais seriam, mediante o supracitado, formas de cogitar, vivenciar e proceder que exercem uma coerção (força) externa sobre os sujeitos sodalísticos. Para o autor, o corpo social vinha antes que todos os sujeitos e procedera sobre os mesmos, caracterizando suas formas de ser. Com isso, um fato social poder-se-ia ser identificado com base nessa força ou coerção social compulsória a um único ou mais sujeitos. Como explana o supracitado texto, só poder-se-ia ser considerado um fato social, o acontecimento que nele contivesse: 1 Generalidade (que fosse identificado em todo o corpo social); 2 Exterioridade (que seja exterior à vontade dos sujeitos); e 3 Coercitividade (que apresente uma força externa aos sujeitos e que os molde em detrimento das vontades individuais). Logo, os estudos de Émile Durkheim, além de receber a alcunha de funcionalista, recebe também a consideração de uma Sociologia estruturalista, ao passo em que, a estrutura do corpo social designaria as atitudes dos sujeitos. Na sociedade contemporânea, alguns exemplos de fatos sociais são o direito, a educação, a fragmentação do labor, às crenças religiosas e crenças políticas de divergentes espectros, os esportes, etc. O próprio futebol, a exemplo, é considerado um fato social na medida em que ele se encontra presente em todo corpo social brasileiro. Nas três características para o futebol ser considerado um fato social, ele é exterior aos sujeitos, uma vez que para ele existir não depende da vontade dos sujeitos individuais. Também é coercitivo, uma vez que impõe um padrão esportivo aos sujeitos. Diante do antepasso texto, muitos infantes e juvenis desejam ser jogadores de futebol, esse “desejo” ou sonho pode ser entendido e elucidado como uma força externa, peculiarmente social. Diante de todo o supracitado texto, observemos que, na perspectiva de Durkheim, o estudo da sociedade (Sociologia) deve ter como finalidade ou fundamento o estudo dos fatos sociais antigos, modernos e contemporâneos. Aqueles fatos que não obtiverem as três características elaboradas por Durkheim (a saber: Generalidade, Exterioridade e Coercitividade) será considerados fatos de domínio das demais ciências existentes. Pois, para finalizar, Durkheim afirma que a Sociologia é a ciência que estuda os fatos sociais. -/- EXERCÍCIO DE FIXAÇÃO DO ASSUNTO: ÉMILE DURKHEIM: COESÃO E FATO SOCIAL PROF. Lic. e Tecg°. EMANUEL ISAQUE CORDEIRO DA SILVA SOCIOLOGIA GERAL II – 17 de Maio de 2019 TURMA: 2°__ -/- Estudante:____________________________________________________________ N°:__ -/- 1 Alicerçados pelo texto supra e pelas aulas ministradas, aclare a influência de Augusto Comte sobre os estudos e a Sociologia de Émile Durkheim. 2 Durkheim teve influência direta de Comte, nada obstante, ambos divergiram quanto ao estudo e o objeto de estudo da Sociologia. Debruçados sobre o texto e lembrados pelas aulas ministradas, cite as principais divergências entre os estudos desses franceses. 3 Quais termos se reduzem a Sociologia de Durkheim? Aclare esses termos em ideias da vida contemporânea na comunidade em que vive. 4 Atente às alíneas para elucidar, posteriormente, o que se pede: “a divisão do trabalho [...] seria uma condição de existência da sociedade. [...] Graças à divisão do trabalho [...] se garantiria a coesão social. (RODRIGUES. J. A. 2000). Analise o fragmento passado e elucide a essência da divisão do trabalho para a estruturação e organização da sociedade capitalista, bem como para os avanços nos estudos de Durkheim. 5 Aclare o impacto intensivo da Revolução Industrial para o desenvolvimento da sociedade capitalista europeia e para a geração da Sociologia do autor francês Durkheim. 6 Elucide a essência da Inglaterra da Revolução Industrial que foi considerada o país estopim do âmago central de estruturação dos sujeitos e da vida em sociedade. 7 Disserte acerca do impacto intensivo da Revolução Francesa sob as esferas políticas estruturantes do século XVIII. 8 Aclare a suma importância do crepúsculo do regime feudal durante a Revolução Francesa e, posteriormente, explique a vantagem socioeconômica e política da transição do sistema feudal para a hegemonia do sistema capitalista. 9 Amparados pelo texto supra e lembrados pelas aulas anteriores, defina o lema da Revolução Francesa: Liberdade, Igualdade e Fraternidade. Depois, elucide o impacto desse lema na sociedade do século XVIII. 10 As escolas eram controladas pela Igreja Católica, com a Revolução Francesa essas instituições de ensino passaram a ser administradas pelo Estado. Elucide as vantagens da transferência do poder sobre as escolas para o desenvolvimento do ensino e da sociedade. 11 Debruçados ante o exposto texto supra e pelas aulas ministradas, elucide as vantagens e as desvantagens da fragmentação do trabalho na sociedade dos séculos XVIII e XIX. 12 Aclare o termo dinâmica dupla. 13 Elucide o que seria a interdependência funcional para Durkheim e como esse termo impactaria a sociedade contemporânea do século XXI. 14 Aclare melhor o termo fato social e, posteriormente, Elucide os termos característicos de um fato social que são a generalidade, a exterioridade e a coercitividade. 15 cite exemplos contemporâneos de fatos sociais no Brasil. 16 Por que a Sociologia de Durkheim é alcunhada de funcionalista e de estruturalista? 17 Entre em embate com Durkheim e crie um novo objeto de estudo para a Sociologia além do alicerce dos fatos sociais. Lembre-se de embasar e fundamentar bem sua teoria, uma boa ideia é a exemplificação de sua teoria na vida pragmática dos indivíduos e como seu novo objeto de estudo impactaria as esferas políticas, sociais e econômicas. (Obs.: Caso crie uma boa tese alicerçada e bem fundamentada em fatos teóricos e práticos, a nota dessa questão valerá 25% do todo). 18 Como conclusão, debruçados sobre o texto introdutório, leio atentamente após todas as questões resolvidas, para um melhor entendimento profundo, e disserte sobre todas as ideias explanadas, expondo seu ponto de vista sobre o tema, isto é, se concorda ou não, sempre usando uma fundamentação que alicerce seu ponto de vista. (Mínimo – 25 linhas/Máximo – 55 linhas). -/- De coração, boa sorte! -/- . (shrink)

This article aims to review the standard objections to dualism and to argue that will either fail to convince someone committed to dualism or are flawed on independent grounds. I begin by presenting the taxonomy of metaphysical positions on concrete particulars as they relate to the dispute between materialists and dualists, and in particular substance dualism is defined. In the first section, several kinds of substance dualism are distinguished and the relevant varieties of this kind of dualism are selected. The (...) remaining sections are analyses of the standard objections to substance dualism : It is uninformative, has troubles accounting for soul individuation, causal pairing and interaction, violates laws of physics, is made implausible by the development of neuroscience and it postulates entities beyond necessity. I conclude that none of these objections is successful. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The COVID-19 pandemic has brought significant challenges to healthcare systems worldwide, and in Africa, given the lack of resources, they are likely to be even more acute. The usefulness of Traditional African Healers in helping to mitigate the effects of pandemic has been neglected. We argue from an ethical perspective that these healers can and should have an important role in informing and guiding local communities in Africa on how to prevent the spread of COVID-19. Particularly, we argue not only (...) that much of the philosophy underlying Traditional African Medicine is adequate and compatible with preventive measures for COVID-19, but also that Traditional African Healers have some unique cultural capital for influencing and enforcing such preventive measures. The paper therefore suggests that not only given the cultural context of Africa where Traditional African Healers have a special role, but also because of the normative strength of the Afro-communitarian philosophy that informs it, there are good ethical reasons to endorse policies that involve Traditional Healers in the fight against COVID-19. We also maintain that concerns about Traditional African Healers objectionably violating patient confidentiality or being paternalistic are much weaker in the face of COVID-19. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Objective of the study: To analyze the costs and profits of sugarcane production regarding the cultural practices of sugarcane suppliers. Methodology/approach: This study positions itself in this gap by comparatively analyzing 6 types of cultural practices: unraveling, windrowing, application of correctives, herbicides, insecticides and fertilizers, with the option of two systems Fixed rate (TF) and Variable rate (TV). Originality/Relevance: Brazil is a world reference in sugarcane production, with the State of São Paulo being the largest Brazilian producer. However, for sugarcane (...) suppliers to maintain this activity there is a need to reduce production costs and increase profitability/ha. However, there is a theoretical-practical gap in the financial assessment (costs and profits) of different cultural practices inherent to sugarcane production. Main results: The results demonstrated that the costs of cultural practices represent more than 30% of the total sugarcane production costs. The TF system proved to be more cost-efficient in the following operations: correctives, herbicides and insecticides. In the application of fertilizers, the TV system, in broadcast mode, had the best result. Finally, the profit/ton was R$1.70, demonstrating a very low profit margin/ha given the risk of the activity. Theoretical/methodological contributions: The sample for this research comprised 55 sugarcane suppliers from the State of São Paulo, whose data were obtained through a survey. The comparative analysis was based on the difference in costs of cultural practices and the estimation of the level of certainty (profit/costs), analyzed through the cumulative frequency carried out through the Monte Carlo Simulation (SMC). (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

: To address the question “on what there is” raised by Quine, and to accomplish the task of comprehending exhaustively the many ontological units that populate the great province of Being, we propose as an alternative to Puntel’s ontology a new ontology designated as “Structural Ontology” (SO). Such ontology is based on systematic-structural theoretical foundations, but leads to a diverse view in which structured factual units, structural configurations (dynamics), as well as apparent ontological units (objects), all encompassed by the temporal (...) sub-dimension that interconnects them, understood as an internal sub-dimension of the macro-dimension of Being, co-subsist. In this sense, we begin by situating the ontological theme in current philosophical discussion from a Quinean perspective. We then present a concept of truth derived from our reading of puntelian philosophy, which will be the point of connection between language and the world. Subsequently, we show how from the concept of truth, after a brief foray into philosophical semantics, we arrive at the ontological field from the ontological categories of structure and ontological state. Finally, we outline, in its general features, our structural ontology, which includes its own ontological notions that give new directions to philosophical understanding of this great theme. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) class='Hi'>Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Resumo O Contextualismo Epistêmico é conhecido por alegar oferecer a melhor resposta para alguns dos principais problemas epistemológicos, dentre eles o problema gerado pelos paradoxos céticos e, por conseguinte, por deter o conhecimento sobre muitas coisas que ordinariamente julgávamos já conhecidas. Da mesma forma, seria uma via capaz de manter a validade do princípio de fechamento dedutivo. O presente texto pretende analisar a teoria contextualista, conforme apresentada por Stewart Cohen, mostrando como o contextualismo resolve essas questões. Na primeira parte do (...) texto apresentaremos alguns problemas (e algumas características históricas) que culminaram no surgimento do contextualismo. Na segunda parte explanaremos a teoria contextualista de Cohen. Em seguida levantamos algumas objeções comumente endereçadas ao contextualismo. Por fim, concluímos que, embora não seja completamente refutada, a teoria contextualista deve dirimir dúvidas e explicar algumas dificuldades para manter a sua plausibilidade. Palavras-Chave: Contextualismo; Ceticismo; Conhecimento; Stewart Cohen. -/- Abstract Epistemic Contextualism is known by his allegation to possess the best answer to some of the major epistemological problems, among them, the problem created by the skeptical paradoxes and therefore the claim that we can know many things we ordinarily claim to know, and also maintains the validity of the closure principle. This paper seeks to examine Contextualism, as presented by Stewart Cohen, showing how Contextualism solves these problems. In the first section of the text I will present some problems (and some historic features) that originated Contextualism. In the second section I will present the Cohen`s Contextualism. Then, we consider some objections raised against the contextualista theory. Finally, we conclude that although these objections are not able to completely refute contextualism its proponents have to give better explanations in order to maintain its plausibility. Keywords: Contextualism; Skepticism; Knowledge; Stewart Cohen. (shrink)

Resumo: Neste artigo, apresentamos uma versão de uma teoria que eu chamarei de Contextualismo Epistêmico ‒ a visão de que o contexto e os padrões determinados por ele desempenham um papel central na avaliação de se um agente epistêmico tem, ou não, justificação e, portanto, conhecimento ‒ para tentar resolver um dos problemas mais influentes em epistemologia, a saber, o Problema do Regresso epistêmico. O primeiro passo será o de caracterizar o problema do regresso epistêmico. Em seguida, apresentaremos uma importante (...) distinção que é útil para um melhor entendimento da nossa tese, isto é, a distinção entre justificação proposicional e doxástica. Então, abordaremos as visões tradicionais que supostamente alegam resolver este problema, mostrando que todas são problemáticas. Por fim, apresentaremos a visão que pretendemos defender, mostrando como ela pode oferecer uma resposta ao problema do regresso epistêmico, de uma maneira que as outras visões não podem. Palavras-chave: Regresso Epistêmico, Justificação, Conhecimento, Contextualismo Epistêmico. Abstract: In this paper we present a version of a theory that we will call Epistemic Contextualism - the view that the context and the standards that it determines, play a central role in evaluating whether, or not, a subject has justification, and therefore knowledge - to try to solve one of the most influential problems in epistemology, namely, the Epistemic Regress Problem. The first step will be to characterize the epistemic regress problem. Next, we present an important distinction that is useful to a better understanding of our view, that is, the distinction between propositional and doxastic justification. Then, we present traditional views that allegedly claim to solve this problem showing that all are problematic. The final step concerns the exposition of the view we want to defend, showing how it can solve the epistemic regress problem in a way that the other views cannot. Keywords: Epistemic Regress, Justification, Knowledge, Epistemic Contextualism. (shrink)

On how medieval philosophy is not (only) theology.

Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery of first-order (...) quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method –which we call the McColl-Ladd (ML) system– employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz’s historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Each scientific study emerges in its own particular time and marks a new step in the development of human thought.1 Big History materialized to satisfy the human need for a unified vision of our existence. It came together in the waning decades of the twentieth century, in part, as a reaction to the specialization of scholarship and education that had taken hold around the world. While this specialization had great results, it created barriers that stood in contrast to a growing (...) unity among our global communities. These barriers were increasingly awkward to bridge, and, thus, Big History emerged as a successful new framework. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

Como área interdisciplinar, as Ciências Cognitivas começam a se desenvolver em meados da década de 1950 a partir de uma concepção compartilhada sobre a mente, hoje chamada de cognitivista. Esses pesquisadores concebiam a mente com uma natureza representacional que opera por meio de computações simbólicas. Atualmente, há uma multiplicidade de abordagens e teorias sobre a mente. Nesse espectro de posições, há desde abordagens tradicionais, que concebem a mente como representacional, até abordagens bastante radicais, que negam qualquer natureza representacional para a (...) mente. Após introduzir este tema, apresentamos as críticas de William Ramsey à representação enquanto definidora das Ciências Cognitivas ou, em outros termos, à representação enquanto critério de demarcação do cognitivo. Desenvolveremos uma hipótese interpretativa para a crítica de Ramsey mobilizando o conceito de estratégia de pesquisa, de Hugh Lacey. Apresentaremos a distinção de Lacey entre adoção de uma estratégia e aceitação de uma teoria, discutindo a suposta independência avaliativa entre estratégia e teoria. Finalizaremos com a defesa de um pluralismo de estratégias nas Ciências Cognitivas. Diferente de concepções que buscam reduzir prematuramente as Ciências Cognitivas a uma única estratégia, o pluralismo que defendemos equilibra a eficiência na resolução de problemas com outros valores considerados importantes, como a abrangência empírica e a neutralidade no sentido de inclusividade e equitatividade de valores. No atual momento das ciências cognitivas, o pluralismo de estratégias constitui o caminho mais promissor. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

Para solucionar a questão “sobre o que há” levantada por Quine, e realizar a tarefa de compreender de forma exauriente as muitas unidades ontológicas que povoam a grande província do Ser, propomos como alternativa à ontologia punteliana, uma nova ontologia designada de “Ontologia Estrutural” (OE). Tal ontologia parte de bases teóricas sistemático-estruturais, mas desemboca em uma visão diversa em que co-subsistem unidades factuais estruturadas, configurações estruturais (dinâmicas), bem como unidades ontológicas aparentes (objetos), todas englobadas pela subdimensão temporal que as interconexiona, (...) compreendida esta como uma subdimensão (interna) da macrodimensão do Ser. Nesse sentido, começamos situando a temática ontológica na discussão filosófica atual a partir de uma chave quineana; prosseguimos apresentando um conceito de verdade derivado de nossa leitura da filosofia punteliana, o qual constituirá o ponto de ligação entre linguagem e mundo. Na sequência, mostramos como do conceito de verdade trazido à lume, após uma breve incursão na semântica filosófica, chegamos ao campo ontológico a partir das categorias ontológicas de estrutura e estado ontológico. Ao final, delineamos, em seus caracteres gerais, a nossa ontologia estrutural, compreensiva de noções ontológicas próprias que dão novos rumos à compreensão filosófica desta grande temática. (shrink)

Nosso objetivo não é refutar o ceticismo, nem mesmo provar que ele é falso, ou até mesmo afirmar que ele é falso. Aceitamos a diferenciação entre um tipo de filosofia que pretende provar algo e outro tipo que pretende explicar como algo é possível. Nesse sentido, pretendemos explicar, através de uma teoria contextualista, como é possível o conhecimento – ainda que o cético nos acuse de aceitar o fato de que é logicamente possível que estejamos sonhando ou sejamos um cérebro (...) numa cuba. Na tentativa de concretizar essa tarefa não precisamos, contudo, convencer o cético, uma vez que podemos introduzir hipóteses que serão negadas por ele. No entanto, o que nos parece mais importante é explicar que consideramos tais hipóteses aceitáveis e plausíveis, mostrando que elas descrevem a possibilidade do conhecimento que, por sua vez, se enquadra com a possibilidade lógica que o cético aponta, através do princípio de fechamento. (shrink)

Entende-se que os experimentos mentais são dispositivos da imaginação que podem nos fornecer crenças que constituem conhecimento. John D. Norton apresentou uma abordagem que se tornou influente para explicar como os experimentos mentais científicos podem produzir novos conhecimentos so- bre o mundo. Ele afirma que não há nada distintivo nos experimentos men- tais, uma vez que sustenta que eles funcionam exatamente como argumen- tos. Neste artigo, contestamos sua abordagem. Examinamos aspectos essen- ciais de sua abordagem, que envolvem as noções de (...) “argumento” e “inferên- cia” para mostrar que um sujeito que chega a saber algo através da execução ou condução de um experimento mental dificilmente será considerado como tendo efetivamente executado um argumento ou um processo de raciocínio inferencial. (shrink)

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

n the first part of the paper I will present Pritchard’s approach to Wittgenstein’s notion of hinge commitments, which is essential to his solution to the closure-based sceptical arguments. And, in the second par of the paper, I will raise some concerns that I have regarding Pritchard’s non-belief reading of the hinge commitments. In the third and final part, I make some concluding remarks regarding Pritchard’s overall strategy to solve the closure-based sceptical paradox.

This piece replies to a recently published article in the European Journal for Philosophy of Religion by J. L. Schellenberg and Paul Draper. They contend that the field of African philosophy of religion needs renewal, and they make several recommendations on how to achieve this. I agree with their recommendations, but I argue they have omitted a crucial problem and solution to renew the field; namely, a fundamental problem of the field is that it systemically excludes non-Western philosophies and scholars (...) and, therefore, the field needs to be decolonised. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

In this Ph.D. dissertation, completed at the Sorbonne, it is shown that the whole of medieval philosophy was not reduced to a realist stance: in the 13th-14th centuries, an idealist stance emerged and was developed into a full-fledged epistemological idealism, personified in the philosophers Eckhart von Hochheim and Dietrich von Freiberg. This dissertation deviates from most works in the history of philosophy by proposing to see this as a taxonomy.

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

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. (shrink)

Alguns filósofos alegam que intuições são experiências não sensórias (BENGSON, 2015; CHUDNOFF, 2011, 2013; KOKSVIK, 2020). Há algo como sentir uma intuição e isso é particular e único a esse estado mental. No entanto, alguns questionam essa experiência a partir da perspectiva de primeira pessoa: eles alegam não ter nenhuma experiência do tipo. Como resolver isso? John Bengson, Elijah Chudnoff e Ole Koksvik alegam que esses que afirmam não terem a experiência intuicional estão a procurando de maneira errada no seu (...) fluxo de consciência. Bengson diz que não devemos confiar apenas na nossa introspecção, mas sim vermos o que nos “atinge” ao sermos apresentados com certas situações. Chudnoff diz que as intuições são experiências constituídas de outras experiências, então não se deve esperar que as intuições venham sem nenhuma outra experiência. Koksvik diz que as intuições possuem apenas a fenomenologia de atitude específica, mas não fenomenologia de conteúdo específico. Isto é, não há uma distinção fenomenológica entre intuir que p e intuir que q. O objetivo aqui não é fornecer uma resposta definitiva a essa questão, mas fornecer um apanhado crítico das respostas dadas na literatura sobre esse desafio. (shrink)

Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.

In this article, I highlight the role of the notion of meaning for educational administration. I draw attention to Thomas Greenfield's theses regarding the role of meanings in organization. I explore the relations between Greenfield's thesis about meaning in organization and Ludwig Wittgenstein's thoughts about language and meaning. I shed some light on the encounters and distances between these two thinkers. My account is both exploratory and critical. On the one hand, I point to the relationships between meaning, practices, and (...) action in organization. On the other hand, I identify one aspect of Greenfield's thought that can be further explored in the light of Wittgenstein' s remarks about the public character of meaning. (shrink)

Resumo Embora controversa, o contextualismo epistêmico alega oferecer a melhor explicação para alguns fenômenos analisados em epistemologia contemporânea, por exemplo: alega responder ou explicar o apelo de certos paradoxos e, ao mesmo tempo, manter a verdade de nossas alegações ordinárias de conhecimento. Conforme alegado por contextualistas, a vantagem de sua teoria ao explicar o apelo de certos paradoxos reside no fato de que nenhum princípio lógico precisa ser rejeitado. O paradoxo do prefácio – que consiste na aparente incoerência lógica que (...) ocorre quando o autor de um livro declara em seu prefácio que, apesar de acreditar que é altamente provável que tudo o que o livro afirma seja verdadeiro, também é altamente provável que o livro contenha, pelo menos, algum erro – parece não ter sido explorado o suficiente pelos contextualistas. Portanto, pretendemos sugerir uma versão do paradoxo do prefácio apresentando um argumento análogo ao argumento que os contextualistas costumam apresentar para explicar o paradoxo cético. Desta maneira, pretendemos oferecer, por meio de uma análise contextualista, uma explicação para o paradoxo do prefácio. Se a resposta contextualista é ou não adequada para esse paradoxo, isso será questão de disputa e não nos caberá discuti-la aqui. Meu objetivo é apenas sugerir que uma análise contextualista semelhante à aplicada ao paradoxo cético pode ser construída para explicar o paradoxo do prefácio. Palavras-chave: Contextualismo; Paradoxo do prefácio; Paradoxo cético. (shrink)