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.

Models, truth and realism: assessing Bas van Fraassen's views on scientific representation

This paper is devoted to an analysis of some aspects of Bas van Fraassen's views on representation. While I agree with most of his claims, I disagree on the following three issues. Firstly, I contend that some isomorphism (or at least homomorphism) between the representor and what is represented is a universal necessary condition for the success of any representation, even in the case of misrepresentation. Secondly, I argue that the so-called "semantic" or "model-theoretic" construal of theories does not give proper due to the role played by true propositions in successful representing practices. Thirdly, I attempt to show that the force of van Fraassen's pragmatic - and antirealist - "dissolution" of the "loss of reality objection" loses its bite when we realize that our cognitive contact with real phenomena is achieved not by representing but by expressing true propositions about them.

Truths ancient and modern

The paper presents a comparison of the theories of truth, and the solutions of the liar paradox, proposed by Thomas Bradwardine (c. 1290-1349), Jean Buridan (c. 1295-1358), and Alfred Tarski (1901-1983).

A SECOND OPINION ON RELATIVE TRUTH

In 'An undermining diagnosis of relativism about truth', Horwich claims that the notion of relative truth is either explanatorily sterile or explanatorily superfluous. In the present paper, I argue that Horwich's explanatory demands set the bar unwarrantedly high: given the philosophical import of the theorems of a truth-theoretic semantic theory, Horwich's proposed explananda, what he calls acceptance facts, are too indirect for us to expect a complete explanation of them in terms of the deliverances of a theory of meaning based on the notion of relative truth. And, to the extent that there might be such an explanation in certain cases, there is no reason to expect relative truth to play an essential, ineliminable role, nor to endorse the claim that it should play such a role in order to be a theoretically useful notion.

An MD-PhD program in Brazil: students’ concepts of science and of common sense

In 1995, a pioneering MD-PhD program was initiated in Brazil for the training of medical scientists in experimental sciences at the Federal University of Rio de Janeiro. The program’s aim was achieved with respect to publication of theses in the form of papers with international visibility and also in terms of fostering the scientific careers of the graduates. The expansion of this type of program is one of the strategies for improving the preparation of biomedical researchers in Brazil. A noteworthy absence of interest in carrying out clinical research limits the ability of young Brazilian physicians to solve biomedical problems. To understand the students’ views of science, we used qualitative and quantitative triangulation methods, as well as participant observation to evaluate the students’ concepts of science and common sense. Subjective aspects were clearly less evident in their concepts of science. There was a strong concern about "methodology", "truth" and "usefulness". "Intuition", "creativity" and "curiosity" were the least mentioned thematic categories. Students recognized the value of intuition when it appeared as an explicit option but they did not refer to it spontaneously. Common sense was associated with "consensus", "opinion" and ideas that "require scientific validation". Such observations indicate that MD-PhD students share with their senior academic colleagues the same reluctance to consider common sense as a valid adjunct for the solution of scientific problems. Overcoming this difficulty may be an important step toward stimulating the interest of physicians in pursuing experimental research.

Dos modelos de interpretación: la indeterminación de la traducción en quine y el argumento modelo teorético de Putnam

Las tesis de la indeterminación de Quine establecen que las condiciones de verdad de una oración sub-determinan la referencia de los términos que ocurren en la misma. La cuestión es ¿cuál es el alcance de esa sub-determinación? En Reason, Truth and History Putnam señala que la su-determinación es mayor de lo que podría suponerse a partir de los argumentos de Quine y se propone, con su "argumento modelo teorético", prolongar radicalmenteestos resultados. En este artículo pretendo mostrar que el argumento modelo teorético de Putnam no es una mera prolongación de los resultados de Quine, sino que se trata de un argumento que supone un modelo de interpretación distinto del que subyace al argumento de este último. Si estoy en lo cierto, tendríamos en este caso dos modos de entender la interpretación y dependerá de qué modo la entendamos, el alcance que le demos a la sub-determinación de la referencia por los valores veritativos. Considero, por lo tanto, que el argumento de Putnam, si bien radicaliza las conclusiones de Quine, lo hace introduciendo un modelo de interpretación diferente al que es desarrollado en Word and Object.

Truth, laws and the progress of science

In this paper I analyze the difficult question of the truth of mature scientific theories by tackling the problem of the truth of laws. After introducing the main philosophical positions in the field of scientific realism, I discuss and then counter the two main arguments against realism, namely the pessimistic meta-induction and the abstract and idealized character of scientific laws. I conclude by defending the view that well-confirmed physical theories are true only relatively to certain values of the variables that appear in the laws.

Studies on mosquitoes (Diptera: Culicidae) and anthropic environment: 11 - Biting activity and blood-seeking parity of Anopheles (Kerteszia) in South-Eastern Brazil

An. (Ker.) cruzii and An. (Ker.) bellator were monitored by the use of human bait and Shannon trap collections during a one-year period in 1994. Indoor and outdoor collections were made on human bait and inside the forest environment a Shannon trap was used. Both were undertaken in the evening crepuscular period. Results showed a greater abundance of An. cruzii in the forest, where as An. bellator was more abundant in the domiciliary environment. Through the application of the Polovodova method an age grading was established. Computing the parous and nulliparous females with Christopher's Stage III and above, more than 30.0% of blood-seeking specimens of both anophelines had had a previous blood meal. The higher abundance of An. bellator as compared with that of An. cruzii in the domiciliary environment may be explained by the influence of the neighboring low-lying coastal islands of the estuary system.

Fisheries and fishing effort at the Indigenous Reserves Ashaninka/Kaxinawá, river Breu, Brazil/Peru

This article aimed to describe the subsistence fisheries of traditional populations of three ethnic groups, one Ashaninka and two Kaxinawá, lying on the banks of the River Breu. Initially, monitors were trained to fill logbooks with data from fisheries of the villages during an annual cycle (august/1995 august/1996). Based on these data, it was realized an inventory of the most common fish species caught as well as one about the fishing environment. The following results were obtained: i) Indians prefer to use pools, locally known as "poços", for fishing; ii) the most common caught species are the "mandis" (35%, Pimelodidae), armored catfishes (Loricariidae), specially Hypostomus sp. (25%), the "curimatá" (9%, Prochilodus sp.) and the "saburus" (8%, Curimatidae), among others; iii) the fishing gears that lead to a high rate of fishing are the native "tingui", nets and bow and arrows; iv) fisheries are more intensive during summer; v) the fishing effort and their associated factors statistically significant in predicting the catches in the Indian Reserve were f1 = number of fishermen, f2 = (number of fishermen*total time devoted to fishing), f3 = [(number of fishermen)*(total time devoted to fishing)-(the time displacement)] and the factor villages and fishing gears; vi) although almost all the fisheries are done by walking to the fishing places, catches increase when paddle boats are used; and vii) the most active fishermen belong to Kaxinawá tribe.

Description of Eimeria motelo sp. n. (Apicomplexa: Eimeriidae) from the yellow footed tortoise, Geochelone denticulata (Chelonia: Testudinidae), and replacement of Eimeria carinii Lainson, Costa & Shaw, 1990 by Eimeria lainsoni nom. nov.

Eimeria motelo sp. n. is described from faeces of the yellow-footed tortoise, Geochelone denticulata (L.). Oocysts are irregularly ellipsoidal or cylindrical, with slightly expressed lobed protrusions and irregularities at the poles, possibly caused by wrinkling of the oocyst wall, 17 (15-19) × 9.4 (8.5-11) µm, shape index (length/width) being 1.81 (1.45-2). The oocyst wall is smooth, single-layered, 0.5 µm thick with no micropyle. There are no polar bodies. Sporocysts are ellipsoidal, 8.9 (7.5-10) × 4.4 (4-5) µm, shape index 2.03 (1.7-2.5). A sporocyst residuum is present, composed of many granules of irregular size. The sporozoites are elongate, lying lengthwise in the sporocysts. Comparison with other species of the genus Eimeria parasitising members of family Testudinidae indicates that the presently described coccidium represents a new species. The name of Eimeria carinii Lainson, Costa & Shaw, 1990 is found to be preoccupied by a homonym, Eimeria carinii Pinto 1928 given to a coccidium from Rattus norvegicus. Therefore, it is replaced by Eimeria lainsoni nom. nov.

Use of geoprocessing to define malaria risk areas and evaluation of the vectorial importance of anopheline mosquitoes (Diptera: Culicidae) in Espírito Santo, Brazil

In Brazil, introduced malaria occurs from the flat to the sloping hot areas, predominantly outside the Amazon Region, where endemic malaria has occurred in the past. This is a consequence of human migrations to other Brazilian states, including the state of Espírito Santo (ES). The objective of this study was to use geoprocessing to define the areas at risk of introduced malaria transmission and evaluate the vectorial importance of species of anophelines in ES. Anophelines were sampled from 1997-2005 in 297 rural localities identified or not identified as foci of malaria during the last 20 years. The geoclimatic variables temperature, relief and marine influence were obtained from a database of the ES Natural Units. The 14,663 anophelines captured belonged to 22 species. A significant association was found between the occurrence of malaria foci and the presence of hot, low-lying areas or gently undulating to undulating relief. The occurrence of the disease was associated with the presence of Anopheles darlingi and Anopheles aquasalis. Geoprocessing was determined to be a useful tool for defining areas at risk for malaria and vectors in ES.

Use of solaria to predict weed density and floristic composition in no-till cropping systems

The objective of this work was to evaluate the efficiency of a new method, developed for predicting density and floristic composition of weed communities in field crops. Based on the use of solaria (100 mm transparent plastic tarps lying on the soil) to stimulate weed seedlings emergence, the method was tested in Tandil, Argentina, from 1998 to 2001. The system involved corn and sunflower in commercial no-till system. Major weeds in the experiments included Digitaria sanguinalis, Setaria verticillata and S. viridis, which accounted for 98% of the weed community in the three years of experiments since 1998. Large numbers of Tagetes minuta, Chenopodium album and Ammi majus were present in 2001. Comparison of weed communities under solaria with communities in field crops indicated that the method is useful for predicting the presence and density of some major weed species, at both high and low densities, of individuals in areas of 10 ha using only five solaria. Low density of weed species makes the method particularly useful to help deciding the time for herbicide applications to avoid soil contamination.

Disjoint nonclassical hydrocarbons have very unstable lowest-lying singlet states: a PM3 study

Earlier workers have suggested that disjoint hydrocarbons have nearly-degenerate lowest-lying singlet and triplet states while non-disjoint (or joint) hydrocarbons should be ground-state triplets. PM3 results for an appropriate selection of alternant hydrocarbons are inconsistent with that generalization: disjoint, nonclassical, alternant hydrocarbons show the strongest predilection for triplet ground states.

On the institution of the moral subject: on the commander and the commanded in Nietzsche's discussion of law

The article discusses how Nietzsche understands the institution of law and morals in distinction to Kant and the Christian tradition. It argues that Nietzsche to a large extent is inspired by the paradigm-shift toward a evolutionary biological thinking introduced by several of his peers in the late 19th century, among else F. A. Lange, who sees this shift as a sobering scientific-materialistic alternative to Kant. In Nietzsche, the Kantian moral imperative is replaced with a notion of a morality emerging thanks to historical, or pre-historical, civilizational processes, imposed on a feebleminded human without any inherent rational dispositions to obey Law. It is also a process, which rather than universalizing the human, splits it in a duality where one part obeys old immediate self-interests and another part obeys new 'commands,' having been shouted 'into the ear' by a so-called 'commander.' The compliance with law takes two radically different forms in Nietzsche: servile and mediocre individuals need to be exposed to discipline and punishment in order to adopt Law; while so-called 'sovereign' individuals are able to impose law upon themselves. The figure of the 'sovereign' has consequently been an issue for vigorous debate in especially the Anglo-Saxon tradition of Nietzsche research, since his apparent 'respect for law' and 'sense of duty' reiterate typical Kantian qualities. Relating to these discussions, I suggest that Nietzsche's 'sovereign' (in one context) is identical his 'commander' (in other contexts). When the 'sovereign' as such imposes law upon himself and others, his act is conventional and arbitrary (like language in Saussure), and is rather irrational than rational as in Kant. His will is not a good will, nor a rational will with a vision of human autonomy. His command of himself and others is a performative, thus without truth-value (like illocutionary speech-acts in Austin and Searle).

The relation between the general maxim of causality and the principle of uniformity in hume's theory of knowledge

ABSTRACT When Hume, in the Treatise on Human Nature, began his examination of the relation of cause and effect, in particular, of the idea of necessary connection which is its essential constituent, he identified two preliminary questions that should guide his research: (1) For what reason we pronounce it necessary that every thing whose existence has a beginning should also have a cause and (2) Why we conclude that such particular causes must necessarily have such particular effects? (1.3.2, 14-15) Hume observes that our belief in these principles can result neither from an intuitive grasp of their truth nor from a reasoning that could establish them by demonstrative means. In particular, with respect to the first, Hume examines and rejects some arguments with which Locke, Hobbes and Clarke tried to demonstrate it, and suggests, by exclusion, that the belief that we place on it can only come from experience. Somewhat surprisingly, however, Hume does not proceed to show how that derivation of experience could be made, but proposes instead to move directly to an examination of the second principle, saying that, "perhaps, be found in the end, that the same answer will serve for both questions" (1.3.3, 9). Hume's answer to the second question is well known, but the first question is never answered in the rest of the Treatise, and it is even doubtful that it could be, which would explain why Hume has simply chosen to remove any mention of it when he recompiled his theses on causation in the Enquiry concerning Human Understanding. Given this situation, an interesting question that naturally arises is to investigate the relations of logical or conceptual implication between these two principles. Hume seems to have thought that an answer to (2) would also be sufficient to provide an answer to (1). Henry Allison, in his turn, argued (in Custom and Reason in Hume, p. 94-97) that the two questions are logically independent. My proposal here is to try to show that there is indeed a logical dependency between them, but the implication is, rather, from (1) to (2). If accepted, this result may be particularly interesting for an interpretation of the scope of the so-called "Kant's reply to Hume" in the Second Analogy of Experience, which is structured as a proof of the a priori character of (1), but whose implications for (2) remain controversial.