Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Deformation mechanisms during large strain deformation of nanocrystalline nickel

In this letter, a conclusive evidence of the operation of planar slip along with grain boundary mediated mechanisms has been reported during large strain deformation of nanocrystalline nickel. Dislocation annihilation mechanism such as mechanical recovery has been found to play an important role during the course of deformation. The evidences rely on x-ray based techniques, such as dislocation density determination and crystallographic texture measurement as well as microstructural observation by electron microscopy. The characteristic texture evolution in this case is an indication of normal slip mediated plasticity in nanocrystalline nickel.

The Statutory Defence(s) of 'peer professional opinion'

In the wake of the GFC and with ever increasing consumer-protection-related laws, clients are more aware of their rights and your obligations as a professional valuer. They also are more likely to take legal action if, as a result of their reliance on a valuation, they suffer a financial loss. In some Australian jurisdictions, in response to a claim of negligence, the professional valuer may be able to raise a professional practice defence under civil liability legislation. This article considers the nature of this statutory defence, what is required to rely upon it and in which jurisdictions it applies.

Standard yet unusual mechanisms of long-distance dispersal: Seed dispersal of Corymbia torelliana by bees

Mellitochory, seed dispersal by bees, has been implicated in long-distance dispersal of the tropical rain forest tree, Corymbia torelliana (Myrtaceae). We examined natural and introduced populations of C. torelliana for 4 years to determine the species of bees that disperse seeds, and the extent and distance of seed dispersal. The mechanism of seed dispersal by bees was also investigated, including fruit traits that promote dispersal, foraging behaviour of bees at fruits, and the fate of seeds. The fruit structure of C. torelliana, with seed presented in a resin reward, is a unique trait that promotes seed dispersal by bees and often results in long-distance dispersal. We discovered that a guild of four species of stingless bees, Trigona carbonaria, T. clypearis, T. sapiens, and T. hockingsi, dispersed seeds of C. torelliana in its natural range. More than half of the nests found within 250 m of fruiting trees had evidence of seed transport. Seeds were transported minimum distances of 20-220 m by bees. Approximately 88% of seeds were dispersed by gravity but almost all fruits retained one or two seeds embedded in resin for bee dispersal. Bee foraging for resin peaked immediately after fruit opening and corresponded to a peak of seed dispersal at the hive. There were strong correlations between numbers of seeds brought in and taken out of each hive by bees (r = 0.753-0.992, P < 0.05), and germination rates were 95 ± 5%. These results showed that bee-transported seeds were effectively dispersed outside of the hive soon after release from fruits. Seed dispersal by bees is a non-standard dispersal mechanism for C. torelliana, as most seeds are dispersed by gravity before bees can enter fruits. However, many C. torelliana seeds are dispersed by bees, since seeds are retained in almost all fruits, and all of these are dispersed by bees.

In Defence of "the Lesser Cousin of History": An Interview with Rohan Wilson

Few branches of postcolonial literature are as contested as the historical fiction of settler societies. This interview with the Australian historical novelist Rohan Wilson, author of The Roving Party (2011) and To Name Those Lost (2014), explores the intersections between truth, accuracy, and existential authenticity in his fictional accounts of nineteenth-century Tasmania. Wilson offers a nuanced yet robust defence of fiction’s role in narrating colonial history. He explains his intentions in writing two linked yet distinctive novels of the frontier—one that focuses on the “Black War” of the 1820s and 1830s, and another that explores how racial violence is refracted by capitalism in subsequent decades.

Human brain mechanisms of auditory and audiovisual selective attention

Selective attention refers to the process in which certain information is actively selected for conscious processing, while other information is ignored. The aim of the present studies was to investigate the human brain mechanisms of auditory and audiovisual selective attention with functional magnetic resonance imaging (fMRI), electroencephalography (EEG) and magnetoencephalography (MEG). The main focus was on attention-related processing in the auditory cortex. It was found that selective attention to sounds strongly enhances auditory cortex activity associated with processing the sounds. In addition, the amplitude of this attention-related modulation was shown to increase with the presentation rate of attended sounds. Attention to the pitch of sounds and to their location appeared to enhance activity in overlapping auditory-cortex regions. However, attention to location produced stronger activity than attention to pitch in the temporo-parietal junction and frontal cortical regions. In addition, a study on bimodal attentional selection found stronger audiovisual than auditory or visual attention-related modulations in the auditory cortex. These results were discussed in light of Näätänen s attentional-trace theory and other research concerning the brain mechanisms of selective attention.

Stress and Resilience in Combat-Related PTSD: Integration of Psychological Theory and Biological Mechanisms

Post-traumatic stress disorder (PTSD) is a debilitating psychiatric disorder that has a major impact on the ability to function effectively in daily life. PTSD may develop as a response to exposure to an event or events perceived as potentially harmful or life-threatening. It has high prevalence rates in the community, especially among vulnerable groups such as military personnel or those in emergency services. Despite extensive research in this field, the underlying mechanisms of the disorder remain largely unknown. The identification of risk factors for PTSD has posed a particular challenge as there can be delays in onset of the disorder, and most people who are exposed to traumatic events will not meet diagnostic criteria for PTSD. With the advent of the Diagnostic and Statistical Manual of Mental Disorders, Fifth Edition (DSM V), the classification for PTSD has changed from an anxiety disorder into the category of stress- and trauma-related disorders. This has the potential to refocus PTSD research on the nature of stress and the stress response relationship. This review focuses on some of the important findings from psychological and biological research based on early models of stress and resilience. Improving our understanding of PTSD by investigating both genetic and psychological risk and coping factors that influence stress response, as well as their interaction, may provide a basis for more effective and earlier intervention.

Differing mechanisms of simple nitrile formation on glucosinolate degradation in Lepidium sativum and Nasturtium officinale seeds.

Glucosinolates are sulphur-containing glycosides found in brassicaceous plants that can be hydrolysed enzymatically by plant myrosinase or non-enzymatically to form primarily isothiocyanates and/or simple nitriles. From a human health perspective, isothiocyanates are quite important because they are major inducers of carcinogen-detoxifying enzymes. Two of the most potent inducers are benzyl isothiocyanate (BITC) present in garden cress (Lepidium sativum), and phenylethyl isothiocyanate (PEITC) present in watercress (Nasturtium officinale). Previous studies on these salad crops have indicated that significant amounts of simple nitriles are produced at the expense of the isothiocyanates. These studies also suggested that nitrile formation may occur by different pathways: (1) under the control of specifier protein in garden cress and (2) by an unspecified, non-enzymatic path in watercress. In an effort to understand more about the mechanisms involved in simple nitrile formation in these species, we analysed their seeds for specifier protein and myrosinase activities, endogenous iron content and glucosinolate degradation products after addition of different iron species, specific chelators and various heat treatments. We confirmed that simple nitrile formation was predominantly under specifier protein control (thiocyanate-forming protein) in garden cress seeds. Limited thermal degradation of the major glucosinolate, glucotropaeolin (benzyl glucosinolate), occurred when seed material was heated to >120 degrees C. In the watercress seeds, however, we show for the first time that gluconasturtiin (phenylethyl glucosinolate) undergoes a non-enzymatic, iron-dependent degradation to a simple nitrile. On heating the seeds to 120 degrees C or greater, thermal degradation of this heat-labile glucosinolate increased simple nitrile levels many fold.

Activation of several key components of the epidermal differentiation pathway in cattle following infestation with the cattle tick, Rhipicephalus (Boophilus) microplus.

The cattle tick, Rhipicephalus (Boophilus) microplus, and the diseases it transmits pose a persistent threat to tropical beef production. Genetic selection of host resistance has become the method of choice for non-chemical control of cattle tick. Previous studies have suggested that larval stages are most susceptible to host resistance mechanisms. To gain insights into the molecular basis of host resistance that occurs during R. microplus attachment, we assessed the abundance of proteins (by isobaric tag for relative and absolute quantitation (iTRAQ) and Western blot analyses) and mRNAs (by quantitative reverse transcription PCR (qRT-PCR)) in skin adjacent to tick bite sites from high tick-resistant (HR) and low tick-resistant (LR) Belmont Red cattle following challenge with cattle tick. We showed substantially higher expression of the basal epidermal keratins KRT5 and KRT14, the lipid processing protein, lipocalin 9 (LCN9), the epidermal barrier catalysing enzyme transglutaminase 1 (TGM1), and the transcriptional regulator B lymphocyte-induced maturation protein 1 (Blimp1) in HR skin. Our data reveals the essential role of the epidermal permeability barrier in conferring greater resistance of cattle to tick infestation, and suggest that the physical structure of the epidermal layers of the skin may represent the first line of defence against ectoparasite invasion. Crown Copyright. © Australian Society for Parasitology Inc.

Some mechanisms of excitation of a railway wheel

Railway wheel vibrations are caused by a number of mechanisms. Two of these are considered: (a) gravitational load reaction acting on different points of the wheel rim, as the wheel rolls on, and (b) random fluctuating forces generated at the contact patch by roughness on the mating surfaces of the wheel and rail. The wheel is idealized as a thin ring, and the analysis is limited to a single wheel rolling on a rail. It is shown that the first mechanism results in a stationary pattern of vibration, which would not radiate any sound. The acceleration caused by roughness-excited forces is much higher at higher frequencies, but is of the same order as that caused by load reaction at lower frequencies. The computed acceleration level (and hence the radiated SPL) caused by roughness is comparable with the observed values, and is seen to increase by about 10 dB for a doubling of the wagon speed. The driving point impedance of the periodic rail-sleeper system at the contact patch, which is used in the analysis, is derived in a companion paper.

Australian innovation ecosystem: A critical review of the national innovation support mechanisms

Innovation is understood as the combination of existing ideas or the generation of new ideas into new processes, products and services, and widely viewed as the main driver of growth in contemporary economies. In the age of the knowledge economy, successful economic development is intimately linked to a country’s capacity to generate, acquire, absorb, disseminate, and apply innovation towards advanced technology products and services. This development approach is labelled as knowledge-based economic development and highly associated with a capacity embodied in a country’s national innovation ecosystem. The research reported in this paper aims to critically review the Australian innovation ecosystem in order to provide a better understanding on the potential impacts of policy and support mechanisms on the innovation and knowledge generation capacity. The investigation places Australia’s innovation system and national-level innovation support mechanisms under the microscope. The methodology of the study is twofold. Firstly, it undertakes a critical review of the literature and government policy documents to better understand the innovation policy and support mechanisms in the country. It, then, conducts a survey to capture Australian innovation companies’ perceptions on the role and effectiveness of the existing innovation incentive programs. The paper concludes with a discussion on the key insights and findings and potential policy and support directions of the country to achieve a flourishing knowledge economy.

Cellular Mechanisms of Sleep Homeostasis : Studies on Brain Energy Metabolism and Aging

Sleep is governed by a homeostatic process in which the duration and quality of previous wake regulate the subsequent sleep. Active wakefulness is characterized with high frequency cortical oscillations and depends on stimulating influence of the arousal systems, such as the cholinergic basal forebrain (BF), while cessation of the activity in the arousal systems is required for slow wave sleep (SWS) to occur. The site-specific accumulation of adenosine (a by-product of ATP breakdown) in the BF during prolonged waking /sleep deprivation (SD) is known to induce sleep, thus coupling energy demand to sleep promotion. The adenosine release in the BF is accompanied with increases in extracellular lactate and nitric oxide (NO) levels. This thesis was aimed at further understanding the cellular processes by which the BF is involved in sleep-wake regulation and how these processes are affected by aging. The BF function was studied simultaneously at three levels of organization: 1) locally at a cellular level by measuring energy metabolites 2) globally at a cortical level (the out-put area of the BF) by measuring EEG oscillations and 3) at a behavioral level by studying changes in vigilance states. Study I showed that wake-promoting BF activation, particularly with glutamate receptor agonist N-methyl-D-aspatate (NMDA), increased extracellular adenosine and lactate levels and led to a homeostatic increase in the subsequent sleep. Blocking NMDA activation during SD reduced the high frequency (HF) EEG theta (7-9 Hz) power and attenuated the subsequent sleep. In aging, activation of the BF during SD or experimentally with NMDA (studies III, IV), did not induce lactate or adenosine release and the increases in the HF EEG theta power during SD and SWS during the subsequent sleep were attenuated as compared to the young. These findings implicate that increased or continuous BF activity is important for active wake maintenance during SD as well as for the generation of homeostatic sleep pressure, and that in aging these mechanisms are impaired. Study II found that induction of the inducible NO synthase (iNOS) during SD is accompanied with activation of the AMP-activated protein kinase (AMPK) in the BF. Because decreased cellular energy charge is the most common cause for AMPK activation, this finding implicates that the BF is selectively sensitive to the metabolic demands of SD as increases were not found in the cortex. In aging (study III), iNOS expression and extracellular levels of NO and adenosine were not significantly increased during SD in the BF. Furthermore, infusion of NO donor into the BF did not lead to sleep promotion as it did in the young. These findings indicated that the NO (and adenosine) mediated sleep induction is impaired in aging and that it could at least partly be due to the reduced sensitivity of the BF to sleep-inducing factors. Taken together, these findings show that reduced sleep promotion by the BF contributes to the attenuated homeostatic sleep response in aging.

Levosimendan: Studies on its mechanisms of action and beyond

Acute heart failure syndrome represents a prominent and growing health problem all around the world. Ideally, medical treatment for patients admitted to hospital because of this syndrome, in addition to alleviating the acute symptoms, should also prevent myocardial damage, modulate neurohumoral and inflammatory activation, and preserve or even improve renal function. Levosimendan is a cardiac enhancer having both inotropic and vasodilatory effects. It is approved for the short-term treatment of acutely decompensated chronic heart failure, but it has been shown to have beneficial clinical effects also in ischemic heart disease and septic shock as well as in perioperative cardiac support. In the present study, the mechanisms of action of levosimendan were studied in isolated guinea-pig heart preparations: Langendorff-perfused heart, papillary muscle and permeabilized cardiomyocytes as well as in purified phosphodiesterase isoenzyme preparations. Levosimendan was shown to be a potent inotropic agent in isolated Langendorff-perfused heart and right ventricle papillary muscle. In permeabilized cardiomyocytes, it was demonstrated to be a potent calcium sensitizer in contrast to its enantiomer, dextrosimendan. It was additionally shown to be a very selective phosphodiesterase (PDE) type-3 inhibitor, the selectivity factor for PDE3 over PDE4 being 10000 for levosimendan. Irrespective of this very selective PDE3 inhibitory property in purified enzyme preparations, the inotropic effect of levosimendan was demonstrated to be mediated mainly through calcium sensitization in the isolated heart as well as the papillary muscle preparations at clinically relevant concentrations. In the isolated Lagendorff-perfused heart, glibenclamide antagonized the levosimendan-induced increase in coronary flow (CF). Therefore, the main vasodilatory mechanism in coronary veins is believed to be the opening of the ATP-sensitive potassium (KATP) channels. In the paced hearts, CF did not increase in parallel with oxygen consumption (MVO2), thus indicating that levosimendan had a direct vasodilatory effect on coronary veins. The pharmacology of levosimendan was clearly different from that of milrinone, which induced an increase in CF in parallel with MVO2. In conclusion, levosimendan was demonstrated to increase cardiac contractility by binding to cardiac troponin C and sensitizing the myofilament contractile proteins to calcium, and further to induce coronary vasodilatation by opening KATP channels in vascular smooth muscle. In addition, the efficiency of the cardiac contraction was shown to be more advantageous when the heart was perfused with levosimendan in comparison to milrinone perfusion.