دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Suppes P., Henkin L., Joja A., Moisil G.C. (eds.) سری: Studies in Logic and the Foundations of Mathematics, Volume 74 ISBN (شابک) : 9780444104915, 0720422744 ناشر: Elsevier Science سال نشر: 1973 تعداد صفحات: 991 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
در صورت تبدیل فایل کتاب Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، روش شناسی و فلسفه علم چهارم: مجموعه مقالات بخارست، 1971 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Content:
Advisory Editorial Board
Page ii
Edited by
Page iii
Copyright page
Page iv
Preface
Pages ix-x
Elementary Logic Original Research Article
Pages 3-11
Gr.C. Moisil
Partial Orderings of the Family of П‰-Models Original Research Article
Pages 13-28
A. Mostowski
A Survey of Decidability Results for Modal, Tense and Intermediate Logics Original Research Article
Pages 29-43
D.M. Gabbay
On the Number of Countable Models of A Countable Superstable Theory Original Research Article
Pages 45-56
A.H. Lachlan
Countable Models With Standard Part Original Research Article
Pages 57-62
M. Morley
Solving Diophantine Equations Original Research Article
Pages 63-67
Julia Robinson
The Hierarchy of О”02-Sets Original Research Article
Pages 69-76
Y.L. Ershov
Analytical Definability in a Playful Universe Original Research Article
Pages 77-85
Y.N. Moschovakis
On Recursive Unsolvability of Hilbert\'s Tenth Problem Original Research Article
Pages 89-110
Yu.V. MatijaseviДЌ
Constructive Mathematics and Models of Intuitionistic Theories Original Research Article
Pages 111-128
A.G. Dragalin
An Interpretation of Intuitionistic Number Theory Original Research Article
Pages 129-136
Yu.T. Medvedev
Nonstandard Arithmetic and Generic Arithmetic Original Research Article
Pages 137-154
Abraham Robinson
Models for Various Type-Free Calculi Original Research Article
Pages 157-187
D. Scott
The Dangers of Computer-Science Theory Original Research Article
Pages 189-195
Donald E. Knuth
Sur Un Langage Equivalent Au Langage De Dyck Original Research Article
Pages 197-203
M.P. SchГјtzenberger
Formalization of Some Notions in Terms of Computational Complexity Original Research Article
Pages 205-213
B.A. Trakhtenbrot
Features of Natural Languages in Programming Languages Original Research Article
Pages 215-222
G.S. Tseytin
Towards A Foundation of A General Proof Theory Original Research Article
Pages 225-250
Dag Prawitz
In Memoriam to Richard Montague
Page 251
H. Hermes
Some Remarks on Lorenzen\'s Theory Original Research Article
Pages 253-254
H. Hermes
Perspectives in the Philosophy of Pure Mathematics Original Research Article
Pages 255-277
G. Kreisel
Hauptsatz for Intuitionistic Simple Type Theory Original Research Article
Pages 279-290
P. Martin-Löf
On the Logic and Epistemology of the Causal Relation Original Research Article
Pages 293-312
G.H. Von Wright
On the Different Ingredients of an Empirical Theory Original Research Article
Pages 313-322
K.J. Hintikka
Gnoseological Aspects of Present-Day Science Original Research Article
Pages 323-332
P.V. Kopnin, V.A. Lektorsky
Falsification, Revolution, and Continuity in the Development of Science Original Research Article
Pages 333-343
L. KrГјger
Induction and the Empiricist Model of Knowledge Original Research Article
Pages 345-356
F. Von Kutschera
Гњber Abstrakte Und Idealisierte Objekte, Гњber Deren Methodologischen Und Gnoseologischen Status Original Research Article
Pages 357-366
D.P. Gorski
The Meaning of Theoretical Terms: A Critique of the Standard Empiricist Construal Original Research Article
Pages 367-378
C.G. Hempel
Models of Theory-Change Original Research Article
Pages 379-391
M. Hesse
Falsification and its Critics Original Research Article
Pages 393-406
A.E. Musgrave
Demonstrative and Heuristic Aspects in the Logical Modeling of Science Original Research Article
Pages 407-413
A. Uyemov
Probability in Science: A Personalistic Account Original Research Article
Pages 417-428
L.J. Savage
Induction and Probability in the Nineteenth Century Original Research Article
Pages 429-438
L.L. Laudan
Extension of the Theory of Probability Original Research Article
Pages 439-449
O. Onicescu
The Concept of Probability in Psychological Experiments Original Research Article
Pages 451-465
Carl-Axel S. StaГ«l Von Holstein
Objective Single-Case Probabilities and the Foundations of Statistics Original Research Article
Pages 467-483
R.N. Giere
Propensities, Statistics and Inductive Logic Original Research Article
Pages 485-500
I. Hacking
Carnap\'s Normative Theory of Inductive Probability Original Research Article
Pages 501-513
W. StegmГјller
New Foundations of Objective Probability: Axioms for Propensities Original Research Article
Pages 515-529
P. Suppes
Macrotheories and Microtheories Original Research Article
Pages 533-566
P. Achinstein
The two Problems of Quantum Measurement Original Research Article
Pages 567-581
A. Fine
Concerning Unity of Knowledge in Physics Original Research Article
Pages 583-592
N.F. Ovchinnikov, I.A. Akchurin
The Status of Hidden-Variable Theories Original Research Article
Pages 593-601
A. Shimony
Two Concepts of Probability in Physics Original Research Article
Pages 603-615
M. Strauss
Reduction In Genetics—Doing the Impossible Original Research Article
Pages 619-635
D.L. Hull
Hyperstructures and вЂInfa’-Systems of Organized and Organizing Information in Biology Original Research Article
Pages 637-645
V.I. Kremiansky
On the Formalizability of Learning and Evolution Original Research Article
Pages 647-658
L. Löfgren
Organizational Principles for Theoretical Embryology Original Research Article
Pages 659-663
M.A. Arbib
Polar Organisms With Apolar Individual Cells Original Research Article
Pages 665-675
G.T. Herman
Cellular Automata, Formal Languages and Developmental Systems Original Research Article
Pages 677-691
A. Lindenmayer
The Material Mind Original Research Article
Pages 709-722
D. Davidson
The Divergence of History and Sociology in Recent Philosophy of History Original Research Article
Pages 725-742
L.O. Mink
New Trends in the Method of Social Sciences, and Especially of the Economic Sciences Original Research Article
Pages 743-755
R. Moldovan
A Model for Mutual Effects of Attributes Original Research Article
Pages 757-763
J.S. Coleman
Conditional Causal Relations and their Approximations in the Social Sciences Original Research Article
Pages 765-787
S. Nowak
Cause-Effect Relationships: Operative Aspects Original Research Article
Pages 789-801
H. Wold
Problems of Theoretical Linguistics Original Research Article
Pages 805-831
H. Schnelle
Some Remarks on the Notion вЂUniversal Semantics’ Original Research Article
Pages 833-843
S.C. Dik
Uncontained Rules of Meaning Original Research Article
Pages 845-862
J.F. Staal
On the Grammar of Existential Sentences Original Research Article
Pages 863-881
J.P. Thorne
Rationality and The Changing Aims of Inquiry Original Research Article
Pages 885-903
S. Toulmin
La Doctrine De L\'universel Chez Aristote Original Research Article
Pages 905-919
A. Joja
Aristotle, ЕЃukasiewicz and the Origins Of Many-Valued Logic Original Research Article
Pages 921-929
G. Patzig
The Approximative Explanation and the Development of Physics Original Research Article
Pages 931-942
E. Scheibe
Hegel\'s Conception of вЂBegriffsbestimmung’ and his Philosophy of Science Original Research Article
Pages 943-955
G. Buchdahl
La ContinuitГ© et La DiscontinuitГ© En Chimie Et En Physique Au XIXe SiГЁcle Original Research Article
Pages 957-966
B.M. Kedrov
The Concept of Physical Necessity Original Research Article
Pages 967-976
M. Marković
Program of Invited Addresses and Symposia
Pages 977-981