|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
;; (find-sh "cd ~/books/ && find * | sort") ;; (find-sh "cd ~/books/__phil/ && find * | sort") ;; «.audi» (to "audi") ;; «.agamben» (to "agamben") ;; «.arendt» (to "arendt") ;; «.atiyah» (to "atiyah") ;; «.austin» (to "austin") ;; «.byers» (to "byers") ;; «.cassiano-rodrigues» (to "cassiano-rodrigues") ;; «.centrone» (to "centrone") ;; «.chimakonam» (to "chimakonam") ;; «.corfield» (to "corfield") ;; «.corfield-struct-of» (to "corfield-struct-of") ;; «.corfield-modal-hott» (to "corfield-modal-hott") ;; «.deleuze» (to "deleuze") ;; «.douthwaite» (to "douthwaite") ;; «.ganesalingam» (to "ganesalingam") ;; «.ganesalingam-gowers» (to "ganesalingam-gowers") ;; «.gettier» (to "gettier") ;; «.grayling» (to "grayling") ;; «.habermas» (to "habermas") ;; «.hartimo» (to "hartimo") ;; «.hegel-intros» (to "hegel-intros") ;; «.heidegger» (to "heidegger") ;; «.krantz» (to "krantz") ;; «.krieger» (to "krieger") ;; «.kuhn» (to "kuhn") ;; «.lakatos» (to "lakatos") ;; «.liljedahl» (to "liljedahl") ;; «.longuenesse» (to "longuenesse") ;; «.mancosu» (to "mancosu") ;; «.maybee» (to "maybee") ;; «.reale» (to "reale") ;; «.tupinamba» (to "tupinamba") ;; «.viveiros-de-castro» (to "viveiros-de-castro") ;; «.wittgenstein» (to "wittgenstein") ;; «.zalamea» (to "zalamea") ;; (find-fline "~/books/__phil/cahoone__the_dilemma_of_modernity.zip") (code-pdf-page "calhounsennett" "~/books/__phil/calhoun_sennett__practicing_cultures.pdf") (code-pdf-text "calhounsennett" "~/books/__phil/calhoun_sennett__practicing_cultures.pdf") ;; (find-calhounsennettpage 6 "Contents") ;; (find-calhounsennettpage (+ 11 231) "Index") ;; (find-calhounsennetttext "") (code-pdf-page "intuitandaxm" "~/books/__phil/carson_huber_eds__intuition_and_the_axiomatic_method.pdf") (code-pdf-text "intuitandaxm" "~/books/__phil/carson_huber_eds__intuition_and_the_axiomatic_method.pdf") ;; (find-intuitandaxmpage 5 "Contents") ;; (find-intuitandaxmpage (+ 10 47) "Majer") ;; (find-intuitandaxmtext "") (code-pdf-page "signsoflogic" "~/books/__phil/pietarinen__signs_of_logic_peircean_themes.pdf") (code-pdf-text "signsoflogic" "~/books/__phil/pietarinen__signs_of_logic_peircean_themes.pdf") ;; (find-signsoflogicpage 5 "Contents") ;; (find-signsoflogicpage (+ 11 191) "Two and three in tension?") ;; (find-signsoflogicpage (+ 10 259) "8. Logic, Language Games and Ludics") ;; (find-signsoflogicpage (+ 6 485) "Index") ;; (find-signsoflogictext "") (code-pdf-page "dummettlbm" "~/books/__phil/dummett__the_logical_basis_of_metaphysics.pdf") ;; (find-dummettlbmpage 3 "Contents") ;; (find-dummettlbmpage (+ -35 83) "4. Meaning, Logic and Understanding") ;; (find-dummettlbmpage (+ -40 93) "Understanding and knowledge") ;; (find-dummettlbmpage (+ -170 353) "Index") ;; http://www.dcs.kcl.ac.uk/research/groups/gllc/philo/ (code-pdf-page "handbookofphillogic4" "~/books/__phil/gabbay_guenthner__handbook_of_philosophical_logic_vol_4.pdf") (code-pdf-text "handbookofphillogic4" "~/books/__phil/gabbay_guenthner__handbook_of_philosophical_logic_vol_4.pdf") ;; (find-handbookofphillogic4page 3 "Contents") ;; (find-handbookofphillogic4page (+ 12 395) "Diagrammatic Logic") ;; (find-handbookofphillogic4page (+ 12 423) "Index") ;; (find-handbookofphillogic4text "") ;; http://gigapedia.org/items/110825/understanding-power--the-indispensable-chomsky--including-footnotes- ;; chomsky__2002_understanding_power_footnotes.pdf ;; chomsky__2002_understanding_power_the_indispensable_chomsky.pdf ;; «audi» (to ".audi") ;; (find-books "__phil/__phil.el" "audi") (code-pdf-page "audidict" "~/books/__phil/audi__the_cambridge_dictionary_of_philosophy_3rd_ed.pdf") (code-pdf-text "audidict" "~/books/__phil/audi__the_cambridge_dictionary_of_philosophy_3rd_ed.pdf" 48) ;; (find-audidictpage) ;; (find-audidictpage 9 "Contents") ;; (find-audidictpage 14 "John Corcoran (J.Cor.)") ;; (find-audidicttext 14 "John Corcoran (J.Cor.)") ;; (find-audidictpage (+ 48 1094) "universe of discourse") ;; (find-audidicttext (+ 48 1094) "universe of discourse") ;; (find-audidicttext "") ;; «agamben» (to ".agamben") ;; (find-books "__phil/__phil.el" "agamben") (code-pdf "agambenee" "~/books/__phil/agamben__estado_de_excecao.pdf") (code-pdf-text "agambenee" "~/books/__phil/agamben__estado_de_excecao.pdf" -2) ;; (find-agambeneepage) ;; (find-agambeneepage 3 "Sumário") ;; (find-agambeneetext 3 "SUMÁRI") ;; (find-agambeneepage (+ -2 92) "4.6") ;; (find-agambeneetext (+ -2 92) "4.6") ;; (find-agambeneetext "") ;; «arendt» (to ".arendt") (code-pdf-page "portablearendt" "~/books/__phil/arendt__the_portable_hannah_arendt.pdf") (code-pdf-text "portablearendt" "~/books/__phil/arendt__the_portable_hannah_arendt.pdf") ;; (find-portablearendtpage 1 "Contents") ;; (find-portablearendtpage (+ 1 1) "Index") ;; (find-portablearendttext "") ;; «atiyah» (to ".atiyah") ;; (find-books "__phil/__phil.el" "atiyah") (code-pdf-page "atiyah1" "~/books/__phil/atiyah__collected_works_1.pdf") (code-pdf-text "atiyah1" "~/books/__phil/atiyah__collected_works_1.pdf" 22) ;; (find-atiyah1page) ;; (find-atiyah1page 12 "Contents") ;; (find-atiyah1page (+ 22 211) "How research is carried out") ;; (find-atiyah1text "") ;; «austin» (to ".austin") ;; http://en.wikipedia.org/wiki/Pragmatics ;; http://en.wikipedia.org/wiki/Politeness_theory ;; http://en.wikipedia.org/wiki/Face_(self_image) (code-djvu "austin" "~/books/__phil/austin__how_to_do_things_with_words.djvu") (code-djvutotext "austin" "~/books/__phil/austin__how_to_do_things_with_words.djvu") ;; (find-austinpage 6 "Contents") ;; (find-austinpage (+ 1 1) "Index") ;; (find-austintext "") (code-djvu "badiouethics" "~/books/__phil/badiou__ethics_an_essay_on_the_understanding_of_evil.djvu") (code-djvutotext "badiouethics" "~/books/__phil/badiou__ethics_an_essay_on_the_understanding_of_evil.djvu") ;; (find-badiouethicspage 3 "Contents") ;; (find-badiouethicspage (+ 45 163) "Index") ;; (find-badiouethicstext "") ;; «byers» (to ".byers") ;; (find-LATEX "catsem.bib" "bib-Byers") ;; http://press.princeton.edu/titles/8386.html ;; Mentioned in: http://simplycharly.com/godel/gregory_chaitin_interview.htm (code-pdf-page "byers" "~/books/__phil/byers__how_mathematicians_think.pdf") (code-pdf-text "byers" "~/books/__phil/byers__how_mathematicians_think.pdf") ;; (find-byerspage 6 "Contents") ;; (find-byerspage (+ 9 42) "Thus we simultaneously think of x") ;; (find-byerstext "Thus we simultaneously think of x") ;; (find-byerspage (+ 9 189) "II. The Light as Idea") ;; (find-byerspage (+ 9 193) "5. The Idea as an Organizing Principle") ;; (find-byerspage (+ 9 193) "proofs" "remained secondary") ;; (find-byerstext "proofs" "remained secondary") ;; (find-byerspage (+ 9 204) "right example") ;; (find-byerstext "right example") ;; (find-byerspage (+ 9 407) "Index") ;; (find-byerstext "") ;; «cassiano-rodrigues» (to ".cassiano-rodrigues") ;; (find-fline "~/books/__phil/" "rodrigues") ;; (find-pdf-page "~/books/__phil/rodrigues__worldlogicday_2021.pdf") ;; (find-pdf-text "~/books/__phil/rodrigues__worldlogicday_2021.pdf") ;; (find-pdf-page "~/books/__phil/rodrigues__the_method_of_scientific_discovery_in_peirce_s_philosophy_deduction_induction_and_abduction.pdf") ;; (find-pdf-text "~/books/__phil/rodrigues__the_method_of_scientific_discovery_in_peirce_s_philosophy_deduction_induction_and_abduction.pdf") ;; «centrone» (to ".centrone") ;; (find-books "__phil/__phil.el" "centrone") (code-pdf-page "earlyhusserl" "~/books/__phil/centrone__logic_and_philosophy_of_mathematics_in_early_husserl.pdf") (code-pdf-text "earlyhusserl" "~/books/__phil/centrone__logic_and_philosophy_of_mathematics_in_early_husserl.pdf" 21) ;; (find-earlyhusserlpage) ;; (find-earlyhusserlpage 19 "Contents") ;; (find-earlyhusserlpage (+ 18 227) "Index") ;; (find-earlyhusserltext "") ;; «chimakonam» (to ".chimakonam") ;; (find-books "__phil/__phil.el" "chimakonam") ;; https://www.interaliamag.org/interviews/jonathan-chimakonam/ ;; https://www.filosofas.org/post/introdu%C3%A7%C3%A3o-%C3%A0-l%C3%B3gica-desde-uma-perspectiva-feminista (code-pdf-page "chimakonam" "~/books/__phil/chimakonam__ezumezu_a_system_of_logic_for_african_philosophy_and_studies.pdf") (code-pdf-text "chimakonam" "~/books/__phil/chimakonam__ezumezu_a_system_of_logic_for_african_philosophy_and_studies.pdf" 1) ;; (find-chimakonampage) ;; (find-chimakonampage 25 "Contents") ;; (find-chimakonamtext 25 "Contents") ;; (find-chimakonampage (+ 21 211) "Index") ;; (find-chimakonamtext "") ;; «corfield» (to ".corfield") ;; (find-books "__phil/__phil.el" "corfield") ;; (find-LATEX "catsem-u.bib" "bib-Corfield") ;; (find-LATEX "catsem.bib" "bib-Corfield") ;; (find-angg ".emacs.papers" "corfield") ;; (find-angg ".emacs.papers" "cheng") ;; (find-books "__frege/__frege.el" "macbeth") ;; https://www.kent.ac.uk/european-culture-languages/people/1689/corfield-david ;; http://math.ucr.edu/home/baez/corfield/phorem.html (code-pdf-page "philrealmath" "~/books/__phil/corfield__towards_a_philosophy_of_real_mathematics.pdf") (code-pdf-text "philrealmath" "~/books/__phil/corfield__towards_a_philosophy_of_real_mathematics.pdf" 10) ;; (find-philrealmathpage 7 "Contents") ;; (find-philrealmathpage (+ 10 9) "Just like Frege, the category theorist") ;; (find-philrealmathtext (+ 10 9) "Just like Frege, the category theorist") ;; (find-philrealmathpage (+ 10 52) "boundary between notation and diagram redrawn") ;; (find-philrealmathtext (+ 10 52) "boundary between notation and diagram redrawn") ;; (find-philrealmathpage (+ 10 53) "Laws of Form") ;; (find-philrealmathtext (+ 10 53) "Laws of Form") ;; (find-philrealmathpage (+ 10 84) "Piagetian") ;; (find-philrealmathtext (+ 10 84) "Piagetian") ;; (find-philrealmathpage (+ 10 112) "Laugwitz") ;; (find-philrealmathtext (+ 10 112) "Laugwitz") ;; (find-philrealmathpage (+ 10 161) "intimidation") ;; (find-philrealmathtext (+ 10 161) "intimidation") ;; (find-philrealmathpage (+ 10 161) "only every use of the specific postulates") ;; (find-philrealmathtext (+ 10 161) "only every use of the specific postulates") ;; (find-philrealmathpage (+ 10 199) "complex shifting of levels") ;; (find-philrealmathtext (+ 10 199) "complex shifting of levels") ;; (find-philrealmathpage (+ 10 252) "10.4 Diagrammatic Calculation") ;; (find-philrealmathtext (+ 10 252) "1 0 . 4") ;; (find-philrealmathpage (+ 10 253) "solved in a uniform fashion") ;; (find-philrealmathtext (+ 10 253) "solved in a uniform fashion") ;; (find-philrealmathpage (+ 10 261) "with printing technology") ;; (find-philrealmathtext (+ 10 261) "with printing technology") ;; (find-philrealmathpage (+ 10 274) "Bibliography") ;; (find-philrealmathtext (+ 10 274) "Bibliography") ;; (find-philrealmathpage (+ 10 286) "Index") ;; (find-philrealmathtext) ;; «corfield-struct-of» (to ".corfield-struct-of") ;; (find-books "__phil/__phil.el" "corfield-struct-of") ;; Volume 197, Issue 2, February 2020: Special Issue on Foundations of Mathematics ;; https://link.springer.com/journal/11229/197/2 full issue ;; https://link.springer.com/article/10.1007/s11229-017-1569-7 corfield (code-pdf-page "corfieldstructof" "~/books/__phil/corfield__expressing_the_structure_of_in_homotopy_type_theory.pdf") (code-pdf-text "corfieldstructof" "~/books/__phil/corfield__expressing_the_structure_of_in_homotopy_type_theory.pdf" 1) ;; (find-corfieldstructofpage) ;; (find-corfieldstructofpage 1 "Contents") ;; (find-corfieldstructofpage (+ 1 189) "Index") ;; (find-corfieldstructoftext "") ;; «corfield-modal-hott» (to ".corfield-modal-hott") ;; (find-books "__phil/__phil.el" "corfield-modal-hott") (code-pdf-page "corfieldmhott" "~/books/__phil/corfield__modal_homotopy_type_theory.pdf") (code-pdf-text "corfieldmhott" "~/books/__phil/corfield__modal_homotopy_type_theory.pdf" 1) ;; (find-corfieldmhottpage) ;; (find-corfieldmhottpage 10 "Contents") ;; (find-corfieldmhottpage (+ 11 179) "Index") ;; (find-corfieldmhotttext "") ;; «deleuze» (to ".deleuze") ;; (find-books "__phil/__phil.el" "deleuze") (code-pdf "dnietzsche" "~/books/__phil/deleuze__nietzsche_and_philosophy.pdf") (code-pdf-text "dnietzsche" "~/books/__phil/deleuze__nietzsche_and_philosophy.pdf" 1) ;; (find-dnietzschepage) ;; (find-dnietzschepage 1 "Contents") ;; (find-dnietzschepage (+ 1 189) "Index") ;; (find-dnietzschetext "") ;; «douthwaite» (to ".douthwaite") (code-pdf-page "ecoofmoney" "~/books/__phil/douthwaite__the_ecology_of_money.pdf") (code-pdf-text "ecoofmoney" "~/books/__phil/douthwaite__the_ecology_of_money.pdf") ;; (find-ecoofmoneypage 1 "Contents") ;; (find-ecoofmoneypage (+ 1 1) "Index") ;; (find-ecoofmoneytext "") ;; «ganesalingam» (to ".ganesalingam") ;; (find-books "__phil/__phil.el" "ganesalingam") ;; https://gowers.wordpress.com/2013/03/25/an-experiment-concerning-mathematical-writing/ ;; https://gowers.wordpress.com/2013/04/02/a-second-experiment-concerning-mathematical-writing/ ;; https://gowers.wordpress.com/2013/04/14/answers-results-of-polls-and-a-brief-description-of-the-program/ ;; https://www.springer.com/gp/book/9783642370113 Mohan Ganesalingam: The Language of Mathematics (code-pdf-page "ganesalingam" "~/books/__phil/ganesalingam__the_language_of_mathematics.pdf") (code-pdf-text "ganesalingam" "~/books/__phil/ganesalingam__the_language_of_mathematics.pdf" 22) ;; (find-ganesalingampage) ;; (find-ganesalingampage 9 "Foreword") ;; (find-ganesalingamtext 9 "Foreword") ;; (find-ganesalingampage 19 "Contents") ;; (find-ganesalingamtext 19 "Contents") ;; (find-ganesalingampage (+ 22 1) "1.") ;; (find-ganesalingampage (+ 22 5) "1.2.2. Time") ;; (find-ganesalingampage (+ 22 7) "written in many registers") ;; (find-ganesalingampage (+ 22 96) "4.1.5. Disambiguation without Type") ;; (find-ganesalingampage (+ 22 105) "4.2.3. Disambiguation without type") ;; (find-ganesalingampage (+ 22 100) "sin^2 is never treated as f^2") ;; (find-ganesalingampage (+ 22 115) "overloading") ;; (find-ganesalingamtext (+ 22 115) "overloading") ;; (find-ganesalingampage (+ 22 184) "7.2.4 Invisible Embeddings") ;; (find-ganesalingampage (+ 22 189) "Fig. 7.2 Ontogenetic evolution of numbers") ;; (find-ganesalingamtext "") ;; (find-ganesalingampage (+ 22 1) "1 Introduction") ;; (find-ganesalingampage (+ 22 1) "1.1 Challenges") ;; (find-ganesalingampage (+ 22 3) "1.2 Concepts") ;; (find-ganesalingampage (+ 22 3) "1.2.1 Linguistics and Mathematics") ;; (find-ganesalingampage (+ 22 5) "1.2.2 Time") ;; (find-ganesalingampage (+ 22 5) "1.2.3 Full Adaptivity") ;; (find-ganesalingampage (+ 22 6) "1.3 Scope") ;; (find-ganesalingampage (+ 22 8) "1.4 Structure") ;; (find-ganesalingampage (+ 22 10) "1.5 Previous Analyses") ;; (find-ganesalingampage (+ 22 10) "1.5.1 Ranta") ;; (find-ganesalingampage (+ 22 12) "1.5.2 de Bruijn") ;; (find-ganesalingampage (+ 22 13) "1.5.3 Computer Languages") ;; (find-ganesalingampage (+ 22 15) "1.5.4 Other Work") ;; (find-ganesalingampage (+ 22 17) "2 The Language of Mathematics") ;; (find-ganesalingampage (+ 22 17) "2.1 Text and Symbol") ;; (find-ganesalingampage (+ 22 19) "2.2 Adaptivity") ;; (find-ganesalingampage (+ 22 21) "2.3 Textual Mathematics") ;; (find-ganesalingampage (+ 22 25) "2.4 Symbolic Mathematics") ;; (find-ganesalingampage (+ 22 25) "2.4.1 Ranta's Account and Its Limitations") ;; (find-ganesalingampage (+ 22 27) "2.4.2 Surface Phenomena") ;; (find-ganesalingampage (+ 22 28) "2.4.3 Grammatical Status") ;; (find-ganesalingampage (+ 22 30) "2.4.4 Variables") ;; (find-ganesalingampage (+ 22 31) "2.4.5 Presuppositions") ;; (find-ganesalingampage (+ 22 32) "2.4.6 Symbolic Constructions") ;; (find-ganesalingampage (+ 22 32) "2.5 Rhetorical Structure") ;; (find-ganesalingampage (+ 22 32) "2.5.1 Blocks") ;; (find-ganesalingampage (+ 22 34) "2.5.2 Variables and Assumptions") ;; (find-ganesalingampage (+ 22 35) "2.6 Reanalysis") ;; (find-ganesalingampage (+ 22 39) "3 Theoretical Framework") ;; (find-ganesalingampage (+ 22 39) "3.1 Syntax") ;; (find-ganesalingampage (+ 22 43) "3.2 Types") ;; (find-ganesalingampage (+ 22 47) "3.3 Semantics") ;; (find-ganesalingampage (+ 22 47) "3.3.1 The Inadequacy of First-Order Logic") ;; (find-ganesalingampage (+ 22 49) "3.3.2 Discourse Representation Theory") ;; (find-ganesalingampage (+ 22 54) "3.3.3 Semantic Functions") ;; (find-ganesalingampage (+ 22 55) "3.3.4 Representing Variables") ;; (find-ganesalingampage (+ 22 57) "3.3.5 Localisable Presuppositions") ;; (find-ganesalingampage (+ 22 62) "3.3.6 Plurals") ;; (find-ganesalingampage (+ 22 65) "3.3.7 Compositionality") ;; (find-ganesalingampage (+ 22 70) "3.3.8 Ambiguity and Type") ;; (find-ganesalingampage (+ 22 71) "3.4 Adaptivity") ;; (find-ganesalingampage (+ 22 71) "3.4.1 Definitions in Mathematics") ;; (find-ganesalingampage (+ 22 74) "3.4.2 Real Definitions and Functional Categories") ;; (find-ganesalingampage (+ 22 77) "3.5 Rhetorical Structure") ;; (find-ganesalingampage (+ 22 77) "3.5.1 Explanation") ;; (find-ganesalingampage (+ 22 78) "3.5.2 Blocks") ;; (find-ganesalingampage (+ 22 80) "3.5.3 Variables and Assumptions") ;; (find-ganesalingampage (+ 22 82) "3.5.4 Related Work: DRT in NaProChe") ;; (find-ganesalingampage (+ 22 84) "3.6 Conclusion") ;; (find-ganesalingampage (+ 22 87) "4 Ambiguity") ;; (find-ganesalingampage (+ 22 89) "4.1 Ambiguity in Symbolic Mathematics") ;; (find-ganesalingampage (+ 22 89) "4.1.1 Ambiguity in Symbolic Material") ;; (find-ganesalingampage (+ 22 91) "4.1.2 Survey: Ambiguity in Formal Languages") ;; (find-ganesalingampage (+ 22 93) "4.1.3 Failure of Standard Mechanisms") ;; (find-ganesalingampage (+ 22 95) "4.1.4 Discussion") ;; (find-ganesalingampage (+ 22 96) "4.1.5 Disambiguation without Type") ;; (find-ganesalingampage (+ 22 101) "4.2 Ambiguity in Textual Mathematics") ;; (find-ganesalingampage (+ 22 102) "4.2.1 Survey: Ambiguity in Natural Languages") ;; (find-ganesalingampage (+ 22 104) "4.2.2 Ambiguity in Textual Mathematics") ;; (find-ganesalingampage (+ 22 105) "4.2.3 Disambiguation without Type") ;; (find-ganesalingampage (+ 22 107) "4.3 Text and Symbol") ;; (find-ganesalingampage (+ 22 108) "4.3.1 Dependence of Symbol on Text") ;; (find-ganesalingampage (+ 22 109) "4.3.2 Dependence of Text on Symbol") ;; (find-ganesalingampage (+ 22 111) "4.3.3 Text and Symbol: Conclusion") ;; (find-ganesalingampage (+ 22 111) "4.4 Conclusion") ;; (find-ganesalingampage (+ 22 113) "5 Type") ;; (find-ganesalingampage (+ 22 114) "5.1 Distinguishing Notions of Type") ;; (find-ganesalingampage (+ 22 115) "5.1.1 Types as Formal Tags") ;; (find-ganesalingampage (+ 22 118) "5.1.2 Types as Properties") ;; (find-ganesalingampage (+ 22 119) "5.2 Notions of Type in Mathematics") ;; (find-ganesalingampage (+ 22 120) "5.2.1 Aspect as Formal Tags") ;; (find-ganesalingampage (+ 22 121) "5.2.2 Aspect as Properties") ;; (find-ganesalingampage (+ 22 124) "5.3 Type Distinctions in Mathematics") ;; (find-ganesalingampage (+ 22 124) "5.3.1 Methodology") ;; (find-ganesalingampage (+ 22 125) "5.3.2 Examining the Foundations") ;; (find-ganesalingampage (+ 22 129) "5.3.3 Simple Distinctions") ;; (find-ganesalingampage (+ 22 133) "5.3.4 Non-extensionality") ;; (find-ganesalingampage (+ 22 137) "5.3.5 Homogeneity and Open Types") ;; (find-ganesalingampage (+ 22 141) "5.4 Types in Mathematics") ;; (find-ganesalingampage (+ 22 142) "5.4.1 Presenting Type: Syntax and Semantics") ;; (find-ganesalingampage (+ 22 143) "5.4.2 Fundamental Type") ;; (find-ganesalingampage (+ 22 146) "5.4.3 Relational Type") ;; (find-ganesalingampage (+ 22 147) "5.4.4 Inferential Type") ;; (find-ganesalingampage (+ 22 148) "5.4.5 Type Inference") ;; (find-ganesalingampage (+ 22 152) "5.4.6 Type Parametrism") ;; (find-ganesalingampage (+ 22 153) "5.4.7 Subtyping") ;; (find-ganesalingampage (+ 22 153) "5.4.8 Type Coercion") ;; (find-ganesalingampage (+ 22 155) "5.5 Types and Type Theory") ;; (find-ganesalingampage (+ 22 157) "6 Typed Parsing") ;; (find-ganesalingampage (+ 22 159) "6.1 Type Assignment") ;; (find-ganesalingampage (+ 22 161) "6.1.1 Mechanisms") ;; (find-ganesalingampage (+ 22 164) "6.1.2 Example") ;; (find-ganesalingampage (+ 22 166) "6.2 Type Requirements") ;; (find-ganesalingampage (+ 22 167) "6.3 Parsing") ;; (find-ganesalingampage (+ 22 168) "6.3.1 Type") ;; (find-ganesalingampage (+ 22 168) "6.3.2 Variables") ;; (find-ganesalingampage (+ 22 169) "6.3.3 Structural Disambiguation") ;; (find-ganesalingampage (+ 22 169) "6.3.4 Type Cast Minimisation") ;; (find-ganesalingampage (+ 22 169) "6.3.5 Symmetry Breaking") ;; (find-ganesalingampage (+ 22 170) "6.4 Example") ;; (find-ganesalingampage (+ 22 172) "6.5 Further Work") ;; (find-ganesalingampage (+ 22 175) "7 Foundations") ;; (find-ganesalingampage (+ 22 176) "7.1 Approach") ;; (find-ganesalingampage (+ 22 178) "7.2 False Starts") ;; (find-ganesalingampage (+ 22 178) "7.2.1 All Objects as Sets") ;; (find-ganesalingampage (+ 22 180) "7.2.2 Hierarchy of Numbers") ;; (find-ganesalingampage (+ 22 183) "7.2.3 Summary of Standard Picture") ;; (find-ganesalingampage (+ 22 184) "7.2.4 Invisible Embeddings") ;; (find-ganesalingampage (+ 22 186) "7.2.5 Introducing Ontogeny") ;; (find-ganesalingampage (+ 22 190) "7.2.6 Redefinition") ;; (find-ganesalingampage (+ 22 193) "7.2.7 Manual Replacement") ;; (find-ganesalingampage (+ 22 196) "7.2.8 Identification and Conservativity") ;; (find-ganesalingampage (+ 22 197) "7.2.9 Isomorphisms Are Inadequate") ;; (find-ganesalingampage (+ 22 200) "7.3 Central Problems") ;; (find-ganesalingampage (+ 22 200) "7.3.1 Ontology and Epistemology") ;; (find-ganesalingampage (+ 22 201) "7.3.2 Identification") ;; (find-ganesalingampage (+ 22 202) "7.3.3 Ontogeny") ;; (find-ganesalingampage (+ 22 203) "7.3.4 Further Issues") ;; (find-ganesalingampage (+ 22 203) "7.4 Formalism") ;; (find-ganesalingampage (+ 22 203) "7.4.1 Abstraction") ;; (find-ganesalingampage (+ 22 207) "7.4.2 Identification") ;; (find-ganesalingampage (+ 22 214) "7.5 Application") ;; (find-ganesalingampage (+ 22 214) "7.5.1 Simple Objects") ;; (find-ganesalingampage (+ 22 218) "7.5.2 Natural Numbers") ;; (find-ganesalingampage (+ 22 220) "7.5.3 Integers") ;; (find-ganesalingampage (+ 22 227) "7.5.4 Other Numbers") ;; (find-ganesalingampage (+ 22 230) "7.5.5 Sets and Categories") ;; (find-ganesalingampage (+ 22 231) "7.5.6 Numbers and Late Identification") ;; (find-ganesalingampage (+ 22 235) "7.6 Further Work") ;; (find-ganesalingampage (+ 22 237) "8 Extensions") ;; (find-ganesalingampage (+ 22 237) "8.1 Textual Extensions") ;; (find-ganesalingampage (+ 22 238) "8.2 Symbolic Extensions") ;; (find-ganesalingampage (+ 22 240) "8.3 Covert Arguments") ;; (find-ganesalingampage (+ 22 249) "9 Conclusion") ;; (find-ganesalingampage (+ 22 253) "References") ;; (find-ganesalingampage (+ 22 257) "Index") ;; https://academic.oup.com/philmat/article-abstract/25/1/143/2669621 ;; «ganesalingam-gowers» (to ".ganesalingam-gowers") ;; (find-books "__phil/__phil.el" "ganesalingam-gowers") ;; "A Fully Automatic Theorem Prover with Human-Style Output" ;; https://link.springer.com/article/10.1007/s10817-016-9377-1 ;; Ugly version: https://arxiv.org/abs/1309.4501 ;; https://arxiv.org/pdf/1309.4501.pdf (code-pdf-page "ganesalingo" "~/books/__phil/ganesalingam_gowers__a_fully_automatic_theorem_prover_with_human-style_output.pdf") (code-pdf-text "ganesalingo" "~/books/__phil/ganesalingam_gowers__a_fully_automatic_theorem_prover_with_human-style_output.pdf" 1) ;; (find-ganesalingopage) ;; (find-ganesalingopage 1 "Contents") ;; (find-ganesalingopage (+ 1 189) "Index") ;; (find-ganesalingotext "") ;; «gettier» (to ".gettier") ;; (find-books "__phil/__phil.el" "gettier") ;; https://dailynous.com/2021/04/12/edmund-gettier-1927-2021/ (code-pdf-page "gettier" "~/books/__phil/gettier__is_justified_true_belief_knowledge.pdf") (code-pdf-text "gettier" "~/books/__phil/gettier__is_justified_true_belief_knowledge.pdf" 1) ;; (find-gettierpage) ;; (find-gettierpage 1 "Contents") ;; (find-gettierpage (+ 1 189) "Index") ;; (find-gettiertext "") ;; «grayling» (to ".grayling") (code-pdf-page "grayling" "~/books/__phil/grayling__wittgenstein.pdf") (code-pdf-text "grayling" "~/books/__phil/grayling__wittgenstein.pdf") ;; (find-graylingpage 12 "Contents") ;; (find-graylingpage (+ 13 28) "2 The argument of the Tractatus") ;; (find-graylingpage (+ 13 123) "Index") ;; (find-graylingtext "") ;; «habermas» (to ".habermas") ;; (find-books "__habermas/__habermas.el") ;; (code-pdf-page "habermasveryshort" "~/books/__phil/finlayson__habermas_a_very_short_introduction.pdf") (code-pdf-text "habermasveryshort" "~/books/__phil/finlayson__habermas_a_very_short_introduction.pdf") (code-pdf-page "habermaspdom" "~/books/__phil/habermas__the_philosophical_discourse_of_modernity.pdf") (code-pdf-text "habermaspdom" "~/books/__phil/habermas__the_philosophical_discourse_of_modernity.pdf") (code-djvu "habermasstotps" "~/books/__phil/habermas__the_structural_transformation_of_the_public_sphere.djvu") (code-pdf-text "habermasstotps" "~/books/__phil/habermas__the_structural_transformation_of_the_public_sphere.djvu") ;; (find-habermasveryshortpage 10 "Contents") ;; (find-habermasveryshortpage (+ 25 153) "Index") ;; (find-habermasveryshorttext "") ;; (find-habermaspdompage 3 "Contents") ;; (find-habermaspdompage (+ 18 427) "Index") ;; (find-habermaspdomtext "") ;; (find-habermasstotpspage 3 "Contents") ;; (find-habermasstotpspage (+ -139 299) "Index") ;; (find-habermasstotpstext "") ;; (find-fline "~/books/__phil/habermas__the_inclusion_of_the_other_studies_in_political_theory.tar.gz") ;; «hartimo» (to ".hartimo") (code-pdf "hartimopam" "~/books/__phil/hartimo__phenomenology_and_mathematics.pdf") (code-pdf-text "hartimopam" "~/books/__phil/hartimo__phenomenology_and_mathematics.pdf" 1) (code-pdf "hartimotc" "~/books/__phil/hartimo__towards_completeness_husserl_on_theories_of_manifolds.pdf") (code-pdf-text "hartimotc" "~/books/__phil/hartimo__towards_completeness_husserl_on_theories_of_manifolds.pdf" 1) ;; (find-hartimopampage) ;; (find-hartimopampage 1 "Contents") ;; (find-hartimopampage (+ 1 189) "Index") ;; (find-hartimopamtext "") ;; (find-hartimotcpage) ;; (find-hartimotcpage 1 "Contents") ;; (find-hartimotcpage (+ 1 189) "Index") ;; (find-hartimotctext "") ;; «hegel-intros» (to ".hegel-intros") ;; (find-books "__phil/__phil.el" "hegel-intros") (code-pdf-page "hegelintros" "~/books/__phil/hegel_singh_mohapatra__reading_hegel_the_introductions.pdf") (code-pdf-text "hegelintros" "~/books/__phil/hegel_singh_mohapatra__reading_hegel_the_introductions.pdf" 1) ;; (find-hegelintrospage) ;; (find-hegelintrospage 1 "Contents") ;; (find-hegelintrospage (+ 1 189) "Index") ;; (find-hegelintrostext "") ;; «heidegger» (to ".heidegger") (code-pdf-page "heideggerplt" "~/books/__phil/heidegger__poetry_language_thought.pdf") (code-pdf-text "heideggerplt" "~/books/__phil/heidegger__poetry_language_thought.pdf") ;; (find-heideggerpltpage 6 "Contents") ;; (find-heideggerpltpage (+ 1 1) "Index") ;; (find-heideggerplttext "") ;; «krantz» (to ".krantz") ;; (find-books "__phil/__phil.el" "krantz") (code-pdf-page "howtoteachm" "~/books/__phil/krantz__how_to_teach_mathematics.pdf") (code-pdf-text "howtoteachm" "~/books/__phil/krantz__how_to_teach_mathematics.pdf" 21) ;; (find-howtoteachmpage) ;; (find-howtoteachmpage 8 "Contents") ;; (find-howtoteachmpage 10 "Preface to the third edition") ;; (find-howtoteachmpage (+ 21 1) "Chapter 1. Guiding Principles") ;; (find-howtoteachmpage (+ 21 1) "1.0. Chapter Overview") ;; (find-howtoteachmpage (+ 21 1) "1.1. Respect") ;; (find-howtoteachmpage (+ 21 3) "1.2. Prepare") ;; (find-howtoteachmpage (+ 21 5) "1.3. Speak Up") ;; (find-howtoteachmpage (+ 21 6) "1.4. Lectures") ;; (find-howtoteachmpage (+ 21 10) "1.5. Questions") ;; (find-howtoteachmpage (+ 21 14) "1.6. Time") ;; (find-howtoteachmpage (+ 21 16) "1.7. Applications") ;; (find-howtoteachmpage (+ 21 20) "1.8. The Moore Method") ;; (find-howtoteachmpage (+ 21 23) "Chapter 2. Practical Matters") ;; (find-howtoteachmpage (+ 21 23) "2.0. Chapter Overview") ;; (find-howtoteachmpage (+ 21 23) "2.1. Voice") ;; (find-howtoteachmpage (+ 21 25) "2.2. Eye Contact") ;; (find-howtoteachmpage (+ 21 26) "2.3. Blackboard Technique") ;; (find-howtoteachmpage (+ 21 30) "2.4. Homework") ;; (find-howtoteachmpage (+ 21 32) "2.5. Office Hours") ;; (find-howtoteachmpage (+ 21 35) "2.6. Designing a Course") ;; (find-howtoteachmpage (+ 21 36) "2.7. Handouts") ;; (find-howtoteachmpage (+ 21 37) "2.8. Teaching Evaluations") ;; (find-howtoteachmpage (+ 21 43) "2.9. Exams") ;; (find-howtoteachmpage (+ 21 49) "2.10. Grading") ;; (find-howtoteachmpage (+ 21 52) "2.11. The Syllabus (and the Course Diary)") ;; (find-howtoteachmpage (+ 21 55) "2.12. Choosing a Textbook") ;; (find-howtoteachmpage (+ 21 58) "2.13. Large Lectures") ;; (find-howtoteachmpage (+ 21 63) "Help Sessions") ;; (find-howtoteachmpage (+ 21 65) "2.15. On Being a TA") ;; (find-howtoteachmpage (+ 21 66) "2.16. Tutors") ;; (find-howtoteachmpage (+ 21 69) "Chapter 3. Spiritual Matters") ;; (find-howtoteachmpage (+ 21 69) "3.0. Chapter Overview") ;; (find-howtoteachmpage (+ 21 69) "3.1. Breaking the Ice") ;; (find-howtoteachmpage (+ 21 70) "3.2. Math Anxiety") ;; (find-howtoteachmpage (+ 21 71) "3.3. Inductive vs. Deductive Method") ;; (find-howtoteachmpage (+ 21 74) "3.4. Who Is My Audience?") ;; (find-howtoteachmpage (+ 21 76) "3.5. Mentors and Neophytes") ;; (find-howtoteachmpage (+ 21 78) "3.6. Teaching Reform") ;; (find-howtoteachmpage (+ 21 83) "3.7. STEM") ;; (find-howtoteachmpage (+ 21 84) "3.8. How to Ask, How to Answer") ;; (find-howtoteachmpage (+ 21 86) "APPENDIX to 3.8: Suggestions for Encouraging Class Participation") ;; (find-howtoteachmpage (+ 21 89) "3.9. Inquiry-Based Learning") ;; (find-howtoteachmpage (+ 21 89) "3.10. The Art of Discourse") ;; (find-howtoteachmpage (+ 21 91) "3.11. Do I Have to Teach Calculus Again?") ;; (find-howtoteachmpage (+ 21 93) "Chapter 4. The Electronic World") ;; (find-howtoteachmpage (+ 21 93) "4.0. Chapter Overview") ;; (find-howtoteachmpage (+ 21 93) "4.1. Teaching with the Internet") ;; (find-howtoteachmpage (+ 21 94) "4.2. Online Learning vs. Classroom Learning") ;; (find-howtoteachmpage (+ 21 95) "4.3. MOOCs") ;; (find-howtoteachmpage (+ 21 98) "4.4. The Khan Academy") ;; (find-howtoteachmpage (+ 21 98) "4.5. The Flipped Classroom") ;; (find-howtoteachmpage (+ 21 100) "4.6. Computer Labs") ;; (find-howtoteachmpage (+ 21 101) "4.7. Clickers") ;; (find-howtoteachmpage (+ 21 102) "4.8. Homework Solutions on the Internet") ;; (find-howtoteachmpage (+ 21 104) "4.9. Online Software") ;; (find-howtoteachmpage (+ 21 105) "4.10. The Course Web Page") ;; (find-howtoteachmpage (+ 21 106) "4.11. Social Media") ;; (find-howtoteachmpage (+ 21 107) "4.12. SmartBoards") ;; (find-howtoteachmpage (+ 21 108) "4.13. Reference URLs") ;; (find-howtoteachmpage (+ 21 111) "Chapter 5. Difficult Matters") ;; (find-howtoteachmpage (+ 21 111) "5.0. Chapter Overview") ;; (find-howtoteachmpage (+ 21 111) "5.1. Non-Native English Speakers") ;; (find-howtoteachmpage (+ 21 113) "5.2. Late Work") ;; (find-howtoteachmpage (+ 21 113) "5.3. Cheating") ;; (find-howtoteachmpage (+ 21 115) "5.4. Incompletes") ;; (find-howtoteachmpage (+ 21 116) "5.5. Discipline") ;; (find-howtoteachmpage (+ 21 119) "5.6. Mistakes in Class") ;; (find-howtoteachmpage (+ 21 120) "5.7. Advice and Consent") ;; (find-howtoteachmpage (+ 21 121) "5.8. Sexism, Racism, Misogyny, and Related Problems") ;; (find-howtoteachmpage (+ 21 124) "5.9. Begging and Pleading") ;; (find-howtoteachmpage (+ 21 127) "Chapter 6. A New Beginning") ;; (find-howtoteachmpage (+ 21 127) "6.0. Chapter Overview") ;; (find-howtoteachmpage (+ 21 127) "6.1. The Role of the University Professor") ;; (find-howtoteachmpage (+ 21 128) "6.2. Closing Thoughts") ;; (find-howtoteachmpage (+ 21 131) "Bibliography") ;; (find-howtoteachmpage (+ 21 137) "Index") ;; (find-howtoteachmtext "") ;; «krieger» (to ".krieger") (code-pdf-page "krieger" "~/books/__phil/krieger__doing_mathematics_convention_subject_calculation_analogy.pdf") (code-pdf-text "krieger" "~/books/__phil/krieger__doing_mathematics_convention_subject_calculation_analogy.pdf") ;; (find-kriegerpage 8 "Contents") ;; (find-kriegerpage 14 "Preface") ;; (find-kriegerpage (+ 19 1) "Introduction") ;; (find-kriegerpage (+ 19 189) "5. A Syzygy Between a Research Program") ;; (find-kriegerpage (+ 19 435) "Index") ;; (find-kriegertext "") ;; ONE Introduction 1 ;; TWO Convention: How Means and Variances are Entrenched as Statistics 18 ;; THREE Subject: The Fields of Topology 44 ;; Appendix: The Two-Dimensional Ising Model of a Ferromagnet 95 ;; FOUR Calculation: Strategy, Structure, and Tactics in Applying Classical ;; Analysis 106 ;; FIVE Analogy: A Syzygy Between a Research Program in Mathematics and a ;; Research Program in Physics 189 ;; Six In Concreto: The City of Mathematics 231 ;; Epilog 264 ;; APPENDICES ;; A: C.N. Yang, "The Spontaneous Magnetization of a ;; Two-Dimensional Ising Model" (1952) 266 ;; B: C. Fefferman and L.A. Seco, "On the Dirac and Schwinger ;; Corrections to the Ground-State Energy of an Atom," (1994, ;; pp. 1-15) 275 ;; C: J. Leray, "Sur la forme des espaces topologiques et sur ;; les points fixes des representations" (1945, pp. 96-99) ;; 290 ;; D: A. Weil, "Une lettre a Simone Weil" (1940) 293 ;; «kuhn» (to ".kuhn") ;; http://www.des.emory.edu/mfp/Kuhnsnap.html ;; http://gigapedia.org/items/138208/the-structure-of-scientific-revolutions-3rd-ed ;; http://en.wikipedia.org/wiki/The_Structure_of_Scientific_Revolutions ;; ``...not "bad Newton," just different.'' (code-djvu "kuhnssr" "~/books/__phil/kuhn__the_structure_of_scientific_revolutions.djvu") (code-djvutotext "kuhnssr" "~/books/__phil/kuhn__the_structure_of_scientific_revolutions.djvu") ;; (find-kuhnssrpage 3 "Contents") ;; (find-kuhnssrpage (+ 12 1) "1. Introduction. A Role for History") ;; (find-kuhnssrpage (+ 12 174) "Postscript - 1969") ;; (find-kuhnssrpage (+ 12 211) "Index") ;; (find-kuhnssrtext "") ;; «lakatos» (to ".lakatos") ;; lakatos__proofs_and_refutations.djvu (code-djvu "lakatospr" "~/books/__phil/lakatos__proofs_and_refutations.djvu") (code-djvutotext "lakatospr" "~/books/__phil/lakatos__proofs_and_refutations.djvu") ;; (find-lakatosprpage 3 "Contents") ;; (find-lakatosprpage (+ 10 2) "blind" "empty") ;; (find-lakatosprtext "blind" "empty") ;; (find-lakatosprpage (+ 10 4) "investigation of informal mathematics") ;; (find-lakatosprtext "investigation of informal mathematics") ;; (find-lakatosprpage (+ 10 6) "1. A Problem and a Conjecture") ;; (find-lakatosprtext "1. A Problem and a Conjecture") ;; (find-lakatosprpage (+ 10 45) "we assume familiarity with lemmas of type x") ;; (find-lakatosprtext "we assume familiarity with lemmas of type x") ;; (find-lakatosprpage (+ 10 170) "Index of subjects") ;; (find-lakatosprtext "") ;; «liljedahl» (to ".liljedahl") ;; (find-books "__phil/__phil.el" "liljedahl") ;; (find-books "__cats/__cats.el" "soto-andrade") ;; https://www.researchgate.net/profile/Jorge_Soto-Andrade ;; DOI: 10.1007/978-3-030-29215-7_4 (code-pdf-page "liljedahl" "~/books/__phil/felmer_liljedahl_koichu__problem_solving_in_mathematics_instruction_and_teacher_professional_development.pdf") (code-pdf-text "liljedahl" "~/books/__phil/felmer_liljedahl_koichu__problem_solving_in_mathematics_instruction_and_teacher_professional_development.pdf" 17) ;; (find-liljedahlpage) ;; (find-liljedahlpage 10 "Contents") ;; (find-liljedahlpage (+ 17 67) "Acknowledging the Ouroboros") ;; (find-liljedahltext (+ 17 67) "Acknowledging the Ouroboros") ;; (find-liljedahlpage (+ 17 68) "Maturana") ;; (find-liljedahltext (+ 17 68) "Maturana") ;; «longuenesse» (to ".longuenesse") ;; (find-angg ".emacs.papers" "lambalgen") (code-pdf-page "longhegel" "~/books/__phil/longuenesse__hegel_s_critique_of_metaphysics.pdf") (code-pdf-text "longhegel" "~/books/__phil/longuenesse__hegel_s_critique_of_metaphysics.pdf") ;; (find-longhegelpage 11 "Contents") ;; (find-longhegelpage (+ 24 244) "Index") ;; (find-longhegeltext "") (code-pdf-page "longkant" "~/books/__phil/longuenesse__kant_and_the_capacity_to_judge.pdf") (code-pdf-text "longkant" "~/books/__phil/longuenesse__kant_and_the_capacity_to_judge.pdf") ;; (find-longkantpage 7 "Contents") ;; (find-longkantpage (+ 14 409) "Index") ;; (find-longkanttext "") ;; «mancosu» (to ".mancosu") ;; (find-books "__phil/__phil.el" "mancosu") ;; (find-LATEX "catsem-u.bib" "bib-Mancosu") (code-pdf-page "mancosupmp" "~/books/__phil/mancosu__the_philosophy_of_mathematical_practice.pdf") (code-pdf-text "mancosupmp" "~/books/__phil/mancosu__the_philosophy_of_mathematical_practice.pdf" 14) ;; (find-mancosupmppage) ;; (find-mancosupmppage 9 "Contents") ;; (find-mancosupmptext 9 "Contents") ;; (find-mancosupmppage (+ 14 1) "Introduction") ;; (find-mancosupmppage (+ 14 22) "1. Visualizing in Mathematics") ;; (find-mancosupmppage (+ 14 43) "2. Cognition of Structure") ;; (find-mancosupmppage (+ 14 65) "3. Diagram-Based Geometric Practice") ;; (find-mancosupmppage (+ 14 80) "4. The Euclidean Diagram (1995)") ;; (find-mancosupmppage (+ 14 134) "5. Mathematical Explanation: Why it Matters") ;; (find-mancosupmppage (+ 14 151) "6. Beyond Unification") ;; (find-mancosupmppage (+ 14 162) "category theory") ;; (find-mancosupmptext (+ 14 162) "category theory") ;; (find-mancosupmppage (+ 14 179) "7. Purity as an Ideal of Proof") ;; (find-mancosupmppage (+ 14 198) "8. Reflections on the Purity of Method in Hilbert's Grundlagen der Geometrie") ;; (find-mancosupmppage (+ 14 256) "9. Mathematical Concepts and Definitions") ;; (find-mancosupmppage (+ 14 276) "10. Mathematical Concepts: Fruitfulness and Naturalness") ;; (find-mancosupmppage (+ 14 302) "11. Computers in Mathematical Inquiry") ;; (find-mancosupmppage (+ 14 317) "12. Understanding Proofs") ;; (find-mancosupmppage (+ 14 354) "13. What Structuralism Achieves") ;; (find-mancosupmppage (+ 14 364) "certain category") ;; (find-mancosupmptext (+ 14 364) "certain category") ;; (find-mancosupmppage (+ 14 370) "14. `There is No Ontology Here': Visual and Structural Geometry in Arithmetic") ;; (find-mancosupmppage (+ 14 395) "short list of axioms") ;; (find-mancosupmptext (+ 14 395) "short list of axioms") ;; (find-mancosupmppage (+ 14 407) "15. The Boundary Between Mathematics and Physics") ;; (find-mancosupmppage (+ 14 417) "16. Mathematics and Physics: Strategies of Assimilation") ;; (find-mancosupmppage (+ 14 425) "16.4 The umbral calculus") ;; (find-mancosupmptext (+ 14 425) "16.4 The umbral calculus") ;; (find-mancosupmppage (+ 14 441) "Index of Names") ;; (find-mancosupmptext (+ 14 441) "Index of Names") ;; (find-mancosupmptext "") ;; «maybee» (to ".maybee") ;; (find-books "__phil/__phil.el" "maybee") (code-pdf-page "picturinghegel" "~/books/__phil/maybee__picturing_hegel.pdf") (code-pdf-text "picturinghegel" "~/books/__phil/maybee__picturing_hegel.pdf" 1) ;; (find-picturinghegelpage) ;; (find-picturinghegelpage 1 "Contents") ;; (find-picturinghegelpage (+ 1 189) "Index") ;; (find-picturinghegeltext "") ;; «reale» (to ".reale") ;; (find-books "__phil/__phil.el" "reale") ;; https://pt.wikipedia.org/wiki/Integralismo_no_Brasil ;; https://pt.wikipedia.org/wiki/Teoria_tridimensional_do_direito (code-pdf "realefd" "~/books/__phil/reale__filosofia_do_direito.pdf") (code-pdf-text "realefd" "~/books/__phil/reale__filosofia_do_direito.pdf" 1) ;; (find-realefdpage) ;; (find-realefdpage 10 "Índice geral") ;; (find-realefdpage (+ 1 189) "Index") ;; (find-realefdtext "") ;; spade on sartre ;; http://pvspade.com/Sartre/cookbook.html ;; http://pvspade.com/Sartre/pdf/sartre1.pdf ;; «tupinamba» (to ".tupinamba") ;; (find-books "__phil/__phil.el" "tupinamba") (code-pdf-page "tupinambahlz" "~/books/__phil/tupinamba__hegel_lacan_zizek.pdf") (code-pdf-text "tupinambahlz" "~/books/__phil/tupinamba__hegel_lacan_zizek.pdf" 1) ;; (find-tupinambahlzpage) ;; (find-tupinambahlzpage 1 "Contents") ;; (find-tupinambahlzpage (+ 1 189) "Index") ;; (find-tupinambahlztext "") ;; «viveiros-de-castro» (to ".viveiros-de-castro") ;; (find-books "__phil/__phil.el" "viveiros-de-castro") (code-pdf "vivcias" "~/books/__phil/viveiros_de_castro__a_inconstancia_da_alma_selvagem.pdf") (code-pdf-text "vivcias" "~/books/__phil/viveiros_de_castro__a_inconstancia_da_alma_selvagem.pdf" 1) ;; (find-vivciaspage) ;; (find-vivciaspage 3 "Contents") ;; (find-vivciaspage (+ -6 11) "Prólogo") ;; (find-vivciaspage (+ -20 535) "Sobre o autor") ;; (find-vivciaspage (+ -20 543) "Índice onomástico") ;; (find-vivciaspage (+ -20 549) "Índice de figuras") ;; (find-vivciaspage (+ 1 189) "Index") ;; (find-vivciastext "") (code-pdf "vivccm" "~/books/__phil/viveiros_de_castro__cannibal_metaphysics.pdf") (code-pdf-text "vivccm" "~/books/__phil/viveiros_de_castro__cannibal_metaphysics.pdf" 1) ;; (find-vivccmpage) ;; (find-vivccmpage 7 "Table of Contents") ;; (find-vivccmpage 9 "Introduction") ;; (find-vivccmpage 39 "1. A Remarkable Reversal") ;; (find-vivccmpage 221 "Bibliography") ;; (find-vivccmtext "") (code-pdf "vivcmundo" "~/books/__phil/viveiros_de_castro_danowski__ha_mundo_por_vir.pdf") (code-pdf-text "vivcmundo" "~/books/__phil/viveiros_de_castro_danowski__ha_mundo_por_vir.pdf" 1) ;; (find-vivcmundopage) ;; (find-vivcmundopage 3 "Contents") ;; (find-vivcmundopage (+ -80 161) "Referências") ;; (find-vivcmundotext "") ;; «wittgenstein» (to ".wittgenstein") (code-pdf-page "tractatus" "~/books/__phil/wittgenstein__tractatus_logico_philosophicus.pdf") (code-pdf-text "tractatus" "~/books/__phil/wittgenstein__tractatus_logico_philosophicus.pdf") ;; (find-tractatuspage 6 "Contents") ;; (find-tractatuspage 10 "Introduction") ;; (find-tractatuspage (+ 27 3) "Preface") ;; (find-tractatuspage (+ 27 92) "Index") ;; (find-tractatustext "") ;; «zalamea» (to ".zalamea") ;; (find-books "__phil/__phil.el" "zalamea") (code-pdf "zalamea" "~/books/__phil/zalamea__synthetic_philosophy_of_contemporary_mathematics.pdf") (code-pdf-text "zalamea" "~/books/__phil/zalamea__synthetic_philosophy_of_contemporary_mathematics.pdf" 1) ;; (find-zalameapage) ;; (find-zalameapage 5 "Contents") ;; (find-zalameapage (+ 8 3) "Introduction: Options Traditionally Available to Mathematical Philosophy, and a Prospectus of the Essay") ;; (find-zalameapage (+ 8 19) "Part 1: The General Environment of Contemporary Mathematics") ;; (find-zalameapage (+ 8 21) "1. The Specificity of Modem and Contemporary Mathematics") ;; (find-zalameapage (+ 8 49) "2. Advanced Mathematics in the Tracts of Mathematical Philosophy: A Bibliographical Survey") ;; (find-zalameapage (+ 8 109) "3. Toward a Synthetic Philosophy of Contemporary Mathematics") ;; (find-zalameapage (+ 8 131) "Part 2: Case Studies") ;; (find-zalameapage (+ 8 133) "4. Grothendieck: Forms of High Mathematical Creativity") ;; (find-zalameapage (+ 8 173) "5. Eidal Mathematics: Serre, Langlands, Lawvere, Shelah") ;; (find-zalameapage (+ 8 205) "6. Quiddital Mathematics: Atiyah, Lax, Connes, Kontsevich") ;; (find-zalameapage (+ 8 239) "7. Archeal Mathematics: Freyd, Simpson, Zilber, Gromov") ;; (find-zalameapage (+ 8 267) "Part 3: Synthetic Sketches") ;; (find-zalameapage (+ 8 269) "8. Fragments of a Transitory Ontology") ;; (find-zalameapage (+ 8 295) "9. Comparative Epistemology and Sheafification") ;; (find-zalameapage (+ 8 327) "10. Phenomenology of Mathematical Creativity") ;; (find-zalameapage (+ 8 353) "11. Mathematics and Cultural Circulation") ;; (find-zalameapage (+ 8 377) "Index of Names") ;; (find-zalameatext "") ;; naomi_klein__no_logo.doc ;; naomi_klein__no_logo.pdf ;; naomi_klein__no_logo.txt ;; sennett__the_culture_of_the_new_capitalism.pdf ;; wittgenstein__tractatus_cover.png ;; wittgenstein__tractatus_logico_philosophicus.pdf ;; http://simplycharly.com/podcasts/rebecca-goldstein ;; http://gigapedia.com/items/30042/incompleteness--the-proof-and-paradox-of-kurt-g--del--great-discoveries- ;; http://www.marxists.org/reference/subject/philosophy/works/ge/feyerabe.htm ;; Thomas Kuhn: The Structure of Scientific Revolutions ;; ;; Paul Feyerabend: ;; http://www.amazon.com/Against-Method-Fourth-Paul-Feyerabend/dp/1844674428/ ;; http://www.amazon.com/Against-Method-Scientific-Lakatos-Feyerabend-Correspondence/dp/0226467759/ ;; Amartya Sen: The Idea of Justice (code-pdf-page "senjustice" "~/books/__phil/sen__the_idea_of_justice.pdf") (code-pdf-text "senjustice" "~/books/__phil/sen__the_idea_of_justice.pdf") ;; (find-senjusticepage 6 "Contents") ;; (find-senjusticepage (+ 30 1) "Introduction: An Approach to Justice") ;; (find-senjusticepage (+ 30 31) "part i. The Demands of Justice") ;; (find-senjusticepage (+ 30 31) "1 Reason and Objectivity") ;; (find-senjusticepage (+ 30 52) "2 Rawls and Beyond") ;; (find-senjusticepage (+ 30 75) "3 Institutions and Persons") ;; (find-senjusticepage (+ 30 87) "4 Voice and Social Choice") ;; (find-senjusticepage (+ 30 114) "5 Impartiality and Objectivity") ;; (find-senjusticepage (+ 30 124) "6 Closed and Open Impartiality") ;; (find-senjusticepage (+ 30 155) "part ii. Forms of Reasoning") ;; (find-senjusticepage (+ 30 155) "7 Position, Relevance and Illusion") ;; (find-senjusticepage (+ 30 174) "8 Rationality and Other People") ;; (find-senjusticepage (+ 30 194) "9 Plurality of Impartial Reasons") ;; (find-senjusticepage (+ 30 208) "10 Realizations, Consequences and Agency") ;; (find-senjusticepage (+ 30 225) "part iii. The Materials of Justice") ;; (find-senjusticepage (+ 30 225) "11 Lives, Freedoms and Capabilities") ;; (find-senjusticepage (+ 30 253) "12 Capabilities and Resources") ;; (find-senjusticepage (+ 30 269) "13 Happiness, Well-being and Capabilities") ;; (find-senjusticepage (+ 30 291) "14 Equality and Liberty") ;; (find-senjusticepage (+ 30 321) "part iv. Public Reasoning and Democracy") ;; (find-senjusticepage (+ 30 321) "15 Democracy as Public Reason") ;; (find-senjusticepage (+ 30 338) "16 The Practice of Democracy") ;; (find-senjusticepage (+ 30 355) "17 Human Rights and Global Imperatives") ;; (find-senjusticepage (+ 30 388) "18 Justice and the World") ;; (find-senjusticepage (+ 30 417) "Notes") ;; (find-senjusticepage (+ 30 451) "Name Index") ;; (find-senjusticepage (+ 30 462) "Subject Index") ;; (find-senjusticetext "") (code-pdf-page "rawlsjustice" "~/books/__phil/rawls__a_theory_of_justice__revised_edition.pdf") (code-pdf-text "rawlsjustice" "~/books/__phil/rawls__a_theory_of_justice__revised_edition.pdf") ;; (find-rawlsjusticepage 8 "Contents") ;; (find-rawlsjusticepage (+ 23 521) "Index") ;; (find-rawlsjusticetext "") (code-pdf-page "badioucomm" "~/books/__phil/badiou__the_communist_hypothesis.pdf") (code-pdf-text "badioucomm" "~/books/__phil/badiou__the_communist_hypothesis.pdf") ;; (find-badioucommpage 3 "Contents") ;; (find-badioucommpage (+ 1 1) "Index") ;; (find-badioucommtext "") (code-pdf-page "badioumodel" "~/books/__phil/badiou__the_concept_of_model__an_introduction_to_the_materialist_epistemology_of_mathematics.pdf") (code-pdf-text "badioumodel" "~/books/__phil/badiou__the_concept_of_model__an_introduction_to_the_materialist_epistemology_of_mathematics.pdf") ;; (find-badioumodelpage 7 "Contents") ;; (find-badioumodelpage (+ 1 1) "Index") ;; (find-badioumodeltext "") (code-pdf-page "jorionverite" "~/books/__phil/jorion__comment_la_verite_et_la_realite_furent_inventes.pdf") (code-pdf-text "jorionverite" "~/books/__phil/jorion__comment_la_verite_et_la_realite_furent_inventes.pdf") ;; (find-jorionveritepage 1 "Contents") ;; (find-jorionveritepage 385 "Contents") ;; (find-jorionveritepage (+ 1 1) "Index") ;; (find-jorionveritetext "") (code-pdf-page "jorionenron" "~/books/__phil/jorion__investing_in_a_post_enron_world.pdf") (code-pdf-text "jorionenron" "~/books/__phil/jorion__investing_in_a_post_enron_world.pdf") ;; (find-jorionenronpage 6 "Contents") ;; (find-jorionenronpage (+ 13 233) "Index") ;; (find-jorionenrontext "") (code-pdf-page "jorionargent" "~/books/__phil/jorion__l_argent__mode_d_emploi.pdf") (code-pdf-text "jorionargent" "~/books/__phil/jorion__l_argent__mode_d_emploi.pdf") ;; (find-jorionargentpage 1 "Contents") ;; (find-jorionargentpage 396 "Contents") ;; (find-jorionargentpage (+ 1 1) "Index") ;; (find-jorionargenttext "") (code-pdf-page "jorionsubprimes" "~/books/__phil/jorion__la_crise__des_subprimes_au_seisme_financier_planetaire.pdf") (code-pdf-text "jorionsubprimes" "~/books/__phil/jorion__la_crise__des_subprimes_au_seisme_financier_planetaire.pdf") ;; (find-jorionsubprimespage 1 "Contents") ;; (find-jorionsubprimespage 347 "Contents") ;; (find-jorionsubprimespage (+ 1 1) "Index") ;; (find-jorionsubprimestext "") (code-pdf-page "jorioncapag" "~/books/__phil/jorion__le_capitalisme_a_l_agonie.pdf") (code-pdf-text "jorioncapag" "~/books/__phil/jorion__le_capitalisme_a_l_agonie.pdf") ;; (find-jorioncapagpage 1 "Contents") ;; (find-jorioncapagpage 347 "Contents") ;; (find-jorioncapagpage (+ 1 1) "Index") ;; (find-jorioncapagtext "") (code-pdf-page "lietaer" "~/books/__phil/lietaer__the_future_of_money.pdf") (code-pdf-text "lietaer" "~/books/__phil/lietaer__the_future_of_money.pdf") ;; (find-lietaerpage 1 "Contents") ;; (find-lietaerpage (+ 1 1) "Index") ;; (find-lietaertext "") (code-pdf-page "stiegleractingout" "~/books/__phil/stiegler__acting_out__meridian__crossing_aesthetics_.pdf") (code-pdf-text "stiegleractingout" "~/books/__phil/stiegler__acting_out__meridian__crossing_aesthetics_.pdf") ;; (find-stiegleractingoutpage 7 "Contents") ;; (find-stiegleractingoutpage (+ 10 91) "Index") ;; (find-stiegleractingouttext "") (code-pdf-page "stieglercleu1" "~/books/__phil/stiegler__constituer_l_europe___tome_1__dans_un_monde_sans_vergogne.pdf") (code-pdf-text "stieglercleu1" "~/books/__phil/stiegler__constituer_l_europe___tome_1__dans_un_monde_sans_vergogne.pdf") ;; (find-stieglercleu1page 1 "Contents") ;; (find-stieglercleu1page (+ 1 1) "Index") ;; (find-stieglercleu1text "") (code-pdf-page "stieglerechot" "~/books/__phil/stiegler__echographies_of_television__filmed_interviews.pdf") (code-pdf-text "stieglerechot" "~/books/__phil/stiegler__echographies_of_television__filmed_interviews.pdf") ;; (find-stieglerechotpage 3 "Contents") ;; (find-stieglerechotpage (+ 1 1) "Index") ;; (find-stieglerechottext "") (code-pdf-page "stieglerncpoleco" "~/books/__phil/stiegler__for_a_new_critique_of_political_economy.pdf") (code-pdf-text "stieglerncpoleco" "~/books/__phil/stiegler__for_a_new_critique_of_political_economy.pdf") ;; (find-stieglerncpolecopage 4 "Contents") ;; (find-stieglerncpolecopage (+ 4 143) "Index") ;; (find-stieglerncpolecotext "") (code-pdf-page "stieglertelecrat" "~/books/__phil/stiegler__la_telecratie_contre_la_democratie.pdf") (code-pdf-text "stieglertelecrat" "~/books/__phil/stiegler__la_telecratie_contre_la_democratie.pdf") ;; (find-stieglertelecratpage 1 "Contents") ;; (find-stieglertelecratpage (+ 1 1) "Index") ;; (find-stieglertelecrattext "") ;; https://www.hpsst.com/uploads/6/2/9/3/62931075/bunge_obituary.pdf ;; "A house built on sand? A critical examination of the concept of ;; 'identity' within contemporary 'identity politics', from a ;; sociological perspective." ;; https://www.interaliamag.org/articles/adrian-holme-2/ ;; https://www.filosofas.org/post/introdu%C3%A7%C3%A3o-%C3%A0-l%C3%B3gica-desde-uma-perspectiva-feminista ;; ;; Local Variables: ;; mode: emacs-lisp ;; coding: raw-text-unix ;; End: