|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
;; «.awodey» (to "awodey")
;; «.brandom» (to "brandom")
;; «.geach-black» (to "geach-black")
;; «.grattan-guinness» (to "grattan-guinness")
;; «.heijenoort» (to "heijenoort")
;; «.macbeth» (to "macbeth")
;; «awodey» (to ".awodey")
;; (find-books "__frege/__frege.el" "awodey")
(code-pdf "fregell" "~/books/__frege/awodey_reck_gabriel__frege_s_lectures_on_logic.pdf")
(code-pdftotext "fregell" "~/books/__frege/awodey_reck_gabriel__frege_s_lectures_on_logic.pdf" 1)
;; (find-fregellpage)
;; (find-fregellpage 1 "Contents")
;; (find-fregellpage (+ 1 189) "Index")
;; (find-fregelltext "")
;; «brandom» (to ".brandom")
(code-djvu "brandommie" "~/books/__frege/brandom__making_it_explicit.djvu")
(code-djvutotext "brandommie" "~/books/__frege/brandom__making_it_explicit.djvu")
;; (find-brandommiepage 3 "Contents")
;; (find-brandommiepage (+ 11 3) "1. Towards a Normative Pragmatics")
;; (find-brandommiepage (+ -21 67) "2. Toward an Inferential Semantics")
;; (find-brandommiepage (+ -21 67) "treating someone as one of us")
;; (find-brandommiepage (+ -58 141) "3. Linguistic Practice and Discursive Commitment")
;; (find-brandommiepage (+ -346 717) "Index")
;; (find-brandommietext "")
;; «geach-black» (to ".geach-black")
;; http://gigapedia.com/items/57229/translations-from-philosophical-writings-of-gottlob-frege
(code-xpdf "geachblackfrege" "~/books/__frege/geach_black__translations_from_the_philosphical_writings_of_gottlob_frege.pdf")
;; (find-geachblackfregepage 5 "Contents")
;; (find-geachblackfregepage (+ 6 234) "Frege on Russell's Paradox")
;; «grattan-guinness» (to ".grattan-guinness")
;; http://gigapedia.com/items/35239/the-search-for-mathematical-roots--1870-1940
(code-xpdf "grattanguinness" "~/books/__frege/grattan-guinness__the_search_for_mathematical_roots_1870-1940.pdf")
(code-pdftotext "grattanguinness" "~/books/__frege/grattan-guinness__the_search_for_mathematical_roots_1870-1940.pdf")
;; (find-grattanguinnesspage 6 "Contents")
;; (find-grattanguinnesspage (+ 15 177) "4.5 FREGE: ARITHMETIC AS LOGIC")
;; (find-grattanguinnesstext "4.5 FREGE: ARITHMETIC AS LOGIC")
;; (find-grattanguinnesspage (+ 15 190) "Frege's schema")
;; (find-grattanguinnesspage (+ 15 671) "Index")
;; (find-grattanguinnesstext "")
;; «heijenoort» (to ".heijenoort")
;; http://gigapedia.com/items/369806/from-frege-to-g--del--a-source-book-in-mathematical-logic--1879-1931--source-books-in-the-history-of-the-sciences-
(code-djvu "heijenoortfromftog" "~/books/__frege/heijenoort__from_frege_to_godel_a_source_book_in_mathematical_logic_1879-1931.djvu")
;; (find-heijenoortfromftogpage 8 "Contents")
;; (find-heijenoortfromftogpage (+ 11 1) "Begriffschrifft")
;; (find-heijenoortfromftogpage (+ 11 50) "(52)")
;; (find-heijenoortfromftogpage (+ 11 55) "(69)")
;; (find-heijenoortfromftogpage (+ 11 63) "(83)")
;; (find-heijenoortfromftogpage (+ 11 78) "(126)")
;; (find-heijenoortfromftogpage (+ 11 81) "(133)")
;; «macbeth» (to ".macbeth")
;; http://gigapedia.com/items/371975/frege--039-s-logic
;; (find-books "__phil/__phil.el" "corfield")
(code-xpdf "fregeslogic" "~/books/__frege/macbeth__frege_s_logic.pdf")
(code-pdftotext "fregeslogic" "~/books/__frege/macbeth__frege_s_logic.pdf")
;; (find-fregeslogicpage 6 "Contents")
;; (find-fregeslogicpage (+ 13 1) "Introduction")
;; (find-fregeslogicpage (+ 13 2) "posed for the printer")
;; (find-fregeslogictext "posed for the printer")
;; (find-fregeslogicpage (+ 13 3) "his purposes are not those of the quanti" "cational logician")
;; (find-fregeslogictext "his purposes are not those of the quanti" "cational logician")
;; (find-fregeslogicpage (+ 13 8) "1" "The Starting Point")
;; (find-fregeslogicpage (+ 13 14) "The-" "orem 53")
;; (find-fregeslogicpage (+ 13 21) "definite article")
;; (find-fregeslogicpage (+ 13 23) "if (17^2·19)/2^{11}")
;; (find-fregeslogicpage (+ 13 24) "(as for Kant), generality is the essence of" "lawfulness")
;; (find-fregeslogicpage (+ 13 197) "Abbreviations" "for works by Gottlob Frege")
;; (find-fregeslogicpage (+ 13 199) "Index")
;; (find-fregeslogicpage (+ 13 25) "\n1.3 Understanding Logical Generality: Two Strategies")
;; (find-fregeslogictext "\n1.3 Understanding Logical Generality: Two Strategies")
;; (find-fregeslogicpage (+ 13 27) "the function is a fact whatever we may take" "as its argument")
;; (find-fregeslogictext "the function is a fact whatever we may take" "as its argument")
;; (find-fregeslogicpage (+ 13 29) "whether it is accidentally true or whether it is a law")
;; (find-fregeslogictext "whether it is accidentally true or whether it is a law")
;; (find-fregeslogicpage (+ 13 30) "it is permitted to\njudge that o is F")
;; (find-fregeslogictext "it is permitted to\njudge that o is F")
;; (find-fregeslogicpage (+ 13 37) "2" " Logical Generality")
;; (find-fregeslogictext "2" " Logical Generality")
;; (find-fregeslogicpage (+ 13 41) "inverse operations")
;; (find-fregeslogictext "inverse operations")
;; (find-fregeslogicpage (+ 13 84) "(Theorem 98)")
;; (find-fregeslogictext "(Theorem 98)")
;; (find-fregeslogicpage (+ 13 131) "4.3 The Formula Language of Pure Thought")
;; (find-fregeslogictext "4.3 The Formula Language of Pure Thought")
;; (find-fregeslogicpage (+ 13 135) "language of chemistry")
;; (find-fregeslogictext "language of chemistry")
;; (find-fregeslogicpage (+ 13 156) "5" " Courses of Values and Basic" "Law V")
;; (find-fregeslogictext "5" " Courses of Values and Basic" "Law V")
;; (find-fregeslogicpage (+ 13 166) "\n5.2 A Further Dif" "culty")
;; (find-fregeslogictext "\n5.2 A Further Dif" "culty")
;; (find-fregeslogicpage (+ 13 172) "\n5.3 Russell" "s Paradox")
;; (find-fregeslogictext "\n5.3 Russell" "s Paradox")
;; (find-fregeslogictext "")
;;
;; http://gigapedia.com/items/59927/from-frege-to-wittgenstein--perspectives-on-early-analytic-philosophy
;; http://gigapedia.com/items/113687/essays-on-frege--039-s-conception-of-truth---grazer-philosophische-studien-75---grazer-philosophische-studien-
;; http://gigapedia.com/items/221205/frege--039-s-lectures-on-logic--carnap--039-s-jena-notes--1910-1914--full-circle-
;; http://gigapedia.com/items/69033/frege-and-other-philosophers
;; http://gigapedia.com/items/399928/frege--philosophy-of-mathematics
;; http://gigapedia.com/items/320528/fixing-frege--princeton-monographs-in-philosophy-
;; http://gigapedia.com/items/113636/frege-on-definitions--a-case-study-of-semantic-content
;; http://gigapedia.com/items/11479/the-philosophy-of-gottlob-frege
;; http://gigapedia.com/items/104047/the-rise-of-modern-logic--from-leibniz-to-frege--volume-3--handbook-of-the-history-of-logic-
;; http://gigapedia.com/items/234370/metaphysicians-of-meaning--russell-and-frege-on-sense-and-denotation--international-library-of-philosophy-
;; http://gigapedia.com/items/76453/frege---philosophy-of-language
;; http://gigapedia.com/items/117895/frege--039-s-theory-of-sense-and-reference--its-origin-and-scope--modern-european-philosophy-
;; http://gigapedia.com/items/109656/departing-from-frege--essays-in-the-philosophy-of-language--international-library-of-philosophy-
;; http://gigapedia.com/items/113652/truth--thought--reason--essays-on-frege
;; http://gigapedia.com/items/36580/the-foundations-of-arithmetic--a-logico-mathematical-enquiry-into-the-concept-of-number--2nd-edition
;; http://gigapedia.com/items/101751/frege--039-s-conception-of-numbers-as-objects--scots-philosophical-monographs-
;; http://gigapedia.com/items/111267/husserl-and-frege--studies-in-phenomenology-and-existential-philosophy-
;; http://gigapedia.com/items/118613/gottlob-frege--arguments-of-the-philosophers-
;; http://gigapedia.com/items/120303/frege--039-s-theory-of-judgement
;; http://gigapedia.com/items/124722/a-critical-introduction-to-the-philosophy-of-gottlob-frege
;; http://gigapedia.com/items/389273/on-the-foundations-of-geometry-and-formal-theories-of-arithmetic
;; http://gigapedia.com/items/35124/the-elm-and-the-expert--mentalese-and-its-semantics--jean-nicod-lectures-
;; http://gigapedia.com/items/65762/wittgenstein--039-s-tractatus--a-dialectical-interpretation
;; http://gigapedia.com/items/101747/the-logical-basis-of-metaphysics--william-james-lectures-
;; http://gigapedia.com/items/113700/beyond-rigidity--the-unfinished-semantic-agenda-of-naming-and-necessity
;; Fernando Ferreira
;; http://www.ciul.ul.pt/~ferferr/fundamentos_english.html
;; http://www.ciul.ul.pt/~ferferr/amending.pdf
;; http://www.ciul.ul.pt/~ferferr/AJPFixingFrege.pdf
;; 2010nov04:
;; On Brandom:
;; http://gigapedia.com/items:view?eid=hHNpTK5a5V8g%2BvEdlaWp1AYS%2F%2FzCyvBUJ3bjy%2F%2BmUKk%3D
;; Making it explicit:
;; http://gigapedia.com/items:view?eid=QnROvX4hEHJ4stkrzUzUygkBJovdFiDhz9ZVZRU9Tz8%3D
;;
;; Local Variables:
;; mode: emacs-lisp
;; coding: raw-text-unix
;; End: