I thought it looked easy, but I can't seem to get the filter right. Either I get them imported by the fields are blank or I get 0 imported. Here's a sample of the target:
TI: PHILOSOPHICAL PRINCIPLES AND TECHNICAL PROBLEMS IN MATHEMATICAL LOGIC.
AU: STERNFELD,-R
SO: Methodos-.; 8: 269-282
DE: CLASS-; LOGIC-; PARADOX-; PHILOSOPHY-; UNDECIDABILITY-
PS: FREGE-; GOEDEL-; RUSSELL
LA: ENGLISH
DT: Journal-Article
AN: 1069493
TI: DISCUSSION OF STERNFELD'S "PHILOSOPHICAL PRINCIPLES AND TECHNICAL PROBLEMS IN MATHEMATICAL LOGIC".
AU: MCNAUGHTON,-ROBERT
SO: Methodos-.; 8: 283-288
DE: LOGIC-; PHILOSOPHY-; UNDECIDABILITY-
PS: GOEDEL-; RUSSELL
LA: ENGLISH
DT: Journal-Article
AN: 1069494
TI: SURVEY OF RECENT PHILOSOPHICAL AND THEOLOGICAL LITERATURE.
AU: HEINEMANN,-F-H; SHORT,-H-L
SO: Hibbert-Journal.; 58: 179-186
DE: FORMAL-LANGUAGE; INCOMPLETENESS-; LOGICAL-POSITIVISM; TWENTIETH-; UNDECIDABILITY-
PS: AYER-; GOEDEL-; STEGMUELLER,-W; WILSON,-N
LA: ENGLISH
DT: Journal-Article
AN: 1071186
TI: "CONSEQUENCES OF GOEDEL'S THEOREM FOR THE METASYSTEM PARADIGM" IN "DECISION MAKING ABOUT DECISION MAKING", VAN GIGCH, JOHN P (ED), 67-76.
AU: FRANCOIS,-C-O
PB: ABACUS-PR : CAMBRIDGE
AB: GIVEN THAT THE METASYSTEM PARADIGM POSTULATES THE NEED TO RESORT TO A HIGHER LEVEL OF LOGIC TO GUARANTEE A LOWER TRUTH, IT IS PERTINENT TO RAISE THE SPECTER OF GODEL'S THEOREM, WHICH NEGATES, ON AXIOMATICAL AND MATHEMATICAL GROUNDS, THAT SUCH A GUARANTEE IS POSSIBLE. GODEL'S THEOREM ASSERTS THAT ALL GENERALLY USED LOGICAL AND CONSISTENT SYSTEMS ARE INCOMPLETE. THERE ALWAYS EXIST TRUE STATEMENTS EXPRESSIBLE IN THE LANGUAGE OF A PARTICULAR SYSTEM, WHICH CANNOT BE PROVEN IN THE LOGIC OF THE SYSTEM ITSELF. ONE MUST ALWAYS RESORT TO THE LOGIC OF AN OUTSIDE SYSTEM TO ESTABLISH A CRITERION OF ITS VALIDITY.
DE: GOEDEL-THEOREM; LOGIC-; METASYSTEM-
LA: ENGLISH
DT: Contribution
AN: 1146806
TI: "QUOTATION AND SELF-REFERENCE" IN "SELF-REFERENCE", SUBER, PETER (ED), 123-144.
AU: SMULLYAN,-RAYMOND
PB: NIJHOFF : DORDRECHT
AB: MANY YEARS AGO, KURT GODEL SUGGESTED TO THE AUTHOR THE IDEA OF FORMALIZING QUOTATION. THIS PAPER TREATS BOTH TWO-SIDED AND THE MORE BIZARRE ONE-SIDED QUOTATION (USED IN LISP) WITH EMPHASIS ON FIXED-POINTS AND SELF-REFERENCE. THE RECURSION AND DOUBLE RECURSION THEOREMS BOTH LEAVE THEIR ANALOGUES IN QUOTATIONAL SYSTEMS. FOR RATHER WEIRD REASONS, THE ONE-SIDED SYSTEMS ARE PARTICULARLY SUITED FOR DOUBLE FIXED-POINTS.
DE: LOGIC-; QUOTATION-; SELF-REFERENCE
LA: ENGLISH
DT: Contribution
AN: 1150450
TI: "A GODELIAN THEOREM FOR THEORIES OF RATIONALITY" IN "EVOLUTIONARY EPISTEMOLOGY", RADNITZKY, GERARD (ED), 253-267.
AU: POST,-JOHN-F
PB: OPEN-COURT : LA SALLE
AB: THE THEOREM, FIRST FLOATED IN 1971, IS THAT ALL RATIONALITY THEORIES IN A CERTAIN GENERAL CLASS ARE EITHER SELF-REFERENTIALLY INCONSISTENT OR INHERENTLY INCOMPLETE. THE CLASS INCLUDES NOT ONLY CRITICAL RATIONALISM, BUT VERIFICATIONISM, POSITIVISM, INSTRUMENTALISM AND SOME FORMS OF PRAGMATISM, EVEN WHEN EXPRESSED AS THEORIES NOT OF RATIONALITY BUT OF JUSTIFICATION, KNOWLEDGE, MEANING OR TRUTH. HERE THE ARGUMENT IS GENERALIZED AND DEFENDED AGAINST OBJECTIONS BY BARTLEY, DERKSEN, POPPER, AND SETTLE.
DE: GOEDEL-THEOREM; RATIONALITY-
LA: ENGLISH
DT: Contribution
AN: 1150554
TI: The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History
AU: Tait,-William
PB: Oxford-Univ-Pr : Oxford, 2005
IB: 019514192X
AB: William Tait is one of the most distinguished philosophers of mathematics of the last fifty years. This volume collects his most important published philosophical papers from the 1980s to the present. The articles cover a wide range of issues in the foundations and philosophy of mathematics, including some on historical figures ranging from Plato to Godel. (publisher, edited)
DE: LOGIC-; MATHEMATICS-
PS: CANTOR-; FREGE-; GOEDEL-; PLATO-; WITTGENSTEIN
LA: English
DT: Monograph
AN: 2063209
TI: Logic and Theism: Arguments For and Against Beliefs in God
AU: Sobel,-Jordan-Howard
PB: Cambridge-Univ-Pr : Cambridge, 2004
IB: 0521826071
AB: This is a wide-ranging book about arguments for and against belief in God. Arguments for the existence of God analyzed in the first six chapters include ontological arguments from Anselm through Godel, the cosmological arguments of Aquinas and Leibniz, and arguments from evidence for design and miracles. Following these chapters are two chapters considering arguments against that existence. The last chapter examines Pascalian arguments for and against belief regardless of existence. There are discussions of Cantorian problems for omniscience, of challenges to divine omnipotence, and of the compatibility of everlasting complete knowledge of the world with free will. (publisher, edited)
DE: COSMOLOGICAL-PROOF; DESIGN-ARGUMENT; GOD-; LOGIC-; MIRACLE-; OMNIPOTENCE-; OMNISCIENCE-; ONTOLOGICAL-PROOF; THEISM-
LA: English
DT: Monograph
AN: 1719350
TI: Godelian Time-Travel and Anthropic Cosmology
AU: Richmond,-Alasdair-M
SO: Ratio-. Je 04; 17(2): 176-190
IS: 0034-0006
AB: This paper looks at Kurt Godel's causally-pathological cosmological models (derived from general relativity), in the light of anthropic explanations. If a Godelian world is a possible world, could anthropic reasoning shed any light on whether or not our world is Godelian? This paper argues that while there are some good anthropic reasons why our world ought to be Godelian, too many observations suggest that our world can't possibly be Godelian in fact. If Godel's world is a possible one, anthropic teleology alone cannot explain why it isn't the world we inhabit. (edited)
DE: ANTHROPIC-; COSMOLOGY-; MODEL-; SCIENCE-; TIME-TRAVEL
PS: GOEDEL
LA: English
DT: Journal-Article
AN: 1778916
Import filter for philosopher's index needed
-
- Posts: 1
- Joined: Wed Jul 20, 2005 10:45 am