Logic as the Universal Science : Bertrand Russell's Early Conception of Logic and Its Philosophical Context

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

Constructive Perspectives on Inductive Logic

Constructive (intuitionist, anti-realist) semantics has thus far been lacking an adequate concept of truth in infinity concerning factual (i.e., empirical, non-mathematical) sentences. One consequence of this problem is the difficulty of incorporating inductive reasoning in constructive semantics. It is not possible to formulate a notion for probable truth in infinity if there is no adequate notion of what truth in infinity is. One needs a notion of a constructive possible world based on sensory experience. Moreover, a constructive probability measure must be defined over these constructively possible empirical worlds. This study defines a particular kind of approach to the concept of truth in infinity for Rudolf Carnap's inductive logic. The new approach is based on truth in the consecutive finite domains of individuals. This concept will be given a constructive interpretation. What can be verifiably said about an empirical statement with respect to this concept of truth, will be explained, for which purpose a constructive notion of epistemic probability will be introduced. The aim of this study is also to improve Carnap's inductive logic. The study addresses the problem of justifying the use of an "inductivist" method in Carnap's lambda-continuum. A correction rule for adjusting the inductive method itself in the course of obtaining evidence will be introduced. Together with the constructive interpretation of probability, the correction rule yields positive prior probabilities for universal generalizations in infinite domains.

Synthesis, Reactivity and Biological Activity of 17β-HSD1 Inhibitors Based on a Thieno[2,3-d]pryrimidin-4(3H)-one Core

Breast cancer is the most common cancer in women in Western countries. In the early stages of development most breast cancers are hormone-dependent, and estrogens, especially estradiol, have a pivotal role in their development and progression. One approach to the treatment of hormone-dependent breast cancers is to block the formation of the active estrogens by inhibiting the action of the steroid metabolising enzymes. 17beta-Hydroxysteroid dehydrogenase type 1 (17beta-HSD1) is a key enzyme in the biosynthesis of estradiol, the most potent female sex hormone. The 17beta-HSD1 enzyme catalyses the final step and converts estrone into the biologically active estradiol. Blocking 17beta-HSD1 activity with a specific enzyme inhibitor could provide a means to reduce circulating and tumour estradiol levels and thus promote tumour regression. In recent years 17beta-HSD1 has been recognised as an important drug target. Some inhibitors of 17beta-HSD1 have been reported, however, there are no inhibitors on the market nor have clinical trials been announced. The majority of known 17beta-HSD1 inhibitors are based on steroidal structures, while relatively little has been reported on non-steroidal inhibitors. As compared with 17beta-HSD1 inhibitors based on steroidal structures, non-steroidal compounds could have advantages of synthetic accessibility, drug-likeness, selectivity and non-estrogenicity. This study describes the synthesis of large group of novel 17beta-HSD1 inhibitors based on a non-steroidal thieno[2,3-d]pyrimidin-4(3H)-one core. An efficient synthesis route was developed for the lead compound and subsequently employed in the synthesis of thieno[2,3-d]pyrimidin-4(3H)-one based molecule library. The biological activities and binding of these inhibitors to 17beta-HSD1 and, finally, the quantitative structure activity relationship (QSAR) model are also reported. In this study, several potent and selective 17beta-HSD1 inhibitors without estrogenic activity were identified. This establishment of a novel class of inhibitors is a progressive achievement in 17beta-HSD1 inhibitor development. Furthermore, the 3D-QSAR model, constructed on the basis of this study, offers a powerful tool for future 17beta-HSD1 inhibitor development. As part of the fundamental science underpinning this research, the chemical reactivity of fused (di)cycloalkeno thieno[2,3-d]pyrimidin-4(3H)-ones with electrophilic reagents, i.e. Vilsmeier reagent and dimethylformamide dimethylacetal, was investigated. These findings resulted in a revision of the reaction mechanism of Vilsmeier haloformylation and further contributed to understanding the chemical reactivity of this compound class. This study revealed that the reactivity is dependent upon a stereoelectronic effect arising from different ring conformations.

Antioxidative long chain alkylresorcinols. Synthesis and deuterium labelling of bioactive compounds present in whole grains

The first synthesis of long chain 5-n-alkylresorcinols (C15-C25) in whole grains and whole grain products by a novel modification of Wittig reaction is described. 5-n-Alkylresorcinols are phenolic lipids that have various effects on biological systems, such as antioxidant activity and interaction with biological membranes. These compounds are considered as biomarkers of whole grain intake, which is connected with reduced risk of cardiovascular diseases and certain cancers. Novel hapten derivatives of 5-n-alkylresorcinols, potential compounds for immunoanalytical techniques, are prepared by the same procedure utilizing microwave catalysed aqueous Wittig reaction as the key step. The synthesised analogues are required by various analytical, metabolism and bioactivity investigations. Four alternative strategies for producing deuterium polylabelled 5-n-alkylresorcinols are explored. Ring-labelled D3-alkylresorcinols were synthesized by acidic H/D exchange. Side chain -labelled D4-derivative was prepared by a total synthesis approach utilizing D2 deuterogenation of a D2-alkene derivative, and deuterogenation of alkynes was investigated in another total synthesis approach. An -D3-labelled alkylresorcinol is isotopically pure and completely stable under all relevant conditions encountered during analytical work. The labelling of another phenolic component of whole grains was explored. The preparation of D3-ferulic acid and related compounds by way of selective methylation of the precursors is described. The deuterated compounds are useful as standards in the quantification of these natural products in various substances, such as food and human fluids. The pure 5-n-alkylresorcinol analogues prepared were used in in vitro experiments on alkylresorcinol antioxidant activity and antigenotoxicity. The in vitro experiments show that alkylresorcinols act as antioxidants, especially when incorporated into biological systems, but possess lower activity in chemical tests (FRAP and DPPH assay). Whole grain alkylresorcinols are shown for the first time to have a protective effect against copper induced oxidation of LDL, and H2O2 or genotoxic faecal water induced damage on HT29 cells.

Synthesis of Isoflavone Conjugates

During this study different approaches were studied to obtain isoflavone sulphates, glucuronides and sulphoglucuronides. Three isoflavone disulphates (daidzein-di-O-sulphate, genistein-di-O-sulphate and glycitein-di-O-sulphate) and three isoflavonoid disulphates (dihydrodaidzein-di-O-sulphate, dihydrogenistein-di-O-sulphate and equol-di-O-sulphate) were synthesised in moderate yields by using in situ prepared pyridine sulphur trioxide complex, made from chlorosulphonic acid and pyridine. These disulphated compounds can be used to develop analytical procedures and study the biological activity of disulphated products. As the use of the HPLC-MS methods in the field of isoflavones has increased its popularity, deuterated isoflavone disulphates were synthesised. A new microwave assisted deuteration method, using CF3COOD, was developed for this purpose. Three polydeuterated isoflavone disulphates (daidzein-d6-di-O-sulphate, genistein-d4-di-O-sulphate and glycitein-d6-di-O-sulphate) were obtained in moderate yields with high isotopic purity. A synthetic method was developed for daidzein sulphoglucuronide (daidzein-7-O-b-D-glucuronide-4´-O-sulphate), which is a major metabolite in rat bile. By using protection/deprotection steps, the desired product was finally obtained in moderate yield. The method developed can be used in further studies of synthesis of isoflavonoid mixed conjugates. As a part of this study, the structure of naturally occurring daidzein-4´-O-b-glucoside was verified. Different glycosidation methods are reviewed and possible factors affecting the stereoselectivity are discussed. The study of the selective chlorination of isoflavones was a consequence of the observed unexpected chlorination during the synthesis of isoflavone acid chlorides by thionyl chloride. This fascinating phenomenon was investigated further with various isoflavones and as a result a method for producing isoflavone chlorides (8-chlorogenistein, 6,8-dichlorogenistein and 6,8-dichlorobiochanin A) was developed. Protecting groups played a great role during this study, which led to an intensive study on them. A regioselective protection method was developed by using direct introduction of the protecting group (Benzyl and Benzoyl) to positions 7-O or 4´-O in daidzein, genistein and glycitein with t-BuOK as a base in DMF in moderate yields. The possibility of exploiting the transesterification was also investigated. It was observed that by using K2CO3 as a base in DMF, daidzein, genistein and glycitein could be benzoylated at position 4´-O selectively, in the presence of the more acidic 7 hydroxy group. Transesterification also proved to be useful in the glycosidation of isoflavones at position 7-O, starting from 7-O-benzoylated isoflavones. Different carboxylic acid derivatives were synthesised for use either in the development of radioimmunoassay (7-O-carboxymethylglycitein and 4´-O-carboxymethylglycitein) or synthesis of daunorubicin isoflavone derivative for biological testing (7-O-carboxypropylbiochanin A and 7-O-carboxypropylgenistein).

F-18 Labelling Synthesis, Radioanalysis and Evaluation of A Dopamine Transporter and A Hypoxia Tracer

Positron emission tomography (PET) is an imaging technique in which radioactive positron-emitting tracers are used to study biochemical and physiological functions in humans and in animal experiments. The use of PET imaging has increased rapidly in recent years, as have special requirements in the fields of neurology and oncology for the development of syntheses for new, more specific and selective radiotracers. Synthesis development and automation are necessary when high amounts of radioactivity are needed for multiple PET studies. In addition, preclinical studies using experimental animal models are necessary for evaluating the suitability of new PET tracers for humans. For purification and analysing the labelled end-product, an effective radioanalytical method combined with an optimal radioactivity detection technique is of great importance. In this study, a fluorine-18 labelling synthesis method for two tracers was developed and optimized, and the usefulness of these tracers for possible prospective human studies was evaluated. N-(3-[18F]fluoropropyl)-2β-carbomethoxy-3β-(4-fluorophenyl)nortropane ([18F]β-CFT-FP) is a candidate PET tracer for the dopamine transporter (DAT), and 1H-1-(3-[18F]fluoro-2-hydroxypropyl)-2-nitroimidazole ([18F]FMISO) is a well-known hypoxia marker for hypoxic but viable cells in tumours. The methodological aim of this thesis was to evaluate the status of thin-layer chromatography (TLC) combined with proper radioactivity detection measurement systems as a radioanalytical method. Three different detection methods of radioactivity were compared: radioactivity scanning, film autoradiography, and digital photostimulated luminescence (PSL) autoradiography. The fluorine-18 labelling synthesis for [18F]β-CFT-FP was developed and carbon-11 labelled [11C]β-CFT-FP was used to study the specificity of β-CFT-FP for the DAT sites in human post-mortem brain slices. These in vitro studies showed that β-CFT-FP binds to the caudate-putamen, an area rich of DAT. The synthesis of fluorine-18 labelled [18F]FMISO was optimized, and the tracer was prepared using an automated system with good and reproducible yields. In preclinical studies, the action of the radiation sensitizer estramustine phosphate on the radiation treatment and uptake of [18F]FMISO was evaluated, with results of great importance for later human studies. The methodological part of this thesis showed that radioTLC is the method of choice when combined with an appropriate radioactivity detection technique. Digital PSL autoradiography proved to be the most appropriate when compared to the radioactivity scanning and film autoradiography methods. The very high sensitivity, good resolution, and wide dynamic range of digital PSL autoradiography are its advantages in detection of β-emitting radiolabelled substances.

Ionic Liquids and Microwaves in Promotion of Organic Synthesis : Friedel-Crafts reaction, deuterolabelling and O-Demethylation

The use of ionic liquids in chemical research has gained considerable interest and activity in recent years. Due to their unique and varied physicochemical properties, in comparison to molecular solvents, the potential applications for ionic liquids are enormous. The use of microwave irradiation, as a powerful dielectric heating technique, in synthetic organic chemistry has been known since 1986. Since then, it has gained significant recognition for its research and application in both academia and industry. The use of either ionic liquids or microwave irradiation in synthetic organic chemistry has been known to afford improved, alternative or complimentary selectivities, in comparison to traditional processes. In this study, the use of ionic liquids as solvents, co-solvents and catalytic media was explored in Friedel-Crafts, deuterolabelling and O-demethylation reactions. Alternative methods for the production of a variety of aromatic ketones using the Friedel-Crafts acylation methodology were investigated using ionic liquid catalyst or ionic liquid acidic additive systems. The disclosed methods, i.e. metal bistriflamides and chloroindate ionic liquids systems, possessed good catalytic activity in the synthesis of typical benzophenones. These catalytic systems were also recyclable. Microwave irradiation was found to be useful in the synthesis of various polyhydroxydeoxybenzoins and arylpropanones as synthetic precursors to naturally occurring or potentially bioactive compounds. Under optimized condition, the reaction occurred in only four minutes using systems such as [bmim][NTf2]/HNTf2 and [bmim][BF4]/BF3·OEt2. Naturally occurring polyphenols, such as isoflavones, can possess various types of biological or pharmacological activity. In particular, some are noted for their beneficial effects on human health. Isotopically labelled analogues of polyphenols are valuable as analytical standards in the quantification of these compounds from biological matrices. A new strategy for deuterolabelling of polyphenols was developed using ionic liquids as co-solvents and 35% DCl/D2O, as a cheap deuterium source, under microwave irradiation. Under these conditions, perdeuterated compounds were achieved in short reaction times, in high isotopic purity and in excellent yields. An O-demethylation reaction was developed, using an ionic liquid reaction medium with BBr3 for the deprotection of a variety methyl protected polyphenolic compounds, such as isoflavons and lignans. This deprotection procedure was found to be very practical as the reaction occurred under mild reaction conditions and in short reaction times. The isolation and purification steps were particularly straightforward and high yielding, in comparison to traditional methods.