scholarly journals Explication as a Three-Step Procedure: the case of the Church-Turing Thesis

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Matteo De Benedetto

AbstractIn recent years two different axiomatic characterizations of the intuitive concept of effective calculability have been proposed, one by Sieg and the other by Dershowitz and Gurevich. Analyzing them from the perspective of Carnapian explication, I argue that these two characterizations explicate the intuitive notion of effective calculability in two different ways. I will trace back these two ways to Turing’s and Kolmogorov’s informal analyses of the intuitive notion of calculability and to their respective outputs: the notion of computorability and the notion of algorithmability. I will then argue that, in order to adequately capture the conceptual differences between these two notions, the classical two-step picture of explication is not enough. I will present a more fine-grained three-step version of Carnapian explication, showing how with its help the difference between these two notions can be better understood and explained.

2018 ◽  
Vol 20 (01) ◽  
pp. 1750029 ◽  
Author(s):  
Takumi Kongo

We provide axiomatic characterizations of the solutions of transferable utility (TU) games on the fixed player set, where at least three players exist. We introduce two axioms on players’ nullification. One axiom requires that the difference between the effect of a player’s nullification on the nullified player and on the others is relatively constant if all but one players are null players. Another axiom requires that a player’s nullification affects equally all of the other players. These two axioms characterize the set of all affine combinations of the equal surplus division and equal division values, together with the two basic axioms of efficiency and null game. By replacing the first axiom on players’ nullification with appropriate monotonicity axioms, we narrow down the solutions to the set of all convex combinations of the two values, or to each of the two values.


1972 ◽  
Vol 18 (4) ◽  
pp. 379-400 ◽  
Author(s):  
Bruce M. Metzger

Of the three kinds of evidence which are used in ascertaining the text of the New Testament – namely, evidence supplied by Greek manuscripts, by early versions, and by scriptural quotations preserved in the writings of the Church Fathers - it is the last which involves the greatest diffculties and the most problems. There are difficulties, first of all, in obtaining the evidence, not only because of the labour of combing through the very extensive literary remains of the Fathers in search of quotations from the New Testament, but also because satisfactory editions of the works of many of the Fathers have not yet been produced. More than once in earlier centuries an otherwise well-meaning editor accommodated the biblical quotations contained in a given patristic document to the current text of the New Testament against the authority of the manuscripts of the document.1 Part of the problem, more-over, is that exactly the same thing took place prior to the invention of printing. As Hort pointed out, ‘Whenever a transcriber of a patristic treatise was copying a quotation differing from the text to which he was accustomed, he had virtually two originals before him, one present to his eyes, the other to his mind; and if the difference struck him, he was not unlikely to treat the written examplar as having blundered.’2.


1973 ◽  
Vol 29 (02) ◽  
pp. 490-498 ◽  
Author(s):  
Hiroh Yamazaki ◽  
Itsuro Kobayashi ◽  
Tadahiro Sano ◽  
Takio Shimamoto

SummaryThe authors previously reported a transient decrease in adhesive platelet count and an enhancement of blood coagulability after administration of a small amount of adrenaline (0.1-1 µg per Kg, i. v.) in man and rabbit. In such circumstances, the sensitivity of platelets to aggregation induced by ADP was studied by an optical density method. Five minutes after i. v. injection of 1 µg per Kg of adrenaline in 10 rabbits, intensity of platelet aggregation increased to 115.1 ± 4.9% (mean ± S. E.) by 10∼5 molar, 121.8 ± 7.8% by 3 × 10-6 molar and 129.4 ± 12.8% of the value before the injection by 10”6 molar ADP. The difference was statistically significant (P<0.01-0.05). The above change was not observed in each group of rabbits injected with saline, 1 µg per Kg of 1-noradrenaline or 0.1 and 10 µg per Kg of adrenaline. Also, it was prevented by oral administration of 10 mg per Kg of phenoxybenzamine or propranolol or aspirin or pyridinolcarbamate 3 hours before the challenge. On the other hand, the enhancement of ADP-induced platelet aggregation was not observed in vitro, when 10-5 or 3 × 10-6 molar and 129.4 ± 12.8% of the value before 10∼6 molar ADP was added to citrated platelet rich plasma (CPRP) of rabbit after incubation at 37°C for 30 second with 0.01, 0.1, 1, 10 or 100 µg per ml of adrenaline or noradrenaline. These results suggest an important interaction between endothelial surface and platelets in connection with the enhancement of ADP-induced platelet aggregation by adrenaline in vivo.


2012 ◽  
Vol 41 (2) ◽  
pp. 22-27
Author(s):  
Sissel Undheim

The description of Christ as a virgin, 'Christus virgo', does occur at rare occasions in Early Christian and late antique texts. Considering that 'virgo' was a term that most commonly described the sexual and moral status of a member of the female sex, such representations of Christ as a virgin may exemplify some of the complex negotiations over gender, salvation, sanctity and Christology that we find in the writings of the Church fathers. The article provides some suggestions as to how we can understand the notion of the virgin Christ within the context of early Christian and late antique theological debates on the one hand, and in light of the growing interest in sacred virginity on the other.


Author(s):  
Philip Isett

This chapter presents the equations and calculations for energy approximation. It establishes the estimates (261) and (262) of the Main Lemma (10.1) for continuous solutions; these estimates state that we are able to accurately prescribe the energy that the correction adds to the solution, as well as bound the difference between the time derivatives of these two quantities. The chapter also introduces the proposition for prescribing energy, followed by the relevant computations. Each integral contributing to the other term can be estimated. Another proposition for estimating control over the rate of energy variation is given. Finally, the coarse scale material derivative is considered.


Metahumaniora ◽  
2017 ◽  
Vol 7 (3) ◽  
pp. 378
Author(s):  
Vincentia Tri Handayani

AbstrakFolklor yang menghasilkan tradisi lisan merupakan perwujudan budaya yang lahirdari pengalaman kelompok masyarakat. Salah satu bentuk tradisi lisan adalah ungkapan yangmengandung unsur budaya lokal dalam konstruksinya yang tidak dimiliki budaya lainnya.Ungkapan idiomatis memberikan warna pada bahasa melalui penggambaran mental. Dalambahasa Perancis, ungkapan dapat berupa locution dan expression. Perbedaan motif acuansuatu ungkapan dapat terlihat dari pengaruh budaya masyarakat pengguna bahasa. Sebuahleksem tidak selalu didefinisikan melalui unsur minimal, tidak juga melalui kata-kata,baik kata dasar atau kata kompleks, namun dapat melalui kata-kata beku yang maknanyatetap. Hubungan analogis dari makna tambahan yang ada pada suatu leksem muncul dariidentifikasi semem yang sama. Semem tersebut mengarah pada term yang diasosiasikan danyang diperkaya melalui konteks (dalam ungkapan berhubungan dengan konteks budaya).Kata kunci: folklor, ungkapan, struktur, makna idiomatis, kebudayaanAbstractFolklore which produces the oral tradition is a cultural manifestation born out theexperience of community groups. One form of the oral tradition is a phrase that containsthe elements of local culture in its construction that is not owned the other culture. Theidiomatic phrase gives the color to the language through the mental representation. InFrench, the expression can consist of locution and expression. The difference motivesreference of an expression can be seen from the influence of the cultural community thelanguage users. A lexeme is not always defined through a minimal element, nor throughwords, either basic or complex words, but can be through the frost words whose meaningsare fixed. The analogical connection of the additional meanings is on a lexeme arises fromthe identification of the same meaning. The meaning ‘semem’ leads to the associated termsand which are enriched through the context (in idiom related to the cultural context).Keywords : folklore, idioms, structure, idiom meaning, cultureI PENDAHULUAN


Author(s):  
Michel Meyer

Rhetoric has always been torn between the rhetoric of figures and the rhetoric of conflicts or arguments, as if rhetoric were exclusively one or the other. This is a false dilemma. Both types of rhetoric hinge on the same structure. A common formula is provided in Chapter 3 which unifies rhetoric stricto sensu and rhetoric as argumentation as two distinct but related strategies adopted according to the level of problematicity of the questions at stake, thereby giving unity to the field called “Rhetoric.” Highly problematic questions require arguments to justify their answers; non-divisive ones can be treated rhetorically through their answers as if they were self-evident. Another classic problem is how to understand the difference between logic and rhetoric. The difference between the two is due to the presence of questions explicitly answered in the premises in logic and only suggested (or remaining indeterminate) in rhetoric.


Author(s):  
D. T. Gauld ◽  
J. E. G. Raymont

The respiratory rates of three species of planktonic copepods, Acartia clausi, Centropages hamatus and Temora longicornis, were measured at four different temperatures.The relationship between respiratory rate and temperature was found to be similar to that previously found for Calanus, although the slope of the curves differed in the different species.The observations on Centropages at 13 and 170 C. can be divided into two groups and it is suggested that the differences are due to the use of copepods from two different generations.The relationship between the respiratory rates and lengths of Acartia and Centropages agreed very well with that previously found for other species. That for Temora was rather different: the difference is probably due to the distinct difference in the shape of the body of Temora from those of the other species.The application of these measurements to estimates of the food requirements of the copepods is discussed.


2020 ◽  
Vol 15 (S359) ◽  
pp. 188-189
Author(s):  
Daniela Hiromi Okido ◽  
Cristina Furlanetto ◽  
Marina Trevisan ◽  
Mônica Tergolina

AbstractGalaxy groups offer an important perspective on how the large-scale structure of the Universe has formed and evolved, being great laboratories to study the impact of the environment on the evolution of galaxies. We aim to investigate the properties of a galaxy group that is gravitationally lensing HELMS18, a submillimeter galaxy at z = 2.39. We obtained multi-object spectroscopy data using Gemini-GMOS to investigate the stellar kinematics of the central galaxies, determine its members and obtain the mass, radius and the numerical density profile of this group. Our final goal is to build a complete description of this galaxy group. In this work we present an analysis of its two central galaxies: one is an active galaxy with z = 0.59852 ± 0.00007, while the other is a passive galaxy with z = 0.6027 ± 0.0002. Furthermore, the difference between the redshifts obtained using emission and absorption lines indicates an outflow of gas with velocity v = 278.0 ± 34.3 km/s relative to the galaxy.


Author(s):  
Davorin Cimermančič ◽  
Janez Kušar ◽  
Tomaž Berlec

AbstractChanging a traditional company into a lean one is a very complex and time-consuming process that needs to be addressed in an appropriate way, otherwise the project of introduction of leanness into a company may fail on the one hand and even have a negative impact on business operations of the company on the other. When introducing a change, a step-by-step procedure leading to a progress may be of great help. The paper outlines a general procedure of leanness, an important part of which is a lean agent. A portfolio analysis is also used as a measure of leanness or as an indicator of the desired direction. The applied working methods were mainly active workshops and interviews with employees. The procedure has been tested on an example of a Slovene company; first, the existing situation is outlined, then the leanness steps taken according to the procedure and the final result after the first transition of the procedure.


Sign in / Sign up

Export Citation Format

Share Document