Current situation of Chagas disease in Central America

Chagas disease in Central America is known since 1913 when the first human case was reported in El Salvador. The other Central American countries reported their first cases between 1933 and 1967. On October 1997 was launched the Central American Initiative for Chagas Disease Control (IPCA). The objectives of this sub-regional Initiative are: (1) the elimination of Rhodnius prolixus in Central America; (2) the reduction of the domiciliary infestation of Triatoma dimidiata; and (3) the elimination of the transfusion transmission of Trypanosoma cruzi. Significant advancements being close to the elimination of R. prolixus in Central America and the control of the transfusion transmission has been a transcendent achievement for the sub-region. The main challenges that the IPCA will have in the close future are: developing effective strategies for control and surveillance of T. dimidiata; and surveillance of other emerging triatominae species like R. pallescens, T. nitida, and T. ryckmani.

Necessary truth and proof

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification-truth is not compatible with the theory of meaning, are mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong's that modality can reside in non-modal truthmakers.