9 resultados para universal designated verifier signature

em Helda - Digital Repository of University of Helsinki


Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Poetics of Awakenings. Genres and Intertexts in Arvid Järnefelt s Novels Isänmaa, Maaemon lapsia and Veneh ojalaiset This doctoral dissertation focuses on Arvid Järnefelt s (1961 1932) novels Isänmaa (1893), Maaemon lapsia (1905) and Veneh ojalaiset (1909). The study applies the genre theory and concepts Alastair Fowler has introduced in his Kinds of Literature (1982). Fowler s theory of the novel is developed further and applied to Finnish realist novels. The generic analysis is supplemented by intertextual analysis, which is mainly based on the idea of specific intertextual relations as presented by Kiril Taranovsky. Generic and intertextual analyses form the basis for hermeneutic interpretation, in which attention is paid to the fact that the novels are written by the designated writer in specific historical and cultural circumstances. Instead of the author s intention , the study focuses on the realised intention , in other words the novels as they are published. Järnefelt s first novel Isänmaa is understood to be a classical Bidungsroman that depicts the socialisation of a young male protagonist. From an intertextual point of view, the novel appears to be a novel of conversion, too, due to the biblical allusions concealed in the depiction of the events. Furthermore, Isänmaa is seen to stand in an intertextual relation to Hegel s, Snellman s and Topelius s writings. Maaemon lapsia is argued to be a thesis novel, which persuades the reader to adopt a certain ideological and political stance, namely Henry George s view on the private ownership of land. The novel is modulated by the generic repertoires of fairy tale and tragedy. The mythical frame of the novel supports the thesis novel, as it gives universal validity to the particular events depicted in the novel. Maaemon lapsia also comments on the contemporary political debate on the relations between Finland and Russia by presenting the relationship as analogous to the relationship between tenant farmer and landowner. Veneh ojalaiset exhibits a wide range of genres. Comic, tragic and mythical mode is combined with, for example, family novel, romance, conversion novel and revolutionary novel. From a rhetorical viewpoint, the novel is an apology, which accuses society of generating criminality by means of unjust laws and procedures. The novel discusses the question of resistance to evil by using the themes of Faust and Job, as well as by confronting the philosophies of Epictetus and Nietzsche. The novel is a thesis novel, which disputes the possibility of violent revolution as a way to a better society and recommends passive resistance for an individual living in an unjust society. The poetics of Järnefelt s novels is regarded as the poetics of conversion, as all the novels in focus depict the protagonist s awakening to see the society in a new light, be it a patriotic vision of the reality or a conception of the unfairness of society.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present results of a signature-based search for new physics using a dijet plus missing transverse energy data sample collected in 2 fb-1 of p-pbar collisions at sqrt(s) = 1.96 TeV with the CDF II detector at the Fermilab Tevatron. We observe no significant event excess with respect to the standard model prediction and extract a 95% C.L. upper limit on the cross section times acceptance for a potential contribution from a non-standard model process. Based on this limit the mass of a first or second generation scalar leptoquark is constrained to be above 187 GeV/c^2.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In a search for new phenomena in a signature suppressed in the standard model of elementary particles (SM), we compare the inclusive production of events containing a lepton, a photon, significant transverse momentum imbalance (MET), and a jet identified as containing a b-quark, to SM predictions. The search uses data produced in proton-antiproton collisions at 1.96 TeV corresponding to 1.9 fb-1 of integrated luminosity taken with the CDF detector at the Fermilab Tevatron. We find 28 lepton+photon+MET+b events versus an expectation of 31.0+4.1/-3.5 events. If we further require events to contain at least three jets and large total transverse energy, simulations predict that the largest SM source is top-quark pair production with an additional radiated photon, ttbar+photon. In the data we observe 16 ttbar+photon candidate events versus an expectation from SM sources of 11.2+2.3/-2.1. Assuming the difference between the observed number and the predicted non-top-quark total is due to SM top quark production, we estimate the ttg cross section to be 0.15 +- 0.08 pb.