THE FORMAL AND THE FORMALIZED: THE CASES OF SYLLOGISTIC AND SUPPOSITION THEORY

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e. theories of formalization). Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments (i.e. the second sub-project). In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize.

HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

Exploring the interplay between Framing and Securitization theory: the case of the Arab Spring protests in Bahrain

This article advances the theoretical integration between securitization theory and the framing approach, resulting in a set of criteria hereby called security framing. It seeks to make a twofold contribution: to sharpen the study of the ideational elements that underlie the construction of threats, and to advance towards a greater assessment of the audience's preferences. The case study under examination is the 2011 military intervention of the countries of the Gulf Cooperation Council in Bahrain. The security framing of this case will help illuminate the dynamics at play in one of the most important recent events in Gulf politics.

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.

Global instability of currencies: reasons and perspectives according to the state-corporation hegemonic stability theory

This paper analyses reasons of the instability of the world monetary system. The author considers this problem from historical and contemporary perspectives. According to presented point of view banknotes and electronic money which replaced gold and silver coins in popular circulation are the most important reason of the instability. There are also proven positive and negative consequences of money instability. Reforms of the world monetary system need agreement within the global collective hegemony of state-powers and transnational corporations.

Chlamydia pneumoniae and atherosclerosis. Identification of bacterial DNA in the arterial wall

OBJECTIVE: The intracellular Gram-negative bacterium Chlamydia pneumoniae has been associated with atherosclerosis. The presence of Chlamydia pneumoniae has been investigated in fragments of the arterial wall with a technique for DNA identification. METHODS: Arterial fragments obtained from vascular surgical procedures in 58 patients were analyzed. From these patients, 39 were males and the mean age was 65±6 years. The polymerase chain reaction was used to identify the bacterial DNA with a pair of primers that codify the major outer membrane protein (MOMP) of Chlamydia pneumoniae. The amplified product was visualized by electrophoresis in the 2% agarose gel stained with ethidium bromide, and it was considered positive when migrating in the band of molecular weight of the positive controls. RESULTS: Seven (12%) out of the 58 patients showed positive results for Chlamydia pneumoniae. CONCLUSION: DNA from Chlamydia pneumoniae was identified in the arterial wall of a substantial number of patients with atherosclerosis. This association, which has already been described in other countries, corroborates the evidence favoring a role played by Chlamydia pneumoniae in atherogenesis.

Non-formal education for schistosomiasis prevention: the experience of the Museu Arqueológico de Central, Bahia, Brazil

The activities described here form part of an extensive programme in place in the Região Arqueológica de Central, state of Bahia, Brazil. After malacological and socio-environmental surveys in the area, a strategy comprising formal and non-formal education with an emphasis on schistosomiasis prevention was developed, introduced, and evaluated. Interviews were conducted of 142 students and 11 teachers, totalling 11 classes at six primary schools. On the basis of those interviews, four display cases and seven panels were prepared. In addition a table was set up where students could participate directly on the subject, drawing and recognising the factors involved in the schistosomiasis cycle. The exhibition was held at the Museu Arqueológico de Central. The endeavours of this paper underline the importance of health education as well as exhibitions to disease prevention activities.

Burden in family caregivers of the elderly: prevalence and association with characteristics of the elderly and the caregivers

A cross-sectional, epidemiological study aimed to estimate the prevalence of burden among family caregivers of impaired elderly residents in the city of João Pessoa, and to identify associations between the mean burden and social and demographic characteristics of the elderly and the caregivers. A total number of 240 elderly residents in a previously drawn census tract participated in this research. The sample was composed of 52 elderly and their caregivers. For data collection, a questionnaire was applied with questions on social and demographic characteristics of elderly and caregivers, and the Burden Interview Scale was used. Results showed a high prevalence of burden among caregivers (84.6%), in which a statistically significant association was found with the following characteristics: retired elderly, elderly as head of family, spousal caregivers, and caregivers with less education. The findings of this study may contribute to the development of activities focused on formal and emotional support for the caregivers.

Determination or determinants? A debate based on the Theory on the Social Production of Health

This article aims to discuss the concepts of Social Determination of Health and Social Determinants of Health, by establishing a comparison between each of their guiding perspectives and investigating their implications on the development of health policies and health actions. We propose a historical and conceptual reflection, highlighting the Theory on the Social Production of Health, followed by a debate on the concepts, with a comparative approach among them.

Distribution and vertical stratification of carbon and nitrogen in soil under different managements in the pampean region of Argentina

One of the expected benefits of no-tillage systems is a higher rate of soil C sequestration. However, higher C retention in soil is not always apparent when no-tillage is applied, due e.g., to substantial differences in soil type and initial C content. The main purpose of this study was to evaluate the potential of no-tillage management to increase the stock of total organic C in soils of the Pampas region in Argentina. Forty crop fields under no-tillage and conventional tillage systems and seven undisturbed soils were sampled. Total organic C, total N, their fractions and stratification ratios and the C storage capacity of the soils under different managements were assessed in samples to a depth of 30 cm, in three layers (0-5, 5-15 and 15-30 cm). The differences between the C pools of the undisturbed and cultivated soils were significant (p < 0.05) and most pronounced in the top (0-5 cm) soil layer, with more active C near the soil surface (undisturbed > no-tillage > conventional tillage). Based on the stratification ratio of the labile C pool (0-5/5-15 cm), the untilled were separated from conventionally tilled areas. Much of the variation in potentially mineralizable C was explained by this active C fraction (R² = 0.61) and by total organic C (R² = 0.67). No-till soils did not accumulate more organic C than conventionally tilled soils in the 0-30 cm layer, but there was substantial stratification of total and active C pools at no till sites. If the C stratification ratio is really an indicator of soil quality, then the C storage potential of no-tillage would be greater than in conventional tillage, at least in the surface layers. Particulate organic C and potentially mineralizable C may be useful to evaluate variations in topsoil organic matter.

Experimental and theoretical investigation of the IR spectra and thermochemistry of four isomers of 2-N,N-dimethylaminecyclohexyl 1-N',N'-dimethylcarbamate

A combined experimental and Density functional theory (DFT) B3LYP/6-311+G* study on the IR spectra of four stable isomers of 2-N,N-dimethylaminecyclohexyl 1-N',N'-dimethylcarbamate was performed. Our theoretical calculations reveal that two new isomers of this compound exist and may be more stable than the known isomers. In addition the entropy, heat capacity, and the enthalpy content of the stable isomers are computed by fitting the calculated data to a standard Shomate equation and IR spectra for the two new isomers are presented.

Analysis of the structure and vibrational spectra of glucose and fructose

Molecular modelling using semiempirical methods AM1, PM3, PM5 and, MINDO as well as the Density Functional Theory method BLYP/DZVP respectively were used to calculate the structure and vibrational spectra of d-glucose and d-fructose in their open chain, alpha-anomer and beta-anomer monohydrate forms. The calculated data show that both molecules are not linear; ground state and the number for the point-group C is equal to 1. Generally, the results indicate that there are similarities in bond lengths and vibrational modes of both molecules. It is concluded that DFT could be used to study both the structural and vibrational spectra of glucose and fructose.

Analysis of the structural and electronic properties of 1-(5-Hydroxymethyl - 4 -[ 5 - (5-oxo-5-piperidin-1-yl-penta-1,3dienyl)-benzo[1,3]dioxol-2-yl] -tetrahydro-furan-2-yl)-5-methyl-1H-pyrimidine-2,4dione molecule

The structural and electronic properties of 1-(5-Hydroxymethyl - 4 -[ 5 - (5-oxo-5-piperidin- 1 -yl-penta- 1,3 -dienyl)-benzo [1,3] dioxol- 2 -yl]-tetrahydro -furan-2 -yl)-5-methy l-1Hpyrimidine-2,4dione (AHE) molecule have been investigated theoretically by performing density functional theory (DFT), and semi empirical molecular orbital calculations. The geometry of the molecule is optimized at the level of Austin Model 1 (AM1), and the electronic properties and relative energies of the molecules have been calculated by density functional theory in the ground state. The resultant dipole moment of the AHE molecule is about 2.6 and 2.3 Debyes by AM1 and DFT methods respectively, This property of AHE makes it an active molecule with its environment, that is AHE molecule may interacts with its environment strongly in solution.

Evaluation of group electronegativities and hardness (softness) of group 14 elements and containing functional groups through density functional theory and correlation with NMR spectra data

Quantum Chemical calculations for group 14 elements of Periodic Table (C, Si, Ge, Sn, Pb) and their functional groups have been carried out using Density Functional Theory (DFT) based reactivity descriptors such as group electronegativities, hardness and softness. DFT calculations were performed for a large series of tetracoordinated Sn compounds of the CH3SnRR'X type, where X is a halogen and R and R' are alkyl, halogenated alkyl, alkoxy, or alkyl thio groups. The results were interpreted in terms of calculated electronegativity and hardness of the SnRR'X groups, applying a methodology previously developed by Geerlings and coworkers (J. Phys. Chem. 1993, 97, 1826). These calculations allowed to see the regularities concerning the influence of the nature of organic groups RR' and inorganic group X on electronegativities and hardness of the SnRR'X groups; in this case, it was found a very good correlation between the electronegativity of the fragment and experimental 119Sn chemical shifts, a property that sensitively reflects the change in the valence electronic structure of molecules. This work was complemented with the study of some compounds of the EX and ER types, where E= C, Si, Ge, Sn and R= CH3, H, which was performed to study the influence that the central atom has on the electronegativity and hardness of molecules, or whether these properties are mainly affected for the type of ligand bound to the central atom. All these calculations were performed using the B3PW91 functional together with the 6-311++G** basis set level for H, C, Si, Ge, F, Cl and Br atoms and the 3-21G for Sn and I atoms.