skip to content
Logic, methodology, and philosophy of science : proceedings of the 1960 international congress Preview this item
ClosePreview this item
Checking...

Logic, methodology, and philosophy of science : proceedings of the 1960 international congress

Author: Ernest Nagel; Patrick Suppes; Alfred Tarski; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.; National Academy of Sciences (U.S.)
Publisher: Stanford, California : Stanford University Press, 1962.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
International Congress for Logic, Methodology, and Philosophy of Science (1960 : Stanford, Calif.).
Logic, methodology, and philosophy of science.
Stanford, Calif., Stanford University Press, 1962
(OCoLC)647540959
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Ernest Nagel; Patrick Suppes; Alfred Tarski; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.; National Academy of Sciences (U.S.)
OCLC Number: 374991
Notes: "Held ... under the auspices of the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science ... Jointly sponsored by IUHPS and the United States National Academy of Sciences."
Description: ix, 661 pages : illustrations ; 26 cm
Contents: I. Mathematical logic --
Symposium on decision problems --
On a decision method in restricted second order arithmetic / J. Richard Büchi --
The undecidability of exponential Diophantine equations / Julia Robinson --
On a theorem of Cobham concerning undecidable theories / Robert L. Vaught --
Symposium on the notion of recursiveness --
The theory of hierarchies / J.W. Addison --
Turing-machine computable functionals of finite types 1 / S.C. Kleene --
Recursive equivalence types and combinatorial functions / John Myhill --
Some applications of degrees / J.R. Shoenfield --
II. Foundations of mathematical theories --
Recent developments in model theory / Abraham Robinson --
Symposium on foundations of set theory --
Some applications of the theory of models to set theory / H. Jerome Keisler --
On the principles of reflection in axiomatic set theory / Azriel Lévy --
Two contributions to the foundations of set theory / Richard Montague --
Quine's individuals / Dana Scott --
Typical ambiguity / Ernst Specker --
Some problems and results relevant to the foundations of set theory / Alfred Tarski --
Common extension in equational classes / Jerzy Loś --
Symposium on metamathematics of algebra and geometry --
Metamathematics and algebra: an example / Roger C. Lyndon --
Diophantine equations and non-standard models of arithmetic / Michael O. Rabin --
On completeness, decidability, and non-definability of some notions of elementary hyperbolic geometry / Wolfram Schwabhäuser --
New foundations of absolute geometry / Wanda Szmielew --
III. Philosophy of logic and mathematics --
Remarks about formalization and models / Paul Bernays --
Mathematics and logic / Alonzo Church --
Nominalistic analysis of mathematical language / Leon Henkin --
After thirty years / A. Heyting --
Foundations of intuitionistic logic / G. Kreisel --
IV. General problems of methodology and philosophy of science --
Praxiological sentences and how they are proved / Tadeusz Kotarbiński --
Symposium on models in the empirical sciences --
Models in the empirical sciences / R.B. Braithwaite --
On the structural form of interdependent systems / Leonid Hurwicz --
What theories are not / H. Putnam --
Models of data / Patrick Suppes --
Determinism and indeterminism in a new "level" conception of matter / J.P. Vigier --
Symposium on theoretical and empirical aspects of science --
The controversy: deductivism versus inductivism / Janina Kotarbińska --
The theoretical and the empirical aspects of science / Henryk Mehlberg --
Some comments on truth and the growth of knowledge / K.R. Popper --
Abstraction in natural science / J.H. Woodger --
V. Foundations of probability and induction --
The aim of inductive logic / Rudolf Carnap --
Symposium on current views of subjective probability --
Subjective probability as the measure of a non-measurable set / I.J. Good --
Remarks on the epistemology of subjective probability / G.H. von Wright --
IV. Methodology and philosophy of physical sciences --
Symposium on the role of mathematics in the formulation of physical theories --
Analyse mathématique du "principe de continuité" en physique / Alexandre Froda --
Is the mathematical explanation of physical data unique? / Henry Margenau --
The pernicious influence of mathematics on science / J. Schwartz --
Curved empty space-time as the building material of the physical world: an assessment / John A. Wheeler --
VII. Methodology and philosophy of biological and psychological logical sciences --
The scientific status of psychoanalysis / Ernest R. Hilgard --
Symposium on alternative approaches to the theory of choice --
A stochastic model for the act of choice / R.J. Audley --
Response strengths and choice probability: a consideration of two combination rules / Gordon H. Bower --
Theories of choice and the stimulus-response framework / J.A. Deutsch --
A descriptive approach to the dynamics of choice behavior / W.K. Estes --
"Brain-computer" approach to the theory of choice / Masanao Toda --
VIII. Methodology and philosophy of social sciences --
Models for the analysis of balance of power in society / John C. Harsanyi --
Philosophy of science and empirical social research / Paul F. Lazarsfeld --
Symposium on macro- and microeconomics --
Microeconomics and macroeconomics / Abba P. Lerner --
Résultats et directions de recherche dans la théorie de l'agrégation / André Nataf --
Three models of economic growth / Richard Stone --
Alternative approaches to the aggregation problem / H. Theil --
IX. Methodology and philosophy of linguistics --
Explanatory models in linguistics / Noam Chomsky --
Symposium on models in linguistics --
Some recent results in theoretical linguistics / Y. Bar-Hillel --
Models in linguistics and models in general / Yuen Ren Chao --
Lists in grammars / F.W. Householder --
Criteria for a model of language / Francis J. Whitfield --
X. Methodology and philosophy of historical sciences --
Scientific method and the work of the historian / G. Barraclough --
The historian's problem of selection / William Dary --
XI. History of logic, methodology, and philosophy of science --
Remarks on the role of quantity, quality, and relations in the history of logic, methodology, and philosophy of science / Joseph T. Clark --
The main trends in the foundations of geometry in the 19th century / Hans Freudenthal --
Modality de dicto and de re / W. Kneale --
Contraposition in Indian logic / J.F. Staal --
Program of the proceedings.
Responsibility: edited by Ernest Nagel, Patrick Suppes, Alfred Tarski.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/374991> # Logic, methodology, and philosophy of science : proceedings of the 1960 international congress
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "374991" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1133363626#Place/stanford_california> ; # Stanford, California
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/argumentatieleer> ; # Argumentatieleer
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/naturwissenschaften> ; # Naturwissenschaften
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1018722> ; # Methodology
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/wissenschaft> ; # Wissenschaft
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/methodologie_congres> ; # Méthodologie--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/science_philosophy> ; # Science--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/sciences_philosophie> ; # Sciences--Philosophie
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/methodologie> ; # Methodologie
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://dewey.info/class/164.082/> ;
   schema:about <http://id.worldcat.org/fast/1108336> ; # Science--Philosophy
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/1133363626#Topic/philosophie> ; # Philosophie
   schema:about <http://id.loc.gov/authorities/subjects/sh85084414> ; # Methodology
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/151897676> ; # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
   schema:contributor <http://viaf.org/viaf/128058762> ; # National Academy of Sciences (U.S.)
   schema:creator <http://experiment.worldcat.org/entity/work/data/1133363626#Meeting/international_congress_for_logic_methodology_and_philosophy_of_science_1960_stanford_calif> ; # International Congress for Logic, Methodology, and Philosophy of Science (1960 : Stanford, Calif.)
   schema:datePublished "1962" ;
   schema:description "I. Mathematical logic -- Symposium on decision problems -- On a decision method in restricted second order arithmetic / J. Richard Büchi -- The undecidability of exponential Diophantine equations / Julia Robinson -- On a theorem of Cobham concerning undecidable theories / Robert L. Vaught -- Symposium on the notion of recursiveness -- The theory of hierarchies / J.W. Addison -- Turing-machine computable functionals of finite types 1 / S.C. Kleene -- Recursive equivalence types and combinatorial functions / John Myhill -- Some applications of degrees / J.R. Shoenfield -- II. Foundations of mathematical theories -- Recent developments in model theory / Abraham Robinson -- Symposium on foundations of set theory -- Some applications of the theory of models to set theory / H. Jerome Keisler -- On the principles of reflection in axiomatic set theory / Azriel Lévy -- Two contributions to the foundations of set theory / Richard Montague -- Quine's individuals / Dana Scott -- Typical ambiguity / Ernst Specker -- Some problems and results relevant to the foundations of set theory / Alfred Tarski -- Common extension in equational classes / Jerzy Loś -- Symposium on metamathematics of algebra and geometry -- Metamathematics and algebra: an example / Roger C. Lyndon -- Diophantine equations and non-standard models of arithmetic / Michael O. Rabin -- On completeness, decidability, and non-definability of some notions of elementary hyperbolic geometry / Wolfram Schwabhäuser -- New foundations of absolute geometry / Wanda Szmielew -- III. Philosophy of logic and mathematics -- Remarks about formalization and models / Paul Bernays -- Mathematics and logic / Alonzo Church -- Nominalistic analysis of mathematical language / Leon Henkin -- After thirty years / A. Heyting -- Foundations of intuitionistic logic / G. Kreisel -- IV. General problems of methodology and philosophy of science -- Praxiological sentences and how they are proved / Tadeusz Kotarbiński -- Symposium on models in the empirical sciences -- Models in the empirical sciences / R.B. Braithwaite -- On the structural form of interdependent systems / Leonid Hurwicz -- What theories are not / H. Putnam -- Models of data / Patrick Suppes -- Determinism and indeterminism in a new "level" conception of matter / J.P. Vigier -- Symposium on theoretical and empirical aspects of science -- The controversy: deductivism versus inductivism / Janina Kotarbińska -- The theoretical and the empirical aspects of science / Henryk Mehlberg -- Some comments on truth and the growth of knowledge / K.R. Popper -- Abstraction in natural science / J.H. Woodger -- V. Foundations of probability and induction -- The aim of inductive logic / Rudolf Carnap -- Symposium on current views of subjective probability -- Subjective probability as the measure of a non-measurable set / I.J. Good -- Remarks on the epistemology of subjective probability / G.H. von Wright -- IV. Methodology and philosophy of physical sciences -- Symposium on the role of mathematics in the formulation of physical theories -- Analyse mathématique du "principe de continuité" en physique / Alexandre Froda -- Is the mathematical explanation of physical data unique? / Henry Margenau -- The pernicious influence of mathematics on science / J. Schwartz -- Curved empty space-time as the building material of the physical world: an assessment / John A. Wheeler -- VII. Methodology and philosophy of biological and psychological logical sciences -- The scientific status of psychoanalysis / Ernest R. Hilgard -- Symposium on alternative approaches to the theory of choice -- A stochastic model for the act of choice / R.J. Audley -- Response strengths and choice probability: a consideration of two combination rules / Gordon H. Bower -- Theories of choice and the stimulus-response framework / J.A. Deutsch -- A descriptive approach to the dynamics of choice behavior / W.K. Estes -- "Brain-computer" approach to the theory of choice / Masanao Toda -- VIII. Methodology and philosophy of social sciences -- Models for the analysis of balance of power in society / John C. Harsanyi -- Philosophy of science and empirical social research / Paul F. Lazarsfeld -- Symposium on macro- and microeconomics -- Microeconomics and macroeconomics / Abba P. Lerner -- Résultats et directions de recherche dans la théorie de l'agrégation / André Nataf -- Three models of economic growth / Richard Stone -- Alternative approaches to the aggregation problem / H. Theil -- IX. Methodology and philosophy of linguistics -- Explanatory models in linguistics / Noam Chomsky -- Symposium on models in linguistics -- Some recent results in theoretical linguistics / Y. Bar-Hillel -- Models in linguistics and models in general / Yuen Ren Chao -- Lists in grammars / F.W. Householder -- Criteria for a model of language / Francis J. Whitfield -- X. Methodology and philosophy of historical sciences -- Scientific method and the work of the historian / G. Barraclough -- The historian's problem of selection / William Dary -- XI. History of logic, methodology, and philosophy of science -- Remarks on the role of quantity, quality, and relations in the history of logic, methodology, and philosophy of science / Joseph T. Clark -- The main trends in the foundations of geometry in the 19th century / Hans Freudenthal -- Modality de dicto and de re / W. Kneale -- Contraposition in Indian logic / J.F. Staal -- Program of the proceedings."@en ;
   schema:editor <http://viaf.org/viaf/108245652> ; # Ernest Nagel
   schema:editor <http://viaf.org/viaf/108125150> ; # Patrick Suppes
   schema:editor <http://viaf.org/viaf/88667191> ; # Alfred Tarski
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1133363626> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/647540959> ;
   schema:name "Logic, methodology, and philosophy of science : proceedings of the 1960 international congress"@en ;
   schema:productID "374991" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/374991#PublicationEvent/stanford_california_stanford_university_press_1962> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1133363626#Agent/stanford_university_press> ; # Stanford University Press
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/374991> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1133363626#Agent/stanford_university_press> # Stanford University Press
    a bgn:Agent ;
   schema:name "Stanford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/1133363626#Meeting/international_congress_for_logic_methodology_and_philosophy_of_science_1960_stanford_calif> # International Congress for Logic, Methodology, and Philosophy of Science (1960 : Stanford, Calif.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1133363626#Place/stanford_calif> ; # Stanford, Calif.)
   schema:name "International Congress for Logic, Methodology, and Philosophy of Science (1960 : Stanford, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1133363626#Place/stanford_calif> # Stanford, Calif.)
    a schema:Place ;
   schema:name "Stanford, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1133363626#Place/stanford_california> # Stanford, California
    a schema:Place ;
   schema:name "Stanford, California" ;
    .

<http://experiment.worldcat.org/entity/work/data/1133363626#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1133363626#Topic/methodologie_congres> # Méthodologie--Congrès
    a schema:Intangible ;
   schema:name "Méthodologie--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1133363626#Topic/naturwissenschaften> # Naturwissenschaften
    a schema:Intangible ;
   schema:name "Naturwissenschaften"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1133363626#Topic/sciences_philosophie> # Sciences--Philosophie
    a schema:Intangible ;
   schema:name "Sciences--Philosophie"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85084414> # Methodology
    a schema:Intangible ;
   schema:name "Methodology"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1018722> # Methodology
    a schema:Intangible ;
   schema:name "Methodology"@en ;
    .

<http://id.worldcat.org/fast/1108336> # Science--Philosophy
    a schema:Intangible ;
   schema:name "Science--Philosophy"@en ;
    .

<http://viaf.org/viaf/108125150> # Patrick Suppes
    a schema:Person ;
   schema:birthDate "1922" ;
   schema:deathDate "2014," ;
   schema:familyName "Suppes" ;
   schema:givenName "Patrick" ;
   schema:name "Patrick Suppes" ;
    .

<http://viaf.org/viaf/108245652> # Ernest Nagel
    a schema:Person ;
   schema:birthDate "1901" ;
   schema:deathDate "1985," ;
   schema:familyName "Nagel" ;
   schema:givenName "Ernest" ;
   schema:name "Ernest Nagel" ;
    .

<http://viaf.org/viaf/128058762> # National Academy of Sciences (U.S.)
    a schema:Organization ;
   schema:name "National Academy of Sciences (U.S.)" ;
    .

<http://viaf.org/viaf/151897676> # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
    a schema:Organization ;
   schema:name "International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science." ;
    .

<http://viaf.org/viaf/88667191> # Alfred Tarski
    a schema:Person ;
   schema:birthDate "1901" ;
   schema:deathDate "1983," ;
   schema:familyName "Tarski" ;
   schema:givenName "Alfred" ;
   schema:name "Alfred Tarski" ;
    .

<http://www.worldcat.org/oclc/647540959>
    a schema:CreativeWork ;
   rdfs:label "Logic, methodology, and philosophy of science." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/374991> ; # Logic, methodology, and philosophy of science : proceedings of the 1960 international congress
    .

<http://www.worldcat.org/title/-/oclc/374991>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/374991> ; # Logic, methodology, and philosophy of science : proceedings of the 1960 international congress
   schema:dateModified "2017-10-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.