Sökning: "classical"

Visar resultat 6 - 10 av 2012 avhandlingar innehållade ordet classical.

1. 6. A Natural Interpretation of Classical Proofs

   Författare :Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

   Sammanfattning : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. LÄS MER

3. 7. An Inferentialist Interpretation of Classical Logic

   Författare :Tor Sandqvist; Krister Segerberg; Neil Tennant; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Philosophy; Inferentialism; Excluded Middle; Classical logic; Justification of deduction; Filosofi; Philosophy subjects; Filosofiämnen; teoretisk filosofi; Theoretical Philosophy;

   Sammanfattning : The aim of this work is to provide an account of the meanings of the standard logical operators meeting the following requirements:1) It should meet Dummettian standards of intelligibility; specifically, it should do without any notion of recognition-transcendent truth.2) It should validate Classical logic. LÄS MER

4. 8. First-Order Logic and Classical Theism : Toward Logical Reorientation

   Författare :Anders Kraal; Eberhard Herrmann; Mikael Stenmark; Simo Knuuttila; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; classical theism; divine simplicity; divine attributes; God; Augustine; Thomas Aquinas; first-order logic; formalization; argument-function analysis; quantifier analysis; bivalence; natural deduction; truth-bearer; inference; inference rule; logical validity; logical pluralism; logical monism; G. Frege; B. Russell; L. Wittgenstein; R. Carnap; J. Maritain; J. Salamucha; J. Bocheński; W.V.O. Quine.; Religion Theology; Religionsvetenskap Teologi;

   Sammanfattning : This inquiry seeks an answer to the question whether classical theistic doctrines about the nature of God are amenable to formal analysis in terms of standard first-order logic. It is argued that due to the conceptual impact of classical theism’s doctrine of divine simplicity there is a good reason for answering this question in the negative. LÄS MER

5. 9. Tense and Aspect in Caesar's Narrative

   Författare :Fredrik Oldsjö; Machtelt Bolkestein; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Classical philology - general; aspect; Aktionsart; situation type; tense; Classical Latin; historiographical narrative; epitomistic narrative; foreground and background; seriality; iconicity; information type; Caesar; Livy; Velleius Paterculus; Florus; Eutropius; Klassiska språk - allmänt; Classical philology; Klassiska språk; latin; Latin;

   Sammanfattning : This is a study of the function of tense, aspect, and Aktionsart/situation type in Caesar's historiographical narrative (Bellum Gallicum and Bellum civile). The extensive theoretical part discusses these semantic categories from a cross-linguistic perspective and analyzes their functions in Classical Latin. LÄS MER

7. 10. Greek incubation rituals in Classical and Hellenistic times

   Författare :Hedvig von Ehrenheim; Gunnel Ekroth; Bronwen Wickkiser; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Archaeology; classical; Arkeologi; klassisk; antikens kultur och samhällsliv; Classical Archaeology and Ancient History;

   Sammanfattning : This study documents and analyzes the structure and function of Greek incubation rituals in Classical and Hellenistic times. The first part (Chapter 2) examines all relevant literary and epigraphical testimonia concerning the rites and rules surrounding incubation. LÄS MER