In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section (...) 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

As COVID-19 emerged as a phenomenon of the total environment, and despite the intertwined and complex relationships that make humanity an organic part of the Bio- and Geospheres, the majority of our responses to it have been corrective in character, with few or no consideration for unintended consequences which bring about further vulnerability to unanticipated global events. Tackling COVID-19 entails a systemic and precautionary approach to human-nature relations, which we frame as regaining diversity in the Geo-, Bio-, and Anthropospheres. Its (...) implementation requires nothing short of an overhaul in the way we interact with and build knowledge from natural and social environments. Hence, we discuss the urgency of shifting from current to precautionary approaches to COVID-19 and look, through the lens of diversity, at the anticipated benefits in four systems crucially affecting and affected by the pandemic: health, land, knowledge and innovation. Our reflections offer a glimpse of the sort of changes needed, from pursuing planetary health and creating more harmonious forms of land use to providing a multi-level platform for other ways of knowing/understanding and turning innovation into a source of global public goods. These exemplary initiatives introduce and solidify systemic thinking in policymaking and move priorities from reaction-based strategies to precautionary frameworks. (shrink)

NUTRIÇÃO SOBRE AS FALHAS REPRODUTIVAS DOS BOVINOS -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede -/- -/- FALHAS REPRODUTIVAS DE BOVINOS -/- INTRODUÇÃO -/- Os bovinos, assim como tantos outros mamíferos e demais espécies, podem sofrer distúrbios durante o ciclo reprodutivo. Transtornos, alterações ou patogenias afetam diretamente a saúde do sistema reprodutor desses animais. As causas podem ser individuais ou multifatoriais, de caráter parasitário, patogênico, climático, nutricional etc. As (...) causas de caráter parasitário podem ser controladas mediante a assepsia e profilaxia para a eliminação dos parasitas como carrapatos que vivem no mesmo habitat que o animal. As de caráter patogênico, como estão relacionadas à doenças, necessitam de especialistas na área, como o médico-veterinário para a avaliação, diagnóstico e tratamento por meio de práticas cirúrgicas ou na administração de fármacos. O fator clima pode ser controlado mediante o investimento em tecnologia e aquisição de equipamentos que possam manter a integridade e o bem-estar do animal, seja por ventiladores, exaustores, nebulizadores, aspersores, etc. Por fim, as de caráter nutricional podem ser prevenidas mediante a boa administração energética, proteica e mineral, além de uma boa qualidade de alimento volumoso ou concentrado que atenda e supra os requerimentos exigidos por cada categoria animal. Sendo assim, pode-se dividir as falhas reprodutivas dos machos bovinos relacionados à nutrição em energia, proteína, minerais e vitaminas. Antes disso, essas falhas estão relacionadas aos fatores de degeneração testicular e casos de hipospermia. -/- 17.1 Degeneração testicular e Hipospermia -/- Degeneração testicular é uma importante causa de infertilidade em machos de todas as espécies. Entre as causas, podem ser consideradas a elevação da temperatura testicular (por isso torna-se importante que a bolsa escrotal tenha um certo tamanho que permita aos testículos ficarem longe do corpo, uma vez que a temperatura corporal mataria os espermatozoides, sendo essencial os testículos ficarem “caídos” para que possam ter no mínimo 2-3 °C à mesmos do que a temperatura corporal), infecções, fatores nutricionais, lesões vasculares, lesões obstrutivas etc. O testículo com degeneração mostra diminuição de tamanho, fibrose, alterações na espermatogênese, aumento de esperma imaturo ou anormal e azoospermia em casos severos. -/- Em casos de lesão testicular com dano parcial sobre o epitélio germinal, apresenta-se uma menor taxa de formação e maturação das células espermáticas. O macho pode ser fértil, mas a condição de hipospermia levará à que, sob condições de estresse ou alta carga de fêmeas a cobrir, se apresentem falhas na fertilização. Ejaculados com características de hipospermia não podem ser congelados, logo não servem para a indústria do sêmen. -/- -/- Deficiências nutricionais retardam o início da puberdade e deprimem a produção e as características do sêmen. Os efeitos da má nutrição podem ser corrigidos em animais maduros, enquanto que é menos bem sucedido em animais jovens devido aos danos permanentes causados no epitélio germinal do testículo. (FRAZER, 2005; GORDON, 1996). Entre as principais limitantes de origem nutricional temos: -/- 17.2 Vitaminas -/- 17.2.1 Vitamina A -/- A deficiência de vitamina A e provitamina A (já que é essencial direta ou indiretamente para a função de todos os órgãos e particularmente para o crescimento e desenvolvimento dos epitélios) é necessária para a diferenciação celular, processo no qual se modificam as células não especializadas de modo que possam realizar funções específicas. Os órgãos reprodutores exigem retinol para que possam realizar o processo de espermatogênese normal nos machos e para prevenir a necrose placentária e a mortalidade fetal na fêmea. Carências de Vitamina A produzem: degeneração do epitélio germinal, baixa espermiogênese parcial ou total, cornificação do epitélio vaginal, irregularidades do estro, atrasos na concepção, abortos, crias fracas e/ou deficientes visuais (cegas) e uma degeneração da placenta e a retenção da mesma. A deficiência da vitamina A pode conduzir a uma degeneração dos tubos seminíferos nos bovinos jovens e deve-se ao fato da supressão da liberação de gonadotropinas hipofisárias e noutros casos, a espermatogênese é impedida e as funções das células de Sertoli e de Leydig são alteradas. A vitamina A não é sintetizada no organismo, o que leva a uma dependência direta do fornecimento dessa vitamina através dos alimentos que o criador têm na propriedade, seja forragens ou concentrados de ótima qualidade. -/- Essa vitamina é essencial para os animais e humanos, visto que participa de inúmeras funções metabólicas no corpo dos mesmos. Sendo assim, o criador deve saber das exigências vitamínicas do seu rebanho. Em bovinos de corte a exigência e a recomendação de fornecimento dessa vitamina está entre 2200 UI/kg de MS para animais em crescimento e engorda e para reprodutores recomenda-se níveis de 3900 UI/kg de MS. Já para bovinos leiteiros esses números são diferentes, de acordo com livros de nutrição de ruminantes, animais em crescimento e engorda devem consumir matéria seca com teores de 80 UI/kg de MS, já para reprodutores e animais adultos a quantidade recomendada e exigida é de 110 UI/kg de MS, isso diariamente. As forragens suprem bem a exigência de vitamina A dos animais, em especial o capim tifton e o tanzânia são os mais recomendados uma vez que possuem altos teores vitamínicos e minerais. As vias de suplementação dessa vitamina é através das forragens (mais acessível e barato), através da ração concentrada ou pela água e suplementação injetável. -/- 17.2.2 Vitamina E -/- A vitamina E é uma substância também conhecida como tocoferol, sendo sua forma mais ativa o alfa tocoferol. A vitamina E pertence ao grupo de vitaminas lipossolúveis amplamente distribuídas nos alimentos. -/- A sua principal função é descrita como um antioxidante natural, agindo como tal, a vitamina E evita a oxidação de constituintes celulares essenciais e/ou evita a formação de produtos tóxicos de oxidação, como os produtos de peroxidação formados a partir de ácidos graxos insaturados que foram detectados através de sua ausência. Essa vitamina é essencial para a reprodução normal em várias espécies de mamíferos. Ela ainda têm sido usada em clínicas reprodutivas de todo o mundo para o tratamento de abortos recorrentes e da infertilidade em ambos os sexos (CHAN, 2003). -/- -/- A deficiência da vitamina E influencia a maturação espermática e a degeneração do epitélio germinal dos túbulos seminíferos, já que ela os protege da oxidação evitando a deterioração da peroxidase sobre os fosfolipídios poli-insaturados da membrana espermática (PITA RODRÍGUEZ, 1997). A deficiência dessa também evita o crescimento anormal. Na ausência de vitamina E, a quantidade de gorduras insaturadas dentro das células diminuem, causando anomalias estruturais e funcionais das organelas mitocondriais, lisossomos e até mesmo na membrana celular, se essa falta de vitamina E no adulto tornar-se acentuada ocorrerá a degeneração precoce do epitélio germinal, o que afeta, em primeiro lugar, as células mais evoluídas: os espermatozoides, cuja mobilidade se perde e sua formação torne-se cada vez mais rara, até chegar ao nível de esterilidade completa. -/- As exigências dos bovinos de corte quanto a vitamina em questão é de 15 – 60 UI/kg de MS diárias para animais em crescimento e engorda. Já para bovinos leiteiros, essa exigência é muito menor chegando a 0,8 UI/kg de peso vivo (PV) para animais em crescimento e engorda e para animais adultos e reprodutores cerca de 1,6 UI/kg de PV diários. Os alimentos, assim como as vias de suplementação ideais, são os mesmos mencionados no tópico acerca da vitamina A. -/- 17.3 Proteínas -/- O efeito do excesso de proteína da dieta na reprodução é complexo. Os excessos de proteína podem também ter um efeito negativo na reprodução. Alguns efeitos foram demonstrados para explicar o pobre desempenho reprodutivo que algumas vezes é observado em dietas com excessivos níveis de proteína: Podem apresentar-se altos níveis de ureia no sangue, o que possui efeito tóxico sobre os espermatozoides, óvulos, e o embrião em desenvolvimento (WATTIAUX, 1990), igualmente, apresenta-se um desequilíbrio energético que em casos severos bloqueia a liberação de LH produzindo alteração na maturação espermática nas células de Leyding. -/- As proteínas são importantes para todo o funcionamento normal e funções fisiológicas e metabólicas dos animais e do homem. Logo, a tabela 1 traz os níveis recomendados e exigências de bovinos de corte de diferentes categorias para que se possa prevenir e/ou combater as possíveis degenerações testiculares bem como a hipospermia, trazendo os requerimentos de bovinos leiteiros jovens o que é mais ideal para combater previamente esses distúrbios que afetam diretamente a função reprodutiva e o desemprenho dos animais. -/- Tabela 1: Exigências de proteína metabolizável (PM) e proteína bruta (PB), para diferentes categorias de bovinos de corte -/- BAIXE O PDF E VISUALIZE A TABELA -/- Para os bovinos leiteiros jovens, os níveis de PB presente na dieta dos animais entre 150 e 400 kg de PV podem ser entre 12 e 22%, o que é ideal para a prevenção de degenerações, atraso à puberdade ou qualquer anormalidade que afete o desempenho dos animais. -/- Os alimentos mais proteicos são os de origem animal, porém não se pode ofertá-los completamente e diretamente aos animais, isto é, deve-se misturá-los a outros ingredientes; logo, o tipo e a quantidade de proteína depende dos ingredientes, do método de alimentação e do potencial produtivo e genético dos animais. -/- 17.4 Minerais -/- 17.4.1 Manganês (Mn) -/- O manganês é um componente de várias enzimas e essencial para a estrutura óssea normal. Quando a alimentação é deficiente em Mn por algumas semanas, o corpo parece conservar este mineral de forma eficaz. -/- Numa dieta média, cerca de 45% do mineral ingerido é absorvido. A absorção pode ser diminuída com o consumo de quantidades excessivas de Ca, P ou Fe. Após a absorção, o Mn liga-se à sua proteína transportadora e é conhecido como transmanganina. Os ossos, e em menor quantidade o fígado, músculos, e pele servem como locais de armazenamento desse mineral. -/- O Mn está envolvido na função pancreática e na utilização correta da glicose, sendo também um interveniente ativo na produção de tiroxina e de hormonas sexuais. Tem importância na produção do colesterol e no metabolismo de gorduras. -/- O Mn é um mineral de grande afinidade com o aparelho reprodutor. A deficiência desse elemento produz uma diminuição da fertilidade, atraso no desenvolvimento testicular e diminuição da espermatogênese. Se houver atrofia dos testículos, a produção de espermatozoides será reduzida e, portanto, a fertilidade será afetada. -/- A quantidade de 13 mg de Mn por kg de MS é suficiente para a obtenção de um crescimento adequado, mas para um crescimento testicular ideal e constante é necessário um mínimo de 16 mg de Mn por kg de MS. -/- Para uma boa suplementação que atenda às necessidades do gado de corte e leite, o nível ideal de Mn presente na MS em mg/kg deve estar entre 12 – 18 para os bovinos leiteiros e entre 20 – 50 para o gado de corte, tendo como recomendação ideal cerca de 40 mg/kg de MS diários para ambos. Esse mineral pode estar presente tanto na água quanto nas plantas presentes no pasto, portanto a suplementação natural é a melhor escolha, caso necessário a suplementação artificial através da ração no cocho ou do sistema SMI é recomendada. -/- 17.4.2 Iodo (I) -/- A deficiência de I também ocasionar dificuldades reprodutivas e hipospermia. Só a captação da tiroide responde à TSH, e somente a glândula endócrina tiroide incorpora esse elemento nos hormônios que são por ela elaborados. Assim, mais de 90% do iodo do organismo é encontrado nas glândulas tireóideas, principalmente como iodo orgânico. Este grande acúmulo de I na glândula é trocado muito lentamente, cerca de 1% por dia. -/- O I entra no organismo via oral e sob a forma de íon iodeto, absorvendo-se muito facilmente desde o aparelho digestivo e passando rapidamente à corrente circulatória e, posteriormente à glândula tiroide (ALBARRACÍN, 2005) onde tem que vencer um gradiente de concentração de 1 a 20; todavia, dada a afinidade entre essa glândula e o iodo, não existe nenhum problema na organização. Na célula folicular, através da ação da peroxidase, converte-se em I molecular que passa para o coloide para se ligar à tiroglobulina e formar as hormonas tireóideas. -/- O I pode atuar sobre o aparelho genital diretamente ou através da hipófise. A tiroidectomia reduz a produção espermática, por sua vez a tiroxina exótica pode restaurá-la. Essa última, administrada dentro de seus limites fisiológicos, aumenta a produção espermática ao incrementar o metabolismo geral. Talvez, o mecanismo mais aceito para atingir esta função fisiológica seja a regulação do consumo de oxigênio pelas células espermáticas. -/- O I pode ser fornecido em quantidades entre 0,2 e 1,0 mg/kg de MS para todas as categorias animais e sem que o produtor possa se preocupar. O I, que é de suma importância, encontra-se na água e nos vegetais, porém pode ser incrementado via alimentação concentrada ou através da injeção mineral direta no animal. -/- 17.5 Energia -/- A disponibilidade de energia está diretamente relacionada com o padrão normal de pulsatilidade do LH. No caso do balanço energético negativo (BEN), verifica-se um rápido aumento da utilização de glicose, resultando em hipoglicemia e, por conseguinte, hipoinsulinemia que, como se sabe, conduz rapidamente a uma lipólise com maior disponibilidade de ácidos para oxidação. Por sua vez, a síntese de colesterol precursor de esteroides sexuais é diminuída. A alteração da relação estrogênios- androgênios no macho causa uma expressão pobre da libido ou desejo sexual. -/- No touro a subnutrição afeta intensamente a função secretora das glândulas acessórias, provocando uma diminuição de 30 a 60% nas concentrações de frutose e ácido láctico do esperma. A subnutrição afeta, sobretudo, a atividade androgênica e a espermatogênese. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- BARRENHO, Gonçalo José Pinheiro. Nutrição e fertilidade em bovinos de leite. 2016. Dissertação de Mestrado. Universidade de Évora. -/- BERCHIELLI, Telma Teresinha; PIRES, Alexandre Vaz; OLIVEIRA, SG de. Nutrição de ruminantes. Jaboticabal: funep, 2006. -/- BICUDO, S. D.; SIQUEIRA, J. B.; MEIRA, C. Patologias do sistema reprodutor de touros. Biológico, São Paulo, v. 69, n. 2, p. 43-48, 2007. -/- BINDARI, Yugal Raj et al. Effects of nutrition on reproduction-A review. Adv. Appl. Sci. Res, v. 4, n. 1, p. 421-429, 2013. -/- BOLAND, M. P. Efectos nutricionales en la reproducción del ganado. XXXI Jornadas Uruguayas de Buiatría, 2003. -/- CHAN, Willie Hing Chang. Uso de Tamoxifeno y Vitamina E en Pacientes con Varicocele. 2003. Tese de Doutorado em Urologia. Universidad de Granada, España. -/- DEHNING, R. Interrelaciones entre nutrición y fertilidad. In: Curso Manejo de la Fertilidad Bovina18-23 May 1987Medellín (Colombia). CICADEP, Bogotá (Colombia) Universidad de La Salle, Medellín (Colombia) Instituto Colombiano Agropecurio, Bogotá (Colombia) Sociedad Alemana de Cooperación Técnica-GTZ (Alemania), 1987. -/- DE LUCA, Leonardo J. Nutrición y fertilidad en el ganado lechero. XXXVI Jornadas Uruguayas de Buiatría, 2008. -/- DIAS, Juliano Cesar et al. Alguns aspectos da interação nutrição-reprodução em bovinos: energia, proteína, minerais e vitaminas. PUBVET, v. 4, p. Art. 738-743, 2010. -/- FRAZER, Grant S. Bovine theriogenology. Veterinary Clinics: Food Animal Practice, v. 21, n. 2, p. xiii-xiv, 2005. -/- GORDON, Ian. Controlled reproduction in farm animals series. Nova Iorque: CAB International, 1996. -/- MAAS, John. Relationship between nutrition and reproduction in beef cattle. The Veterinary Clinics of North America. Food Animal Practice, v. 3, n. 3, p. 633-646, 1987. -/- MAGGIONI, Daniele et al. Efeito da nutrição sobre a reprodução de ruminantes: uma revisão. PUBVET, v. 2, n. 11, 2008. -/- NATIONAL RESEARCH COUNCIL et al. NRC. Nutrient requirements of domestic animals. Nutrient requirements of beef cattle. Washington, DC: National Academy Science, 1996. -/- NICODEMO, M. L. F.; SERENO, J. R. B.; AMARAL, T. B. Minerais na eficiência reprodutiva de bovinos. Embrapa Pecuária Sudeste-Documentos (INFOTECA-E), 2008. -/- PASA, Camila. Relação reprodução animal e os minerais. Biodiversidade, v. 9, n. 1, 2011. -/- PITA RODRÍGUEZ, Gisela. Funciones de la vitamina E en la nutrición humana. Rev. cuba. aliment. nutr, v. 11, n. 1, p. 46-57, 1997. -/- RADOSTITS, Otto M. et al. (Ed.). Veterinary Medicine E-Book: A textbook of the diseases of cattle, horses, sheep, pigs and goats. Elsevier Health Sciences, 2006. -/- SANTOS, José Eduardo Portela. Efeitos da nutrição na reprodução bovina. In: Congresso Brasileiro de Raças Zebuínas. 1998. p. 24-75. -/- SARTORI, Roberto; GUARDIEIRO, Monique Mendes. Fatores nutricionais associados à reprodução da fêmea bovina. Revista Brasileira de Zootecnia, v. 39, p. 422-432, 2010. -/- SHORT, Robert E.; ADAMS, D. C. Nutritional and hormonal interrelationships in beef cattle reproduction. Canadian Journal of Animal Science, v. 68, n. 1, p. 29-39, 1988. -/- TEIXEIRA, J. C.; TEIXEIRA, LFAC. Alimentação de bovinos leiteiros. FAEPE, Lavras, 1997. -/- WATTIAUX, Michel Andre. Reproduction and nutrition. Babcock Institute for International Dairy Research and Development, Madison: University of Wisconsin, 1995. (shrink)

En el trabajo se hace un recorrido por los principales autores latinoamericanos que trabajan el tema de los valores en el siglo XX. Se trata de apresar algunas regularidades generales en el itinerario del pensamiento axiológico en América Latina durante la pasada centuria.

Dialogamos con Cintia Rodríguez Garat, quien obtuvo el Primer Premio Bioética 2023 de la Fundación Jaime Roca por su trabajo “Resiliencia y salud pública de las mujeres mapuce ante el cambio climático. Un análisis desde una perspectiva intercultural, participativa y de derechos humanos”.

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

This bulletin contains a summary of the main topics of discussion in truthmaker theory, namely: the definition of truthmakers, problems with Truthmaker Necessitarianism and Truthmaker Maximalism, the ontological burden of truthmakers and the recalcitrant topic of truthmakers for negative truths.

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

Consider a certain red rose. The proposition that the rose is red is true because the rose is red. One might say as well that the proposition that the rose is red is made true by the rose’s being red. This, it has been thought, does not commit one to a truthmaker of the proposition that the rose is red. For there is no entity that makes the proposition true. What makes it true is how the rose is, and how (...) the rose is is not an entity over and above the rose. It is against this view that I shall argue in this paper. I shall argue that a significant class of true propositions, including inessential predications like the proposition that the rose is red, are made true by entities. "No truthmaking without truthmakers" is my slogan. Although I have my view about what kinds of entities are truthmakers, I shall not argue for or presuppose that view here. All I shall argue for here is that if a proposition is made true by something, it is made true by some thing, but my argument will leave it open what kind of thing that thing is: it could be a fact or state of affairs, a trope, or any other sort of entity. (shrink)

Peter Milne has tried to refure Truthmaker Maximalism. the thesis that every truth has a truthmaker, by producing a simple and direct counterexample to it, the sentence M: This sentence has no truthmaker. I argue that, contrary to what Milne argues, on Truthmaker Maximalism M is equivalent to the Liar, which gives the truthmaker maximalist a way to defend his position from Milne's counterexample: to argue that M expresses no proposition.

The paper argues that grounding is neither irreflexive, nor asymmetric, nor transitive. In arguing for that conclusion the paper also arguesthat truthmaking is neither irreflexive, nor asymmetric, nor transitive.

This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my main aim was to argue against the Entailment Principle by arguing against the Conjunction Thesis, which is entailed by the Entailment Principle. In the course of so doing, although not essential for my project in that paper, I defended the Disjunction Thesis. López de Sa has objected both to my defence of the Disjunction (...) Thesis and my case against the Conjunction Thesis. I shall show that his objections are unfounded and based on serious misunderstandings of my position, what the relevant debate is, and some fundamental notions of Truthmaker Theory. Jago argues that accepting the Disjunction Thesis and rejecting the Conjunction Thesis is hard to maintain. But I show that Jago has not shown that accepting the Disjunction Thesis while rejecting the Conjunction Thesis is impossible or even hard to maintain. Jago believes that, to accept the Disjunction Thesis while rejecting the Conjunction Thesis, one needs to reject his axiom (T3), which says that all the truthmakers for <P&P> are truthmakers for <P>. I argue that there are reasons to reject such a principle, and the version of it that says that what makes <P&P> true makes <P> true. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

Descartes maintained substance dualism, the thesis that no substance has both mental and material properties. His main argument for this thesis, the so-called separability argument from the Sixth Meditation (AT VII: 78) has long puzzled readers. In this paper I argue that Descartes’ independence conception of substance (which Descartes presents in article 51 of the Principles) is crucial for the success of the separability argument and that Descartes used this conception of substance to defend his argument for substance dualism from (...) an important objection. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

1. The Bundle Theory I shall discuss is a theory about the nature of substances or concrete particulars, like apples, chairs, atoms, stars and people. The point of the Bundle Theory is to avoid undesirable entities like substrata that allegedly constitute particulars. The version of the Bundle Theory I shall discuss takes particulars to be entirely constituted by the universals they instantiate.' Thus particulars are said to be just bundles of universals. Together with the claim that it is necessary that (...) particulars have constituents, the fundamental claim of the Bundle Theory is: (BT) Necessarily, for every particular x and every entity y, y constitutes x if and only ify is a universal and x instantiates y. 2 The standard and supposedly devastating objection to the Bundle Theory is that it entails or is committed to a false version of the Principle of Identity of Indiscernibles (Armstrong 1978: 91, Loux 1998: 107), namely: (Pll) Necessarily, for all particulars x and y and every universal z, if z is instantiated by x if and only if z is instantiated byy, then x is numerically identical with y. The most famous counterexample to the Identity of Indiscernibles is that put forward by Max Black, consisting of a world where there are only two iron spheres two miles apart from each other, having the same diameter, temperature, colour, shape, size, etc (Black 1952: 156). Let us from now on think of the properties of the spheres in this world as universals. The possibility of this world, which I shall hereafter refer to as 'Black's world', makes (Pll) false.' And according to common philosophical opinion this means that the Bundle Theory is false.. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

A obra Eletric Waves foi o ponto de partida para a análise filosófico-metodológica das teorias científicas por parte de H. Hertz e a culminância dessa prática deu-se com a sua obra póstuma The Principles of Mechanics. Nas introduções a essas duas obras um tema metacientífico se apresenta como núcleo central. Nelas Hertz trata das diferentes representações, imagens ou modelos dos fenômenos físicos: no caso da primeira obra, dos fenômenos eletromagnéticos; no caso da segunda, dos fenômenos mecânicos. E a questão que (...) tenta resolver é a seguinte: qual é a origem da pluralidade de imagens nas teorias científicas? Seria ela inevitável? É sobre esse tipo de questões que se fixa o presente trabalho na intenção de apresentar o papel da noção de representação na concepção de ciência de Heinrich Hertz. (shrink)

Transhumanism proposes human enhancement while regarding the human body as unfit for the future. This fulfills age-old aspirations for a perfect and durable body. We use “alienation” as a concept to analyze this mismatch between human aspirations and our current condition. For Hannah Arendt alienation may be accounted for in terms of earth- and world-alienation, as well as alienation from human nature, and especially from the given (“resentment of the given”). In transhumanism, the biological body is an impediment to human (...) accomplishment. At most, this movement accepts “clean” bodies, not bodies with excretions. We argue that real human bodies are valued in the event of giving birth, so a modified concept that Arendt proposed, natality, seems a suitable way to explore the dialectic alienation-reconciliation involving the body (Arendt’s “A child has been born unto us”), when re-read by some feminist scholars. (shrink)

According to one of Leibniz's theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof , namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general but (...) related problem that we dub the Problem of Guaranteed Proof . We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent. (shrink)

Bertrand Russell argued that any attempt to get rid of universals in favor of resemblances fails. He argued that no resemblance theory could avoid postulating a universal of resemblance without falling prey to a vicious infinite regress. He added that admitting such a universal of resemblance made it pointless to avoid other universals. In this paper I defend resemblance nominalism from both of Russell's points by arguing that (a) resemblance nominalism can avoid the postulation of a universal of resemblance without (...) falling into a vicious infinite regress, and (b) even if resemblance nominalism had to admit a universal of resemblance, this would not make it pointless to avoid postulating other universals. (shrink)

The subtraction argument, originally put forward by Thomas Baldwin (1996), is intended to establish Metaphysical Nihilism, the thesis that there could have been no concrete objects. Some modified versions of the argument have been proposed in order to avoid some difficulties faced by the original argument. In this paper I shall concentrate on two of those versions, the so-called subtraction argument* (presented and defended in Rodriguez-Pereyra 1997, 2000, 2002), and Efird and Stoneham’s recent version of the argument (Efird and (...) Stoneham 2005). I shall defend the subtraction argument* from Alexander Paseau’s (2006) objection that because a crucial premise of the subtraction argument* may have no plausibility independent from Metaphysical Nihilism, the subtraction argument* is not suasive. Although Paseau focuses on the subtraction argument*, I shall point out that Efird and Stoneham could reply to Paseau’s objection in the same way. Thus there are (at least) two suasive versions of the subtraction argument that establish Metaphysical Nihilism. But are those two arguments equally good? I shall argue that the subtraction argument* is preferable to Efird and Stoneham’s argument. (shrink)

Background Consent policies for post-mortem organ procurement (OP) vary throughout Europe, and yet no studies have empirically evaluated the ethical implications of contrasting consent models. To fill this gap, we introduce a novel indicator of governance quality based on the ideal of informed support, and examine national differences on this measure through a quantitative survey of OP policy informedness and preferences in seven European countries. -/- Methods Between 2017–2019, we conducted a convenience sample survey of students (n = 2006) in (...) Austria (AT), Belgium (BE), Denmark (DK), Germany (DE), Greece (GR), Slovenia (SI) and Spain (ES), asking participants about their donation preferences, as well as their beliefs and views about the policy in place. From these measures, we computed indices of informedness, policy support, and fulfilment of unexpressed preferences, which we compared across countries and consent systems. -/- Results Our study introduces a tool for analyzing policy governance in the context of OP. Wide variation in policy awareness was observed: Most respondents in DK, DE, AT and BE correctly identified the policy in place, while those in SI, GR and ES did not. Respondents in opt-out countries (AT, BE, ES and GR) tended to support the policy in place (with one exception, i.e., SI), whereas those in opt-in countries (DE and DK) overwhelmingly opposed it. These results reveal stark differences in governance quality across countries and consent policies: We found a preponderance of informed opposition in opt-in countries and a general tendency towards support–either informed or uninformed–in opt-out countries. We also found informed divergence in opt-in countries and a tendency for convergence–either informed or uninformed–among opt-out countries. -/- Conclusion Our study offers a novel tool for analyzing governance quality and illustrates, in the context of OP, how the strengths and weaknesses of different policy implementations can be estimated and compared using quantitative survey data. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...) shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

At a crucial juncture in Plato’s Sophist, when the interlocutors have reached their deepest confusion about being and not-being, the Eleatic Visitor proclaims that there is yet hope. Insofar as they clarify one, he maintains, they will equally clarify the other. But what justifies the Visitor’s seemingly oracular prediction? A new interpretation explains how the Visitor’s hope is in fact warranted by the peculiar aporia they find themselves in. The passage describes a broader pattern of ‘exploring both sides’ that lends (...) insight into Plato’s aporetic method. (shrink)

In De partibus animalium A1, Aristotle presents —in a darker than usual way— decisive details of the methodology he devised for his science of nature. His indications seem to point the path along which Aristotelian biology should travel. However, numerous textual and systematic difficulties have given rise to a number of conflicting interpretations, in the context of a vigorous stream of philosophical research and debate since the last third of the last century. In this stream of studies, Michael of Ephesus’s (...) commentary on PA and his views on the subject remain relatively ignored. A complex multiplicity of factors seems to support the lack of sufficient consensus among leading contemporary specialists to explicitly consider those contributions. The purpose of this paper is to examine several of these factors and, based on the evidence provided by little explored aspects of Michael’s texts, to offer arguments in favor of that consensus against a number of alternatives. I shall argue that the contributions of this late commentator deserve to be considered —mutatis mutandis— as seriously as it is done with the main ancient Greek commentaries; in particular, in the philosophical studies of those who are currently interested in that methodology or are engaged in Aristotelian biology. (shrink)

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow (...) different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (shrink)

Interpretando a Nietzsche, podríamos afirmar que la embriaguez dionisíaca le posibilita al humano dirigirse afectivamente hacia lo externo, borrando incluso y paradójicamente ese límite que determinaría dónde empieza su ser y dónde aquello a lo que su ser es empujado. Trías recoge esta determinación en un concepto clave de su filosofía al denominarnos “ser del límite”. En ambos filósofos somos radicalmente pasión creadora; somos un animal límite y caótico, sufriente por queriente, y potencialmente feliz por el mismo motivo. Está en (...) nuestras manos investigar, tras el reconocimiento de esta condición estética, sensible e insalvable de lo humano, cómo vivir. (shrink)

Regarding the linguistic turn in History of Ideas, there are logical topics to be considered in order to increase the accuracy of reconstruccions oriented to describe and explain conceptual formations of the past. This paper propose an overview of these topics and a methodological approach to deal with its difficulties.

En el presente ensayo abordaremos el conflicto que se plantea entre las políticas de la redistribución y las del reconocimiento en el marco de la justicia de género. Para ello, analizaremos la propuesta bidimensional de la filósofa estadounidense Nancy Fraser. En efecto, plantearemos la necesidad de reflexionar sobre las implicancias de este planteo en el plano de las injusticias de género. De esta manera, el análisis estará centrado en la relación que se produce entre las injusticias ligadas a cuestiones de (...) reconocimiento y las injusticias vinculadas a la redistribución económica. (shrink)

Pensar el problema general de la continuidad de las propuestas pedagógicas en el campo de las prácticas docentes durante el contexto de emergencia sanitaria (Covid-19), y el problema específico de las herramientas pedagógico-didácticas necesarias para poder acompañar y garantizar efectivamente la formación de los estudiantes, exige una mirada transdisciplinaria, respetuosa, dinámica e integradora de los cambios, avances y retrocesos sucedidos en el campo educativo en nuestro país. En Argentina, hemos asistido a un escenario inédito en el que se ha puesto (...) en evidencia no solo la complejidad de la realidad educativa, sino también la necesidad de construir marcos de acción colectivos que permitan repensar las estrategias y los modos de enseñanza. (shrink)

how does one inquire into the truth of first principles? Where does one begin when deciding where to begin? Aristotle recognizes a series of difficulties when it comes to understanding the starting points of a scientific or philosophical system, and contemporary scholars have encountered their own difficulties in understanding his response. I will argue that Aristotle was aware of a Platonic solution that can help us uncover his own attitude toward the problem.Aristotle's central problem with first principles arises from the (...) fact that they cannot be demonstrated in the same way as other propositions. Since demonstrations proceed from prior and better-known principles, if the principles themselves were in need of... (shrink)

El objetivo de este artículo es realizar una historización del sistema sanitario de Neuquén, concretamente atendiendo a los programas de salud aplicados en esta provincia desde su surgimiento hasta el año 2020. En este marco, en primer lugar, me enfocaré en los lineamientos políticos que definieron las bases ideológicas de las políticas públicas llevadas a cabo en la atención sanitaria neuquina, y, en segundo lugar, examinaré las variables estadísticas publicadas por el sistema de salud provincial referidas a las condiciones materiales (...) de atención médica de la población en general, y de las mujeres indígenas mapuce en particular. Para efectuar dicho abordaje, analizaré específicamente la localidad de Las Coloradas. -/- . (shrink)

In my book *Resemblance Nominalism* I argued that the truthmakers of ´a and b resemble each other´ are just a and b. In his "Resemblance Nominalism and counterparts" Alexander Bird objects to my claim that the truthmakers of ´a and b resemble each other´ are just a and b. In this paper I respond to Bird´s objections.

O objetivo do presente texto é o de apresentar as bases do atomismo metafísico a partir da produção do conhecimento na Antiguidade Clássica. Não se trata de abrir qualquer tipo de discussão acerca da produção do conhecimento contemporâneo sobre a realidade do átomo. Trata-se de apresentar os fundamentos teóricos de base grega, cujos reflexos foram sentidos nos desenvolvimentos posteriores do atomismo metafísico. Sendo assim, a pretensão não é a de apresentar um trabalho específico de História da Filosofia ou de História (...) da Ciência, mas sim, de um estudo da Filosofia da Ciência no contexto de sua história; pois, diante da questão sobre qual seria a competência epistêmica que delimita a Filosofia em sua essência, não encontramos outra maneira de tentar determiná-la a não ser consultando sua própria história. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

The origins and development of the problem of mental causation are outlined. The underlying presuppositions which give rise to the problem are identified. Possible strategies for solving, or dissolving the problem are examined.

Some recent literature [Hicks, M. T. and van Elswyk. P., (2015) pp. 433-443, 2015; Bhogal, H. (2017), pp. 447-460] has argued that the non-Humean conceptions of laws of nature have a same weakness as the Humean conceptions of laws of nature. That is, both conceptions face an explanatory circularity problem. The argument is as follows: the Humean and the non-Humean conceptions of laws of nature agree that the law statements are universal generalisations; thus, both conceptions are vulnerable to an explanatory (...) circularity problem between the laws of nature and their instances. In this paper, I argue that Armstrong’s necessitarian view of laws of nature is invulnerable to this explanatory circularity problem. (shrink)

The objective of this article is to demonstrate how the historical debate between materialism and idealism, in the field of Philosophy, extends, in new clothes, to the field of Quantum Physics characterized by realism and anti-realism. For this, we opted for a debate, also historical, between the realism of Albert Einstein, for whom reality exists regardless of the existence of the knowing subject, and Niels Bohr, for whom we do not have access to the ultimate reality of the matter, unless (...) conditioning it to the existence of an observer endowed with rationality, position adopted in the Interpretation of Complementarity – posture that was expanded in 1935 when Bohr assumed a “relationalist” conception, according to which the quantum state is defined by the relationship between the quantum object and the entire measuring device. This is an extremely important debate, as it further consolidates the results of nascent Quantum Mechanics, guaranteeing Bohr the leadership of the orthodoxy based on the interpretation of complementarity. Here, when dealing with Quantum Theory, we will not make any distinction between the terms Quantum Physics, Quantum Theory or Quantum Mechanics. The entire discussion will be held under the name “Quantum Theory”. Theory that tries to analyze and describe the behavior of physical systems of reduced dimensions, close to the sizes of molecules, atoms and subatomic particles. We hope that the reader will appreciate the genius of these two titans in this field of Physics when they magnificently formulate the arguments that support the object of their defenses. (shrink)

Resemblance Nominalism is the view that denies universals and tropes and claims that what makes F-things F is their resemblances. A famous argument against Resemblance Nominalism is Russell's regress of resemblances, according to which the resemblance nominalist falls into a vicious infinite regress. Aristocratic Resemblance Nominalism, as opposed to Egalitarian Resemblance Nominalism, is the version of Resemblance Nominalism that claims that what makes F-things F is that they resemble the F-paradigms. In this paper I attempt to show that a recently (...) advocated strategy to stop Russell's regress by using paradigms does not succeed. (shrink)

En el Cratilo platónico se plantea por primera vez la cuestión del fundamento de la significación lingüística; se lo hace en el marco de la oposición entre naturaleza y convención, en la que se basó también el debate posterior acerca del tema. En el trabajo que sigue se presenta un repaso de los aspectos teóricos más importantes de los argumentos de las tesis naturalista y convencionalista expuestas y defendidas en ese y en otros textos de la tradición antigua, y se (...) esboza una tipología de las variedades que en esa tradición se ofrecen de aquellas dos posiciones. (shrink)

El documento expone los antecedentes sugeridos por Paul Ricoeur sobre lo que podría denominarse “la polémica epistemológica en ciencias sociales”, referidos a la formulación de un método legítimo para la investigación en dichas ciencias que responda a las particularidades propias de su objeto de estudio. En este sentido, se rastrea la cuestión en la tradición hermenéutica romántica, concretamente en el pensamiento de Wilhelm Dilthey, pasando por la teoría estructural de estudio del texto escrito y la formulación de una teoría de (...) la acción anglosajona, para finalmente terminar en la ricoeurtiana consideración hermenéutica de la acción significativa, que asume al texto como paradigma y propuesta de superación de los escollos en torno a la referida polémica. (shrink)

In this paper we seek to take notice of the evolution and continuity of Jan Patočka’s phenomenology on the topic of the world and human existence’s relationship with it. We believe that this problem underlies and stimulates Patočka’s whole phenomenological research and we think that it is a key element to understand the ensemble of his thought.

Este documento ofrece una propuesta desde la perspectiva de la bioética para la elaboración de un protocolo de triaje en el contexto de la pandemia de COVID-19. Dicha propuesta incluye recomendaciones sobre las normas procedimentales y normas sustantivas que deben regir la asignación y reasignación de recursos terapéuticos en condiciones de escasez extrema.

In this chapter I shall reply to a pair of articles in which the main contention of my “Why truthmakers” – namely, that an important class of synthetic true propositions have entities as truth-makers – is rejected. In §§1–5 I reply to Jennifer Hornsby’s “Truth without Truthmaking Entities” (2005) and in §§6–7 I reply to Julian Dodd’s “Negative Truths and Truthmaker Principles” (2007).

Opinionated state of the art paper on scientific explanation. Analysis and discussion of the most relevant models and theories in the contemporary literature, namely, the deductive-nomological model, the models of inductive-statistical and statistical relevance, the pragmatic theory of why questions, the unifying theory of standard arguments, and the causal/non-causal counterfactual theory.

Los fenómenos urbanos son objeto de complejos modelos cuantitativos que persiguen explicar la emergencia de futuras tendencias. De similar manera, la intuición opera en algunos visionarios, cuya propiedad de percibir lo que esta por venir, los acerca a la realidad de un modo distinto. Este es el caso de Víctor Jara, cuya canción “Las Casitas del Barrio Alto” es objeto de estudio a través de un análisis crítico del discurso. En el trabajo se aprecia que Víctor Jara tiene la capacidad (...) de anticipar el futuro con esta canción, enunciando las características de lo que seria el porvenir urbano de Chile post dictatorial. (shrink)