The article examines the provisions of the catechisms of the Ukrainian Greek Catholic Church regarding the war and its challenges, as well as the defense of the Motherland. A comparative analysis of relevant thematic instructions in the Catechism “Christ is our Easter” (published in 2011), the Catechism for youth “We walk with Christ” (published in 2021) and the “Catechism of the Christian Warrior” (published in 2022) was carried out. It was determined that the provisions of the UGCC's own fundamental doctrinal (...) documents, its Catechisms, regarding the problems of war and defense of the Motherland, were formed, clarified and supplemented according to the circumstances and needs of the time. The catechism of the UGCC “Christ is our Easter” contains general Christian considerations on the subject under consideration, which are principled, establishing, and refer to how civilized peoples should conduct themselves. The catechism for youth, created in the previous years of the undeclared Russian Federation's “hybrid” war against Ukraine, covers the issues related to the war and the defense of the Motherland in a substantive way and closer to current Ukrainian realities, although it still has some idealistic approach. The Catechism of the Christian Warrior, the preparation of which was completed and the publication was carried out during the full-scale military offensive of the aggressor, is a set of thorough and competent advises for Ukrainian soldiers, where things are called by their names, and there are no provisions that can cause doubts due to experience and be problematically achievable for implementation. Therefore, it is concluded that especially this Catechism, together with and in addition to the two previous ones, is a useful and timely contribution of the UGCC to the instruction of Ukrainians during the war, and therefore to Ukraine's victory over the enemy. (shrink)

Çılgınlık ve ona bağlı oluşan delirme Yunan tragedyalarında kullanılan temel olgulardan biridir. Özellikle de Sophokles ve Euripides’sin oyunlarında sıklıkla karşımıza çıkar. Delirme, baht dönüşümünde meydana gelen mani ve melonkoli halleriyle ortaya çıkmaktadır. İntihar eylemi bazı trajik kişilerde delirme eyleminin sonunda acıya dayanamayıp ortaya konulan eylem olarak gözükmektedir.

We generalize the Unstable Formula Theorem characterization of stable theories from Shelah [11], that a theory T is stable just in case any infinite indiscernible sequence in a model of T is an indiscernible set. We use a generalized form of indiscernibles from [11], in our notation, a sequence of parameters from an L-structure M, , indexed by an L′-structure I is L′-generalized indiscernible inM if qftpL′=qftpL′ implies tpL=tpL for all same-length, finite ¯,j from I. Let Tg be the theory (...) of linearly ordered graphs in the language with signature Lg={<,R}. Let Kg be the class of all finite models of Tg. We show that a theory T has NIP if and only if any Lg-generalized indiscernible in a model of T indexed by an Lg-structure with age equal to Kg is an indiscernible sequence. (shrink)

This thesis is intended t0 help develop the theory 0f coalgebras by, Hrst, taking classic theorems in the theory 0f universal algebras amd dualizing them and, second, developing an interna] 10gic for categories 0f coalgebras. We begin with an introduction t0 the categorical approach t0 algebras and the dual 110tion 0f coalgebras. Following this, we discuss (c0)a,lg€bra.s for 2. (c0)monad and develop 2. theory 0f regular subcoalgebras which will be used in the interna] logic. We also prove that categories 0f (...) coalgebras are completc, under reasonably weak conditions, and simultaneously prove the wellknown dual result for categories 0f algebras. We dose the second chapter with 2. discussion 0f bisimulations in which we introduce a weaker 110tion 0f bisimulaticn than is current in the literature, but which is w€H—b€ha.v€d and reduces t0 the standard defmition under the assumption 0f choice. (shrink)

Nel primo paragrafo sarà esaminato l’impianto normativo che regola le pubbliche amministrazioni, riformato dalle l. n. 142 e n. 241 del 1990, dal D.Lgs. 29/1993, dalle “leggi Bassanini” e dalla legge-quadro 150/2000, sia riguardo al diritto di accesso nei confronti dell’attività dell’amministrazione, sia in merito al radicamento di criteri di efficacia, efficienza ed economicità delle policies sia agli strumenti con cui gli Enti locali e cittadini possono comunicare. Gli anni ‘90 segnano l’inizio di un processo volto alla riorganizzazione delle PA (...) a partire dalla centralità della comunicazione istituzionale ma anche della concezione del “diritto all’informazione” nelle tre accezioni di diritto “di informare, “di informarsi” e “essere informati”. La Levi ha ben sottolineato “la rapidità inusuale nella storia nazionale” di tale riforma e la centralità assunta in essa dalle dimensioni dell’informazione, della comunicazione e della partecipazione: "In sintesi, si può ritenere legittimo concludere che le riforme del decennio 1990-2000 abbiano segnato il passaggio dal segreto alla trasparenza e dall’unilateralità alla partecipazione. Le politiche di modernizzazione in tema di comunicazione pubblica e di maggiore trasparenza dell’attività dell’amministrazione si sono mosse verso una più marcata tutela dei diritti dei cittadini e verso l’accentuazione del risultato dell’azione amministrativa" (2004, p. 16). Grandi ha ribadito che tale evoluzione costituisce nella cultura politica dello stato di diritto una «sorta di pre-condizione dell’emergere dei nuovi diritti di cittadinanza, intesi quale partecipazione consapevole e informata al processo decisionale pubblico» (Grandi 20022, 13). Nel secondo paragrafo verranno descritte gli ambiti di applicazione, le finalità, gli obiettivi e le strutture della comunicazione istituzionale disciplinate dalla legge n. 150/2000 e dai conseguenti regolamenti attuativi: il Portavoce, l’Ufficio stampa, l’Ufficio per le relazioni al pubblico. Come vedremo, si tratta di una normativa che rappresenta un punto di arrivo e un punto di partenza, in quanto, da un lato, se chiude il decennio delle riforme amministrative, d’altro lato, problematizza compiutamente per la prima volta il rapporto di comunicazione tra PA e cittadini e pone in evidenza tutte le difficoltà nell’implementare le norme nella realtà. Agli elementi critici della comunicazione istituzionale sono riservate le considerazioni conclusive: dal reclutamento e formazione del personale, al coordinamento delle strutture, dal persistere di mentalità burocratiche e autoreferenziale alla carenza di risorse. Il problema delle dotazioni organiche e finanziarie, in particolare, è molto sentito dalle amministrazioni di dimensioni più piccole, le quali spesso ricorrono alla “esternalizzazione” di attività degli uffici di comunicazione, non solo per la produzione editoriale, le campagne pubblicitarie e i servizi di gestione degli eventi, ma anche per il sito internet e i compiti di informazione più tradizionali. In tale situazione, la comunicazione istituzionale, pur dichiarata come strategica, rischia di rimanere un momento residuale dell’azione pubblica sia in termini di processo sia in termini di contenuto, slegata dagli obiettivi dell’organizzazione. (shrink)

To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoretical semantics of Lg, where every formula is interpreted as a certain closed set of groups whose members accept that formula. We present the cut-elimination theorem, and the soundness and semantic completeness theorems of Lg. Then, introducing an inference rule representing majority voting to (...) Lg, we introduce logic with majority voting Lv. Formalizing the discursive paradox in judgment aggregation theory, we show that Lv is inconsistent. Based on the premise-based and conclusion-based approaches to avoid the paradox, we introduce logic with majority voting for axioms Lva, where majority voting is applied only to non-logical axioms as premises to construct a proof in Lg, and logic with majority voting for conclusions Lvc, where majority voting is applied only to the conclusion of a proof in Lg. We show that both Lva and Lvc are syntactically complete and consistent, and we construct collective judgments based on the provability in Lva and Lvc, respectively. Then, we discuss how these systems avoid the discursive paradox. (shrink)

Major depression is associated with a decrease of 1st person visual perspective in autobiographical memory, even after full remission. This study aimed to examine visual perspective in healthy never-depressed subjects presenting with either genetic or psychological vulnerability for depression. Sixty healthy participants performed the Autobiographical Memory Test with an assessment of visual perspective. Genetic vulnerability was defined by the presence of at least one S or LG allele of the polymorphism of the serotonin-transporter-linked promoter region . Psychological vulnerability was defined (...) by high scores of harm avoidance measured by the Temperament and Character Inventory. Life stress exposure, depressive mood, rumination, and familial history of depression were assessed through standardized procedures. Visual perspective for positive memories was independently predicted by both harm avoidance and a gene by environment interaction between the 5-HTTLPR polymorphism and life stress exposure. Visual perspective and vulnerability for depression may share some biological bases. (shrink)

This paper focusses on the experiences of Indian lesbians and gays who are subjected to unethical acts of workplace bullying which get manifested through constant guesswork, comments and questioning about their sexual identity in the hostile Indian context. Given this, LG participants usually opt for secrecy and lead a double life, using ‘passing’ and ‘covering’ strategies to manage economic, social and psychological risks. Nonetheless, this paper rewrites the negative tenor of lesbians, gays, bisexuals and transexuals research by underscoring how LG (...) participants move from fear to courage in their endeavour to live authentic lives while considering the broader organizational and social context. We argue that their courage is manifested mainly through deliberate micro-disclosures and a sense of defiance which can be enhanced if organizations are designed to be more inclusive and ethical. Consequently, participants defined inclusive ethical organizations as having conducive environments with trustworthy, supportive, secure, fair, unbiased and safe non-discriminatory policies open to the idea of diverse sexual orientations. Our findings point to the fact that, first and foremost, organizations must be crafted and sustained to be courageous within a hostile social climate, for employees to overcome their fears. (shrink)

Wittgenstein Tractatus Logico-Philosophicus’un sonunda, kendisini anlayan okuyucunun, söylediklerinin saçma olduğunu göreceğini söyler. Eserin bu paradoksu eserle tanışan hemen her okuyucu için bir kafa karışıklığı vesilesidir. Eğer eserde dile getirilenler saçmaysa bunların saçma olduğu da dahil olmak üzere eserin dile getirdiklerini ciddiye almamak gerekir, eğer eser ciddiye alınacaksa söylenenlerin saçma olduğunu kabul etmek gerekir. Eserin bu paradoksunun nasıl ele alınması gerektiğine dair hatırı sayılır bir literatür vardır. Bu çalışmada, Tractatus Logico-Philosophicus’taki bu paradoksun, saçmanın sağaltıcı işleviyle değerlendirildiğinde eseri anlamayı engellemeyeceği fikri savunulacaktır. (...) Bunun için öncelikle genel olarak Resim Kuramı’nın ana hatlarından söz ederek Wittgenstein için saçmanın ne olduğunu anlatacağım. Daha sonra, Wittgenstein için saçmanın işlevinin ne olduğuna dair iyi gerekçelendirildiğini düşündüğüm fikirlerden söz edeceğim. Son olarak, saçmaya işaret edebilmenin ancak saçma ile mümkün olduğunu, Wittgenstein’ın bu yolla yaygın bir yanılgıyı sağalttığını ve dolayısıyla saçmanın sağaltıcı bir işlevi olduğunu iddia edeceğim. (shrink)

The central result of this paper provides a simple equational basis for the join, IRLLG, of the variety LG of lattice-ordered groups (-groups) and the variety IRL of integral residuated lattices. It follows from known facts in universal algebra that IRLLG=IRL×LG. In the process of deriving our result, we will obtain simple axiomatic bases for other products of classes of residuated structures, including the class IRL×s LG, consisting of all semi-direct products of members of IRL by members of LG. We (...) conclude the paper by presenting a general method for constructing such semi-direct products, including wreath products. (shrink)

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and their (...) algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

ObjectiveWe aim to investigate the feasibility of using diffusion tensor imaging to evaluate changes in extraocular muscles and lacrimal gland in patients with thyroid-associated ophthalmopathy and to evaluate disease severity.Materials and MethodsA total of 74 participants, including 17 healthy controls, 22 patients with mild TAO, and 35 patients with moderate-severe TAO, underwent 3-Tesla DTI to measure fractional anisotropy and mean diffusivity of the EOMs and LG. Ophthalmological examinations, including visual acuity, exophthalmos, intraocular pressure, and fundoscopy, were performed. FA and MD (...) values were compared among patients with different disease severity. Multiple linear regression was adopted to predict the impact of clinical variables on DTI parameters of orbital soft tissue.ResultsTAO patients’ EOMs and LG showed significantly lower FA values and higher MD compared to HCs’. Moderate-severe TAO patients’ EOMs and LG had dramatically lower FA and higher MD compared with HCs. In addition, only the DTI parameters of the medial rectus were considerably different between mild and moderate-severe TAO patients. Multiple linear regression showed that disease severity had a significant impact on the DTI parameters of orbital soft tissue.ConclusionDTI is a useful tool for detecting microstructural changes in TAO patients’ orbital soft tissue. DTI findings, especially medial rectus DTI parameters, can help to indicate the disease severity in TAO patients. (shrink)