scholarly journals MODELS OF POSITIVE TRUTH

2018 ◽  
Vol 12 (1) ◽  
pp. 144-172
Author(s):  
MATEUSZ ŁEŁYK ◽  
BARTOSZ WCISŁO
Keyword(s):  
Axiomatic Theory ◽  
Truth Theory ◽  
Internal Induction ◽  
Positive Truth ◽  
Image Position

AbstractThis paper is a follow-up to [4], in which a mistake in [6] (which spread also to [9]) was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${(\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left( {{\rm{tot}}} \right)$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added (giving${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}$), then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left( {{\rm{tot}}} \right)$. In particular the latter is not relatively truth definable (in the sense of [11]) in the former. Last but not least, we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in [9]. The truth theory we define is based on Weak Kleene Logic instead of the Strong one.

MODAL LOGICS OF METRIC SPACES

2014 ◽  
Vol 8 (1) ◽  
pp. 178-191 ◽  
Author(s):  
GURAM BEZHANISHVILI ◽  
DAVID GABELAIA ◽  
JOEL LUCERO-BRYAN
Keyword(s):  
Modal Logic ◽  
Metric Space ◽  
Metric Spaces ◽  
Modal Logics ◽  
Finite Model ◽  
Finite Model Property ◽  
Classic Result ◽  
Topological Closure ◽  
Image Position

AbstractIt is a classic result (McKinsey & Tarski, 1944; Rasiowa & Sikorski, 1963) that if we interpret modal diamond as topological closure, then the modal logic of any dense-in-itself metric space is the well-known modal system S4. In this paper, as a natural follow-up, we study the modal logic of an arbitrary metric space. Our main result establishes that modal logics arising from metric spaces form the following chain which is order-isomorphic (with respect to the ⊃ relation) to the ordinal ω + 3:$S4.Gr{z_1} \supset S4.Gr{z_2} \supset S4.Gr{z_3} \supset \cdots \,S4.Grz \supset S4.1 \supset S4.$It follows that the modal logic of an arbitrary metric space is finitely axiomatizable, has the finite model property, and hence is decidable.

Impact of the number of changes of therapeutic strategy on improvement in depressed patients. dria study

2011 ◽  
Vol 26 (S2) ◽  
pp. 700-700
Author(s):  
M. Garcia-Toro ◽  
E. Valmisa ◽  
J. Galan ◽  
S. Ros
Keyword(s):  
Therapeutic Strategy ◽  
Clinical Symptoms ◽  
Remission Rate ◽  
Major Depressive ◽  
Pragmatic Clinical Trial ◽  
Remission Rates ◽  
Image Position ◽  
Antidepressant Combination ◽  
Strategy Switch

IntroductionThe STAR*D is a pragmatic clinical trial that showed lower remission rate and higher relapse rate when more strategies were used.[1]Objectives and aimsAssess clinical improvement in symptoms related to depression, anxiety and sleep, based on the number of strategies used.MethodsDescriptive, non-interventional, prospective study including outpatients diagnosed with Major Depressive Disorder (MDD) with sub-optimal response to standard antidepressants. In those patients a change on the therapeutic strategy (switch of antidepressant, combination of antidepressants, augmentation or a combination of previous strategies) had to be considered necessary. Follow-up period was 22–26 weeks.Results364 patients were included by 58 psychiatrists, 336 were analyzed (92.3%) and 315 (86.5%) completed the follow-up.[Difference last visit vs. basal]p < 0.0001 in all measuresConclusionsThe more changes on strategies used the less improvement on clinical symptoms and remission rates.This study has been sponsored by AstraZeneca Farmaceutica Spain, SA.

Depressive symptoms in patients with schizofrenia or schizoaffective disorder, prevalence and importance in subjective evaluation. 4D study

2011 ◽  
Vol 26 (S2) ◽  
pp. 1482-1482 ◽  
Author(s):  
M. Bousoño ◽  
J. Galan ◽  
E. Prieto ◽  
J. Sanjuan
Keyword(s):  
Depressive Symptoms ◽  
Schizoaffective Disorder ◽  
Therapeutic Strategy ◽  
Subjective Evaluation ◽  
Depression Scale ◽  
Clinical Relapse ◽  
Patient Global Impression ◽  
Relapse Time ◽  
Image Position

IntroductionDepressive symptoms in patients with schizophrenia has been associated with overall worse outcomes.ObjectiveAssess the prevalence and evolution of depressive symptoms, measured with the Calgary Depression Scale for Schizophrenia (CDSS), and its importance in subjective evaluation.MethodsNon-interventional, prospective (6 moths of follow-up) study of a cohort of patients with schizophrenia of schizoaffective disorders who have had a clinical relapse that required a change in the therapeutic strategy.Results305 patients were included, 288 (94.4%) was the population analyzed and 272 (89.1%) completed the follow-up. 226 (78.5%) of patients have a diagnosis of schizophrenia, the rest were diagnosed of schizoaffective disorder.CDSS (unlike SWN-K, PANSS, DAI-10, ICG-G nor PSP) at baseline was correlated (r = −0.18497, p = 0.0016) with Patient Global Impression (PGI) in month_6.Depressive symptoms were the only ones at baseline with statistically significant association to positive response in SWN-K and PGI in the multivariate analysis.ConclusionsOver 50% of patients had depression in relapse time, with a good progress of those symptoms in the follow-up period.Depressive symptoms were the unique at baseline associated with a good subjective evaluation from the patient.

MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE

2016 ◽  
Vol 10 (1) ◽  
pp. 187-202 ◽  
Author(s):  
CEZARY CIEŚLIŃSKI ◽  
MATEUSZ ŁEŁYK ◽  
BARTOSZ WCISŁO
Keyword(s):  
Peano Arithmetic ◽  
Truth Predicate ◽  
Saturated Model ◽  
Internal Induction ◽  
Philosophical Project ◽  
Positive Truth ◽  
Recursively Saturated ◽  
Recursively Saturated Model

AbstractWe show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PTtot) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PTtot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.

Therapeutic strategies used on treatment of depression. Dria study

2011 ◽  
Vol 26 (S2) ◽  
pp. 629-629
Author(s):  
R. Salvador ◽  
J. Galan ◽  
M. Garcia-Toro
Keyword(s):  
Real Life ◽  
Treatment Strategies ◽  
Therapeutic Strategies ◽  
Major Depressive ◽  
Multiple Strategies ◽  
The Past ◽  
Treatment Of Depression ◽  
Image Position ◽  
Antidepressant Combination

IntroductionThere are few clinical studies about strategies used in depression in clinical practice.ObjectivesDescribe therapeutic strategies used in psychiatric care in patients with depression who had a suboptimal response to standard antidepressants under real-life conditions.MethodsNon-interventional study that included a prospective cohort of outpatients diagnosed with Major Depressive Disorder (MDD) who needed a change on the treatment. Strategies were group as: switch of antidepressant, combination of antidepressants, augmentation or a combination of previous strategies. Follow-up period was 22-26 weeks.Results364 patients were included by 58 psychiatrists, 336 were analyzed (92.3%) and 315 (86.5%) completed the follow-up.[Strategies selected in each change][Relationship between no. changes and no. strategie]ConclusionsStrategies more used were: switch to another antidepressant, combination of antidepressant, augmentation and multiple strategies.Although a change of treatment was decided, frequently it was selected a strategy used in the past.This study has been sponsored by AstraZeneca Farmaceutica Spain, SA.

Finding sums of powers using physical arguments

2017 ◽  
Vol 101 (551) ◽  
pp. 227-235 ◽  
Author(s):  
David Treeby
Keyword(s):  
Arithmetic Mean ◽  
Uniform Density ◽  
Sums Of Powers ◽  
Image Position ◽  
Alternative Configuration

In an earlier issue of the Mathematical Gazette, Nick Lord established the familiar formula for the sum of the first n squares using a physical argument based on the centroid of a configuration of masses in the plane [1]. In [2] we demonstrate an alternative configuration that gives the same result. This article is a follow-up to these papers, in which we find physical derivations of the formula forfor each k ∈ {1, 2, 3, 4, 5}. Let us first summarise the required theory. Take any region X ⊆ ℝ2 with uniform density and total area A. The centroid of is the arithmetic mean position of all of the points in X. If a region has a line of symmetry then the centroid will be located on that line.

Therapy and prevention for mental health: What if mental diseases are mostly not brain disorders?

2019 ◽  
Vol 42 ◽  
Author(s):  
John P. A. Ioannidis
Keyword(s):  
Mental Health ◽  
Mental Disease ◽  
Brain Disorders ◽  
Social Stressors ◽  
Labor Education ◽  
Mental Diseases ◽  
Long Term Follow Up ◽  
Political Decisions

AbstractNeurobiology-based interventions for mental diseases and searches for useful biomarkers of treatment response have largely failed. Clinical trials should assess interventions related to environmental and social stressors, with long-term follow-up; social rather than biological endpoints; personalized outcomes; and suitable cluster, adaptive, and n-of-1 designs. Labor, education, financial, and other social/political decisions should be evaluated for their impacts on mental disease.

Brief summary of Kleť photographic search programme for minor planets

1999 ◽  
Vol 173 ◽  
pp. 189-192
Author(s):  
J. Tichá ◽  
M. Tichý ◽  
Z. Moravec
Keyword(s):  
Ccd Camera ◽  
Minor Planet ◽  
Minor Planets ◽  
Main Belt

AbstractA long-term photographic search programme for minor planets was begun at the Kleť Observatory at the end of seventies using a 0.63-m Maksutov telescope, but with insufficient respect for long-arc follow-up astrometry. More than two thousand provisional designations were given to new Kleť discoveries. Since 1993 targeted follow-up astrometry of Kleť candidates has been performed with a 0.57-m reflector equipped with a CCD camera, and reliable orbits for many previous Kleť discoveries have been determined. The photographic programme results in more than 350 numbered minor planets credited to Kleť, one of the world's most prolific discovery sites. Nearly 50 per cent of them were numbered as a consequence of CCD follow-up observations since 1994.This brief summary describes the results of this Kleť photographic minor planet survey between 1977 and 1996. The majority of the Kleť photographic discoveries are main belt asteroids, but two Amor type asteroids and one Trojan have been found.

Simple Identification of Electron Diffraction Ring Patterns

1969 ◽  
Vol 27 ◽  
pp. 160-161
Author(s):  
Carolyn Nohr ◽  
Ann Ayres
Keyword(s):  
Electron Microscope ◽  
Electron Diffraction ◽  
Diffraction Ring ◽  
Image Position

Texts on electron diffraction recommend that the camera constant of the electron microscope be determine d by calibration with a standard crystalline specimen, using the equation

Atomic orientation effects in proton stopping at low velocity

1983 ◽  
Vol 41 ◽  
pp. 708-709
Author(s):  
Kin Lam
Keyword(s):  
Polycrystalline Material ◽  
Charged Particles ◽  
Target Material ◽  
Stopping Power ◽  
Low Velocity ◽  
Electronic Density ◽  
Interatomic Distances ◽  
Frame Work ◽  
Image Position ◽  
Atomic Orientation

The energy of moving ions in solid is dependent on the electronic density as well as the atomic structural properties of the target material. These factors contribute to the observable effects in polycrystalline material using the scanning ion microscope. Here we outline a method to investigate the dependence of low velocity proton stopping on interatomic distances and orientations.The interaction of charged particles with atoms in the frame work of the Fermi gas model was proposed by Lindhard. For a system of atoms, the electronic Lindhard stopping power can be generalized to the formwhere the stopping power function is defined as

Sign in / Sign up

Export Citation Format

Share Document