Import filter for philosopher's index needed

Users asking other users for import filters.
Post Reply
ddauerbach
Posts: 1
Joined: Wed Jul 20, 2005 10:45 am

Import filter for philosopher's index needed

Post by ddauerbach »

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

Jon
Site Admin
Posts: 9023
Joined: Tue Jul 13, 2004 6:27 pm
Location: Bethesda, MD
Contact:

Post by Jon »

It is easy. Looks like the RIS filter (or similar). Make sure you set the filter to use

TI:

(including colon)

as the new reference indicator.

Jon
Sonny Software

Post Reply