Book contents
- Frontmatter
- Contents
- Preface
- Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003
- Foreword
- Mathematical logic in Iran: A perspective
- Real closed fields and IP-sensitivity
- Categoricity and quantifier elimination for intuitionistic theories
- Primes and irreducibles in truncation integer parts of real closed fields
- On explicit definability in arithmetic
- From bounded arithmetic to second order arithmetic via automorphisms
- Local-global principles and approximation theorems
- Beatty sequences and the arithmetical hierarchy
- Specker's theorem, cluster points, and computable quantum functions
- Additive polynomials and their role in the model theory of valued fields
- Dense subfields of henselian fields, and integer parts
- A recursive nonstandard model for open induction with GCD property and cofinal primes
- Model theory of bounded arithmetic with applications to independence results
- Ibn-Sina's anticipation of the formulas of Buridan and Barcan
- Remarks on algebraic D-varieties and the model theory of differential fields
- A simple positive Robinson theory with LSTP ≠ STP
- Categories of theories and interpretations
- References
Ibn-Sina's anticipation of the formulas of Buridan and Barcan
Published online by Cambridge University Press: 30 March 2017
By
Book contents
- Frontmatter
- Contents
- Preface
- Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003
- Foreword
- Mathematical logic in Iran: A perspective
- Real closed fields and IP-sensitivity
- Categoricity and quantifier elimination for intuitionistic theories
- Primes and irreducibles in truncation integer parts of real closed fields
- On explicit definability in arithmetic
- From bounded arithmetic to second order arithmetic via automorphisms
- Local-global principles and approximation theorems
- Beatty sequences and the arithmetical hierarchy
- Specker's theorem, cluster points, and computable quantum functions
- Additive polynomials and their role in the model theory of valued fields
- Dense subfields of henselian fields, and integer parts
- A recursive nonstandard model for open induction with GCD property and cofinal primes
- Model theory of bounded arithmetic with applications to independence results
- Ibn-Sina's anticipation of the formulas of Buridan and Barcan
- Remarks on algebraic D-varieties and the model theory of differential fields
- A simple positive Robinson theory with LSTP ≠ STP
- Categories of theories and interpretations
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Logic in Tehran , pp. 248 - 255Publisher: Cambridge University PressPrint publication year: 2006
References
[1] , A functional calculus of first order based on strict implication,The Journal of Symbolic Logic, vol. 11 (1946), pp. 1–16.Google Scholar
[2] , Meaning and Necessity, The University of Chicago Press, Chicago, Ill., 1947.
[3] , Quantification in modal logic,Handbook of Philosophical Logic, Vol. II ( and , editors), Reidel, Dordrecht, 1984, pp. 249–307.
[4] and , A New Introduction to Modal Logic, Routledge, London, 1996.
[5] Ibn-Sina, Al-Ibara, Dar-al-Katib-al-Arabi, Cairo, 1970.
[6] and , The Development of Logic, Clarendon Press, Oxford, 1962.
[7] , Semantical considerations on modal logic, Acta Philosophica Fennica, vol. 16 (1963), pp. 83–94.Google Scholar
[8] , The Nature of Necessity, Clarendon Press, Oxford, 1974.
[9] , Bare possibilia,Erkenntnis, vol. 48 (1998), no. 2-3, pp. 257–279.
[10] and , In defense of the simplest modal logic,Philosophical Perspectives (Tomberline, editor), Philosophy of Logic and Language, vol. 8, Ridgeview, 1994.
- 2
- Cited by