Online research in philosophy

In spite of vast global improvements in living standards, health, and well-being, the persistence of absolute poverty and its attendant maladies remains an unsettling fact of life for billions around the world and constitutes the primary cause for the failure of developing states to improve the health of their peoples. While economic development in developing countries is necessary to provide for underlying determinants of health – most prominently, poverty reduction and the building of comprehensive primary health systems – inequalities in (...) power within the international economic order and the spread of neoliberal development policy limit the ability of developing states to develop economically and realize public goods for health. With neoliberal development policies impacting entire societies, the collective right to development, as compared with an individual rights-based approach to development, offers a framework by which to restructure this system to realize social determinants of health. The right to development, working through a vector of rights, can address social determinants of health, obligating states and the international community to support public health systems while reducing inequities in health through poverty-reducing economic growth. At an international level, where the ability of states to develop economically and to realize public goods through public health systems is constrained by international financial institutions, the implementation of the right to development enables a restructuring of international institutions and foreign-aid programs, allowing states to enter development debates with a right to cooperation from other states, not simply a cry for charity. (shrink)

I present here a modal extension of T called KTLM which is, by several measures, the simplest modal extension of T yet presented. Its axiom uses only one sentence letter and has a modal depth of 2. Furthermore, KTLM can be realized as the logical union of two logics KM and KTL which each have the finite model property (f.m.p.), and so themselves are complete. Each of these two component logics has independent interest as well.

Manfred Eigen employs the terms language and communication to explain key recombination processes of DNA as well as to explain the self-organization of human language and communication: Life processes as well as language and communication processes are governed by the logic of a molecular syntax, which is the exact depiction of a principally formalizable reality.

Resenha do livro de Juan Adolfo Bonaccini, Maria de Paz Nunes Medeiros, Markus Figueira de Silva e Oscar Frederico Bauchwitz (Org.). Metafísica: história e problemas: atas do I Colóquio Internacional da Metafísica . Natal: EDUFRN, 2006, 332 páginas. [Coleçáo Metafísica n. 5].

There are many familiar theorems whose proofs use methods which are in some appropriate sense substantially more "abstract" than its statement. Some particularly well known examples come from the use of complex variables in number theory. Sometimes such abstraction can be removed - for example by the "elementary proof of the prime number theorem" - and sometimes no appropriate removal is known. The interest in removing abstraction typically varies, with no agreed upon criteria for appropriateness. E.g., the removal might sacrifice (...) naturalness or intelligibility, or the result of the removal criticized as being merely a thinly disguised form of the original. (shrink)