An edition of Logic and scientific methods (1997)

Logic and scientific methods

volume one of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Logic and scientific methods by International Congress of Logic, Methodology, and Philosophy of Science (10th 1995 Florence, Italy)
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by WikidataBot
June 3, 2023 | History
Edit
An edition of Logic and scientific methods (1997)

Logic and scientific methods

volume one of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.

Publish Date
Publisher
Springer
Language
English
Pages
534

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Symbolic and mathematical Logic, Science, Philosophy, Methodology, Congresses, Artificial Intelligence (incl. Robotics), Mathematical Logic and Foundations, Philosophy of Science, Science, philosophy, Science, methodology, Logic, symbolic and mathematical

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Logic and scientific methods
Logic and scientific methods: volume one of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
1997, Springer
electronic resource : in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Table of Contents

President's address
Section 1 Proof theory and categorical logic
Proof-theoretical aspects of self-referential truth
Free lattices, communication and money games
On methods for proving lower bounds in propositional logic
On bounded set theory
Section 2 Model theory, set theory and formal systems
Infinitary logic in finite model theory
Decision problems for second-order linear logic
Comparing the continuum with the first two uncountable cardinals
Section 3 Recursion theory and constructivism
Church's thesis and Hume's problem
The logic of functional recursion
From higher order terms to circuits
Computability and enumerability
Mechanistic theories in cognitive science: the import of Turing's thesis
Section 5 Philosophical logic
Conjoining and disjoining on different levels
Logical consequence: a turn in style
Applying normative rules with restraint
Section 10 Philosophy of logic, mathematics and computer science
What can we do 'in principle'?
Causation, action, and counterfactuals
Symposium 1 Logic and philosophy of science: current interfaces
Logic and philosophy of science: current interfaces
Reliable belief revision
Explanatory translation: beyond functionalism and reductionism
Abductive reasoning: logic, visual thinking, and coherence
Can the laws of nature (physics) be complete?
Symposium 4 Logic in Central and Eastern Europe
Logic in Central and Eastern Europe
Logic in Czechoslovakia and Hungary
Mathematical logic in the former Soviet Union: brief history and current trends
Logic in Central and Eastern Europe: Balkan region
The postwar panorama of logic in Poland
Closing address
Structure and perspective: philosophical perplexity and paradox
Table of contents Vol. II.

Edition Notes

Print version record.

Published in
Dordrecht
Series
Synthese library, studies in epistemology, logic, methodology, and philosophy of science -- 259, Synthese library -- 259.

Classifications

Dewey Decimal Class
501
Library of Congress
B67, B1-5802, Q174-175.3

The Physical Object

Format
[electronic resource] :
Pagination
1 online resource (xviii, 534 pages).
Number of pages
534

ID Numbers

Open Library
OL27071647M
Internet Archive
logicscientificm1995fens
ISBN 10
9401704872, 9048147867
ISBN 13
9789401704878, 9789048147861
OCLC/WorldCat
859588583
Wikidata
Q117804143

Source records

Internet Archive item record
Better World Books record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
June 3, 2023 Edited by WikidataBot [sync_edition_olids] add wikidata identifier
February 27, 2022 Edited by ImportBot import existing book
January 27, 2022 Edited by ImportBot import existing book
July 5, 2019 Created by MARC Bot Imported from Internet Archive item record