Modern semiotics is a branch of logics that formally defines symbol-based communication. In recent years, the semiotic classification of signs has been invoked to support the notion that symbols are uniquely human. Here we show that alarm-calls such as those used by African vervet monkeys (Cercopithecus aethiops), logically satisfy the semiotic definition of symbol. We also show that the acquisition of vocal symbols in vervet monkeys can be successfully simulated by a computer program based on minimal semiotic and neurobiological constraints. (...) The simulations indicate that learning depends on the tutor-predator ratio, and that apprentice-generated auditory mistakes in vocal symbol interpretation have little effect on the learning rates of apprentices (up to 80% of mistakes are tolerated). In contrast, just 10% of apprentice-generated visual mistakes in predator identification will prevent any vocal symbol to be correctly associated with a predator call in a stable manner. Tutor unreliability was also deleterious to vocal symbol learning: a mere 5% of “lying” tutors were able to completely disrupt symbol learning, invariably leading to the acquisition of incorrect associations by apprentices. Our investigation corroborates the existence of vocal symbols in a non-human species, and indicates that symbolic competence emerges spontaneously from classical associative learning mechanisms when the conditioned stimuli are self-generated, arbitrary and socially efficacious. We propose that more exclusive properties of human language, such as syntax, may derive from the evolution of higher-order domains for neural association, more removed from both the sensory input and the motor output, able to support the gradual complexification of grammatical categories into syntax. (shrink)

This is the handbook of abstracts of the 1st World Congress on Logic and Religion, which took place in João Pessoa, Brazil, April 01-05, 2015. -/- .

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

This twelfth volume of Collected Papers includes 86 papers comprising 976 pages on Neutrosophics Theory and Applications, published between 2013-2021 in the international journal and book series “Neutrosophic Sets and Systems” by the author alone or in collaboration with the following 112 co-authors (alphabetically ordered) from 21 countries: Abdel Nasser H. Zaied, Muhammad Akram, Bobin Albert, S. A. Alblowi, S. Anitha, Guennoun Asmae, Assia Bakali, Ayman M. Manie, Abdul Sami Awan, Azeddine Elhassouny, Erick González-Caballero, D. Dafik, Mithun Datta, Arindam Dey, (...) Mamouni Dhar, Christopher Dyer, Nur Ain Ebas, Mohamed Eisa, Ahmed K. Essa, Faruk Karaaslan, João Alcione Sganderla Figueiredo, Jorge Fernando Goyes García, N. Ramila Gandhi, Sudipta Gayen, Gustavo Alvarez Gómez, Sharon Dinarza Álvarez Gómez, Haitham A. El-Ghareeb, Hamiden Abd El-Wahed Khalifa, Masooma Raza Hashmi, Ibrahim M. Hezam, German Acurio Hidalgo, Le Hoang Son, R. Jahir Hussain, S. Satham Hussain, Ali Hussein Mahmood Al-Obaidi, Hays Hatem Imran, Nabeela Ishfaq, Saeid Jafari, R. Jansi, V. Jeyanthi, M. Jeyaraman, Sripati Jha, Jun Ye, W.B. Vasantha Kandasamy, Abdullah Kargın, J. Kavikumar, Kawther Fawzi Hamza Alhasan, Huda E. Khalid, Neha Andalleb Khalid, Mohsin Khalid, Madad Khan, D. Koley, Valeri Kroumov, Manoranjan Kumar Singh, Pavan Kumar, Prem Kumar Singh, Ranjan Kumar, Malayalan Lathamaheswari, A.N. Mangayarkkarasi, Carlos Rosero Martínez, Marvelio Alfaro Matos, Mai Mohamed, Nivetha Martin, Mohamed Abdel-Basset, Mohamed Talea, K. Mohana, Muhammad Irfan Ahamad, Rana Muhammad Zulqarnain, Muhammad Riaz, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Muhammad Zeeshan, Anjan Mukherjee, Mumtaz Ali, Deivanayagampillai Nagarajan, Iqra Nawaz, Munazza Naz, Roan Thi Ngan, Necati Olgun, Rodolfo González Ortega, P. Pandiammal, I. Pradeepa, R. Princy, Marcos David Oviedo Rodríguez, Jesús Estupiñán Ricardo, A. Rohini, Sabu Sebastian, Abhijit Saha, Mehmet Șahin, Said Broumi, Saima Anis, A.A. Salama, Ganeshsree Selvachandran, Seyed Ahmad Edalatpanah, Sajana Shaik, Soufiane Idbrahim, S. Sowndrarajan, Mohamed Talea, Ruipu Tan, Chalapathi Tekuri, Selçuk Topal, S. P. Tiwari, Vakkas Uluçay, Maikel Leyva Vázquez, Chinnadurai Veerappan, M. Venkatachalam, Luige Vlădăreanu, Ştefan Vlăduţescu, Young Bae Jun, Wadei F. Al-Omeri, Xiao Long Xin.‬‬‬‬‬‬. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

REPRODUÇÃO ANIMAL: TRANSFERÊNCIA DE EMBRIÕES EM ANIMAIS, E A INDÚSTRIA DE EMBRIÕES NO BRASIL -/- ANIMAL BREEDING: EMBRYO TRANSFER IN ANIMALS, AND THE EMBRYO INDUSTRY IN BRAZIL Apoio: Emanuel Isaque Cordeiro da Silva Departamento de Zootecnia da UFRPE E-mail: [email protected] WhatsApp: (82)98143-8399 -/- 1. INTRODUÇÃO A técnica da inseminação artificial tornou possível aumentar o impacto na descendência de touros geneticamente superiores em termos de produção láctea das filhas. Com a transferência de embriões é possível aumentar o impacto da fêmea sobre (...) a população das filhas. A transferência de embriões data de 1890, ano em que Heape obteve o nascimento de coelhos transferindo ovócitos fecundados de uma fêmea para outra. A partir de 1930, é repetida uma série de experiências para desenvolver a técnica e aplicá-la em ovinos, caprinos (1934) e bovinos (1951) como espécies mais idôneas para a reprodução. A Inglaterra e os Estados Unidos estabeleceram as bases para o comércio de embriões durante os anos sessenta e setenta. De forma resumida, a transferência de embriões implica na estimulação da produção de ovócitos mediante a aplicação de hormônios: cerca de 6-8 dias após a cobrição dessas fêmeas ou da sua inseminação artificial, os óvulos fertilizados são extraídos dos órgãos genitais da fêmea doadora por perfusão ou lavagem com soluções biológicas controladas e testadas, originando-se uma deposição dos gametas fecundados nas fêmeas receptoras que serão encarregadas de levar adiante a gestação e o parto sem influência sobre as produções do novo indivíduo. 2. MANEJO DAS FÊMEAS DOADORAS É relativamente fácil obter um embrião, uma vez que pode origina-se a partir do cio natural das vacas cíclicas. No entanto, a fim de otimizar a técnica, o normal é «superovular» a fêmea doadora e obter um número superior de gametas fecundadas após cada lavagem ou perfusão das genitais. A maioria das fêmeas doadoras são tratadas com gonadotrofinas (PMSG) ou com hormônios estimuladores da foliculogênese (FSH). Estes hormônios invertem a atresia normal de folículos permitindo uma maturação, que em condições normais não se realizaria. O mecanismo exato do funcionamento destas hormonas não é totalmente claro. A superovulação multiplica por um fator de 10 o número de ovócitos recuperados no caso das vacas, ovelhas e cabras, mas apenas por um fator 2 ou 3 no caso das porcas. Existe um acordo geral sobre a utilização das gonadotrofinas; a PMSG deve ser aplicada durante a transição da fase luteica para a folicular, ou seja, no 16º dia do ciclo. As doses de gonadotrofinas variam entre 1500 e 3000 UI em bovinos, aumentando a resposta e a variabilidade individual com o aumento da dose. A resposta ao tratamento varia de acordo em função de diversos fatores. Neste contexto, merecem especial atenção a espécie, a raça, a época e a conformação corporal do animal, bem como o lote de fabricação da preparação hormonal (quadro 7.1). Estudos demonstram que, nos bovinos, as raças de corte respondem melhor ao tratamento do que as raças leiteiras. Tabela 1: Doses de gonadotrofinas em UI -/- Espécie Dia do ciclo Crescimento folicular_ ___ PMSG FSH Ovulação _____ PMSG FSH Bovinos 8 – 10 1500 – 3000 20 – 50 1500 – 2000 75 – 200 Caprinos 16 – 17 1000 – 1500 12 – 20 1000 – 1500 50 – 75 Ovinos 12 – 14 1000 – 2000 12 – 20 1000 – 1500 50 – 75 Suínos 15 – 17 750 – 1500 10 – 20 500 – 1000 25 – 50 Coelhos — 25 – 75 2 – 3 25 – 75 2 – 3 Fonte: HAFEZ, 2004. O FSH também é utilizado para superovulação em várias espécies. Nos ovinos, injetam-se 2 mg desta hormona 12 horas antes da retirada das esponjas, aplicando-se mais três injeções, com um intervalo de 12 horas, até 24 horas após a retirada das esponjas, o que corresponde a um total de 8 mg de FSH injetados por tratamento e animal. Às vezes, e dependendo do país, existem dificuldades para a obtenção desse hormônio em condições de pureza adequada para que o tratamento proporcione o resultado esperado. Nas vacas dadoras devem ter passado mais de 50 dias após o último parto: também ser animais cíclicos, encontrar-se num nível nutricional elevado e em aumento, sem deficiências especificas alimentares. Existe uma indicação de suplementação das fêmeas doadoras com minerais essenciais antes do tratamento. 3. OBTENÇÃO DE EMBRIÕES Uma vez as fêmeas doadoras inseminadas, entre o sexto e o oitavo dia, procede-se a coleta dos embriões. Para isso, atualmente se utilizam cateteres de obtenção transcervical (tipo Foley, Rusch. etc.) munidos de uma bola insuflável na sua extremidade que permite criar um compartimento estanque na parte distal do córneo uterino e proceder ao arrasto dos embriões ali localizados. Para obter esta «lavagem» utiliza-se uma solução aquosa tamponada: o meio mais frequentemente utilizado é o tampão fosfato salino (PBS: pH = 7; PO = 280 - 290 mOsm/kg) suplementado com antibióticos e proteínas. Depois de recuperado o meio de lavagem, os embriões devem ser isolados do volume total, avaliados segundo critérios do Manual da Sociedade Internacional de Transferência de Embriões de acordo com seu estado de desenvolvimento. Código numérico para determinar o grau de desenvolvimento embrionário: N° 1: ovócito não fertilizado ou embrião de uma célula (1 dia). N° 2: Identifica embriões com 2 a 16 células (2-4 dias). N° 3: Identifica mórulas adiantadas (5-6 dias). N° 4: Identifica mórulas compactas de 6 dias de idade. N° 5: blastocisto adiantado (7 dias). N° 6: blastocisto (7-8 dias). N° 7: blastocisto expandido (8-9 dias). N° 8: blastocisto eclodido (9 dias) a partir do nono ou décimo dia o blastocisto já está fora da zona pelúcida. Além da classificação por estado de desenvolvimento, a referida Sociedade Internacional estabeleceu uma categorização dos embriões com base na qualidade dos mesmos. Assim os denomina: 1: excelente; 2: bom; 3: regular; 4: degenerado. Segundo as investigações de diversos autores especialistas no tema não devem ser transferidos embriões que não tenham sido classificados como excelentes ou bons. A obtenção dos embriões pode ser realizada em uma clínica, em unidades móveis especializadas, ou na própria fazenda. Em todo o caso, a doadora não deve apresentar quaisquer sintomas clínicos de doença, sendo esta responsabilidade direta do veterinário. O rebanho de onde provém a doadora deve estar livre de medidas cautelares sanitárias. Os técnicos devem estar adequadamente limpos e preparados para esta atuação, em um lugar tranquilo e que permita a colocação de equipamentos e material em condições limpas e seguras. 4. TÉCNICAS DE TRANSFERÊNCIA DE EMBRIÕES Recomenda-se que os embriões sejam transferidos o mais rápido possível depois da recuperação. A fêmea receptora deve apresentar um ambiente uterino o mais semelhante possível ao da fêmea doadora. Isto quer dizer que a receptora também será mantida num sistema de sincronização para que coincida o mais possível o estágio de desenvolvimento embrionário com seu correspondente estado uterino. A margem de assincronia para evitar efeitos indesejáveis é de ± 24 horas. Os métodos hormonais de sincronização são análogos aos das doadoras. As técnicas para a deposição dos embriões no seu novo habitat podem ser igualmente cirúrgicas e não cirúrgicas, mas devido aos problemas do uso de anestésicos em técnicas cirúrgicas, as transferências foram direcionadas para modelos não-cirúrgicos ou transcervicais. Este método é baseado na utilização do colo uterino de forma análoga como é realizada na inseminação artificial. Devido às relações entre o embrião e o ovário, as porcentagens de fertilidade são aumentadas ao serem depositadas no corno ipsilateral no ovário que se encontra ativo. A utilização desta técnica implica na obtenção de mais fêmeas gestantes. O uso de novilhas como fêmeas receptoras aumenta também a taxa de gestações a partir de uma maior facilidade de manejo, uniformidade na resposta hormonal e um custo mais baixo. O fator humano ou habilidade do técnico que realiza esta técnica também constitui um fator que influencia decisivamente no êxito da transferência, encontrando-se variações de 20 a 60% devidas a este fator. 5. CONTROLES SANITÁRIOS Com a utilização da inseminação artificial, verificou-se que, embora as tecnologias reprodutivas colaborativas fossem mais avançadas em termos de técnicas destinadas a aumentar a produtividade individual, da mesma forma, podem constituir um perigo de contaminação e de dispersão de doenças estrangeiras para o grupo ou rebanho para onde são transferidos os novos genes. Neste contexto, a transferência embrionária (TE) deve realizar-se tendo em conta os riscos que pode implicar uma manipulação inadequada. Uma vez mais, a Sociedade Internacional (IETS) na Reunião Regional da OIE (Oficina Internacional de Epizootias) estabeleceu as normas em 1985 para que a TE pudesse ser utilizada como meio para controle de doenças na pecuária. Para que a utilização da TE se realize sem risco para a saúde, é necessário ter em conta um certo número de regras e condições específicas que evitem os riscos de contaminação. O embrião está separado do meio externo por três barreiras de proteção: o corpo da mãe, o útero por si só e a terceira, e mais importante, pela zona pelúcida, a qual nos animais domésticos tem demonstrado ser totalmente impermeável a qualquer elemento patogênico, desde que fique intacta. Portanto, o risco de contaminação dos embriões pode vir por duas vias diferentes: a) Fatores extrínsecos - por invasão dos agentes patogênicos na cavidade uterina principalmente. Isto está relacionado com o estado sanitário médio do país, região ou rebanho de origem. b) Fatores intrínsecos - Segundo Thibier podemos considerar diferentes fontes potenciais de contaminação, que segundo o risco sanitário se classificam nas seguintes ordens: 1° Zigoto. 2° Penetração. 3° Absorção. 4° Armazenamento. 5° Exame. 6° Transferência. Os esforços para que os embriões se tornem livres de contaminação devem ser semelhantes aos que são efetuados com os animais vivos e com as doses seminais. O momento mais perigoso encontra-se entre a coleta das células fecundadas e a sua deposição, após seu exame, no trato reprodutivo da receptora. As condições em que o referido processo deve ser realizado encontram-se detalhadas no manual da Sociedade Internacional de Transferência de Embriões (IETS). 6. REGRAS DA IETS A transferência de embriões é a via mais segura para a troca de genes. No entanto, os técnicos devem esforçar-se por manter todas as regras e normas sanitárias para que a coleta e a manipulação dos embriões se realizem sob condições de absoluta garantia higiênica e sanitária. A transferência embrionária implica, pela primeira vez na história da medicina veterinária, que a vigilância sanitária não se aplica estritamente ao animal, uma vez que, na sua fase "in vitro", está inteiramente sob o controle do técnico. Por conseguinte, não haverá futuro para este tipo de biotecnologia se, paralelamente, não houver um elevado nível de garantia de que não «servirá» para não disseminar ou difundir doenças. As conclusões da Sociedade Internacional de Transferência de Embriões (IETS) na sua reunião anual de 14 de Janeiro de 1992 estabelecem, tendo em conta a revisão efetuada em 1991 pela Subdireção de Investigação e pelo Comitê de Importação e Exportação, uma classificação das doenças. Esta classificação corresponde às seguintes categorias: Categoria 1 - Doenças ou agentes de doenças para as quais foram recolhidas provas suficientes para afirmar que o risco de transmissão é negligenciável, desde que os embriões sejam corretamente manipulados entre a coleta e a transferência: a) Leucose bovina enzoótica. b) Febre aftosa (bovinos). c) Língua azul (bovinos). d) Brucelose bovina. e) Rintraqueíte infecciosa bovina. f) Doença de Aujeszky. Categoria 2 - Doenças para as quais foram recolhidas provas substanciais que indicam que o risco de transmissão é insignificante, desde que os embriões sejam corretamente manipulados entre a coleta e a transferência, mas para as quais é necessário verificar os dados existentes através de novas transferências: a) Peste suína clássica. Categoria 3 - Doenças ou agentes de doenças para as quais os resultados preliminares indicam que o risco de transmissão é insignificante, desde que os embriões sejam corretamente manipulados, entre a coleta e a transferência, mas para os quais essas verificações preliminares devem ser corroboradas por dados experimentais complementares "in vitro" e "in vivo": a) Peste bovina. b) Diarreia viral bovina. c) Língua azul (ovinos). d) Febre aftosa (suínos, ovelhas e cabras). e) Campylobacter fetus (ovinos). f) Doença vesicular do porco. g) Peste suína africana. h) Prurido lombar (ovinos). i) Haemophilus somnus. Categoria 4 - Doenças ou agentes de doenças que foram ou são objeto de trabalhos preliminares: a) Vírus Akabane (bovino). b) Estomatite vesicular (bovinos e suínos). c) Chlamydia psittaci (bovinos e suínos). d) Ureaplasma/micoplasmose (bovinos e caprinos). e) Maedi-visna (ovino). f) Adenomatosa pulmonar (ovino). g) Prurido lombar (caprinos). h) Língua azul (caprinos). i) Artrite e encefalite caprina. j) Parvovírus (suíno). k) Enterovírus (bovinos e suínos). I) Leptospirose (suíno). m) Herpesvírus 4 dos bovinos. n) Mycobacterium paratuberculose (bovinos). o) brucelose ovina. p) Doença de Border (ovinos). q) Vírus parainfluenza 3 (bovinos). r) Agente da encefalopatia espongiforme bovina. É interessante salientar que apenas seis doenças estão incluídas na categoria 1 (a mais segura). Isso não significa que as outras doenças tenham um risco maior, apenas indica que o risco de transmissão das doenças da categoria 1 é irrelevante, estatisticamente falando. É importante assinalar que as doenças mais importantes dos bovinos se situam na categoria 1. Isto significa que a incidência do embrião patogênico nos bovinos parece ser perfeitamente controlável, desde que sejam adotadas metodologias adequadas. Isto serve também como linha de defesa adicional para que o técnico centre sua atenção e cuidados entre a fase de obtenção e a de transferência. 7. SITUAÇÃO ATUAL DA TRANSFERÊNCIA DE EMBRIÕES ANIMAIS NO BRASIL O Brasil é um dos grandes responsáveis mundiais pela implantação da tecnologia na reprodução animal, sendo assim, o país conseguiu inserir-se no mercado internacional como um dos maiores produtores de embriões in vivo e in vitro. Nas últimas duas décadas, especialmente entre os anos de 1997 e 2017 o país passou por importantes transformações nesse segmento, dentre essas transformações vale destacar a posição relativa do Brasil no contexto mundial. O Brasil passou de referência regional, nos anos 1990, para se tornar o maior produtor mundial de embriões entre os anos 2012 e 2013, sendo líder no uso e na produção de embriões in vitro. Os primeiros registros da TE produzidos in vivo no Brasil datam da década de 1980, e uma década depois o país já tornara-se referência e detinha um mercado consolidado de produção e TE na espécie bovina. Não obstante, no ano de 1997 o país ainda era referência apenas no contexto regional, detendo 68,3% dos embriões transferidos na América Latina, esse percentual corresponde a 24.085 embriões de um total de 35.254 produzidos na América Latina. Esse percentual regional representa apenas 6,6% de toda a produção mundial de embriões in vivo, que produziu, em 1997, 360.656 embriões in vivo. Nos últimos anos, o mercado de embriões, principalmente o bovino, teve retração moderada de -2,5% ao ano entre 2003 e 2018, porém essa retração contrasta com o ligeiro crescimento observado a partir dos anos 2000 conforme figura 1: Figura 1: Produção de embriões bovinos no Brasil no período 1996-2018, total e por tecnologia adotada (in vivo[IVD] ou in vitro [IVP]). Em 2018, o mercado de embriões bovinos manteve-se inalterado se compararmos com os três anos anteriores, houve reduções nós segmentos de corte, leite e no total comparado ao ano de 2017. Em 2014, a produção de embriões para melhoramento do gado leiteiro teve seu ápice, porém de lá para cá esse mercado manteve-se estagnado como demonstra a tabela 2. Tabela 2: Produção de embriões bovinos no Brasil em 2018, estratificada por segmento e por tecnologia adotada (in vivo ou in vitro). 7.1 Crise, economia e mercado de embriões A indústria de embriões reflete, em maior ou menor grau, o momento da economia brasileira. Apesar do segmento agropecuário ser um setor em constante crescimento no país, ao qual, sem dúvidas, em meio a inúmeras crises mantém-se em constante crescimento. Porém vale ressaltar que esse mercado é emergente e está refletido em paralelo com os bens produzidos pelo país, como demonstra a figura 2. Figura 2: Produção de embriões bovinos e variação no produto interno bruto (PIB) no Brasil, no período 1996-2018. Cada vez mais o setor agropecuário do Brasil investe em novas tecnologias que maximizem o mercado e que melhore a produção dos animais seja no segmento corte ou leite. Segundo a OCDE, 1997, essa indústria da produção de embriões é um conjunto de novas técnicas e processos, frutos do desenvolvimento técnico-científico, que chega ao mercado e - o mais importante - o transforma. Logo, todas essas técnicas e biotecnologias visam, além da alta produção e do lucro, o melhoramento e a suplementação alimentícia da população mundial que está em crescente avanço. A evolução da tecnologia embrionária no país, seja para o melhoramento dos equinos para os esportes como as vaquejadas, hipismo, corridas, etc., onde são investidos tempo, dedicação e dinheiro para formar um novo animal que apresente força, conformação, conversão alimentar e que custa milhões, em muitos casos, não só dos equinos, mas também dos caprinos, ovinos, suínos e até mesmo os bovinos onde o mercado da TE é mais presente e aquecida, venceu os estigmas do “modismo” e o chamado “elitismo”, porém deve enfrentar novos desafios, em especial num contexto de forte concentração do mercado de genética e de concorrência globalizada. Mesmo com todos esses avanços e retrocessos, essa relativização dos números demonstra que um percentual bastante reduzido das fêmeas bovinas que estão em idade reprodutiva é utilizado para a técnica da transferência de embriões, e que o mercado brasileiro ainda tem um grande potencial de crescimento no setor de produção in vivo e in vitro. 8. RESUMO E PRIMEIRAS CONCLUSÕES Ao longo deste trabalho pretendi realizar uma revisão sumária sobre um tema de grande importância presente, e sobretudo futura; referir-me à transferência embrionária. Atualmente, esta técnica atingiu um grau notável de penetração, a nível prático, no gado leiteiro. No entanto, num futuro mais ou menos longínquo, não temos dúvidas quanto a esta técnica, pelas vantagens indubitáveis que apresenta a nível de avanço genético, que será aplicada em outras espécies úteis ao homem. Na minha exposição, tentei dar especial ênfase a dois aspectos: as técnicas de transferência, incluindo as normas IETS e os controles sanitários a serem efetuados. Por fim, a indústria brasileira de embriões mostrou-se em retrocessos e avanços, porém o mercado ainda têm grandes desafios a serem enfrentados ao longo dos anos, mas que serão sanados mediante as técnicas desenvolvidas pelos inúmeros centros de pesquisa embrionárias e seus especialistas. -/- Realização -/- Emanuel Isaque Cordeiro da Silva – Departamento de Zootecnia da UFRPE. Recife, 2020. REFERÊNCIAS BIBLIOGRÁFICAS -/- BALL, Peter JH; PETERS, Andy R. Reproduction in cattle. Nova Jersey: John Wiley & Sons, 2008. BARUSELLI, Pietro Sampaio et al. Sêmen sexado: inseminação artificial e transferência de embriões. Revista Brasileira de Reprodução Animal, v. 31, n. 3, p. 374-381, 2007. BRACKELL, B. G.; JR SEIDEL, G. E.; SEIDEL, S. Avances en zootecnia nuevas técnicas de reproducción animal. Zaragoza: Acribia, 1988. COLE, H. H.; CUPPS, P. T. Reproduction in domestic animals. 1ª ed. Londres: Academic Press, 1977. CURTIS, John L. et al. Cattle embryo transfer procedure. An instruction manual for the rancher, dairyman, artificial insemination technician, animal scientist, and veterinarian. Londres: Academic Press, Inc., 1991. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução Animal: Ovulação, Controle e Sincronização do Cio. Disponível em:. Acesso em: Março de 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução Animal: Fecundação e Gestação. Disponível em:. Acesso em: Março de 2020. DE LA FUENTE, J. Manipulación de embriones en ganado vacuno. Bovis, n. 58, p. 51-61, 1994. GIBBONS, A.; CUETO, M. Manual de transferencia de embriones ovinos y caprinos. Bariloche: Inta, 2013. GONÇALVES, Paulo Bayard Dias; DE FIGUEIREDO, José Ricardo; DE FIGUEIRÊDO FREITAS, Vicente José. Biotécnicas aplicadas à reprodução animal. São Paulo: Editora Roca, 2008. GONÇALVES, Rômany Louise Ribeiro; VIANA, João Henrique Moreira. Situação atual da produção de embriões bovinos no Brasil e no mundo. In: Embrapa Recursos Genéticos e Biotecnologia-Artigo em anais de congresso (ALICE). Revista Brasileira de Reprodução Animal, v. 43, n. 2, p. 156-159, abr./jun. 2019., 2019. HAFEZ, E. S. E.; HAFEZ, B. Reprodução animal. São Paulo: Manole, 2004. HOPPER, Richard M. (Ed.). Bovine reproduction. Nova Jersey: John Wiley & Sons, 2014. PÉREZ PÉREZ, F.; PÉREZ GUTIÉRREZ, F. Reproducción animal, inseminación animal y transplante de embriones. Barcelona: Cientifico-medica, 1985. MANSOUR, R. T.; ABOULGHAR, M. A. Optimizing the embryo transfer technique. Human reproduction, v. 17, n. 5, p. 1149-1153, 2002. MARTINS, Carlos Frederico. O impacto da transferência de embriões e da fecundação in vitro na produção de bovinos no Brasil. Embrapa Cerrados-Artigo de divulgação na mídia (INFOTECA-E), 2010. REFERÊNCIAS BIBLIOGRÁFICAS MCKINNON, A. O.; SQUIRES, E. L. Equine embryo transfer. Veterinary Clinics of North America: Equine Practice, v. 4, n. 2, p. 305-333, 1988. PALMA, G. A.; BREM, G. Transferencia de los embriones. GA Palma & G. Brem. Transferencia de embriones y biotecnología de la reproducción en la especie bovina. Ed. Hemisferio Sur. Buenos Aires, Argentina, p. 143-161, 1993. SCHOOLCRAFT, William B.; SURREY, Eric S.; GARDNER, David K. Embryo transfer: techniques and variables affecting success. Fertility and sterility, v. 76, n. 5, p. 863-870, 2001. SEIDEL, George E. Superovulation and embryo transfer in cattle. Science, v. 211, n. 4480, p. 351-358, 1981. STRINGFELLOW, D. A.; SEIDEL, S. M. Manual of IETS. Savoy IL: IETS, p. 103-130, 1998. STRINGFELLOW, D. A. Manual da sociedade internacional de transferência de embriões. Brasília: Sociedade Brasileira de Transferência de Embriões (SBTE), 1999. THIBIER, M.; NIBART, M. Disease control and embryo importations. Theriogenology, v. 27, n. 1, p. 37-47, 1987. VIANA, J. H. M. Produção e transferência de embriões bovinos em 2018. In: Jornal o embrião. Edição 64, ano 33. Brasília: SBTE, 2019. -/- . (shrink)

LEITE (Fábio Rodrigo) – STOFFEL (Jean-François), Introduction (pp. 3-6). BARRA (Eduardo Salles de O.) – SANTOS (Ricardo Batista dos), Duhem’s analysis of Newtonian method and the logical priority of physics over metaphysics (pp. 7-19). BORDONI (Stefano), The French roots of Duhem’s early historiography and epistemology (pp. 20-35). CHIAPPIN (José R. N.) – LARANJEIRAS (Cássio Costa), Duhem’s critical analysis of mecha­ni­cism and his defense of a formal conception of theoretical phy­sics (pp. 36-53). GUEGUEN (Marie) – PSILLOS (Stathis), Anti-­scepticism and epistemic (...) humility in Pierre Duhem’s philosophy of science (pp. 54-72). LISTON (Michael), Duhem : images of science, historical continuity, and the first crisis in physics (pp. 73-84). MAIOCCHI (Roberto), Duhem in pre-war Italian philos­ophy : the reasons of an absence (pp. 85-92). HERNÁNDEZ MÁRQUEZ (Víctor Manuel), Was Pierre Duhem an «esprit de finesse» ? (pp. 93-107). NEEDHAM (Paul), Was Duhem justified in not distinguishing between physical and chemical atomism ? (pp. 108-111). OLGUIN (Roberto Estrada), «Bon sens» and «noûs» (pp. 112-126). OLIVEIRA (Amelia J.), Duhem’s legacy for the change in the historiography of science : An analysis based on Kuhn’s writings (pp. 127-139). PRÍNCIPE (João), Poincaré and Duhem : Resonances in their first epistemological reflec­tions (pp. 140-156). MONDRAGON (Damián Islas), Book review of «Pierre Duhem : entre física y metafísica» (pp. 157-159). STOFFEL (Jean-François), Book review of P. Duhem : «La théorie physique : son objet, sa structure» / edit. by S. Roux (pp. 160-162). STOFFEL (Jean-François), Book review of St. Bordoni : «When historiography met epistemology» (pp. 163-165). (shrink)

In this chapter, Ricardo Silvestre and Alan Herbert offer a reconstruction of the Gītā’s concept of God with a focus on the relationship between God and the world. They try to explain the claim that the Gītā is panentheistic. This is done with the help of some key notions of contemporary metaphysics (such as ontological dependence and fundamentality) along with the Indic notion of prakṛti, considered as a metaphysical primitive denoting the intimate relationship that exists between matter and conscious (...) living beings on the one hand, and God on the other. (shrink)

This study explores a liberatory epistemic virtue that is suitable for good learning as a form of liberating socially situated epistemic agents toward ideal virtuousness. First, I demonstrate that the weak neutralization of epistemically bad stereotypes is an end of good learning. Second, I argue that weak neutralization represents a liberatory epistemic virtue, the value of which derives from liberating us as socially situated learners from epistemic blindness to epistemic freedom. Third, I explicate two distinct forms of epistemic transformation: constitutive (...) and causal epistemic transformation. I argue that compared with the ideal conception of epistemic virtue, constitutive epistemic transformation that involves good learning has a transcendent value in light of agents constantly renewing their default epistemic status toward ideal virtuousness. (shrink)

In this paper, we intend to discuss if and in what sense semiosis (meaning process, cf. C. S. Peirce) can be regarded as an "emergent" process in semiotic systems. It is not our problem here to answer when or how semiosis emerged in nature. As a prerequisite for the very formulation of these problems, we are rather interested in discussing the conditions which should be fulfilled for semiosis to be characterized as an emergent process. The first step in this work (...) is to summarize a systematic analysis of the variety of emergence theories and concepts, elaborated by Achim Stephan. Along the summary of this analysis, we pose fundamental questions that have to be answered in order to ascribe a precise meaning to the term "emergence" in the context of an understanding of semiosis. After discussing a model for explaining emergence based on Salthe's hierarchical structuralism, which considers three levels at a time in a semiotic system, we present some tentative answers to those questions. (shrink)

The aim of this paper is to make the case for the obstinacy thesis. This is the thesis that proper names like ‘Hitler’, demonstratives like ‘this’, pure indexicals like ‘I’, and natural kind terms like ‘water’ and ‘gold’, are obstinately rigid terms. An obstinately rigid term is one that refers to the object that is its actual referent with respect to every possible world (hence, a fortiori, even with respect to worlds where that object does not exist). This form of (...) rigidity is stronger than the usual Kripkean one and has been notoriously explored by David Kaplan (Kaplan 1989a: 492-3; Kaplan 1989b: 569-71). Yet, the obstinacy thesis seems implausible to many philosophers and is worth substantive argument. For convenience, we focus our attention on proper names; but most of our remarks could be easily generalized to other unstructured singular terms. We shall take for granted Saul Kripke’s semantical doctrine that proper names are rigid in the general sense of the term and argue that their rigidity should take the specific form of obstinacy rather than persistence. (shrink)

Philosophers and social scientists of diverse orientations have suggested that the pragmatics of semiosis is germane to a dynamic account of meaning as process. Semiosis, the central focus of C. S. Peirce's pragmatic philosophy, may hold a key to perennial problems regarding meaning. Indeed, Peirce's thought should be deemed seminal when placed within the cognitive sciences, especially with respect to his concept of the sign. According to Peirce's pragmatic model, semiosis is a triadic, time-bound, context-sensitive, interpreter-dependent, materially extended dynamic process. (...) Semiosis involves inter-relatedness and inter-action between signs, their objects, acts and events in the world, and the semiotic agents who are in the process of making and taking them. (shrink)

The aim of the paper is to sketch a principle of individuation that is intended to serve the Fregean notion of a proposition, a notion I take for granted. A salient feature of Fregean propositions, i.e. complexes of modes of presentation of objects, is that they are fine-grained items, so fine-grained that even synonymous sentences might express different Fregean propositions. My starting point is the principle labelled by Gareth Evans the Intuitive Criterion of Difference for Thoughts, which states that it (...) is impossible coherently to take different mental attitudes to the same proposition. As a logical truth, this is a synchronic principle, the application of which is restricted to attitudes held at a single time. I argue that such a restriction might be reasonably lifted and, on the basis of an adequate notion of attitude-retention, I propose an admissible diachronic extension of the principle. (shrink)

In this paper I present a formalization of the theory of ideal concepts applied to the concept of God. It is done within a version of the Simplest Quantified Modal Logic (SQML) and attempts to solve three meta-problems related to the concept of God: the unicity of extension problem, the homogeneity/heterogeneity problem and the problem of conceptual unity.

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...) be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

Any plausibly just market exchange must balance two conflicting moral considerations: non-worseness (Wertheimer, 1999) and euvoluntariness (true voluntariness; Munger, 2011). We propose an analytical theory of just market exchange that partly resolves this conflict.

The suggestion of something akin to a ‘relativist solution to the Mind-Body problem’ has recently been held by some scientists and philosophers; either explicitly (Galadí, 2023; Lahav & Neemeh, 2022; Ludwig, 2015) or in more implicit terms (Solms, 2018; Velmans, 2002, 2008). In this paper I provide an argument in favor of a relativist approach to the Mind-Body problem, more specifically, an argument for ‘1st/3rd person relativism’, the claim that ‘The truth value of some sentences or propositions is relative to (...) 1st and 3rd person perspectives’. The argument for 1st/3rd person relativism is close to a forma proof. It is shown that, just by assuming the 1st/3rd person distinction itself and using first order logic and set theory, ‘1st/3rd person relativism’ follows as a theorem. Some consequences of ‘1st/3rd person relativism’ to the Mind-Body Problem are evaluated. It is shown that ‘1st/3rd person relativism’ predicts the existence of an (apparent) Explanatory Gap; explains why the Explanatory Gap is just apparent (and the origins of such illusion); dissolves the Hard-Problem; provides a possible solution the problem of Mental Causation; explains why Mental Causation looks like a problem in the first place and accurately predicts the actual empirically found correlation and covariation between conscious experiences and brain states. This explanatory power of ‘1st/3rd person relativism’ is particularly impressive since it was not designed as a possible solution to the Mind-Body problem in the first place. (shrink)

This book analyses the concepts of God in Vaisnavism, which is commonly referred to as one of the great Hindu monotheistic traditions. Addressing the question of what attributes God possesses according to particular textual sources and traditions in Vaisnavism, the book analyses Vaisnava traditions and texts in order to locate them within a global philosophical framework. The book is divided into two sections. The first one, God in Vaisnava Texts, deals with concepts of God found in the canonical Vaisnava texts: (...) the Bhavagad Gita, the Bhagavata Purana, the Pancaratras, and the Mahabharata. The second section, God in Vaisnava Traditions, addresses concepts of God found in several Vaisnava traditions and their respective key theologians. As well as the Alvars, five traditional Vaisnava schools- the Sri Vaisnava tradition, the Madhva tradition, the Nimbarka tradition, the Pustimarga tradition, and the Caitanya Vaisnava tradition- and two contemporary ones Ramakrishna's and Swami Bhaktivedanta's are considered. The book combines normative, critical and descriptive elements. Some chapters are philosophical in nature, others are more descriptive, unpacking a specific Vaiṣṇava concept of God for future philosophical analysis and critique. Written by experts who break new ground in presenting and representing a diversity of Vaiṣṇava texts and tradition, the book presents approaches that reflect the amount of philosophical and historical deliberation on the specific issues and divine attributes considered. This book will be of interest to researchers in the fields of philosophy of religion and Indian philosophy, cross-cultural and comparative philosophy, analytic philosophy of religion, Hindu studies, theology and religious studies. (shrink)

Qual o lugar da filosofia nos dias atuais? Diante das inúmeras respostas possíveis a esta questão, nos debruçaremos em alguns tópicos que podemos inserir na chamada Ética Informacional, um ramo de investigação filosófico-interdisciplinar relativamente recente que discute problemas oriundos da relação ser humano/tecnologias digitais. Temas como privacidade informacional, arrogância epistêmica e divisão digital serão discutidos e relacionados, com o intuito de ilustrar o papel da filosofia na compreensão da complexidade inerente às dinâmicas sociais no contexto da sociedade da informação. Argumentaremos (...) que pensar o mundo contemporâneo a partir do viés da ética informacional se faz cada dia mais imprescindível para que possamos entrar em sintonia com as rápidas mudanças que a revolução informacional impõe à vida em sociedade e não sermos levados pelas enxurradas informacionais que presenciamos diariamente. (shrink)

This paper discusses two notational variance views with respect to indexical singular reference and content: the view that certain forms of Millianism are at bottom notational variants of a Fregean theory of reference, the Fregean Notational Variance Claim; and the view that certain forms of Fregeanism are at bottom notational variants of a direct reference theory, the Millian Notational Variance Claim. While the former claim rests on the supposition that a direct reference theory could be easily turned into a particular (...) version of a neo-Fregean one by showing that it is bound to acknowledge certain senselike entities, the latter claim is based upon the supposition that a neo-Fregean theory could be easily turned into a particular version of a Millian one by showing that De Re senses are theoretically superfluous and hence eliminable. The question how many accounts of singular reference and content are we confronted with here — Two different (and mutually antagonistic) theories? Or just two versions of what is in essence the same theory? — is surely of importance to anyone interested in the topic. And this question should be answered by means of a careful assessment of the soundness of each of the above claims. Before trying to adjudicate between the two accounts, one would naturally want to know whether or not there are indeed two substantially disparate accounts. Grosso modo, if the Fregean Claim were sound then we would have a single general conception of singular reference to deal with, viz. Fregeanism; likewise, if the Millian Claim were sound we would be facing a single general conception of singular reference, viz. Millianism. My view is that both the Fregean Notational Variance Claim and its Millian counterpart are wrong, though naturally on different grounds. I have argued elsewhere that the Fregean Notational Variance Claim - considered in its application to the semantics of propositional-attitude reports involving proper names — is unsound. I intend tosupplement in this paper such a result by trying to show that the Millian Claim - taken in its application to the semantics of indexical expressions — should also be rated as incorrect. I focus on a certain set of arguments for the Millian Claim, arguments which I take as adequately representing the general outlook of the Millian theorist with respect to neo-Fregeanism about indexicals and which involve issues about the cognitive significance of sentences containing indexical terms. (shrink)

In this chapter, Ricardo Silvestre and Alan Herbert offer a reconstruction of the Gītā’s concept of God with a focus on the relationship between God and the world. They try to explain the claim that the Gītā is panentheistic. This is done with the help of some key notions of contemporary metaphysics (such as ontological dependence and fundamentality) along with the Indic notion of prakṛti, considered as a metaphysical primitive denoting the intimate relationship that exists between matter and conscious (...) living beings on the one hand, and God on the other. (shrink)

In this essay, I focus on Lugones’s relatively lesser explored notion of playfulness. I weigh in on the debate about whether playfulness is necessary for what Lugones calls “world-traveling,” which enables one to recognize another person as a full subject. I argue that although the attribute of playfulness may not be necessary for world-traveling, it is necessary for collaborative world-making––creating a new, shared world that is opened through the activity of play.

Biosemiotics is a growing fi eld that investigates semiotic processes in the living realm in an attempt to combine the fi ndings of the biological sciences and semiotics. Semiotic processes are more or less what biologists have typically referred to as “ signals, ” “ codes, ”and “ information processing ”in biosystems, but these processes are here understood under the more general notion of semiosis, that is, the production, action, and interpretation of signs. Thus, biosemiotics can be seen as biology (...) interpreted as a study of living sign systems — which also means that semiosis or sign process can be seen as the very nature of life itself. In other words, biosemiotics is a field of research investigating semiotic processes (meaning, signification, communication, and habit formation in living systems) and the physicochemical preconditions for sign action and interpretation. -/- (...). (shrink)

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution (...) to the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

O objetivo deste artigo é analisar o conceito de yoga da Bhagavad-gītā. Cinco concepções de yoga encontradas no texto são descritas: yoga enquanto disciplina ou prática, yoga enquanto disciplina qualificada, yoga enquanto estado mental de equanimidade e renúncia, yoga enquanto estado de união e yoga enquanto poder místico. As relações existentes entre essas concepções são explicitadas e o que podemos chamar de a estrutura do yoga na Bhagavad-gītā é pormenorizada.

The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...) free-will on the other side. In order to do that, I shall use what has been described as the best formal approach we have to indeterminism: branching time theory. More specifically, I shall introduce a branching time semantic framework in which, among other things, statements such as “state of affairs e is a karmic effect of agent a”, “a wills it to be the case that e” and “e is inevitable” could be properly represented. (shrink)

El Realismo Científico Estándar sostiene el enfoque metafísico de que el mundo es como es independiente de la mente. Sin embargo, el presente artículo demuestra cómo esta postura es incompatible con todas las teorías no-eliminativistas sobre la mente, lo cual hace que la postura sea inconsistente, incompatible con la ciencia, elimina la consciencia, la intencionalidad, la causación mental y la ética. Se propone una tesis realista alternativa que conserva la idea de que el mundo en general es de la forma (...) que es, independiente de lo que pensemos sobre él, compatible con la mente como parte real del mundo. Este cambio restaura la posibilidad de consistencia, la mente, la consciencia, la intencionalidad, la ciencia y la ética. -/- Standard Scientific Realism holds the metaphysical view that the world is the way it is independent of the mind. However, this paper demonstrates how this view is incompatible with all non-eliminativist theories of mind, leading it to be inconsistent, incompatible with science, and eliminating consciousness, intentionality, mental causation and ethics. An alternative realist thesis is proposed which preserves the idea that generally the world is the way it is independent of what we think of it, compatible with mind as a real part of the world. This reform restores the possibility of consistency, mind, consciousness, intentionality, science and ethics, while at the same time preserving the theoretical advantages over non-realist competitors. (shrink)

Este artigo apresenta a teoria supervalorativista da vagueza e discute a objecção, que frequentemente lhe é dirigida, segundo a qual essa teoria não consegue dar conta do fenómeno da vagueza de ordem superior.

he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose of the (...) paper is to critically analyze Adams’ formalization with the intent to shed some light on the following questions: What are the virtues of formally analyzing arguments and the contributions, if any, of such an enterprise to the debate on Anselm’s argument? Which lessons can Adam’s work teach us about the dangers and limitations of formalization? Do these virtues and dangers teach us something about analysis of arguments in general? (shrink)

The semantic paradoxes are a family of arguments – including the liar paradox, Curry’s paradox, Grelling’s paradox of heterologicality, Richard’s and Berry’s paradoxes of definability, and others – which have two things in common: first, they make an essential use of such semantic concepts as those of truth, satisfaction, reference, definition, etc.; second, they seem to be very good arguments until we see that their conclusions are contradictory or absurd. These arguments raise serious doubts concerning the coherence of the concepts (...) involved. This article will offer an introduction to some of the main theories that have been proposed to solve the paradoxes and avert those doubts. Included is also a brief history of the semantic paradoxes from Eubulides to Tarski and Curry. (shrink)

The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical logic. (...) It is however not clear how paraconsistent logic can be seen as model-building. What exactly is modeled? In this paper I adopt the perspective of looking at a particular instance of paraconsistent logic—paranormal modal logic—which might be seen as a model of a specific kind of agent: inductive agents. After ntroducing what I call the highlevel and low-level models of inductive agents, I analyze the extent to which the above-mentioned idealizing features of model-building appear in paranormal modal logic and how they affect its philosophical significance. (shrink)

Há alguns anos atrás, algumas pessoas acreditavam que a tese de que a existência não é um predicado, uma tese defendida por autoridades como Gottlob Frege e Bertrand Russell, era um dos traços distintivos da chamada filosofia analítica. Que uma tal crença é afinal falsa pode ser tomado como mais um sinal da vitalidade e do anti-dogmatismo que caracterizam em geral a tradição analítica; e o mesmo se aplica a quaisquer outras crenças do género, que comprometam esta tradição com teses (...) filosóficas substantivas. O meu propósito neste ensaio é duplo. Por um lado, descrevo o estado actual da questão relativamente ao venerável tópico da existência, caracterizando e examinando as principais teorias disponíveis. Por outro, argumento a favor de um ponto de vista específico sobre o tópico. Esse ponto de vista consiste na conjunção das seguintes três teses: (F) Não há objectos não-existentes; (H*) A existência é um predicado; e (H**) As afirmações de existência não são uniformes quanto à forma lógica, tendo por vezes a forma de quantificações existenciais e por vezes a forma de predicações monádicas de primeira ordem. (shrink)

Panentheism has seen a revival over the past two decades in the philosophical literature. This has partially triggered an interest in Indian models of God, which have traditionally been seen as panentheistic. On the other hand, panentheism has been often associated with panpsychism, an old ontological view that sees consciousness as fundamental and ubiquitous in the natural world and which has also enjoyed a renaissance in recent decades. Depending on where one places fundamentality (whether on the microlevel or on the (...) cosmic-level) there will be two types of panpsychism: micropsychism and cosmopsychism. Despite the apparently rich connection between Indian traditions and panpsychism, especially in its cosmopsychist version, recent work within cross-cultural analytic philosophy of mind seems to be mostly focused on atheistic traditions, such as Advaita Vedānta and Buddhism. My goal in this paper is to contribute to the cross-cultural debate over panentheism and Indian models of God, as well as to the debate on the connections between panpsychism, cosmopsychism and Indian traditions, by examining one of the most important and often quoted texts in Indian religious and philosophical traditions: the theistic Bhavagad Gītā. From a more specific standpoint, the paper has a threefold goal: to offer a panentheistic reconstruction of the Gītā’s concept of God, to show how this panentheistic model of God entails a form of theistic cosmopsychism, and to locate the Gītā’s cosmopsychism within a broader map of cosmopsychist views. Based on this reconstructive analysis of the Gītā’s cosmopsychism, I also outline some few reflections on the philosophical prospects of theistic cosmopsychism. (shrink)

Ao mesmo tempo que o malogro da assim chamada teoria clássica dos conceitos - de acordo com a qual definições são a maneira apropriada de caracterizar conceitos - é um consenso, a filosofia metafísica da religião parece ainda lidar com o conceito de Deus de forma predominantemente definicional. Podemos então nos perguntar: Seria esse malogro suficiente para inviabilizar uma caracterização definicional do conceito de Deus? Meu propósito central neste artigo é responder essa pergunta. Adoto uma ênfase representacional. Em outras palavras, (...) desejo analisar até que ponto os problemas mais importantes levantados contra a teoria clássica dos conceitos afetam uma abordagem definicional-representacional do conceito de Deus. Como resultado desse esforço, mostro que as críticas à teoria clássica que ameaçam tal abordagem dependem da pluralidade característica ao contexto inter-religioso, que por si só cria outros problemas. (shrink)

Queremos neste ensaio caracterizar de modo introdutório o essencial do legado de Gottlob Frege para a Filosofia da Linguagem contemporânea, identificando e caracterizando os traços distintivos mais genéricos de uma teoria do significado (ou conteúdo semântico) inspirada nas suas ideias seminais e contrastando-a com outras concepções actuais influentes acerca do significado, em especial as posições sobre o conteúdo singular (conteúdo expresso por nomes próprios e outros termos singulares) remotamente inspiradas em ideias de John Stuart Mill.

In a review of Frege's Puzzle1, Graeme Forbes makes the claim that Salmon's account of belief might be seen, under certain conditions, as a mere notational variant of a neo-Fregean theory; and thus that such an account might be reduced to a neo-Fregean one simply by rewriting it in terms of Fregean terminology. With a view to supporting his claim, Forbes offers an outline of an account of belief which, according to him, would satisfy the following conditions: (i) it could (...) be directly obtained from Salmon's own analysis by means of a certain set of substitutions, which presumably would not affect the essential features of Salmon's view; (ii) it could naturally be described as Fregean, in the sense that it would preserve, (at least) the spirit of Frege's doctrines, especially his fundamental intuitions about belief. Of course, the upshot of Forbes's argument is that Salmon's theory would not, at bottom, constitute a genuine alternative to a Fregean semantics for belief ascriptions. In this paper I argue to the effect that Forbes's claim is not in general sound. It seems to me that the sort of indirect argument used by Forbes - that of trying to undermine Salmon's theory by showing that it is just a version of a neo-Fregean account - does not provide someone working within a Fregean framework with an adequate strategy to counter Salmon's neo-Russellian views. It would perhaps be better to concentrate a Fregean attack on certain apparently dubious and highly controversial theses and results which are constitutive of Salmon's view, e.g. the counterintuitive character of a substantial set of consequences which follow from his theory of belief, as well as the associated revisionist stand he is forced to take towards our current patterns of speaking about belief. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

Queremos neste ensaio introduzir um esboço de uma semântica simples e adequada para uma classe importante de predicações singulares de inexistência, ou frases existenciais singulares negativas. Frases deste género, como “Sócrates (já) não existe” e “O pássaro Dódó não existe”, são usualmente tidas como de algum modo paradoxais e semanticamente problemáticas. O modelo semântico que vamos delinear para tais frases, que desejavelmente se caracteriza pela simplicidade e pela economia, depende no entanto de duas importantes e substantivas suposições de partida, e, (...) mais crucialmente, de uma tese semântica de alguma maneira controversa acerca da referência singular. Trata-se da tese da rigidez obstinada, a tese de que nomes próprios e outros termos irredutivelmente singulares – tais como indexicais, demonstrativos e termos para categorias naturais – são designadores, não apenas rígidos, mas obstinadamente rígidos, dos objectos que de facto designam. (shrink)

This review article takes up the issue of race in Latin American philosophy and Susan Nuccetelli's analysis of it by asking how we think the place of race in Latin American philosophy given that she argues that race is both an internal factor (in the sense that Latin American philosophy theorizes race) as well as an external factor (in the sense that racism and raciality have significantly determined the production of Latin American philosophy)? The article thematizes white supremacy in Latin (...) American philosophy in order to ask to what degree Latin American philosophy can respond to white supremacy in philosophy without questioning its own grounds and relation to white supremacy. (shrink)

This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez Béziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition, by (...) Ondřej Beran; On the Concept of Theodicy, by Ricardo Sousa Silvestre; The Logical Problem of the Trinity and the Strong Theory of Relative Identity, by Daniel Molto; Thomas Aquinas on Logic, Being, and Power, and Contemporary Problems for Divine Omnipotence, by Errin D. Clark. -/- . (shrink)

In several places, John Bickle claims that current neuroscientific practice provides actual cellular/molecular reductions of certain mental states. He gives the case study of ‘memory consolidation switch’ as an example where recent findings suggest that this mental state/process can be reduced to the molecular ‘cAMP, PKA, CREB Pathway’. Taking this example, Bickle ‘waves the eleminativist flag’ by claiming that psychological explanations loose their pertinence (or, as he says, ‘became otiose’) once a cellular/molecular explanation replaces them. On this paper I’ll try (...) to show that, even if a reductive explanation of ‘memory consolidation switch’ is disposable, we cannot eschew reductively its causal/functional integrity, i.e.: the explanatory/causal context that defines the mental concept/process ‘memory consolidation switch’ in the first place. (shrink)

The aim of this paper is to survey a number of features which are constitutive of the Millian account of attitude-ascription and which I take to be irremediably defective. The features in question, some of which have not been fully appreciated, relate mainly to the failure of that account to accommodate certain fundamental aspects of our ordinary practise of attitude attribution. I take it that one’s definitive method of assessment of a given semantical theory consists in checking out whether or (...) not the theory is able to accommodate our pre-theoretical linguistic intuitions; to use Keith Donnellan’s phrase, such intuitions are the bottom line in philosophical argumentation about language. And I argue that the Millian appeal to modes of presentation taken both as semantically irrelevant and external to the singular contents believed, known, etc., as well as the associated pragmatic strategy employed to discard our ground-floor judgements, are insufficient to palliate the manifest implausibility of a number of Millian descriptions of our attitudes, especially descriptions of our second-order attitudes. (shrink)

Most words in natural language are vague, that is to say, they lack sharp boundaries and, hence, they have (actual or potential) borderline cases, where the word in question neither definitely applies nor definitely fails to apply. Vagueness gives rise to paradoxes, the best known of which is the sorites (concerned with how many grains of sand are needed to make a heap). Besides offering a solution to such paradoxes, a theory of vagueness should systematically describe how the truth conditions (...) of sentences with vague terms are determined; and it should also define the right logical principles for reasoning with such sentences. This article offers an introduction to the main theories of vagueness and to the problems they have to face. (shrink)

We will make a new approach for an effect known as “Dark Energy” by an effect on gravitational field. In an accelerated rocket, the dimensions of space towards movement due to ‘Lorentz Contraction’ are on continuous reduction. Using the equivalence principle, we presume that in the gravitational field, the same thing would happen. In this implicates in ‘dark energy effect’. The calculi show that in a 7%-contraction for each billion years would explain our observation of galaxies in accelerated separation.

The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...) the enterprise of formally analyzing philosophical arguments and, as such, contribute in a small degree to the debate on the role of formalization in philosophy. My focus will be mainly on the drawbacks and limitations of such enterprise; as a guideline, I shall refer to a Carnapian, or Carnapian-like theory of argument analysis. (shrink)