# Assistant conversation VVF4RK - Canonical URL: - Resource IRI: - Type: assistant conversation - Mode: quick ## Transcript ### 1. User read smith against fantology and think about how some of its thoughts might apply to the other things that this research library is about... ### 2. Assistant tool calls #### Tool call: `list_documents` ```json {} ``` #### Tool call: `search_text` ```json { "query": "fantology Smith" } ``` ### 3. Tool result: list_documents FOLDERS - Accounting Algebra & Property Theory - Living Structure, Wholeness & Beauty - Living Structure, Wholeness & Beauty - ontology - Procedural Generation & Co-Creation - Roads, Trails & Movement - Scenario-Based & Behavioral Programming - Technology, Scale & Conviviality - Terrain, Hydrology & Erosion - Water Simulation & Rendering Accounting Algebra & Property Theory (4) - #GANFP9 A Fundamental Duality in the Mathematical and Natural Sciences: From Logic to Biology - 2024 | David Ellerman | 53 pp. Micro abstract: Traces an overlooked subset–partition duality—from logic and category theory through entropy and quantum indefiniteness to selectionist and generative mechanisms in biology. - #NBH3BE Algebraic Models for Accounting Systems - 2010 | Derek J. S. Robinson, José García Pérez, Robert A. Nehmer, Salvador Cruz Rambaud | World Scientific | 255 pp. Micro abstract: Develops accounting theory algebraically: balance vectors as modules, transactions as a group, and whole accounting systems as automata with quotients, homomorphisms, and decision algorithms for audit and control. - #7ESDBJ Economics, Accounting, and Property Theory - 1982 | David P. Ellerman | Lexington Books | 110 pp. Micro abstract: Ellerman's vector-accounting monograph: double entry generalized to property vectors ("accounting without valuation"), grounding a property-theoretic account of appropriation, the firm, and goodwill. - #C8FHDZ On implication and negation in partition logic - 2025 | , David Ellerman | Open Journal of Mathematical Sciences | 9 pp. | doi:10.30538/oms2025.0250 Micro abstract: Develops implication as a refinement-sensitive operation on set partitions, showing how relative negation yields local Boolean cores within the non-distributive algebra of partitions. Living Structure, Wholeness & Beauty (9) - #MH5J8D Beautimeter: Harnessing GPT for Assessing Architectural and Urban Beauty Based on the 15 Properties of Living Structure - 2025 | Bin Jiang | AI | 12 pp. | doi:10.3390/ai6040074 Micro abstract: Presents Beautimeter, a GPT-based tool that scores buildings and urban scenes against Christopher Alexander’s 15 properties of living structure to assess their coherence and beauty. - #XW22YY Generative Codes: The Path to Building Welcoming, Beautiful, Sustainable Neighborhoods - 2005 | Brian Hanson, Christopher Alexander, Maggie Moore Alexander, Michael Mehaffy, Randall Schmidt | Center for Environmental Structure | 21 pp. Micro abstract: Argues that living neighborhoods arise from generative codes: ordered, participatory steps that let buildings and public spaces unfold from local people, land, and context. - #SKRF4C Geography as a Science of the Earth’s Surface Founded on the Third View of Space - 2022 | Bin Jiang | Annals of GIS | 14 pp. | doi:10.1080/19475683.2021.1966502 Micro abstract: Recasts geography around an organismic view of space, using scaling and spatial dependence to understand—and deliberately create—places with greater living structure. - #PXG56P Harmony-Seeking Computations: A Science of Non-Classical Dynamics Based on the Progressive Evolution of the Larger Whole - 2009 | Christopher Alexander | Unpublished manuscript | 66 pp. Micro abstract: Proposes harmony-seeking computation as a creative process that repeatedly strengthens latent centers in a configuration while preserving and deepening the larger whole. - #MJKTBB Living Images: A Recursive Approach to Computing the Structural Beauty of Images or the Livingness of Space - 2023 | Bin Jiang, Chris de Rijke | Annals of the American Association of Geographers | 19 pp. | doi:10.1080/24694452.2023.2178376 Micro abstract: Measures an image’s structural beauty by recursively extracting its nested substructures, revealing a compact hierarchy that also captures visual saliency. - #3XSLTA Structural Beauty: A Structure-Based Computational Approach to Quantifying the Beauty of an Image - 2021 | Bin Jiang, Chris de Rijke | Journal of Imaging | 15 pp. | doi:10.3390/jimaging7050078 Micro abstract: Proposes a quantitative measure of structural beauty based on how many substructures an image contains and how strongly they form a hierarchy across scales. - #ZU8GZV Structure-Preserving Transformations - 2002 | Christopher Alexander | The Nature of Order, Book Two: The Process of Creating Life | 4 pp. | doi:10.2307/j.ctv27ftw6c.5 Micro abstract: Explains structure-preserving transformations: incremental changes that extend the centers and relationships already present in a place rather than weakening its wholeness. - #AULNWD The Nature of Poetic Order - 1998 | Richard P. Gabriel | Warren Wilson Alumni Conference, Mount Holyoke | 99 pp. Micro abstract: Gabriel's slide essay relating poetry's formal order to Christopher Alexander's ideas of generative structure, exploring how constraint and pattern produce living order in creative work. - #BYG3BQ Wholeness as a Hierarchical Graph to Capture the Nature of Space - 2015 | Bin Jiang | International Journal of Geographical Information Science | 14 pp. | doi:10.1080/13658816.2015.1038542 Micro abstract: Models spatial wholeness as a hierarchical graph of mutually reinforcing centers, using PageRank and scaling depth to quantify the life of parts and wholes. ontology (2) - #CGE2NC Against Fantology - 2005 | Barry Smith | Experience and Analysis | 22 pp. Micro abstract: Critiques the idea that first-order logic reveals reality’s ontology, tracing its atomism, timelessness, Booleanism, and reductionism before proposing a six-category ontology and an enhanced Davidsonian formal language. - #JZG4PM Against Fantology Again - 2016 | Ingvar Johansson | The Theory and Practice of Ontology | 12 pp. Micro abstract: Extends the critique of fantology through default ontologization, arguing that Quine’s canonical notation is incoherent about classes and excludes intentional phenomena and distinct modes of existence. Procedural Generation & Co-Creation (14) - #ABD2B8 Between Tech and Art: The Vegetation of Horizon Zero Dawn - 2018 | Gilbert Sanders, Guerrilla Games | Game Developers Conference (GDC) 2018 | 87 pp. Micro abstract: A production breakdown of Horizon Zero Dawn’s vegetation pipeline, covering global wind simulation, layered foliage motion, coverage-preserving alpha mipmaps, shading, asset LODs, placement, and cascaded shadows. - #4TH488 Explainable AI for Designers: A Human-Centered Perspective on Mixed-Initiative Co-Creation - 2018 | Antonios Liapis, G. Michael Youngblood, Jichen Zhu, Rafael Bidarra, Sebastian Risi | 2018 IEEE Conference on Computational Intelligence and Games (CIG) | 8 pp. | doi:10.1109/CIG.2018.8490433 Micro abstract: Defines explainable AI for game designers, mapping co-creative systems by their explainability, initiative, and domain overlap so explanations serve concrete design tasks. - #9NQ94D Extracting Physics from Blended Platformer Game Levels - 2020 | Adam Summerville, Anurag Sarkar, Joseph C. Osborn, Sam Snodgrass | Joint Proceedings of the AIIDE 2020 Workshops (CEUR Workshop Proceedings, Vol. 2862) | 7 pp. Micro abstract: Infers playable jump physics from generated platformer levels, including hybrid physics models for levels that blend the geometry and style of multiple games. - #66Q3W3 Ghost of Tsushima: Procedural Grass - 2021 | Eric Wohllaib, Sucker Punch Productions | Game Developers Conference (GDC) 2021 | 55 pp. Micro abstract: Explains Ghost of Tsushima’s compute-driven grass pipeline, from tiled placement and culling to indirect drawing, cubic Bézier blade geometry, variable LOD, wind animation, and material shading. - #QHMFH2 Improved Alpha Testing Using Hashed Sampling - 2019 | Chris Wyman, Morgan McGuire | IEEE Transactions on Visualization and Computer Graphics | 12 pp. | doi:10.1109/TVCG.2017.2739149 Micro abstract: Develops hashed alpha testing, a stable quasi-random thresholding method that preserves distant alpha-mapped foliage and hair while controlling flicker, anisotropy, and interactions with TAA and alpha-to-coverage. - #7GR3AQ Procedural Content Generation through Quality Diversity - 2019 | Ahmed Khalifa, Antonios Liapis, Daniele Gravina, Georgios N. Yannakakis, Julian Togelius | 2019 IEEE Conference on Games (CoG) | 8 pp. | doi:10.1109/CIG.2019.8848053 Micro abstract: Argues for quality-diversity algorithms in procedural generation, producing broad collections of varied, playable content while exposing the design space for exploration and co-creation. - #CQBDX4 Procedural Content Generation via Machine Learning (PCGML) - 2018 | Aaron Isaksen, Adam Summerville, Amy K. Hoover, Andy Nealen, Christoffer Holmgård, Julian Togelius, Matthew Guzdial, Sam Snodgrass | IEEE Transactions on Games | 15 pp. | doi:10.1109/TG.2018.2846639 Micro abstract: Defines and surveys PCGML: generating functional game content directly from models trained on existing examples, with uses spanning creation, completion, repair, critique, and compression. - #EARFEK Procedural Generation of Villages on Arbitrary Terrains - 2012 | Adrien Bernhardt, Adrien Peytavie, Arnaud Emilien, Eric Galin, Marie-Paule Cani | The Visual Computer | 10 pp. | doi:10.1007/s00371-012-0699-7 Micro abstract: Presents a three-stage procedural model that grows terrain-responsive village roads and settlements, partitions land into plausible parcels, and generates slope-adapted buildings with open shape grammars. - #EDURTK Real-Time GPU Tree Generation - 2025 | Bastian Kuth, Carsten Faber, Dominik Baumeister, Max Oberberger, Pirmin Pfeifer, Quirin Meyer, Seyedmasih Tabaei | High-Performance Graphics – Symposium Papers | 10 pp. | doi:10.2312/hpg.20251168 Micro abstract: Introduces a GPU work-graph pipeline that generates, animates, edits, and continuously LODs detailed seasonal trees every frame, replacing gigabytes of baked geometry with kilobytes of parameters. - #GBXEP3 Realistic Modeling and Rendering of Plant Ecosystems - 1998 | Bernd Lintermann, Matt Pharr, Oliver Deussen, Pat Hanrahan, Przemyslaw Prusinkiewicz, Radomír Měch | Proceedings of SIGGRAPH ’98 | 12 pp. | doi:10.1145/280814.280898 Micro abstract: Presents a foundational pipeline for authoring plant ecosystems through terrain design, ecological simulation, procedural plant models, approximate instancing, and efficient rendering of billion-primitive scenes. - #BDBBL6 Real‐time Realistic Rendering and Lighting of Forests - 2012 | Eric Bruneton, Fabrice Neyret | Computer Graphics Forum | 11 pp. | doi:10.1111/j.1467-8659.2012.03016.x Micro abstract: Combines detailed z-field trees with terrain shader-maps to render immense forests in real time, preserving sun, sky, canopy, and ground-lighting effects through seamless, scale-consistent transitions. - #PQ68ZH Responsive Real-Time Grass Rendering for General 3D Scenes - 2017 | Klemens Jahrmann, Michael Wimmer | Proceedings of the 2017 Symposium on Interactive 3D Graphics and Games (I3D ’17) | 10 pp. | doi:10.1145/3023368.3023380 Micro abstract: Renders every grass blade as responsive tessellated geometry on arbitrary 3D surfaces, with per-blade wind, gravity, and collision physics plus aggressive culling that retains dense fields in real time. - #WZ8DHP Runtime Evaluation of Procedural Content Generation in an Endless Runner Game Using Autonomous Agents - 2026 | Rishabh Kar | arXiv | 25 pp. | doi:10.48550/arXiv.2605.01783 Micro abstract: Integrates procedural generation and validation in an endless runner, using aerial and ground agents to detect blocked or unnavigable content before the player reaches it. - #NRBMD5 Towards Friendly Mixed Initiative Procedural Content Generation: Three Pillars of Industry - 2020 | Frederic Fol Leymarie, Gorm Lai, William Latham | Proceedings of the International Conference on the Foundations of Digital Games (FDG '20) | 4 pp. | doi:10.1145/3402942.3402946 Micro abstract: Distills three requirements for industry-friendly co-creative PCG tools: preserve designer control, keep feedback loops short, and fit into existing production pipelines. Roads, Trails & Movement (8) - #G3TBNG A Sequential Two-Step Algorithm for Fast Generation of Vehicle Racing Trajectories - 2016 | J. Christian Gerdes, John Subosits, Nitin R. Kapania | Journal of Dynamic Systems, Measurement, and Control | 12 pp. | doi:10.1115/1.4033311 Micro abstract: Generates near-optimal racing trajectories quickly by alternating between a minimum-time speed profile and a convex path update that reduces curvature. - #B6P8L4 Active walker model for the formation of human and animal trail systems - 1997 | Dirk Helbing, Frank Schweitzer, Joachim Keltsch, Péter Molnár | Physical Review E | 34 pp. | doi:10.1103/physreve.56.2527 Micro abstract: Models trail systems as self-organization: walkers reinforce attractive routes while unused traces fade, producing dendritic ant trails and low-detour pedestrian networks. - #V4TQYB Interactive procedural street modeling - 2008 | Eugene Zhang, Gregory Esch, Guoning Chen, Pascal Müller, Peter Wonka | ACM Transactions on Graphics | 10 pp. | doi:10.1145/1360612.1360702 Micro abstract: Lets designers generate and edit large street networks through tensor fields, combining procedural speed with brush-like global and local control over street patterns. - #UYLTYJ Modelling the Evolution of Human Trail Systems - 1997 | Dirk Helbing, Joachim Keltsch, Péter Molnár | Nature | 11 pp. | doi:10.1038/40353 Micro abstract: Shows how pedestrian trails emerge through feedback between destination-seeking walkers, existing paths, and vegetation recovery, yielding a compromise between directness and shared infrastructure. - #GY93FG Mountain Trail Formation and the Active Walker Model - 2009 | J. P. Hague, S. J. Gilks | International Journal of Modern Physics C | 22 pp. | doi:10.1142/S0129183109014059 Micro abstract: Extends the active-walker model to steep terrain, explaining zigzag mountain trails through slope avoidance, directional persistence, and mutual reinforcement by ascending and descending walkers. - #LXV9AT Principles of Trail Layout and Design - 2019 | California State Parks | California State Parks Trails Handbook | 64 pp. Micro abstract: A field-oriented guide to durable trail design, emphasizing curvilinear alignment, natural drainage, sustainable grades, control points, and close reading of landform and soils. - #XDEFZS Procedural Generation of Roads - 2010 | A. Peytavie, E. Galin, E. Guérin, N. Maréchal | Computer Graphics Forum | 10 pp. | doi:10.1111/j.1467-8659.2009.01612.x Micro abstract: Automatically routes and constructs roads with an anisotropic shortest-path method that weighs slope and obstacles while treating surface segments, bridges, and tunnels consistently. - #ARP5U7 The Topography of Minoan Peak Sanctuaries - 1983 | A. A. D. Peatfield | The Annual of the British School at Athens | 8 pp. | doi:10.1017/s0068245400019729 Micro abstract: Argues that Minoan peak sanctuaries were chosen for visibility and proximity to local settlements, forming a beacon-like sacred network whose contraction tracked settlement abandonment rather than cultic collapse. Scenario-Based & Behavioral Programming (8) - #P2W4J5 Adaptive Behavioral Programming - 2011 | David Harel, Nir Eitan | 8 pp. | doi:10.1109/ictai.2011.109 Micro abstract: Adds reinforcements to live sequence charts and BPJ so scenario-based programs can learn from their environment, specifying goals to pursue and scenarios to avoid, with modular learning decompositions. - #XQ5NKX Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems - 2023 | Assaf Marron, David Harel, Guy Frankel, Irun Cohen, Smadar Szekely | 8 pp. | doi:10.5220/0011728900003402 Micro abstract: Position paper on modeling emergence, rule composition, and networked interactions in complex reactive systems, introducing "unmodeling"—explicitly excluding entities and behaviors from model execution. - #D4VB7S Distributing Scenario-Based Models: A Replicate-and-Project Approach - 2017 | Assaf Marron, Daniel Gritzner, David Harel, Guy Katz, Joel Greenyer, Shlomi Steinberg | MODELSWARD 2017 | 16 pp. | doi:10.5220/0006271301820195 Micro abstract: Distributes scenario-based models by replicating the full specification on every component and projecting it per component, mimicking centralized behavior while sharply reducing synchronization. - #CSJARA Enhancing Scenario-Based Modeling Using Large Language Models - 2026 | Assaf Marron, David Harel, Guy Katz, Smadar Szekely | Communications in Computer and Information Science | Springer Nature Switzerland | pp. 43-68 | 26 pp. | doi:10.1007/978-3-031-96841-9_3 Micro abstract: Extended methodology for combining LLM chatbots with scenario-based modeling: iterative generation of stand-alone scenarios checked by analysis and human review, framed as a step toward Wise Computing. - #3JCRAD On Augmenting Scenario-Based Modeling with Generative AI - 2024 | Assaf Marron, David Harel, Guy Katz, Smadar Szekely | MODELSWARD 2024 | 12 pp. | doi:10.5220/0012427100003645 Micro abstract: Outlines a structured method for using generative-AI chatbots in modeling: iteratively generate scenario-based model fragments, then analyze and inspect them to converge on an accurate system model. - #QV3BWZ On tracing reactive systems - 2011 | David Harel, Shahar Maoz | Software & Systems Modeling | 22 pp. | doi:10.1007/s10270-010-0151-2 Micro abstract: Introduces model-based trace visualization and exploration for reactive systems, using scenario-based (LSC) abstractions and the Tracer prototype, demonstrated on a PacMan game. - #TDS4H2 Relaxing Synchronization Constraints in Behavioral Programs - 2013 | Amir Kantor, David Harel, Guy Katz | LPAR 2013 (Logic for Programming, Artificial Intelligence, and Reasoning) | 17 pp. | doi:10.1007/978-3-642-45221-5_25 Micro abstract: Proposes eager execution for behavioral programs: fast b-threads run ahead when synchronization outcomes are predictable, improving performance, modularity, and distributability, shown in a C++ BP framework. - #M5788P Towards Behavioral Programming in Distributed Architectures - 2015 | Amir Kantor, Assaf Marron, David Harel, Gera Weiss, Guy Katz, Guy Wiener | Science of Computer Programming | 58 pp. | doi:10.1016/j.scico.2014.03.003 Micro abstract: Extends behavioral programming to distributed architectures: b-threads as Erlang processes, eager execution to relax synchronization, and modular distributed execution, demonstrated on simulations and a quadrotor. Technology, Scale & Conviviality (2) - #WYH36B The City as Convivial Centre - 1974 | Leopold Kohr | Tract, no. 12 (Gryphon Press) | 18 pp. Micro abstract: Kohr's essay arguing that cities exist for convivial life rather than economic function, and that human-scale size is what lets a city serve as a centre of leisure, culture, and encounter. - #67REFX The Question Concerning Technology - 1977 | Martin Heidegger | The Question Concerning Technology and Other Essays (Harper & Row) | 23 pp. Micro abstract: Heidegger's essay on the essence of technology as Enframing (Gestell), a mode of revealing that reduces the world to standing-reserve, and on art as a possible saving power. Terrain, Hydrology & Erosion (8) - #NV2YRW FastFlow: GPU Acceleration of Flow and Depression Routing for Landscape Simulation - 2024 | Aryamaan Jain, Bernhard Kerbl, Brandon Finley, Guillaume Cordonnier, James Gain | Computer Graphics Forum | 13 pp. | doi:10.1111/cgf.15243 Micro abstract: A GPU framework for routing surface flow through terrain and its depressions fast enough to make erosion, river, lake, and ecosystem simulations interactive. - #2284QZ From features to fingerprints: A general diagnostic framework for anthropogenic geomorphology - 2019 | Damian Evans, Erle C Ellis, Giulia Sofia, Paolo Tarolli, Wenfang Cao | Progress in Physical Geography: Earth and Environment | 34 pp. | doi:10.1177/0309133318825284 Micro abstract: Integrates geomorphology, archaeology, and high-resolution remote sensing into a framework for reading anthropogenic landforms as landscape-scale sociocultural fingerprints. - #96ZMGK Large Scale Terrain Generation from Tectonic Uplift and Fluvial Erosion - 2016 | Adrien Peytavie, Bedrich Benes, Guillaume Cordonnier, Jean Braun, Marie-Paule Cani, Éric Galin, Éric Guérin | Computer Graphics Forum | 11 pp. | doi:10.1111/cgf.12820 Micro abstract: Generates large, controllable mountain terrains by coupling user-painted tectonic uplift with fluvial erosion, then turning the resulting stream graph into detailed landforms. - #K82AS7 Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment - 2013 | L. Allan James | Anthropocene | 11 pp. | doi:10.1016/j.ancene.2013.04.001 Micro abstract: Broadens legacy sediment to episodically produced anthropogenic alluvium and colluvium, and explains its deposition, storage, and remobilization through sediment delivery–transport capacity dynamics. - #DWXKYQ Physically-based analytical erosion for fast terrain generation - 2024 | Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer | Computer Graphics Forum | 14 pp. | doi:10.1111/cgf.15033 Micro abstract: Turns the stream power law into an interactive terrain tool, replacing thousands of erosion time steps with analytical solutions and a direct control for landscape age. - #MTDKDE Priority-Flood: An Optimal Depression-Filling and Watershed-Labeling Algorithm for Digital Elevation Models - 2014 | Clarence Lehman, David Mulla, Richard Barnes | Computers & Geosciences | 17 pp. | doi:10.1016/j.cageo.2013.04.024 Micro abstract: Introduces Priority-Flood, a simple, optimal algorithm that removes drainage-blocking depressions from elevation models and can also derive watersheds and flow directions. - #AK7NGE Procedural Riverscapes - 2019 | A. Peytavie, B. Benes, E. Galin, E. Guérin, J. Gain, T. Dupont, Y. Cortial | Computer Graphics Forum | 12 pp. | doi:10.1111/cgf.13814 Micro abstract: Builds editable, animated riverscapes from bare terrain by carving hydrologically plausible channels and blending real-time procedural water primitives instead of simulating fluids. - #DMTA8Y Terrain Generation Using Procedural Models Based on Hydrology - 2013 | Adrien Peytavie, Bedřich Beneš, Jean-David Génevaux, Éric Galin, Éric Guérin | ACM Transactions on Graphics | 10 pp. | doi:10.1145/2461912.2461996 Micro abstract: Generates controllable, multiscale terrain from a sketched drainage network, representing rivers and landforms as an editable hierarchy of continuous procedural primitives. Water Simulation & Rendering (12) - #RBS5K6 A Layered Particle-Based Fluid Model for Real-Time Rendering of Water - 2010 | Daniel Scherzer, Florian Bagar, Michael Wimmer | Computer Graphics Forum | 7 pp. | doi:10.1111/j.1467-8659.2010.01734.x Micro abstract: Renders particle-based water and volumetric foam in real time using perspective-aware surface smoothing, physically guided foam formation, and layered depth compositing. - #C4AY2M A Survey of Ocean Simulation and Rendering Techniques in Computer Graphics - 2011 | B. Crespin, D. Ghazanfarpour, E. Darles, J.-C. Gonzato | Computer Graphics Forum | 17 pp. | doi:10.1111/j.1467-8659.2010.01828.x Micro abstract: Surveys ocean graphics from spectral deep-water models to near-shore fluid simulation, then covers the foam, spray, and light transport needed for convincing rendering. - #WZMZGY Advected river textures - 2009 | Dirk Arnold, Stephen Brooks, Tim Burrell | Computer Animation and Virtual Worlds | 11 pp. | doi:10.1002/cav.288 Micro abstract: Combines a 2D Navier–Stokes solver, hydrostatic pressure columns, and advected procedural textures to render detailed, terrain-responsive rivers at real-time frame rates. - #92XRH7 Lagrangian Texture Advection: Preserving both Spectrum and Velocity Field - 2011 | Qizhi Yu, E. Bruneton, F. Neyret, N. Holzschuch | IEEE Transactions on Visualization and Computer Graphics | 13 pp. | doi:10.1109/tvcg.2010.263 Micro abstract: Advects fluid textures with deformable particle grids, preserving both the input texture’s visual spectrum and exact motion along the velocity field without cumulative stretching. - #8SERGP Real-time Breaking Waves for Shallow Water Simulations - 2007 | Markus Gross, Matthias Müller-Fischer, Nils Thürey, Simon Schirm | 15th Pacific Conference on Computer Graphics and Applications (Pacific Graphics 2007) | 8 pp. | doi:10.1109/PG.2007.33 Micro abstract: Adds real-time overturning waves to shallow-water heightfields by detecting steep fronts and spawning connected particle sheets that collapse into splashes and foam. - #CWC7H9 Real-time Rendering of Enhanced Shallow Water Fluid Simulations - 2013 | Antonio Susín, Jesús Ojeda | Computers & Graphics | 9 pp. Micro abstract: Builds a real-time rendering pipeline for shallow-water simulations, adding fine surface detail, advected foam, photon-based caustics, and screen-space reflection and refraction. - #MVUJ8Z Real-time Rendering of River Networks - 2010 | Quintijn Hendrickx, Rafael Bidarra, Ruben M. Smelik | Proceedings of the ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games | 1 pp. Micro abstract: Renders branching river networks efficiently with quadratic Bézier curves, GPU distance fields, and streaming normal maps instead of dense geometry or particle simulation. - #5MGCZ5 Real-time River Representation by Dynamic Control of Data on Waves - 2008 | Makoto Kosugi, Nobuhiko Mukai, Yasuhiro Kato | 4 pp. | doi:10.3169/itej.62.2063 Micro abstract: Dynamically switches river-wave models by viewing distance, preserving nearby reflection and wave detail while retaining wind-driven motion across the full landscape. - #XDESU9 Scalable real‐time animation of rivers - 2009 | Eric Bruneton, Fabrice Neyret, Nicolas Holzschuch, Qizhi Yu | Computer Graphics Forum | 11 pp. | doi:10.1111/j.1467-8659.2009.01363.x Micro abstract: Animates rivers across vast terrains by computing steady flow locally and advecting fine surface detail only where visible, at a screen-space sampling density. - #869NHK Very Fast Real-Time Ocean Wave Foam Rendering Using Halftoning - 2011 | Ian Parberry, Jennifer R. Alford, Mary Yingst | Proceedings of the 6th International North American Conference on Intelligent Games and Simulation (GAMEON-NA) | 7 pp. Micro abstract: Uses a spectrally controlled halftone mask to make texture-based ocean foam dissipate as clumped bubbles that pop, rather than merely fading transparently. - #A2QB8L Water Flow in Portal 2 - 2010 | Alex Vlachos | ACM SIGGRAPH 2010 Course: Advances in Real-Time Rendering in 3D Graphics and Games | 54 pp. Micro abstract: Explains Portal 2’s production-friendly water shader: artist-painted flow maps advect layered normal maps, while offsets and noise suppress repetition and pulsing on limited hardware. - #PBM2TC Water surface wavelets - 2018 | Chris Wojtan, Matthias Müller-Fischer, Miles Macklin, Nuttapong Chentanez, Stefan Jeschke, Tomáš Skřivan | ACM Transactions on Graphics | 13 pp. | doi:10.1145/3197517.3201336 Micro abstract: Represents water waves as spatially varying directional amplitudes, enabling vast interactive simulations with fine detail, moving obstacles, solid coupling, and direct artistic control. ### 4. Tool result: search_text Exact matches 1. Source: Reading note: Against Fantology (#J6YNWU) Matching note #J6YNWU: Barry Smith’s “Against Fantology” (#CGE2NC) argues that first-order predicate logic is often mistaken for a mirror of ontological structure. It traces the resulting commitments—spreadsheet-style atomism, reduction of complexity to sets, confinement of generality to predicates, bare particulars, insensitivity to time, flattening of relations, Booleanism, and failure to represent dependent continuants. Smith proposes an Aristotelian Ontological Sextet of substantial, quality, and process universals and particulars, linked by formal relations such as instantiation, exemplification, inherence, participation, and realization. His constructive alternative is an enhanced Davidsonism that separates logical from ontological form and uses names for universals rather than predicates (#D6BEJX, #CX2YXN). 2. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 0 Context: #N75AS4 Against Fantology Again #X6ZAS3 Abstract Matching excerpt #UYQTDC: The paper “Against Fantology Again” develops Smith’s views further. It introduces an ontologically neutral operation called a default ontologization of a language, which makes it possible to put the term ‘fantology’ in a wider framework, and then it zooms in on Quine and his so-called canonical notation. He is the most outspoken fantologist, even though Smith mentions him only in passing. 3. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 0 Context: #KUBPWW Against Fantology Again Matching excerpt #YELMAS: The term ‘fantology’ has not yet (January 2016) entered The Stanford Encyclopedia of Philosophy , the world’s most up-to-date philosophical dictionary. This being so, one has to ask: what is fantology? Barry Smith, who coined the term, starts his paper “Against Fantology” by introducing it with this paragraph: 4. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 8 Context: #KUBPWW Against Fantology Again #HF5XDV 2 Quine’s Canonical Notation Matching excerpt #PK4BNY: Smith is against fantology primarily because it makes it impossible to claim that there is an inference relation between properties (qualities) and kinds (substances), and that there is a has-as-participant relation between processes and kinds. Claims that are central to his ontological sextet . In outline, I am on Smith's side in this criticism, even though I may differ from him with respect to some details concerning the philosophy of time, but I will not delve into this. Instead, I will now say some words about fantology in relation to an issue that remains untouched by Smith, namely, the existence or non-existence of intentionality. 5. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 1 Context: #KUBPWW Against Fantology Again Matching excerpt #KPVKQ2: I will not summarize Smith's paper. Instead, I will make two moves that hopefully will cast new light on the importance of its central notion. First, I will present fantology in the light of a more general and in itself ontologically neutral operation that I call a default ontologization of a language ; also proposed in (Johansson 2013). Then, in the second and third sections, I will discuss Willard van Orman Quine's views, since he is the most outspoken fantologist in the second half of the twentieth century. I think his lasting high philosophical status explains much of today's lingering fantology in analytic metaphysics. Smith only hints at Quine's explicit proposal for a canonical notation when in passing he states: 6. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 4 Context: #KUBPWW Against Fantology Again #EJHEZL 1 Default Ontologization Matching excerpt #FAR5LT: Subject-predicate logic contains a copula, be it ‘ is ’, as in ‘ S is P ’, or ‘ are ’, as in ‘ Some S are P ’ and ‘ All S are P ’; but first-order predicate logic contains no copula at all. Look at ‘ Fa ’, ‘ \exists xFx ’, and ‘ \forall xFx ’. This makes Smith talk about “the vanishing [of the] copula” in fantology (Smith 2005, sect. 13). Traditionally, the copula of true subject-predicate sentences has been taken to represent an inherence relation in the world. If ‘ S is P ’ is true, then what is represented by ‘ P ’ (normally a property) is taken to inhere in what is represented by ‘ S ’ (normally a kind, natural or artificial). No such explicit relation symbol can be found when formulas in first-order predicate logic are to be ontologized. The early Armstrong answers the question of what the relationship (in Fa ) between the referent of ‘ F ’, which Armstrong takes to be a universal, and a referent of ‘ a ’, which he takes to be a (“thin”) particular, by saying: 7. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 2 Context: #KUBPWW Against Fantology Again #EJHEZL 1 Default Ontologization Matching excerpt #GBKGKS: Fantology can now be characterized by means of the following statement: only a default ontologization of traditional first-order predicate logic can display what the world is like. It can be explicitly put forward, as by Quine, or merely be implicitly taken for granted, as Armstrong seemingly does (Smith 2005, sect. 5). If fantologists cannot express their initial ontological thoughts in first-order logic, they dismiss them. Since, as pointed out above, a logical language can allow for more than one default ontologization, this does not mean that all fantologists agree in ontological matters. But, in their hands, first-order predicate logic nevertheless functions as a norm that prohibits many ontological positions to be stated. (Default ontologizations of logics such as modal logic and Prior's tense logic do not count as fantology.) 8. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 1 Context: #KUBPWW Against Fantology Again Matching excerpt #UCN4HM: Fantology sometimes takes the form of a thesis according to which the language of standard predicate logic can serve the formulation of the truths of natural science in a uniquely illuminating way (its syntax mirrors, after all, the very structures in reality which such truths represent). So Quine, with his doctrine according to which the ontological commitments of a theory become evident only when the theory has been regimented in fantological fashion. (Smith 2005, 156) 9. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 5 Context: #KUBPWW Against Fantology Again #EJHEZL 1 Default Ontologization Matching excerpt #VVDZPH: According to Smith, fantology also brings with it "a peculiar insensitivity to time" (Smith 2005, sect. 15). I agree. As I said earlier, one reason why Russell wanted to replace subject-predicate logic with predicate logic was, that predicate logic already on the surface displays the possibility of irreducible relations. But he had a second ontological reason to favor first-order predicate logic, too. In some papers 1905–07 (e.g., "On Denoting" (Russell 1905)), he criticized Alexius Meinong's view that there are not only existing entities but also subsisting ones; that is, that there are different ways of existence . Consequently, already in its syntax, first-order predicate logic rules out the possibility of talking of tense as modes of being as, for instance, Roman Ingarden does. Everything that belongs to a domain of discourse to which predicate logic is applied, has to exist in the same way. 10. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 0 Context: #KUBPWW Against Fantology Again Matching excerpt #67PXZV: A dark force haunts much of what is most admirable in the philosophy of the last one hundred years. It consists, briefly put, in the doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as conceived by Frege and Russell. More specifically, fantology is a doctrine to the effect that the key to the ontological structure of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘ Rab ’) of first-order logic, where ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “fantology”. Because predicate logic has exactly two syntactically different kinds of referring expressions – (F), (G), (R), etc., and (a), (b), (c), etc. – so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects), the relation between these two kinds of entity being revealed in the predicate-argument structure of atomic formulas in first-order logic. (Smith 2005, 153) Approximate matches 1. Source: Against Fantology (#CGE2NC), Barry Smith, p. 2 Context: #SFAYRE Against Fantology #K8PYLN 3. The Secret Doctrine Score: 0.027 Related excerpt #GYALXB: Fantology is a doctrine that rarely dares to speak its name. (That fantology should be conceived as a secret doctrine is indeed one reading of the concluding sentence of Wittgenstein's Tractatus .) When Wittgenstein gives voice to the doctrine, it reads like this: 2. Source: Against Fantology (#CGE2NC), Barry Smith, p. 14 Context: #SFAYRE Against Fantology #63LUN3 16. Poor Treatment of Relations Score: 0.025 Related excerpt #Q9HSDV: There are many other doctrines which have been found attractive by those who fall within the gravitational field of fantology. It is fantology which lent credence to Kim’s doctrine (1976), according to which an event consists in an individual’s exemplifying a property at a time, a doctrine which assimilates real change to Cambridge change. And indeed, with its reduction of relations to sets of ordered tuples, fantology is likewise ex officio not in a position to resist the assimilation of properties (such as hardness or shape) to Cambridge properties (such as being thought about). 3. Source: Against Fantology (#CGE2NC), Barry Smith, p. 0 Context: #SFAYRE Against Fantology #J6X7B4 1. Introduction Score: 0.022 Related excerpt #D9DUYG: A dark force haunts much of what is most admirable in the philosophy of the last one hundred years. It consists, briefly put, in the doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as conceived by Frege and Russell. More specifically, fantology is a doctrine to the effect that the key to the ontological structure of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of first-order logic, where ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “fantology”. Because predicate logic has exactly two syntactically different kinds of referring expressions – (F), (G), (R), etc., and (a), (b), (c), etc. – so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects), the relation between these two kinds of entity being revealed in the predicate-argument structure of atomic formulas in first-order logic. 4. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 8 Context: #KUBPWW Against Fantology Again #HF5XDV 2 Quine’s Canonical Notation Score: 0.029 Related excerpt #PK4BNY: Smith is against fantology primarily because it makes it impossible to claim that there is an inference relation between properties (qualities) and kinds (substances), and that there is a has-as-participant relation between processes and kinds. Claims that are central to his ontological sextet . In outline, I am on Smith's side in this criticism, even though I may differ from him with respect to some details concerning the philosophy of time, but I will not delve into this. Instead, I will now say some words about fantology in relation to an issue that remains untouched by Smith, namely, the existence or non-existence of intentionality. 5. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 1 Context: #KUBPWW Against Fantology Again Score: 0.028 Related excerpt #KPVKQ2: I will not summarize Smith's paper. Instead, I will make two moves that hopefully will cast new light on the importance of its central notion. First, I will present fantology in the light of a more general and in itself ontologically neutral operation that I call a default ontologization of a language ; also proposed in (Johansson 2013). Then, in the second and third sections, I will discuss Willard van Orman Quine's views, since he is the most outspoken fantologist in the second half of the twentieth century. I think his lasting high philosophical status explains much of today's lingering fantology in analytic metaphysics. Smith only hints at Quine's explicit proposal for a canonical notation when in passing he states: 6. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 0 Context: #N75AS4 Against Fantology Again #X6ZAS3 Abstract Score: 0.028 Related excerpt #UYQTDC: The paper “Against Fantology Again” develops Smith’s views further. It introduces an ontologically neutral operation called a default ontologization of a language, which makes it possible to put the term ‘fantology’ in a wider framework, and then it zooms in on Quine and his so-called canonical notation. He is the most outspoken fantologist, even though Smith mentions him only in passing. 7. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 0 Context: #KUBPWW Against Fantology Again Score: 0.027 Related excerpt #YELMAS: The term ‘fantology’ has not yet (January 2016) entered The Stanford Encyclopedia of Philosophy , the world’s most up-to-date philosophical dictionary. This being so, one has to ask: what is fantology? Barry Smith, who coined the term, starts his paper “Against Fantology” by introducing it with this paragraph: 8. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 0 Context: #KUBPWW Against Fantology Again Score: 0.027 Related excerpt #67PXZV: A dark force haunts much of what is most admirable in the philosophy of the last one hundred years. It consists, briefly put, in the doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as conceived by Frege and Russell. More specifically, fantology is a doctrine to the effect that the key to the ontological structure of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘ Rab ’) of first-order logic, where ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “fantology”. Because predicate logic has exactly two syntactically different kinds of referring expressions – (F), (G), (R), etc., and (a), (b), (c), etc. – so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects), the relation between these two kinds of entity being revealed in the predicate-argument structure of atomic formulas in first-order logic. (Smith 2005, 153) 9. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 1 Context: #KUBPWW Against Fantology Again Score: 0.025 Related excerpt #UCN4HM: Fantology sometimes takes the form of a thesis according to which the language of standard predicate logic can serve the formulation of the truths of natural science in a uniquely illuminating way (its syntax mirrors, after all, the very structures in reality which such truths represent). So Quine, with his doctrine according to which the ontological commitments of a theory become evident only when the theory has been regimented in fantological fashion. (Smith 2005, 156) 10. Source: Against Fantology Again (#JZG4PM), Ingvar Johansson, p. 2 Context: #KUBPWW Against Fantology Again #EJHEZL 1 Default Ontologization Score: 0.023 Related excerpt #GBKGKS: Fantology can now be characterized by means of the following statement: only a default ontologization of traditional first-order predicate logic can display what the world is like. It can be explicitly put forward, as by Quine, or merely be implicitly taken for granted, as Armstrong seemingly does (Smith 2005, sect. 5). If fantologists cannot express their initial ontological thoughts in first-order logic, they dismiss them. Since, as pointed out above, a logical language can allow for more than one default ontologization, this does not mean that all fantologists agree in ontological matters. But, in their hands, first-order predicate logic nevertheless functions as a norm that prohibits many ontological positions to be stated. (Default ontologizations of logics such as modal logic and Prior's tense logic do not count as fantology.) ### 5. Assistant tool calls #### Tool call: `read` ```json { "blocks": [ "CGE2NC" ], "expand": true } ``` ### 6. Tool result: read {"error":"resource CGE2NC not found"} ### 7. Assistant tool calls #### Tool call: `get_document` ```json { "id": "CGE2NC" } ``` ### 8. Tool result: get_document DOCUMENT #CGE2NC Title: Against Fantology Outline: - 1 #SFAYRE Against Fantology - 1.1 #J6X7B4 1. Introduction - 1.2 #WMS82X 2. History - 1.3 #K8PYLN 3. The Secret Doctrine - 1.4 #KFAUX3 4. The Spreadsheet Ontology - 1.5 #V2DRED 5. The Picture Theory - 1.6 #77SZY4 6. The Special Case of Mathematics - 1.7 #T3V2BX 7. First-Order Logic as Characteristica Universalis - 1.8 #C2K4WC 8. All Generality Belongs to the Predicate - 1.9 #QNF4XD 9. Reality is Made of Atoms ('Bare Particulars') - 1.10 #DXU96N 10. ... and Sets - 1.11 #PVQQC7 11. Particulars are Unknowable - 1.12 #5JU942 12. Predication is Functional Application - 1.13 #WKX2QZ 13. The Vanishing Copula - 1.14 #8EKBDV 14. All Particulars are Bare Particulars - 1.15 #QK6C6U 15. A Peculiar Insensitivity to Time - 1.16 #63LUN3 16. Poor Treatment of Relations - 1.17 #W2NUZ7 17. Booleanism - 1.18 #MW9JFA 18. No Room for Dependent Continuants - 1.19 #ZAUEPE 19. A New, Enhanced Davidsonism - 1.20 #CCHP6D 20. Predicates Do Not Represent - 1.21 #HKGX5U Acknowledgements - 1.22 #HLYX3V References ### 9. Assistant tool calls #### Tool call: `read` ```json { "blocks": [ "SFAYRE" ], "expand": true } ``` ### 10. Tool result: read DOCUMENT #CGE2NC Against Fantology SECTION #SFAYRE Against Fantology EXCERPT #7RFK5M p. 0 Barry Smith EXCERPT #AWJGQ8 p. 0 From J. Marek and E. M. Reicher (eds.), Experience and Analysis , Vienna: öbv&hpt, 2005, 153–170 EXCERPT #8XUJG5 p. 0 The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first-order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. SECTION #J6X7B4 1. Introduction EXCERPT #D9DUYG p. 0 A dark force haunts much of what is most admirable in the philosophy of the last one hundred years. It consists, briefly put, in the doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as conceived by Frege and Russell. More specifically, fantology is a doctrine to the effect that the key to the ontological structure of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of first-order logic, where ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “fantology”. Because predicate logic has exactly two syntactically different kinds of referring expressions – (F), (G), (R), etc., and (a), (b), (c), etc. – so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects), the relation between these two kinds of entity being revealed in the predicate-argument structure of atomic formulas in first-order logic. EXCERPT #5HHXHN p. 0 EXCERPT #FHFPQR p. 1 Fantology is a twentieth-century variant of linguistic Kantianism, or in other words of the doctrine that the structure of language (here: of a particular logical language) is the key to the structure of reality. Classical fantologists were Frege, Russell and the Wittgenstein of the Tractatus , yet the work of almost all twentieth-century analytical philosophers bears traces of fantological influence, though this influence is of course more notable in some circles (for instance among the logical positivists in Vienna) than in others. Where the early fantologists argued explicitly that first-order predicate logic mirrors reality, present-day philosophers are marked by fantology only tacitly, through their use of predicate logic and of ways of thinking associated therewith. David Armstrong seems, in this respect, to be a border-line case. EXCERPT #DE7S2J p. 1 The dark force of fantology has spread its tentacles also beyond the realm of philosophy to embrace much of what goes on in computer science under headings such as ‘knowledge representation’ and ‘conceptual modeling’. The full story of these influences must be left for another day, but for a preliminary accounting see my (2004). SECTION #WMS82X 2. History EXCERPT #NUT7VA p. 1 Many of the ontological doctrines which I associate with fantology in what follows have recognizable roots in the work of philosophers such as Plato, Leibniz, Locke, Kant, and Hume, whose ideas were of course formed well before predicate logic was conceived by Frege. But it was, I suggest, the very success of Frege’s project in the Begriffsschrift which led just these doctrines of just these philosophers to be taken up within the canon of analytical philosophy (a branch or mode of philosophy which was, after all, for a long time conspicuously uninterested in its own philosophical past). EXCERPT #Z4FNBQ p. 1 The language of predicate logic is richly expressive, and I hasten to emphasize from the start that it is of course possible to use predicate logic in one’s philosophical work without falling victim to any of the adverse effects of fantology. (I shall indeed conclude with one example of how predicate logic can be used in order to thwart these very effects.) My goal is thus not to criticize predicate logic. Rather, it is to bring forward examples of the ways in which predicate logic has been standardly used in order to build a new sort of tunnel through the history of post-Fregean philosophy. My remarks should accordingly be understood in this historical light. If Frege is the grandfather of analytical philosophy, then it is the influence in ever widening circles of Frege’s logic which has confirmed his special place in the analytic-philosophical pantheon. Frege’s signal achievement lies in his having inaugurated the era of logical rigor – to the extent that we can now all agree that logical rigor is an indispensable requirement of all good philosophy. But this signal achievement was for a long time marred through its association with an overestimation of the power of a relatively simplistic type of logico-linguistic analysis to resolve ontological problems. Exposing some of the effects of this overestimation should allow us to understand the development of analytical philosophy in a new way, and to bring to light aspects of this development which are normally hidden. EXCERPT #P3H298 p. 1 SECTION #K8PYLN 3. The Secret Doctrine EXCERPT #GYALXB p. 2 Fantology is a doctrine that rarely dares to speak its name. (That fantology should be conceived as a secret doctrine is indeed one reading of the concluding sentence of Wittgenstein's Tractatus .) When Wittgenstein gives voice to the doctrine, it reads like this: EXCERPT #8ZXZZJ p. 2 Most of the propositions and questions of philosophers arise from our failure to understand the logic of our language. (4.003) EXCERPT #4JQ7VJ p. 2 Propositions show the logical form of reality. They display it. (4.121) EXCERPT #FQ5MMF p. 2 Thus one proposition 'fa' shows that the object a occurs in its sense, two propositions 'fa' and 'ga' show that the same object is mentioned in both of them. If two propositions contradict one another, then their structure shows it; the same is true if one of them follows from the other. And so on. (4.1211) EXCERPT #UYULTA p. 2 The propositions of logic describe the scaffolding of the world, or rather they represent it. They have no 'subject-matter'. They presuppose that names have meaning and elementary propositions sense; and that is their connection with the world. It is clear that something about the world must be indicated by the fact that certain combinations of symbols – whose essence involves the possession of a determinate character – are tautologies. This contains the decisive point. (6.124) EXCERPT #EZ2GXW p. 2 The exploration of logic means the exploration of everything that is subject to law. And outside logic everything is accidental. (6.3) EXCERPT #4EF8RB p. 2 Just as the only necessity that exists is logical necessity, so too the only impossibility that exists is logical impossibility. (6.375) EXCERPT #E3SB7A p. 2 Compare also Russell: 'Philosophy, if what has been said is correct, becomes indistinguishable from logic as that word has now come to be used.' (1917) And: ‘logic is concerned with the real world just as truly as zoology, though with its more abstract and general features.’ (1919). EXCERPT #M2X2YA p. 2 SECTION #KFAUX3 4. The Spreadsheet Ontology EXCERPT #PSR7FP p. 3 We can gain some impression of what more recent fantological philosophy looks like by considering what Armstrong was once pleased to call his “Spreadsheet Ontology” (see Armstrong 2004, a work published only in French). EXCERPT #27FLQD p. 3 F G H I J K L M N O P Q R S T U ... a x x x x x b x x x x x c x x x x x d x x e x x x x f x x x x x g x x x x x h x x x x i x x x x j x x x x x ... EXCERPT #8TUXEE p. 3 Figure 1: Armstrong’s Spreadsheet Ontology EXCERPT #Y7TY94 p. 3 Reality, we are to suppose, is made up of concrete individuals ( a , ...) plus abstract ‘properties’ or ‘attributes’ (F, ...). The rows of Armstrong’s spreadsheet (see Figure 1) then corresponding to the individuals, the columns to the properties. When the spreadsheet has been filled in completely – a task which Armstrong seems to have believed could be left to the physicists of the future – then we will be able to read off for every object a list of its properties and for every property a list of the objects to which it applies, and in this way gain a complete assay of reality. EXCERPT #MR2WHK p. 3 EXCERPT #R4LQU8 p. 4 At the time when he advanced his Spreadsheet Ontology, Armstrong seems to have believed not only that such an essay is at least in principle possible, but further that its provision is the very goal of physics in its march towards future perfection. Wittgenstein's Tractatus , too, of course, expresses a vision along similar lines, his elementary propositions corresponding to the cells of the spreadsheet after the latter has been modified to allow some extra room for relations. David Lewis and the Carnap of the state descriptions enrich the vision by having many spreadsheets, one for each 'world', the worlds themselves enjoying a stunning mathematical elegance in virtue of the fact that they are identified with sets of propositions of simple ( Fa , Rab , etc.) forms. SECTION #V2DRED 5. The Picture Theory EXCERPT #Y2YY6L p. 4 Fantology sometimes takes the form of a thesis according to which the language of standard predicate logic can serve the formulation of the truths of natural science in a uniquely illuminating way (its syntax mirrors, after all, the very structures in reality which such truths represent). So Quine, with his doctrine according to which the ontological commitments of a theory become evident only when the theory has been regimented in fantological fashion. EXCERPT #EAYTMC p. 4 A similar thesis already underlies the picture theory of the Tractatus , where the syntax of first-order predicate logic is, as one says, a "great mirror" (Feibleman 1958). It underlies the logical atomism of Bertrand Russell, including the central thesis according to which all form is logical form – a thesis which, be it noted, leaves no room for a discipline of formal ontology as something separate from formal logic. EXCERPT #6BXFFG p. 4 In this connection it is worth bearing in mind that the term 'formal ontology' was originally coined by Husserl (1913/21) to signify that branch of philosophy which deals with the interconnections of things , with objects and properties, parts and wholes, relations and collectives – as contrasted with formal logic, which deals with the interconnections of truths , with consistency and validity, disjunction and entailment, 'and' and 'not'. There is no a priori reason to suppose that these two families of interconnections should be identical. Both are 'formal' – which means (as Husserl sees it) that they are domain-independent structures realizable in principle in all material spheres of reality. The mereologist's 'part of' reflects a formal-ontological structure in light of the fact that there is no restriction on the sorts of objects which can enter into relations of part to whole. 'Or', similarly, reflects a formal-logical structure, because the relation of disjunction can join together assertions without restriction on their content. In other respects, however, the two sorts of structure are radically distinct – yet fantology rides roughshod over the differences between them. EXCERPT #E76U8S p. 4 There are two central components to the formal ontology Husserl himself presented in his Third Logical Investigation: the theory of part and whole (or mereology), which has received some considerable attention in recent years (Simons 1987), and the theory of dependence – that is to say the theory of those links between entities of different types in virtue of which entities of one type cannot, as a matter of necessity, exist without some further entity of another, different type (Johansson 2004). These necessary relations between discrete existences obtain most conspicuously between entities – for example processes or qualities on the one hand and their bearers on the other – which enjoy different ways of existing in reality. The neglect of necessary dependence relations in fantological circles flows from the fact that such distinct ways of being were themselves commonly neglected. This neglect in turn is one consequence of the fantologists’ assumption that ‘existence’ is univocal – it is in every case a property of what Frege called concepts or functions – and is captured in the ‘ \exists .’ And if existence is analyzed as a property of concepts, so supervenience is analyzed (e.g. in Kim (1984)) as a relation which has concepts as its relata. EXCERPT #QTNH3J p. 4 SECTION #77SZY4 6. The Special Case of Mathematics EXCERPT #ZS79U7 p. 5 The term ‘formal’ is of course used also in another sense – corresponding to the use of the term ‘symbolic’ in the phrase ‘symbolic logic’. Fantology can in this light also be formulated as a doctrine to the effect that formal ontology is properly included within the domain of symbolic logic as this was understood by Frege or Russell. The historical background to this doctrine is, I believe, in the apparent successes of early analytical philosophy in the domain of the philosophy of mathematics, which seemed to many in the years following the publication of Principia Mathematica to lend a great deal of support to the proposition that, when once we have fixed on a proper symbolism for the expression of the truths of mathematics, then no further mathematical work would remain to be done. Wittgenstein generalized this assumption: when once we have fixed on a proper symbolism for the expression of the truths of natural science, no further work for ontology will remain to be done. EXCERPT #QDM6DY p. 5 Some early fantologists went still further in embracing an even stronger thesis according to which all necessary truths – and thus, on some accounts, all the truths of philosophy – could be analyzed as truths of logic. In the Vienna circle, for example, it was working dogma that the successes achieved by Frege and Russell in reducing truths of mathematics to truths of logic would inevitably be repeated elsewhere, in a march towards total victory of logical reduction in all domains of inquiry, so that it would one day be possible to read off without restriction the structure of reality from the symbolism of logic. SECTION #T3V2BX 7. First-Order Logic as Characteristica Universalis EXCERPT #9RD65P p. 5 The language of first-order logic – especially in the form it was given in Principia Mathematica – thus came to represent the rebirth of the old Leibnizian idea of a universal characteristic. But while Frege and Russell (and Whitehead) did indeed successfully demonstrate that this language may lay some claim to the power of a characteristic when it comes to the formulation of many of the propositions of mathematics, it is by now surely evident that it can lay no such claim in regard to other domains. EXCERPT #4LZZVT p. 5 EXCERPT #YV8B7Q p. 6 One reason why fantology works so well in mathematics is because mathematical entities do not exist in time and space (this is why mathematics is a domain in relation to which a Platonistic ontology has much to be said in its favor, and why mathematics is a domain in which it may even make sense to identify necessity with logical necessity and law with logical law). When philosophers have turned their methods to the necessary relations in other, non-mathematical domains, then fantological reductions have remained beyond their grasp. The logical positivists' expectation that it would be possible to demonstrate the logical nature of such necessary truths as 'Nothing can be red and green all over' were uniformly dashed. But this failure went largely unnoticed, to the degree that many continued to assume that the needed reductions had indeed been successfully obtained. The truths of casual necessity received a different treatment. So closely did some adhere themselves to the doctrine according to which all necessity is logical necessity that in order to save the good name of fantology they saw fit, when applying this doctrine to the realm of causality, to embrace the nuclear option of Humeanism. Causal relations would break the bounds of fantology. Hence, causal relations do not exist. SECTION #C2K4WC 8. All Generality Belongs to the Predicate EXCERPT #3K6XJU p. 6 Consider some typical sentences of science: EXCERPT #Y2E7TY p. 6 Action and reaction are equal and opposite. EXCERPT #JCDMZ7 p. 6 The electron has a negative charge. EXCERPT #GW2XAX p. 6 The ribosome is the subcellular unit responsible for protein synthesis. EXCERPT #9HM254 p. 6 The heart is a part of the cardiovascular system. EXCERPT #6MTPTP p. 6 Here nominal expressions are used as a matter of course to refer to what is general in reality . In the syntax of first-order logic on the favored fantological interpretation, in contrast, all generality belongs to the predicate: the 'a' in 'Fa' (and thus the 'x' in 'Fx') is a mere (meaningless) name, a matter of pure denotation. EXCERPT #3HBLFR p. 6 Note that, as is made clear already by many of the examples used by Frege himself, nothing in logic prevents the use of names to refer to ideal or general objects, and nothing in logic says that names are meaningless or that they can refer only to individual objects. Rather, these assumptions are the result of a philosophical interpretation. EXCERPT #JLBWQC p. 6 SECTION #QNF4XD 9. Reality is Made of Atoms ('Bare Particulars') EXCERPT #LJHYLZ p. 7 Those advocates of fantology who allow only logically simple names are then led by the doctrine which identifies ontological form with logical form in the direction of one or other atomistic conception of reality. This atomism is manifest in Armstrong's Spreadsheet Ontology and by his repeated appeals to the basic truths of some future perfected physics. But it is demonstrated most starkly in the Tractatus , which denies that there exist complex objects at levels of granularity above the level of the absolutely simple substances to which the logically proper names of the Tractatus are supposed to refer. Wittgenstein seems, indeed, to deny all ontological complexity at levels of granularity above that of the states of affairs which such objects go to form. EXCERPT #3GDQTX p. 7 Fantology has of course proved conducive not only to atomistic doctrines but also to other, associated forms of reductionism and eliminativism, including Russell's view to the effect that proper names refer to sense data. Wittgenstein's assumption that the effect that all elementary propositions are logically independent of each other likewise consolidated a resistance to holistic views about the structure of reality (thus to patterns, laws, systems). Fantologically inspired philosophy has thus also faced difficulties in doing justice in its theories to the objects of biology. Where fantology departs from atomism at all, it has normally embraced doctrines of complexity powered by set theory – and of course the central role of set theory in analytical philosophy itself has fantological roots. Alternatively, it has seen virtue in theories of 'bundles' – resting again on the assumption that the key to good ontology lies in breaking down reality into smallest bits. SECTION #DXU96N 10. ... and Sets EXCERPT #ZCA9UM p. 7 When applied as the exclusive tool of ontology set theory amounts to the reduction of all complexity to cumulative combinations of zero or more Urelemente . Set theory can in fact be identified as a general theory of those mathematical structures which arise when objects (of whatever sort) are conceived as being unified together ad libitum on successively higher levels, each object serving as member or element of objects on the next higher level. The problem is that, in many spheres which we might wish to subject to ontological analysis, no candidate basic level of Urelemente can be identified. In some spheres, moreover, there is no unidirectional (upward) growth of complexity generated by simple combination. The pitch, timbre and loudness of a musical tone, for example, are not Urelemente which can exist in separation from one another and somehow become combined together in the context of the larger whole. EXCERPT #JKJLXU p. 7 EXCERPT #FTE6H6 p. 8 A further problem with set theory is that it deals with combination per accidens – drawing no distinction of structure between, say, the set of enzymes, the set of planets in the solar system, and the set of persons whose surnames end in ‘E’. It places numbers and popes, molecules and galaxies together in combination and thereby fosters a maximally promiscuous use of the term ‘object’ which has been detrimental to the advance of ontology in analytic philosophical circles in ways too little appreciated. EXCERPT #Q6WZPU p. 8 It seems to me to be an open question whether there is any counter veiling theoretical interest from the perspective of ontology to the possibility of such ad libitum , universally applicable, and thus necessarily bland, unification. For the concrete varieties of complexity which in fact confront us in our dealings with reality are subject always to quite subtle sorts of constraints, constraints which vary from one type of entity to another. We are, outside the special contexts of mathematical set theory, not interested in ad libitum collections, after all – not even when we are making lists. Rather we are interested in collections of objects of given sorts and in given contexts or locations. EXCERPT #YUPFT5 p. 8 A further problem – a problem rarely addressed by those who would use set theory as a tool of ontology – is that sets as defined by the pertinent axiomatic theories are abstract entities. They are timeless; they do not change (the set-structure is implicitly defined by certain axioms which are timelessly true). The friend of sets is thereby left with the problem of how he is to connect up the abstracta he countenances on the side of sets with those real concreta with which they are in different ways associated, and even Maddy (1997), who comes closest to providing a solution for this problem, concentrates rather on the epistemological aspects of the propositions of mathematical set theory. EXCERPT #RGB6ZL p. 8 Those who use the jargon of sets in non-philosophical disciplines – for example in classifications of soil types or of diseases – commonly suppose that they can rely on set theory to provide the needed formal support for their work. They do not recognize that the mathematical theory of sets deals with sets as abstract entities artificially removed from the realm of time and space. This is clear where the sets in question are pure sets (sets built out of the empty set as basis), with no admixture of Urelemente at all. But it holds even where the sets in question – for example the set of all items of furniture in a given room – have physical objects as their elements. For the mathematical set-forming operator has the peculiar effect of sealing off real-world entities from the vagaries of time and space. The set {Socrates} exists (in the timeless sense appropriate to abstract mathematical entities) even though Socrates himself passed out of existence long ago. SECTION #PVQQC7 11. Particulars are Unknowable EXCERPT #JVASDY p. 8 EXCERPT #CMFR6F p. 9 It is not only all generality, on the fantological view, that is confined to the predicate, but also (at least on some versions of fantology) all connotation, all meaning. Names are mere ciphers – a matter of pure denotation. Thus if all truths are to be capable of being expressed in predicate-logical terms, then this implies a noumenal view of what the classical fantologists liked to call “bare particulars”, an outcome in fact explicitly embraced by Quine (Oderberg 2005). And, if (as on some standard fantological views) universals are identified as mere sets of particulars – or with functions between such sets of particulars and what some fantologists are pleased to call ‘worlds’ – then this implies a noumenal view of universals, too. We cannot express in our theories what particulars, or universals, are like; at best we can capture only a certain structure (or pattern or net or mesh) which reality somehow realizes. We cannot know what numbers are like, because even in second-order Peano arithmetic we cannot justify identifying the natural numbers with any specific omega sequence. EXCERPT #GWM63B p. 9 In the hands of some, the formal limitations on our capacity to specify such structures univocally (for example as implied by the Löwenheim-Skolem result) are held (incredibly) to be a sign of a psychological incapacity on our part to understand the corresponding objects. Here again (and now for spurious technical reasons) fantology connives to Kantian conclusions. EXCERPT #BY7MK3 p. 9 In fantological philosophy of natural science, the world itself is unknowable. At best we can appeal in Neokantian style to physics as it will exist in some never quite realized future state of epistemological perfection – a physics in which all of the differential equations will somehow have disappeared. Fantology thus implies, as in the hands of Carnap, a noumenal view of science. SECTION #5JU942 12. Predication is Functional Application EXCERPT #LUKX3M p. 9 Another strand in the fantological doctrine is the thesis according to which, in order to understand monadic properties it suffices to understand monadic predication. Frege held that when we assert, for example, that John is wise, then we are not ascribing to John some quality (of wisdom). Rather, we are applying a certain function from objects to truth values, and asserting that the value of this function for John as argument is a certain designated object called ‘the true’. In this way Frege’s object/function distinction rides roughshod over two traditional ontological distinctions, between substance and property and between particular and universal . EXCERPT #R7YGMR p. 9 On more traditional accounts of predication, qualities like wisdom or hunger or temperature can be coherently applied only to entities of certain restricted sorts. One important corollary of Frege’s account of predication, however, is that it applies indiscriminately to entities of all kinds. It thereby yields a single, beautifully elegant, unified (and bland) account of properties and predication, which extends indiscriminately to entities of all sorts – in spite of the fact that there is nothing ontologically in common between, say, the evenness of the number 2 and the negative charge of an electron. This allows Frege himself to build nonsense truths like ‘The square root of Napoleon’s mother is the false.’ In this way, however, the generality and rigor of Frege’s unified theory is bought at the price of ontological obfuscation. EXCERPT #PRPLSN p. 9 EXCERPT #JXJX5S p. 10 A further problem with Frege’s theory becomes apparent when we consider its application to the case of relations. That a stands in relation R to b is parsed by Frege as meaning: the function R when applied to the ordered pair \langle a, b \rangle as argument yields the true as value. In virtue of what, however, does this latter proposition hold, if not in virtue of the existence of some relation (in the more traditional, properly ontological sense) between a and b . EXCERPT #FKC73J p. 10 Occasionally Platonistic doctrines are offered, for example by Bealer, Butchvarov, Hochberg or Plantinga (see Menzel (1993)) as alternatives to the Fregean account of predication. Such doctrines are however still too closely wedded to the ‘ Fa ’ analysis, so that they, too, have gone hand in hand with many of the simplifications otherwise characteristic of the fantologicla approach. SECTION #WKX2QZ 13. The Vanishing Copula EXCERPT #RER2U7 p. 10 The most important of these simplifications is the rejection of the venerable Aristotelian distinction between two kinds of predication: EXCERPT #GGTULM p. 10 in the category of substance EXCERPT #2W6TRA p. 10 John is a human being EXCERPT #WGV2E6 p. 10 Henry is an ox EXCERPT #UD9WYE p. 10 in the category of accident EXCERPT #H9TSZK p. 10 John is hungry EXCERPT #RKSPFZ p. 10 Henry is awake EXCERPT #EHHFQ6 p. 10 The difference here turns on the fact that, if John is a human being, then he is a human being at every time at which he exists, and not for accidental reasons but because it is, as one says, part of John’s essence that he is a human being. If, on the other hand, Henry is awake, then he will cease to be awake at some time in the future. This distinction reflects what is, for Aristotle and for his successors, a fundamental ontological distinction, between what a substance is (its essence), and how it is (the accidents which accrue to it) at some given point in time. Substances and accidents are for Aristotle categorically distinct kinds of particulars. EXCERPT #KKNWD7 p. 10 For Frege and for his fantologist successors, this distinction has become invisible: the copula, on which the distinction rests, has become bundled into the predicate (Oderberg 2005), which is treated syntactically always in the same uniform kind of way. This implies in turn that the fantologists have little room in their thinking for the traditional distinction between property universals and kind universals, just as they have little room for the notion of essence. Here again the nuclear option is preferred – the idea being that it would be possible to save the fantological doctrine by denying the existence of those entities which cause it problems. Many heirs of the fantological world view have in this way found it possible to avoid the problems raised for their doctrines by apparent examples of true predications in the category of substance by denying the existence of substances. EXCERPT #769N5N p. 10 SECTION #8EKBDV 14. All Particulars are Bare Particulars EXCERPT #GUL8NQ p. 11 For the classical fantologist, all generality belongs to the predicate, all particularity belongs to the name. From this it follows that analytical philosophers were until relatively recently reluctant to admit into their ontologies tropes or individual accidents or events or actions or other entities falling outside the two privileged categories of property and object. Of the four corners of Aristotle's ontological square (see Figure 2), the classical fantologists have accordingly admitted only two. EXCERPT #DV375X p. 11 Substantial Accidental Universal Second substance man cat ox Second accident headache sun-tan dread Particular First substance this man this cat this ox First accident this headache this sun-tan this dread EXCERPT #XSC2LJ p. 11 Figure 2: Aristotle's Ontological Square (simplified from Angelelli 1967; see also Lowe 2002). EXCERPT #P9MQXP p. 11 If John has a headache, then the fantological assay of this fact – be it a matter of functional application, or of ascription to an object of a general property – involves no appeal to anything like the headache which John has, which has lasted for two hours, and which he is attempting to cure by taking aspirin . SECTION #QK6C6U 15. A Peculiar Insensitivity to Time EXCERPT #Z3AL8C p. 11 EXCERPT #6664AF p. 12 Because fantologists think it fitting to deal with predications about empirically existing objects in just the same way that they deal with predications about mathematical objects, this means that – because it is predications of the latter sort which wear the ontological trousers – they have developed no clear way of dealing with time. Fantologists such as Carnap were content to conceive the passage of time in terms of a sequence of static worlds, one for each time, in which all that is dynamic has been carefully eliminated. EXCERPT #5VU9UZ p. 12 The predicate logical ‘ Fa ’ had its origins, after all, in the work of Frege, who was concerned first of all with the truths of mathematics. And Frege’s logic does indeed work very well, in its way, for the formulation of many types of mathematical truths. When it comes to truths about things marked by change, however, then it needs to be extended by some sort of new machinery. EXCERPT #45T4NZ p. 12 The three alternative ways of doing this within a still recognizable predicate-logical framework are by now well known (see e.g. Lowe 2002a, p. 43f.). ‘ F holds of a at t ’ can be parsed in three ways: EXCERPT #G5YCTA p. 12 (1) the property F holds-at- t of object a (the copula is indexed by times); (2) the property F is a relation between object a and time t ; (3) the property F holds of a new special entity called ‘ a t ’ or ‘ a-at-t ’ (an object stage or phase or slice ). EXCERPT #UKW25R p. 12 That none of these alternatives for representing time has established itself as victor over the others turns on the fact that each involves a heavy price. EXCERPT #TG3HD3 p. 12 The first, which is sometimes called the adverbial solution, involves too great a departure from fantological orthodoxy – holding is no longer capable of being interpreted as functional application in the standard mathematical sense; rather it comes to signify something more like inherence or exemplification as conceived by Aristotelians. Indeed Lowe sees it as understandable why alternative (1) “should have been overlooked, at least by philosophers trained to think in terms of the categories of modern quantification or predicate logic, as it is called. For such logic simply has no place for adverbs.” (2002a, p. 47) EXCERPT #Z8BE3Q p. 12 The second seeks to simulate the temporal nature of holding by viewing each contingent property as a relation to a time. The problem here is that the result contravenes almost everything that we know about properties of almost all familiar kinds. EXCERPT #R57XL4 p. 12 The third represents, once again, a nuclear option. It amounts to sacrificing three-dimensional enduring entities for reasons which have to do (at least in part) with the desire to hold on to a trusted syntax. On this third option you yourself do not exist; rather there exists only a sequence of youish phases in continuous temporal succession. (For arguments against such views see Inwagen 2000.) EXCERPT #DA87AB p. 12 EXCERPT #J56YW9 p. 13 Nowadays, philosophers who wish to hold on to the framework of first-order logic in order to formulate their ontological views often advance one or other four-dimensionalist position which denies the existence of three-dimensional (endurant) objects but replaces them not by phases, or stages, but rather by four-dimensional (perdurant) processes. There is not Bill Clinton , but rather a certain process-of-a-Bill-Clintonizing-sort . This allows the four-dimensionalist to hold on to a timeless version of first-order logic without the need for special temporal variables or operators, since all the denizens of the four-dimensional process plenum have all their properties in timeless fashion. The problem with this view, again, is that it implies that you and I, our cells and organs, the buildings and cities in which we live, do not exist. SECTION #63LUN3 16. Poor Treatment of Relations EXCERPT #JJMCCN p. 13 The doctrine according to which relations are sets of ordered tuples, while it falls outside the syntactic repertoire of fantology that is here our primary concern, is yet clearly part of the same stable of views and has similar consequences in the form of denials of ontological distinctions hitherto (and for good reasons) accepted as a matter of course. EXCERPT #F4R2RA p. 13 The tradition found it necessary to distinguish between several radically different types of relations. First there are real material relational endurants, like love or hate, and other relational qualities (for example Jonathan's knowledge of Greek), which, like endurant entities in general, change in different ways while preserving their identity through time. There are real material relational events , like wars and conversations, kicks and kisses, relational entities which call for a treatment along roughly Davidsonian lines, like events of every other sort. There are family relations, such as is consanguineous with or is the brother of , and there are comparatives such as is taller than or is warmer than . EXCERPT #Q95W24 p. 13 When binary relations are identified with sets of ordered pairs, then all of these putatively distinct types of relations become identified. What is the adicity of your headache (a relation between your consciousness and various processes taking place in an around your brain)? What is the adicity of the Battle of Waterloo? Does John's being in love with Mary or being the cousin of Mary, consist in his being, with Mary, a term in an ordered pair belonging to a certain abstract entity in the realm of sets? Which analysis, here, comes closer to reproducing the order of ontological primacy? EXCERPT #TEK6JZ p. 13 Of course it is possible in various ways to resist the identification of relations with sets of tuples in a predicate logical framework. One can insist that, while standard model theory typically employs such sets of tuples as assignments for relational predicates, this does not mean that such sets of tuples must be part of the intended interpretations of theories formulated in the predicate logical language. EXCERPT #GFDM6L p. 13 EXCERPT #3T5WVY p. 14 Note, too, that at least one relation – the relation of set-membership itself – must remain unamenable to an analysis in terms of the relations-are-sets-of-tuples view. This relation is, in David Lewis’s terms, a mystery. (Lewis 1991) From the perspective of many adherents of fantological semantics ( inter alia in the realm of computer science), we can understand a theory only when we have provided a set-theoretic semantics for that theory and proved consistency, completeness, etc. Clearly such a doctrine can provide no help in understanding set theory itself. EXCERPT #629Q6A p. 14 According to Russell’s History of Western Philosophy the introduction of the new style ‘ Rab ’ was seen as having initiated a revolution in the treatment of relations and as representing a genuine advance in our understanding which allowed its adherents to overcome the problems which had confronted earlier thinkers, such as Aristotle and the scholastics, who (as Russell says) had been led by their own subject-predicate logic to identify relations with monadic relational properties. The ‘ Rab ’ was seen as having freed us also from the errors of those, such as Spinoza or Leibniz or Bradley (or Hegel), whose failure to understand relations had led them to embrace monistic or monadological doctrines that were an offence to common sense. As we have seen, however, when applied to the different types of relations with which we are pre-theoretically familiar, the Rab account faces considerable difficulties of its own. EXCERPT #Q9HSDV p. 14 There are many other doctrines which have been found attractive by those who fall within the gravitational field of fantology. It is fantology which lent credence to Kim’s doctrine (1976), according to which an event consists in an individual’s exemplifying a property at a time, a doctrine which assimilates real change to Cambridge change. And indeed, with its reduction of relations to sets of ordered tuples, fantology is likewise ex officio not in a position to resist the assimilation of properties (such as hardness or shape) to Cambridge properties (such as being thought about). SECTION #W2NUZ7 17. Booleanism EXCERPT #VAA4FX p. 14 Another problem with fantology, at least on some variants, concerns its treatment of properties as inhabiting a realm structured by Boolean combination. If F and G are properties, then so also are \sim F , F \vee G , F \wedge G , F \rightarrow G , F \leftrightarrow G , F \wedge \sim G , and so on – as if establishing the properties in reality was a matter not of empirical science but of logic. (See Meixner 1992, for a particularly severe strain of the Boolean fantological orthodoxy, and Newman 1992 for an alternative view.) EXCERPT #HAXCPB p. 14 This Booleanism – which is properly at home not in ontology but rather in logic or mathematics – derives from Frege’s assimilation of predicates to sentences via his notion of unsaturatedness. Predicates are, as one says, ‘open sentences’. At the same time they correspond to what is general in reality (somewhat confusingly called by Frege ‘concepts’). The sleight of hand here turns on the fact that what is general in reality is hereby brought within the realm of operators such as and or not – operators which are essentially linguistic. There are indeed some who think that we can read off the properties in reality by looking at the language we use to talk about it. Kantians and relativists even find such doctrines attractive for reasons which have nothing to do with any influence of fantology. But they are, surely, doctrines which enjoy too many of the advantages of theft over honest toil. EXCERPT #882YUP p. 14 EXCERPT #89NP7J p. 15 Frege's idea led, by degrees, to a lazy use of the word 'property'. (The fantologist's strong comprehension axiom asserts that there is a property corresponding to every expressible formula with exactly one free variable.) In this way, too, fantology came to be conducive to nominalism (for an ontologist, surely, cannot take seriously properties like: being non-identical to Socrates , being such that 2 + 2 = 4 , being a unicorn unless sleeping , being either not a silverfish or not magnetically charged , being green if examined before a certain date ). Set theory, too, of course, is marked by a Booleanism of this sort – a Booleanism which shares part of the responsibility for Russell's paradox. Booleanism is in this way responsible also for the phobia of quantification over properties/universals (for no dangers need arise through such quantification in the absence of Boolean combination). In this respect, too, Booleanism is conducive to nominalism. EXCERPT #MCVL63 p. 15 The tradition surely had it right when it took for granted the thesis that the question which simple and complex general expressions stand for properties or universals in reality is a question to be decided in each case only on the basis of special inquiries – for example on the part of natural science. So powerful is the force of Booleanism, however, that even the valiant efforts of Armstrong to fight against it with his 'sparse' or 'non-abundant' theory of universals (Armstrong 1978; see also Lewis 1983) are thus far still a minority taste among analytical metaphysicians. EXCERPT #R69SDG p. 15 So powerful, indeed, is the solid wall of Booleanist orthodoxy in the philosophy of the twentieth century that its penetration on the part of Armstrong comes close to constituting a miracle of modern intellectual history. Note, though, that this magnificent achievement did no more than bring him back to the point where Aristotelians had been from the very start. SECTION #MW9JFA 18. No Room for Dependent Continuants EXCERPT #7AYNAL p. 15 Davidson, too, with his ontology of events, did much to break down fantological orthodoxy. His quantificational analysis of sentences about occurrents (actions, events) was an important step forward not least in the area where logic meets linguistics: it meant that those linguists who had thus far been too heavily influenced by fantology were finally able to deal coherently with verbs. As analytical metaphysicians have in recent years increasingly turned their attention to powers, qualities, roles, conditions, functions, dispositions, and so forth, they have thereby extended the Davidson-style analysis of occurrents into the realm of dependent continuants. Sadly it is still in too many quarters fashionable to talk indiscriminately of “tropes” in this connection (reflecting, once again, the fact that fantology encourages an indiscriminating representation of all entities not belonging to the category of independent object). Tropes are individualized properties – but properties as fantologically conceived, which means: properties conceived through the running together of all that is expressed by means of the ‘Fa’ and the ‘Rab’. EXCERPT #WNCGCL p. 15 EXCERPT #D6BEJX p. 16 For exactly as the classical fantologists made too few distinctions in the realm of properties, so their trope-ontologist successors make too few distinctions in the realm of dependent entities, not least in failing to distinguish clearly between dependent continuants such as qualities, powers, functions, roles, dispositions, and dependent occurrents such as actions and events (Grenon and Smith 2004). When we do make such distinctions, then we arrive at a more adequate ontology, which might be represented in the form of what we can call the Aristotelian Ontological Sextet, as follows: EXCERPT #8MW8B5 p. 16 Independent Continuant Dependent Continuant Occurrent (Process) Universal Second substance man cat ox Second quality headache sun-tan dread Second process copulation walking thinking Particular First substance this man this cat this ox First quality this headache this sun-tan this dread First process this copulation this walking this thinking EXCERPT #3TSJ8M p. 16 Figure 3: The Ontological Sextet EXCERPT #2HSCQG p. 16 This more adequate ontology goes beyond Aristotle in embracing, in addition to, individual and universal substances, also individual and universal qualities (as well as functions , dispositions , etc.), and both individual and universal processes . (See Figure 3.) Entities in these categories would be joined together by formal relations such as instantiation , exemplification and participation , as well as by the part relation (obtaining for example between the parts of a process and the process whole), and by the realization relation (obtaining between a function and the processes through which it is executed). EXCERPT #C5L2ZX p. 16 SECTION #ZAUEPE 19. A New, Enhanced Davidsonism EXCERPT #CX2YXN p. 17 We can solve the problems of fantology in a number of ways. We can follow the route taken by Leśniewski or Sommers and replace fantological logic with a term logic owing more to the older logico-ontological tradition than to the post-Fregean logic of functional application. Or we can follow Wiggins in bringing the copula back into predicate logic, or Gupta (1980) in developing a logic of common nouns. Here, however, we concentrate on a still too little explored alternative, which involves a minimal adjustment to the standard syntax of first-order logic – but an adjustment which nonetheless protects us from its fantological influence – effectively by eliminating the ‘F’ in ‘Fa’ and by radically confining and reconceiving the range of substitution-instances of the ‘R’ in ‘Rab’. EXCERPT #YAM8TJ p. 17 We have already noted how, because of its roots in mathematics, Fregean logic yields from within its own resources no satisfactory way of dealing with time and change. Matters were improved in this respect through Davidson’s treatment of events, and the idea here is that the latter can be generalized in a radical way to solve the problems of fantology in one foul swoop. EXCERPT #LXQV4L p. 17 First we expand still further the repertoire of types of entities over which our variables range, in such a way that they embrace both particulars and universals in all the six categories distinguished in our Ontological Sextet (and conceivably also further groups of entities such as temporal instants or spatial regions not here considered). Second, we eliminate all predicates of the ‘F’ and ‘R’ style, replacing them with a small number of relational expressions, but confining ourselves to formal ties which, like ‘=’, come with fixed interpretations. EXCERPT #RUTAX2 p. 17 Relations of the sorts we have in mind are represented in Figure 4, as follows: EXCERPT #3TTLCK p. 17 graph TD SU[Substantial universal] QU[Quality universal] PU[Process universal] SP[Substantial particular] QP[Quality particular] PP[Process particular] SU -- "differentia of" --> QU SP -- "instantiates" --> SU QP -- "instantiates" --> QU PP -- "instantiates" --> PU SP -- "exemplifies" --> QU SP -- "has participant" --> PP QP -- "inheres in" --> SP Figure 4: Relations connecting the six different types of entities in the Ontological Sextet. The diagram shows six nodes arranged in a 2x3 grid. The top row contains 'Substantial universal', 'Quality universal', and 'Process universal'. The bottom row contains 'Substantial particular', 'Quality particular', and 'Process particular'. Arrows connect the nodes with labels: 'differentia of' (top row, left to right), 'instantiates' (vertical arrows from each particular to its universal), 'exemplifies' (diagonal arrow from Substantial particular to Quality universal), 'has participant' (horizontal arrow from Substantial particular to Process particular), and 'inheres in' (bottom row, right to left). EXCERPT #WC33RR p. 17 Figure 4. Relations connecting the six different types of entities in the Ontological Sextet EXCERPT #XRYNEW p. 17 EXCERPT #GSRT4P p. 18 Our restricted vocabulary for predicate logic might then contain a list of predicates along the following lines: EXCERPT #WRVKYL p. 18 =(x, y) , for: x is identical to y \text{Part}(x, y) , for: individual x is part of individual y \text{Inst}(x, y) , for: individual x instantiates universal y \text{Inhere}(x, y) , for: individual x inheres in individual y \text{Exemp}(x, y) , for: individual x exemplifies property y \text{Dep}(x, y) , for: individual x depends for its existence on individual y \text{Is\_a}(x, y) , for: universal x is a subkind of universal y \text{Precedes}(x, y) , for: individual process x precedes individual process y \text{Has\_Participant}(x, y) , for: individual thing y participates in individual occurrent x \text{Has\_Agent}(x, y) , for: individual thing y is agent of individual occurrent x \text{Realizes}(x, y) , for: individual process x realizes individual function y EXCERPT #MJWNMR p. 18 ‘John is wise’, in this vocabulary, becomes: \text{Exemp}(\text{John}, \text{wisdom}) – ‘wisdom’ here is the name of a universal. ‘John is a man’ becomes: \text{Inst}(\text{John}, \text{man}) . ‘Man is a subtype of animal’ becomes: \text{Isa}(\text{man}, \text{animal}) , and so on. The vocabulary allows us also to formulate a range of axioms governing the formal behavior of the relations thereby distinguished, for example: EXCERPT #CEVAQB p. 18 \text{Realizes}(x, y) \rightarrow \exists z (\text{Dep}(x, y) \wedge \text{Dep}(y, z)) \text{Exempt}(x, y) \rightarrow \exists z (\text{Inst}(z, y) \wedge \text{Inhere}(z, x)) EXCERPT #W89VQK p. 18 The result is comparable to the vocabulary of set theory in the sense that there, too, we have a restricted number (two) of relational predicates: = and \in , both of which are formal, governed by a restricted number of axioms. But while the language we are proposing has a vocabulary structurally very similar to that of set theory, it differs radically in that the formal tie of set-theoretic membership itself emanates from the fantological stable (and thus represents a brutal gliding over of the distinction between logical and ontological form). SECTION #CCHP6D 20. Predicates Do Not Represent EXCERPT #ALZYD4 p. 18 Our fundamental idea is that predicates (the standard predicates of first-order logic fantologically conceived) do not represent. Even the formal predicates which we allow in our vocabulary do not stand for anything. (They are to this degree analogous to the logical constants as conceived by Wittgenstein.) Rather they are what link together variable and constant terms which are those parts of the syntax which do stand for something. The logical constants do not represent, and nor, either, do the ontological constants. EXCERPT #4UD577 p. 18 EXCERPT #TZS3JA p. 19 Formal ties such as instantiates, part-of, connected-to, boundary-of are for familiar Bradleyan reasons not extra ingredients of being. For if they were entities in their own right then there would arise for them, too, the question: what connects them to their bearers? EXCERPT #8EGEZG p. 19 The relevant mistake of fantology here lies in the assumption that the ‘F’ in ‘Fa’ stands for something, something that would somehow span the border between what is general in reality (universals, properties, essences) and what is logico-linguistic in the realm of meanings (concepts, propositions). It is from this fateful mistake, introduced into philosophy by Frege (through Plato, too, must bear some part of the blame), that Booleanism stems. Boolean operators such as ‘and’ and ‘or’ connect what is logico-linguistic in nature, they do not connect the kinds and universals in reality. EXCERPT #V5457K p. 19 Our approach avoids Booleanism, since we deal with universals, with what is general, via names and not via predicates, and names cannot be joined together ad libitum via logical operators. Our approach allows us at the same time to simulate some of the advantages of second-order logic – above all in that we can quantify over universals – without the disadvantage in the form of the paradoxes which second-order logic is sometimes held to bring in its wake. Our use of names for universals implies also that our framework lends no support to the temptations of nominalism. We are protected from the consequences of fantology above all, however, because our procedure keeps the logical and ontological parts of our language rigorously separate. EXCERPT #6BUB8K p. 19 Our selected formal ties indeed derive squarely from ontology, and logic gives us no clue as to what these formal ties should be. To establish the appropriate list requires extralogical work (Smith et al. , 2005), just as it requires extralogical work to find out what the universals and particulars in reality are. SECTION #HKGX5U Acknowledgements EXCERPT #RKT4LU p. 19 The present paper was written under the auspices of the Wolfgang Paul Program of the Alexander von Humboldt Foundation, the Network of Excellence in Semantic Interoperability and Data Mining in Biomedicine of the European Union, and the project “Forms of Life” sponsored by the Volkswagen Foundation. Thanks are due also to Maureen Donnelly, Michael Gorman, Ingvar Johansson, Chris Menzel, Kevin Mulligan, Fabian Neuhaus and Chris Partridge for helpful comments. SECTION #HLYX3V References EXCERPT #T536QP p. 19 EXCERPT #86A97P p. 20 Angelelli, Ignacio 1967 Studies on Gottlob Frege and Traditional Philosophy . Dordrecht: Reidel. Armstrong, David M. 1978 Universals and Scientific Realism , Cambridge: Cambridge University Press. Armstrong, David M. “Vérités et vérificateurs”, in Jean-Maurice Monnoyer, La structure du monde. Objets, propriétés, états de choses , ed. J.-M. Monnoyer, Paris: J. Vrin, 2004, 101-114. Davidson, Donald 1980 Essays on Actions and Events , Oxford: Blackwell. Feibleman, James Kern 1958 Inside the Great Mirror: A Critical Examination of the Philosophy of Russell, Wittgenstein, and Their Followers , The Hague: M. Nijhoff. Grenon, Pierre and Smith, Barry 2004 “SNAP and SPAN: Towards Dynamic Spatial Ontology”, Spatial Cognition and Computation , 4: 1, 69-103. Gupta, Anil 1980 The Logic of Common Nouns , New Haven: Yale University Press. Husserl, Edmund 1913/21 Logische Untersuchungen , Halle: Niemeyer, 2nd edition, as translated by J. N. Findlay, Logical Investigations , London: Routledge and Kegan Paul, 1970. Inwagen, Peter van 2000 “Temporal Parts and Identity Across Time”, The Monist , 83: 3. Johansson, Ingvar 2004 Ontological Investigations: An Inquiry into the Categories of Nature, Man and Society , Frankfurt/Lancaster: Ontos Verlag. Kim Jaegwon 1976 “Events as Property Exemplifications”, in Myles Brand and Douglas Walton (eds.), Action Theory , Dordrecht: Reidel. Kim, Jaegwon 1984 “Concepts of Supervenience”, Philosophy and Phenomenological Research , 65, 257-70. Actions Lewis, David 1983 “New Work for a Theory of Universals”, Australasian Journal of Philosophy , 61: 4, 343-77. Lewis, David 1991 Parts of Classes , Oxford: Blackwell. Lowe, E. J. 2002 “A Defence of the Four-Category Ontology”, C. Moulines and K. Niebergall (eds.), Argument und Analyse , Paderborn: Mentis, 225–40. Lowe, E. J. 2002a A Survey of Metaphysics , Oxford: Oxford University Press. Maddy, Penelope 1997 Naturalism in Mathematics , Oxford: Clarendon Press. Meixner, Uwe 1992 “On Negative and Disjunctive Properties”, K. Mulligan (ed.) Language, Truth and Ontology , Dordrecht: Kluwer, 28–36. Menzel, Chris 1993 “Singular Propositions and Modal Logic,” Philosophical Topics , 21, 113–148 EXCERPT #TRMPPE p. 20 EXCERPT #8C4DH8 p. 21 Neuhaus, Fabian, Grenon, Pierre and Smith, Barry 2004 “A Formal Theory of Substances, Qualities, and Universals”, in Achille Varzi and Laure Vieu (eds.), Formal Ontology and Information Systems. Proceedings of the Third International Conference , Amsterdam: IOS Press, 2004, 49-58. Newman, Andrew 1992 The Physical Basis of Predication , Cambridge: Cambridge University Press. Oderberg, David 2005 “Predicate Logic and Bare Particulars”, forthcoming in D. S. Oderberg (ed.), The Old New Logic: Essays on the Philosophy of Fred Sommers (Cambridge, MA: MIT Press, 2005). Russell, Bertrand 1917 “On Scientific Method in Philosophy”, in Mysticism and Logic , London: Routledge and Kegan Paul. Russell, Bertrand 1919 Introduction to Mathematical Philosophy , London: George Allen and Unwin. Russell, Bertrand 1986 The Philosophy of Logical Atomism and other Essays 1914–1919. Collected Papers , Volume 8, London: Allen and Unwin. Simons, Peter M. 1987 Parts. An Essay in Ontology , Oxford: Clarendon Press. Smith, Barry 2004 “Beyond Concepts, or: Ontology as Reality Representation”, Achille Varzi and Laure Vieu (eds.), Formal Ontology and Information Systems. Proceedings of the Third International Conference , Amsterdam: IOS Press, 2004, 73–84. Smith, Barry et al. 2005 “Relations in Biological Ontologies”, submitted. Sommers, Fred 1982 The Logic of Natural Language , Oxford: Clarendon Press. Wiggins, David 1984 “The Sense and Reference of Predicates: A Running Repair to Frege’s Doctrine and a Plea for the Copula”, Philosophical Quarterly 34, 311-328; repr. in C. Wright (ed.), Frege: Tradition and Influence , Oxford: Blackwell, 1994. Wittgenstein, Ludwig 1921 Tractatus Logico-Philosophicus , translated by D. F. Pears and B. F. McGuinness, London: Routledge, 1961 (originally published in Annalen der Naturphilosophie 14, 185-262). EXCERPT #JVA3TY p. 21 ### 11. Assistant tool calls #### Tool call: `write_note` ```json { "block_ids": [ "CGE2NC", "Y7TY94", "ZCA9UM", "6664AF", "Q95W24", "VAA4FX", "D6BEJX", "8MW8B5", "WRVKYL", "3GDQTX", "BYG3BQ", "MH5J8D", "96ZMGK", "DWXKYQ", "K82AS7", "2284QZ", "ZU8GZV", "XW22YY", "UYLTYJ", "B6P8L4", "M5788P", "YAM8TJ", "XQ5NKX", "GBKGKS", "DE7S2J", "CQBDX4", "9NQ94D", "WZ8DHP", "GANFP9", "C8FHDZ", "7ESDBJ", "67REFX", "R7YGMR", "FTE6H6", "WYH36B" ], "text": "Cross-corpus synthesis: Smith's \"Against Fantology\" (#CGE2NC) as a philosophical spine for the library.\n\nSmith's targets — the Spreadsheet Ontology (#Y7TY94), set-theoretic reduction (#ZCA9UM), time-insensitivity (#6664AF), flattened relations (#Q95W24), Booleanism (#VAA4FX), missing dependent continuants (#D6BEJX) — map onto the other folders:\n\n1. Alexander/living structure: anti-atomism and holism (#3GDQTX, tone example #ZCA9UM) parallels centers existing only through mutual reinforcement (#BYG3BQ); Smith's formal ties (inherence, participation, dependence, #WRVKYL) are a candidate formalization of center-relations, distinct from Boolean feature checklists (relevant to Beautimeter #MH5J8D).\n2. Process-first terrain: erosion-based generation (#96ZMGK, #DWXKYQ) and legacy sediment / anthropogenic fingerprints (#K82AS7, #2284QZ) treat landform as residue of process particulars — Smith's Sextet (#8MW8B5) gives processes first-class status. Heightfields = spreadsheet ontology of terrain. Alexander's structure-preserving transformations (#ZU8GZV) and generative codes (#XW22YY) make the same move in design.\n3. Trails as dependent continuants: Helbing trails (#UYLTYJ, #B6P8L4) inhere in ground, are sustained by walking processes, fade when process stops — not substances.\n4. Behavioral programming: b-threads/LSCs as named first-class occurrents (#M5788P) match Smith's enhanced Davidsonism (#YAM8TJ); \"unmodeling\" (#XQ5NKX) is explicit ontological-commitment management, cf. Johansson's default ontologization (#GBKGKS).\n5. PCG/KR: Smith notes fantology's reach into KR (#DE7S2J). Tile/tensor level representations (#CQBDX4) encode attribute co-occurrence, not dependence/participation; hence post-hoc playability inference (#9NQ94D) and agent validation (#WZ8DHP).\n6. Ellerman: partition logic (#GANFP9, #C8FHDZ) is a mathematically worked-out non-Boolean alternative, sibling to Smith's anti-Booleanism; property-theoretic accounting (#7ESDBJ) keeps property, bearer, and transaction-process distinct.\n7. Heidegger/Kohr: fantology as logical Gestell revealing reality as standing-reserve (#67REFX); Smith's \"bland\" universal predication (#R7YGMR, #FTE6H6) parallels Kohr's scale-indifference critique (#WYH36B).\n\nThread: most folders in the library resist the spreadsheet ontology in their own idiom — processes, dependence, and wholes over static attribute-assays.", "title": "Against Fantology as a spine for the whole corpus" } ``` ### 12. Tool result: write_note NOTE SAVED #N7DTUP IRI: https://m.sheaf.less.rest/N7DTUP ### 13. Assistant Saved as note #N7DTUP, alongside the existing reading note #J6YNWU. If one of these connections is worth developing in the thesis, the strongest candidates are #2 (process ontology → generative/erosive terrain and Alexander's unfolding) and #5 (spreadsheet ontology → why static PCG representations need playability repair), since both turn Smith's abstract critique into a concrete claim about representation choices in your technical domain. ### 14. User yes in fact it seems obvious that it would be nice and interesting to just sketch out the game's ontology... it's like way more interesting than domain driven design, or it's like a much more grounded and scientific approach, like our pervasive `mp-units` use and our `bundle` type that combines a topological domain with a typed&dimensioned set of quantities like the terrain is defined on a flat toroidal D8 lattice and has bundle sections like stream_power, ground altitude, wetness, etc... ### 15. Assistant tool calls #### Tool call: `list_notes` ```json {} ``` ### 16. Tool result: list_notes RESEARCH NOTES #N7DTUP Against Fantology as a spine for the whole corpus Published: 2026-07-24T20:30:59Z Mentions: #VAA4FX, #96ZMGK, #BYG3BQ, #XW22YY, #9NQ94D, #2284QZ, #WYH36B, #XQ5NKX, #K82AS7, #CQBDX4, #R7YGMR, #Y7TY94, #7ESDBJ, #CGE2NC, #ZCA9UM, #UYLTYJ, #WRVKYL, #GBKGKS, #8MW8B5, #YAM8TJ, #DE7S2J, #FTE6H6, #B6P8L4, #3GDQTX, #MH5J8D, #Q95W24, #D6BEJX, #GANFP9, #WZ8DHP, #ZU8GZV, #6664AF, #67REFX, #DWXKYQ, #M5788P, #C8FHDZ Cross-corpus synthesis: Smith's "Against Fantology" (#CGE2NC) as a philosophical spine for the library. Smith's targets — the Spreadsheet Ontology (#Y7TY94), set-theoretic reduction (#ZCA9UM), time-insensitivity (#6664AF), flattened relations (#Q95W24), Booleanism (#VAA4FX), missing dependent continuants (#D6BEJX) — map onto the other folders: 1. Alexander/living structure: anti-atomism and holism (#3GDQTX, tone example #ZCA9UM) parallels centers existing only through mutual reinforcement (#BYG3BQ); Smith's formal ties (inherence, participation, dependence, #WRVKYL) are a candidate formalization of center-relations, distinct from Boolean feature checklists (relevant to Beautimeter #MH5J8D). 2. Process-first terrain: erosion-based generation (#96ZMGK, #DWXKYQ) and legacy sediment / anthropogenic fingerprints (#K82AS7, #2284QZ) treat landform as residue of process particulars — Smith's Sextet (#8MW8B5) gives processes first-class status. Heightfields = spreadsheet ontology of terrain. Alexander's structure-preserving transformations (#ZU8GZV) and generative codes (#XW22YY) make the same move in design. 3. Trails as dependent continuants: Helbing trails (#UYLTYJ, #B6P8L4) inhere in ground, are sustained by walking processes, fade when process stops — not substances. 4. Behavioral programming: b-threads/LSCs as named first-class occurrents (#M5788P) match Smith's enhanced Davidsonism (#YAM8TJ); "unmodeling" (#XQ5NKX) is explicit ontological-commitment management, cf. Johansson's default ontologization (#GBKGKS). 5. PCG/KR: Smith notes fantology's reach into KR (#DE7S2J). Tile/tensor level representations (#CQBDX4) encode attribute co-occurrence, not dependence/participation; hence post-hoc playability inference (#9NQ94D) and agent validation (#WZ8DHP). 6. Ellerman: partition logic (#GANFP9, #C8FHDZ) is a mathematically worked-out non-Boolean alternative, sibling to Smith's anti-Booleanism; property-theoretic accounting (#7ESDBJ) keeps property, bearer, and transaction-process distinct. 7. Heidegger/Kohr: fantology as logical Gestell revealing reality as standing-reserve (#67REFX); Smith's "bland" universal predication (#R7YGMR, #FTE6H6) parallels Kohr's scale-indifference critique (#WYH36B). Thread: most folders in the library resist the spreadsheet ontology in their own idiom — processes, dependence, and wholes over static attribute-assays. #3F7NHY Reading note: Against Fantology Again Published: 2026-07-24T20:24:59Z Mentions: #ELGHFD, #EYPEX5, #GBKGKS, #HSJWCU, #JZG4PM, #Y2EB2B Ingvar Johansson’s “Against Fantology Again” (#JZG4PM) reframes fantology as the claim that only a default ontologization of traditional first-order predicate logic can display reality. He introduces default ontologization as an ontologically neutral operation applicable to natural and logical languages, then argues that Quine’s canonical notation is doubly incoherent: it cannot represent classes consistently within first-order logic, and its extensional physicalism excludes intentional phenomena while Quine’s appearance/reality distinction implicitly requires different modes of existence. Johansson defends a fallibilist recognition of conscious occurrences and intentionality (#HSJWCU, #Y2EB2B, #EYPEX5). #J6YNWU Reading note: Against Fantology Published: 2026-07-24T20:24:59Z Mentions: #8XUJG5, #CGE2NC, #CX2YXN, #D6BEJX, #D9DUYG Barry Smith’s “Against Fantology” (#CGE2NC) argues that first-order predicate logic is often mistaken for a mirror of ontological structure. It traces the resulting commitments—spreadsheet-style atomism, reduction of complexity to sets, confinement of generality to predicates, bare particulars, insensitivity to time, flattening of relations, Booleanism, and failure to represent dependent continuants. Smith proposes an Aristotelian Ontological Sextet of substantial, quality, and process universals and particulars, linked by formal relations such as instantiation, exemplification, inherence, participation, and realization. His constructive alternative is an enhanced Davidsonism that separates logical from ontological form and uses names for universals rather than predicates (#D6BEJX, #CX2YXN). #EZBYH4 Split observations from commands in a game-oriented BP semantics Published: 2026-07-24T20:15:56Z Mentions: #2K6PUU, #CSWC43, #DECISION, #EX4TXE, #OBSERVATION, #OUTCOME, #PBEYQU, #PROPOSAL, #YCEFVW The user's concern that BP conflates events and commands is substantive. Classical BP deliberately uses one alphabet Σ (#PBEYQU): b-threads request and block labels, enabled labels are requested minus blocked (#EX4TXE), and a run is a sequence of selected/triggered labels (#YCEFVW). At the system boundary this makes a label ambiguous: the C++ example has a sensor thread translate an already-occurring physical input into a requested CoinInserted BP event (#2K6PUU), while an actuator waits for selected ProvideProduct and then performs the physical action (#CSWC43). For a game-oriented coroutine BP, use a typed causal vocabulary: (1) Observation/fact—uncontrollable, injected from physics/input, broadcast and never blockable; (2) Proposal/intent—a controllable candidate requested by behaviors; (3) Decision/commitment—the scheduler's selected proposal; (4) Outcome—uncontrollable completion/failure observation from execution; optionally (5) internal coordination signal. Formally partition Σ = Σ_u ⊎ Σ_c. Blocks apply only to Σ_c; external observations in Σ_u first advance interested b-threads, then the scheduler selects controllable proposals. Example: DeployPressed [observation] -> DeployGlider [proposal] -> DeployGliderCommitted [decision] -> GliderOpened or DeploymentFailed [outcome]. This preserves BP composition and trace semantics while making causality and authority explicit. #BQL2KS Behavioral programming for camera, vehicle jumps, and transient affordances Published: 2026-07-24T20:08:00Z Mentions: #CMY9TJ, #NDD374, #QSEJNZ, #W66B89 For the game architecture, BP may be most valuable beyond autonomous NPCs: camera behavior, vehicle/avatar coordination, landing anticipation, and transient affordances are cross-cutting reactive scenarios. Decompose by time scale as b-nodes (#W66B89): physics remains continuous; a predictor derives qualitative transition events (AirborneStarted/Ended, ImpactRiskBecameHigh/Low, LandingImminent) with hysteresis; BP negotiates semantic directives; low-level controllers realize camera pose, animation, or bounded vehicle torque. Treat each game tick as a super-step boundary (#QSEJNZ). Distinguish observation events, player-intent events, proposed directives, committed actions, and outcome events. Persistent conditions should use enter/exit events or snapshots rather than repeated pulse events. For camera composition, b-threads can request directives such as frame-player, show-landing-zone, widen-FOV, avoid-occlusion, and stabilize-horizon; accumulate compatible directives during a super-step and use a low-priority CommitCameraPlan event, analogous to the quadrotor RPM output step (#NDD374), then solve the continuous camera pose conventionally. Hang-glider deployment is cleanly decomposed into an input translator requesting DeployGlider, independent eligibility/safety b-threads blocking it when conditions fail, a deployment sequence coordinating vehicle/avatar/glider state, and an auto-stow behavior requesting StowGlider on landing. Prefer semantically meaningful broadcast events over components reading each other's mutable internals, consistent with #CMY9TJ. #QLR9JX PDF import batch: all 5 imported and validated Published: 2026-07-24T18:21:24Z Mentions: #67REFX, #7ESDBJ, #8C28Q3, #AULNWD, #BEVDM5, #F6P4LS, #NBH3BE, #WYH36B, #Z2YATG All five PDFs are now imported and validated. Economics, Accounting, and Property Theory (#7ESDBJ, source #8C28Q3) and Algebraic Models for Accounting Systems (#NBH3BE, source #F6P4LS) were resumed from the preserved Datalab outputs in runs #Z2YATG and #BEVDM5 after fixing Quadlog large-transaction performance, atomic PDF metadata writes, and retry idempotence. Seven orphan graphs created by timed-out Economics retries were removed after backup. Search and embeddings were rebuilt successfully with zero embedding errors. The three earlier imports remain #WYH36B, #67REFX, and #AULNWD. #CSFA49 Drainage-aligned coordinates as a river-rendering parameterization Published: 2026-07-14T17:20:28Z Mentions: #KNWKGF, #M78ELM, #QGGCCR, #W32P5Z, #YTDJGS A coordinate transform that approximately straightens major rivers could double as a flow-aligned shader/UV parameterization. Treat one coordinate as downstream arc length and the other as signed cross-channel distance. This would simplify streaming normal/foam textures, procedural displacement, bank masks, width profiles, anisotropic highlights, and river-specific LOD. Existing river rendering supports the idea: arc length along a Bézier river is used for streaming texture coordinates (#M78ELM), distance to the curve defines river boundaries (#QGGCCR), and junctions blend coordinates from overlapping branches (#KNWKGF). Texture advection is otherwise difficult because a texture must move like a carpet around a curved track with spatially varying direction and speed (#W32P5Z). The transform would be a rendering parameterization, not a replacement for velocity simulation; junction singularities, distortion, and inverse-map/Jacobian handling remain important. Coarse 3D displacement is compatible with a 2D river animation model (#YTDJGS). #4PF6N6 Cross-corpus inventory of units, quantities, and domain-specific numeric parameters Published: 2026-07-12T03:37:39Z Mentions: #247BPE, #3LSFWC, #GNDKEV, #BEDUYL, #8CNUPW, #8QGM6W, #LUVPJR, #BMKDJR, #N9TEH4, #82HGFN, #43XVF5, #MNZNZU, #J2KKMV, #6N825C, #23W9S2, #XZBXLL, #RTYCL9, #W7JZEK, #9VNYCT, #Z3MXM7, #MSXUGH, #V5XDSY, #76SGWC, #D2C54Y, #XR7Z7G, #754PPX, #9DU2N2, #9AHGRG, #GZJUCV, #AJSDD6, #KAFWZ7, #D33DUB, #8AQDAB, #YVMH2N, #MKYDT2, #M53PTE, #WKY9MT, #EQTM8J, #ED94U3, #LBNKBW, #LUZ5UR, #HS22AT, #JS4LBU, #ZHQFZP, #BPF8Q6, #8ERHN4, #HWVUS7, #VG86AP, #NHQBFC, #WUZ6YE, #A6TZBP, #2RHVZB, #ACDG5B, #54E5UT, #EUX776, #WJSTC2, #JLGV3R, #WV3FXP, #8KBMFE, #BDZQP4, #EKXATA, #NEL8YN, #K7SCA8, #SFWHTE, #2KNSHV, #E6X4P6, #YCESD5, #UG8PZG, #CK2TWF Cross-corpus inventory of notable units, quantities, and parameters. Terrain/erosion: Large-scale uplift/erosion experiments use 50×50 km terrain, uplift 5×10^-4 m/y, erosion coefficient 5.61×10^-7 y^-1, target summit ≈2000 m, and Δt=2.5×10^5 y (#ZHQFZP); stream-power applicability is 10^5–10^7 y and tens–hundreds km (#MSXUGH), commonly m=0.5,n=1 (#EKXATA), with empirical h_max[km]=2.244u/k (#MNZNZU). Thermal erosion often uses 30° talus (#9VNYCT), or varied 6°–54° limits (#6N825C); mountains form around 50 iterations and stabilize in 100–300 (#W7JZEK). Analytical erosion examples use 512² cells, 50 m spacing, t=4.6 My, 460 simulation steps of 10,000 y versus 43 fixed-point steps (#E6X4P6); shrinking cells 50→25→12 m raises simulation iterations 230→460→980 (#EQTM8J). Examples span 200 ky–1.6 My (#LBNKBW), 100/200/300 ky at 30 m spacing (#Z3MXM7), and a 4.6 My mountain at 5/15/25 km scales (#N9TEH4). FastFlow compares Δt=1,000 y explicit to 20,000 y implicit; a 10 My landscape takes 7.2 s vs 0.5 s (#M53PTE), while 10 iterations/0.1 s represent 700 ky on 512² and 100 iterations take 0.7 s (#YVMH2N). Routing runs under 55 ms to 4096² (#BDZQP4), with 5× flow and 34–52× depression-routing speedups at 1024² (#8QGM6W). Real 1 m DEM examples contain 383,918 and 8,445,644 basins (#NEL8YN). Hydrology/rivers: A recurring empirical relation is discharge φ[m³/s]=0.42A^0.69 for drainage area A[m²] (#VG86AP, #HS22AT). Procedural Riverscapes spans a 3×3 km terrain, ≈4 km river, >40,000 primitives, 100 m input DEM pixels, and 10 cm output detail (#ACDG5B); primitives sampled every 50 cm and construction trees generated in ≈15 ms (#YCESD5), rendering >70 fps at 1920×1080 (#GZJUCV). Storage ranges from 22 kB for 50 m to 2.7 MB for ≈4 km; primitives cost 50–90 bytes (#9DU2N2). Compared offline production used 3 cm precision, 4.5M particles, 200M voxels, 20 s output, and 165 total work/simulation hours (#2KNSHV). Priority-Flood tests include 3 m DEMs of 152M and 318M cells (#8ERHN4); a larger benchmark covered 72,500 km² and ≈8×10^9 cells, averaging 16.8% and maxing 37.2% speedup (#XR7Z7G), with up to 37% improvement and one CPU matching six processors (#ED94U3). Water/waves/rendering: Surface Wavelets simulates 4×4 km at 60 fps (#WKY9MT), using 4096 cells per spatial axis (≈1 m spacing; #UG8PZG), 16 directions and usually 1–4 wavenumber samples (#WV3FXP). Despite the coarse grid it resolves 2 cm wavelengths; an equivalent direct heightfield would bottom out at 0.5 m under Nyquist (#BEDUYL). Precomputation gives ≈4.7×, 60→280 fps (#23W9S2); a profile-buffer optimization raised evaluation 1.8→275 fps, reported as 233× (#82HGFN). Four wavenumber groups roughly quadruple cost and reduce 70→20 fps (#9AHGRG). Water viscosity is given as 10^-6 m/s in the dissipation model (#NHQBFC; unit as printed should be checked dimensionally). Breaking-wave tests use 160k–200k grid points at 40–75 fps; simulation consumes 80% of runtime (#RTYCL9). Layered particle water uses 20k–64k particles at 1280×720 and 112 bits/pixel of intermediate buffers (#LUVPJR), with runtime split ≈23.12/24.4/27.43/25.05% across depth, thickness, smoothing, and composition over 6k frames (#754PPX). Advected river textures report 60–120 fps, average 85 (#8KBMFE), illustrate 1.3 m/s flow (#JS4LBU), use a 15° flow-hint cutoff (#BMKDJR), and set particle lifetime 1.5 s plus travel limit 5% of river length (#K7SCA8). Scalable river animation tests 25×25 km at 800×600 with 20 px particle/sprite radius (#EUX776). Halftone foam adds <3% load over five-minute tests (#V5XDSY); surveyed historical ocean methods report ≈20–30 fps on GeForce 2 (#2RHVZB) and ≈100 fps on GeForce 3 (#KAFWZ7). Roads/racing: Procedural road routing discretizes position×orientation as n²×m (#43XVF5); tunnel/bridge masks use 50–300 m lengths on a 300² grid at 10 m spacing, comparing 2728 visited points to 50 stochastic samples (#WJSTC2), and produces paths in <1 s on 100² grids (#JLGV3R). Racing optimization covers a 4.5 km circuit, converges in 4–5 iterations, about 30 s each (#BPF8Q6); experimental laps are 138.6 s versus 139.2 s and a professional 137.7 s, with μ=0.90 and peak 0.9g (#8AQDAB). Each full iteration is 26 s across 1843 timesteps versus hours for nonlinear optimization (#CK2TWF); controller rate is 200 Hz (#3LSFWC). Trails/movement: Mountain-walker footprints use a 10 cm square footprint (#J2KKMV). Simulations use Gmax=200 m^-1, visibility 10 m, 50 footfalls (versus real-world several hundred), weathering 1000 s (versus days), walker speeds 0.5–1.5 m/s, a 25×10 m slope, and 25,000 walkers (#WUZ6YE). Zigzags appear with forbidden angles 25° uphill/10° downhill, weathering 1500 s, and α≳0.45 (#AJSDD6). Stability tests use Δt 0.5/0.25 s and Δx=Δy 5/2.5 cm (#HWVUS7). Biomechanics: a 10° incline may require 60° hip flexibility vs 30° flat; observed ankle max ≈24° (#54E5UT). Field slopes cited around 1:8 and 1:2 (#GNDKEV). Trail design suggests 8–10% for family/senior users where 12–16% may be structurally sustainable (#D33DUB), hillslope:trail grade ratios around 2:1–3:1 (#SFWHTE), and a worked example adds 500 ft to reduce 200 ft rise over 2000 ft from 10% to 8% (#76SGWC). Sudden changes include 5→10% and 7→20% (#247BPE); paired clinometer readings should agree within 1 percentage point (#8CNUPW). Domain-specific abstract quantities: Wholeness case studies use 1,800 Manhattan axial lines and 166,479 Swedish streets, finding power-law exponents around 2+ (#LUZ5UR). Living Images reports recursively defined substructures ≈3% of pixels, ≤2% decomposable, and >3–4 recursive levels (#D2C54Y, #XZBXLL). Head/tail breaks continues while the head is ≤40% (#MKYDT2). Platformer physics uses Castlevania ≈3.7 tiles/s, Mario 10 tiles/s, others ≈5.5, and suggests 4–10 tiles/s as playable (#A6TZBP). #79XGSQ Peak sanctuaries as an inhabited dual of drainage basins Published: 2026-07-12T01:00:47Z Mentions: #25Z8H8, #2QALPN, #A6G5PJ, #BLF82B, #F2VBJL, #GDV37F, #GHEACQ, #JAHVNN, #MZP8G3, #N7XTK3, #QPEZUU, #RBPN5L, #U7AJ7K, #WL3SCW Peatfield’s evidence supports a precise version of the “dual of basins” intuition. Hydrologically, a watershed collects terrain cells toward a common outlet: watersheds are upstream-connected cells associated with an outlet (#WL3SCW), and FastFlow defines a basin by a shared stream-tree root (#A6G5PJ). The terrain-generation paper explicitly constructs a dual graph on the crests between watershed cells (#U7AJ7K). A sanctuary can be modeled as a culturally selected point on or just inside that crest system: not necessarily the highest summit, but the point that most directly overlooks—and is visible from—a particular inhabited plain (#QPEZUU, #N7XTK3). Its relation reverses downstream collection: settlement paths, attention, and offerings converge uphill, while sight, fire, and divine protection project back down (#RBPN5L). The local service regions suggested by Peatfield (#F2VBJL) are therefore analogous to catchments, while intervisible sanctuaries form a second, crest-level network (#GDV37F, #JAHVNN). Formally, assigning each inhabited cell to one shrine would induce a partition analogous to the inverse-image partition of a function (#BLF82B), but raw viewsheds overlap, so without a unique service assignment the better object is a cover, bipartite graph, or weighted field rather than a strict partition. Alexander’s language adds a complementary reading: each shrine is a strong center supported by its surrounding settlements and landscape (#GHEACQ), while dominant sanctuaries create a recursive hierarchy of centers (#25Z8H8). Movement closes the loop: visibility affects trail attraction (#MZP8G3), and slope-constrained walkers generate mountain paths (#2QALPN). This suggests a generative model coupling hydrological basin labels, one-sided viewsheds, accessibility/trail evolution, and shrine-to-shrine intervisibility. #TUCFMG Partition lens across the corpus Published: 2026-07-12T00:29:48Z Mentions: #477DMT, #48RCD2, #964T2S, #A6G5PJ, #BLF82B, #C9XNSJ, #DJQRBX, #FXLSNG, #KAMGFF, #L94DMG, #LNKPPL, #NNC37P, #PUZXXV, #RRJ2BJ, #WL3SCW, #WQW77N, #ZBQE96 Ellerman’s partition logic suggests a useful cross-corpus lens, but only where blocks are mutually exclusive and jointly exhaustive (#ZBQE96). The clearest exact case is hydrological catchments: terrain cells are equivalent when they drain to the same outlet, and watershed labeling assigns one common label to every such equivalence class (#NNC37P, #477DMT). FastFlow similarly defines a basin as cells sharing a stream tree/root (#A6G5PJ) and propagates basin identifiers upstream (#C9XNSJ); saddle crossings then connect or merge basin blocks (#L94DMG), suggesting dynamic coarsening of a catchment partition. Hydrological terrain generation also constructs Voronoi cells and hierarchical watersheds/subwatersheds (#KAMGFF, #WL3SCW), giving nested partitions at multiple scales. Other exact or near-exact corpus examples include planar regions cut by major streets/topographic boundaries (#PUZXXV); recursive figure/ground and connected-pixel segmentation (#FXLSNG); head/tail classes (#WQW77N); MAP-Elites bins that partition behavior/search space (#DJQRBX, #964T2S); fluid particles classified into rendering layers (#48RCD2); and walker populations grouped by entry–destination pair (#RRJ2BJ). Alexanderian centers should not be treated as a partition without qualification because their local symmetries and centers overlap across scales (#LNKPPL). Conceptually, a deterministic map from each terrain cell to its terminal outlet realizes Ellerman’s function-to-partition idea (#BLF82B): catchments are the inverse-image fibers of the outlet map. #8G2LDE Spinoza–Alexander: immanent goodness and composition Published: 2026-07-11T13:08:23Z Mentions: #DPKEES, #G8D7VX, #HTRZHU, #PXG56P, #VWK7B2 Spinoza offers a useful but non-identical analogue to Alexander. Both replace an external blueprint with immanent order: Alexander explicitly denies goal-seeking teleology (#HTRZHU), while Spinoza’s Deus sive Natura acts from its own necessity, not for ends. Alexander’s strengthening of centers within larger wholes (#DPKEES, #G8D7VX) can be compared to Spinoza’s composition of bodies and increase in potentia: a good encounter enables bodies to compose their relations and increases their power of acting, experienced as joy; a bad encounter decomposes relations and produces sadness. The terrace intrusion can thus be described without mere taste as reducing a shared body’s capacities for conversation, play, attention, and repose. Important difference: Spinoza is suspicious of objective beauty and cosmic harmony when these are projections of human imagination, whereas Alexander wants harmony, figural goodness, and beauty to be objective features open to science (#VWK7B2). Their strongest common ground is therefore immanent, relational goodness rather than a literal cosmic desire for beauty. #VZHR9P Boom box on the terrace: an Alexanderian violation test Published: 2026-07-11T11:36:26Z Mentions: #GXVBDU, #XZ4XQ3 Thought experiment: a family quietly inhabits an oak-and-bench setting or Ravello terrace; an intruder plays clipping loud music and scribbles on the columns. The wrongness is relational, not intrinsic to rock music or marker strokes. In another context either could be good. Here they overwrite existing centers—conversation, play, repose, columns, view and acoustic enclosure—without helping the larger whole. This exemplifies Alexander’s SP criterion: a transformation should elaborate existing/latent centers rather than introduce centers that violate or cut across them (#XZ4XQ3), and should improve a larger whole (#GXVBDU). The intrusion is also ethically wrong because it coercively monopolizes a shared sensory field and irreversibly damages a common artifact. The case helps distinguish objective/intersubjective structural badness from mere disliked style: observers could potentially identify loss of affordances, interrupted coordination, distress, damage, and reduced mutual support even without sharing the participants’ musical or decorative preferences. #9RFPBN Religious and axiological reading of harmony-seeking computation Published: 2026-07-11T11:32:51Z Mentions: #8HCCLH, #FDFT8L, #HTRZHU, #VWK7B2 Harmony-seeking computation should be read against Alexander’s explicitly religious late work. The relevant essay is “The Long Path That Leads from the Making of Our World to God” (2007), abridged in First Things as “Making the Garden” (2016). On this reading, harmony is not merely an aesthetic score: making a center-strengthening world is participation in a reality whose deepest order is intrinsically good. The manuscript’s Fact and Value section explicitly rejects value-neutral mechanism as sufficient for understanding cosmic harmony (#8HCCLH) and invokes the older scientific idea of a universe moving toward harmony (#VWK7B2). There is nevertheless a productive tension: Alexander denies that harmony-seeking is teleological or goal-seeking (#HTRZHU), yet describes systems as disposed toward positive space (#FDFT8L) and as progressively healing larger wholes. The best formulation may be immanent rather than blueprint teleology: no predetermined final form, but a directional norm internal to each unfolding situation. “Inner calm” is not static equilibrium but the felt and structural resolution of competing forces into a configuration where centers support rather than violate one another. #RMDR23 Center as spatial-relational formation: apple and ecological niche Published: 2026-07-11T11:26:04Z Mentions: #A4LK2X, #G8D7VX, #PRJ2E8 Alexander’s center is better modeled as a spatial-relational formation than as the material object at its core. An apple is a BFO object, but the apple-center may include or depend on the apple’s boundary, orientation, shadow, surrounding air and light, its relation to the table, and the positive spaces it induces. The apple is therefore the material anchor, focus, or causal bearer of the center, not the whole center. This fits Alexander’s claim that centers are activated by the configuration as a whole (#PRJ2E8), can overlap (#A4LK2X), and have coherence determined through relations with other centers (#G8D7VX). Smith and Varzi’s ecological niche is a useful comparison: a niche is an organism-relative structured surround involving tenant, medium, retainer, and physical/fiat boundaries, rather than merely the tenant or cave. The analogy is limited: a niche is organized as suitable environment for its tenant, whereas an Alexanderian center is a graded spatial unity organized around a focus and supported by surrounding centers. A useful provisional vocabulary is material anchor + spatial halo/field + support relations + context-relative strength. #XE4N77 Alexander’s centers compared with BFO objects Published: 2026-07-11T11:20:45Z Mentions: #A4LK2X, #G8D7VX, #GXVBDU, #KJBJ2D A useful but limited analogy: BFO defines an object as a material entity that manifests causal unity and is maximal relative to the relevant kind of causal unity. Alexander’s centers likewise concern non-arbitrary unity, but they are not equivalent to BFO objects. Alexander permits centers to overlap and nest (#A4LK2X), to be weak or latent (#KJBJ2D), and to include spatial/immaterial configurations such as a square, courtyard, boundary, void, or positive space. In BFO these could fall under different categories—object, fiat object part, object aggregate, site, or spatial region—rather than all under object. BFO primarily asks what kind of entity something is and what grounds its unity; Alexander asks how strongly a configuration functions as a center within a relational field and how transformations strengthen that field (#G8D7VX, #GXVBDU). The promising bridge is therefore not Center = Object, but: BFO supplies distinctions among entity and boundary types, while Alexander supplies graded, relational, multi-scale coherence and transformation. #42YDX9 Alexander (2009), Harmony-Seeking Computations — reading note Published: 2026-07-11T11:14:38Z Mentions: #26RNEY, #5BC6M2, #5F4JYM, #7FFBLT, #9Q3BRS, #GW8NGQ, #NRPMA6, #S3MN33, #S53N2R Alexander’s unpublished 2009 manuscript reframes The Nature of Order as a computational research program. A harmony-seeking computation repeatedly identifies a latent center L within a larger wholeness W, then creates/reconfigures smaller centers N_i so that L becomes stronger and, crucially, helps the larger W become more coherent (#S53N2R, #S3MN33, #5BC6M2, #GW8NGQ). This distinguishes harmony from ordinary emergence: emergence relates parts to the collective they form, whereas harmony adds a third level—the collective must help the still-larger context (#26RNEY, #NRPMA6). Formally the paper offers postulates and the sequence W_1 -> W_2 -> W_3 through SP-transformations, but openly admits that the mathematical description and operationalization of the fifteen transformations remain incomplete (#9Q3BRS, #5F4JYM, #7FFBLT). For procedural generation, its strongest contribution is therefore not an implementable algorithm but a design criterion/update logic: choose each next move by how it strengthens latent structure across scales, rather than merely applying context-free local production rules. The manuscript’s weakness is that identification of centers, measurement of coherence, and empirical objectivity are asserted more than demonstrated; examples function mainly as analogies and existence arguments. #JVRSKS Recommended water renderer for procedural hydrological terrain Published: 2026-07-11T08:23:32Z Mentions: #5NJY7V, #6ELMAT, #EYM9N6, #GU2NEL, #H2E2UR, #QXYWAJ, #X3RVN8, #XVFV3N For a game with precomputed geological erosion and hydrology, the best fit is a stylized data-driven hybrid rather than runtime CFD. Reuse channel topology, banks, flow direction, discharge/drainage area, slope, depth/width, curvature, drops, junctions, obstacles, and distance-to-shore as shader/control fields. This closely matches the input assumed by scalable river animation (#QXYWAJ) and Procedural Riverscapes, which derives per-cell slope, volume, and velocity (#X3RVN8) and selects calm, turbulent, wave, cascade, vortex, and ripple primitives from terrain and flow conditions (#GU2NEL, #5NJY7V). Recommended architecture: one shared water material; rivers use generated flow maps to advect two offset normal/detail layers as in Portal 2 (#6ELMAT, #XVFV3N); lakes use low-speed wind ripples and shoreline masks; ocean uses a few art-directed Gerstner/spectral bands plus shore foam. Generate masks for turbulence/foam from normalized stream power, slope, curvature, constriction, drops, and obstacles; use depth for color/opacity and shallow-ground blending; use local feature primitives only at visually important events such as waterfalls, rapids, confluences, and rocks. Apply screen- or distance-dependent LOD, retaining flow direction and wind at distance while removing displacement and local effects (#H2E2UR, #EYM9N6). #4CB2WQ Water-rendering literature overview Published: 2026-07-11T08:16:55Z Mentions: #3UZ7TP, #4S5XNT, #6ELMAT, #764D8D, #8KBMFE, #AL6YQ9, #BVUXWL, #CZNWCP, #DZCPD6, #EYM9N6, #G3TYUA, #H2E2UR, #KFWVK3, #KHRCTA, #KSH8JS, #MSQQ8G, #PBZNNB, #QGESFA, #RFLQDX, #T9Y2PR, #V5XDSY, #WKY9MT, #XFKY8Q, #XVFV3N, #YJNSYU, #YWWZAM The water-rendering corpus organizes around a recurring hybrid strategy: simulate only the low-frequency/structural behavior needed for motion, then add high-frequency visual detail and optical cues cheaply. The survey separates deep-water parametric/spectral methods from shallow-water fluid methods and identifies foam, spray, and light interaction as separate realism layers (#4S5XNT, #CZNWCP). River methods use coarse or procedural velocity fields plus advected wave textures: Arnold et al. combine 2D Navier–Stokes, hydrostatic pressure columns, and texture advection (#8KBMFE, #T9Y2PR); Yu et al. compute local steady flow and use screen-space sampled wave sprites for huge terrains (#3UZ7TP, #AL6YQ9); their later Lagrangian texture-advection method uses deformable particle grids to preserve both flow and texture spectrum (#DZCPD6, #KSH8JS). Vlachos's Portal 2 production method is the cheapest end of this continuum: artist-authored flow maps distort two normal-map layers, with offsets and noise hiding repetition/pulsing (#6ELMAT, #XVFV3N). Shallow-water work adds effects a height field cannot express: Thürey et al. detect steep fronts and spawn connected-particle sheets for overturning waves, drops, and foam (#KHRCTA, #XFKY8Q); Ojeda and Susín layer FFT/noise normals, advected foam, photon caustics, and screen-space reflection/refraction over a shallow-water simulation (#BVUXWL, #PBZNNB). Scherzer et al. target fully dynamic particle fluids, using screen-space depth/thickness layers, adaptive curvature-flow smoothing, and Weber-number-based volumetric foam (#G3TYUA, #YJNSYU). Surface Wavelets is the strongest large-scale wave paper: it simulates slowly varying amplitudes over space/frequency/direction on a coarse grid, reconstructs detailed waves separately, supports obstacles and artistic control, and runs a 4 km × 4 km scene at 60 fps (#RFLQDX, #764D8D, #WKY9MT); it cannot handle breaking waves or splashes because it is linear (#YWWZAM). Specialized cheap methods include halftone-mask foam dissipation with under 3% overhead (#KFWVK3, #V5XDSY), Bézier-curve river networks with streaming normal maps (#QGESFA, #MSQQ8G), and distance-dependent switching among Stokes, cosine, and bump-mapped wave models (#H2E2UR, #EYM9N6). ### 17. Assistant tool calls #### Tool call: `write_note` ```json { "block_ids": [ "CGE2NC", "8MW8B5", "WRVKYL", "LXQV4L", "6BUB8K", "FHFPQR", "Y7TY94", "E76U8S", "D6BEJX", "6664AF", "VAA4FX", "MCVL63", "R7YGMR", "86A97P", "EZBYH4", "TUCFMG", "BLF82B", "UYLTYJ", "AK7NGE", "N7DTUP" ], "text": "Sketch: the game's ontology, structured by Smith's Ontological Sextet (#CGE2NC, #8MW8B5), as a grounded alternative to DDD.\n\nFraming: DDD = linguistic Kantianism (#FHFPQR) with a two-category entity/value-object scheme (fantology with extra steps). Smith's alternative: fix a small vocabulary of formal ties, name universals, and let extralogical domain science (#6BUB8K) decide which universals exist — exactly the mp-units + `bundle` approach.\n\nCategory mapping:\n- Spatial regions (Smith allows these explicitly, #LXQV4L): flat toroidal D8 lattice, cells, bundle base spaces.\n- Substantial particulars: ground, water masses, walkers, avatar, vehicles.\n- Quality universals: mp-units quantity kinds (altitude/isq::height, wetness, stream power). Quality particulars: per-cell samples of a section; a section = spatially indexed family of quality particulars.\n- Process universals: named kernels (stream-power incision, thermal erosion, D8 routing, active-walker reinforcement). Process particulars: kernel invocations, ticks, b-thread runs.\n\nKey design insights:\n1. `bundle` enforces Inhere/Dep by construction: a section cannot exist apart from its base — the dependence relation fantology cannot express (#E76U8S, #D6BEJX) is the API's core primitive. Contrast free-floating heightmap arrays = spreadsheet columns (#Y7TY94).\n2. Residual fantology: not all sections are the same category. ground_altitude/wetness are qualities of a continuant (ground); stream_power/discharge/sediment flux are quantities of an occurrent (the flow process) projected onto the base. Cf. SNAP/SPAN (Grenon & Smith 2004, #86A97P). Double-buffered sim state = Carnap's sequence of static worlds (#6664AF); fix by making kernels first-class named process universals with Has_Participant and Precedes ties. Physics-side twin of the BP observation/proposal/decision/outcome taxonomy (#EZBYH4).\n3. Formal ties (#WRVKYL) map to code: Inst = mp-units kind check; Inhere = bundle section-base; Part = cell/region/torus, sub-basin/basin; Has_Participant = kernel↔ground/water; Realizes = routing pass realizes drainage function; Precedes = tick order; Is_a = quantity-kind hierarchy.\n4. mp-units kinds are mechanized anti-Booleanism (#VAA4FX, #MCVL63): quantity kinds close under ×,/,^n, never ∧,∨,¬; kind distinctions (height≠width) reject dimensionally-valid nonsense — Frege's \"square root of Napoleon's mother\" (#R7YGMR) at compile time.\n5. Rivers, trails, basins are NOT substances: river = pattern sustained by flow (#AK7NGE); trail = ground quality sustained by walking (#UYLTYJ); basin = fiat region, fiber of the outlet map / block of drainage partition (#TUCFMG, #BLF82B). Giving them entity IDs is the DDD category mistake; model as derived sections and partitions.\n\nExtends #N7DTUP.", "title": "Game ontology sketch: Smith's Sextet over the bundle/mp-units architecture" } ``` ### 18. Tool result: write_note NOTE SAVED #993FRM IRI: https://m.sheaf.less.rest/993FRM ### 19. Assistant Saved as #993FRM. The one actionable design consequence worth acting on first: split your section taxonomy into *continuant sections* (altitude, wetness — persist across ticks, mutated by processes) and *occurrent sections* (stream power, flux — recomputed per process pass, meaningless without one), and give kernels names and participant lists. That single distinction is where Smith's critique stops being philosophy and starts being an API boundary. ### 20. User now can you tell me about the research notes in a more prose kind of way here please? ### 21. Assistant The notes so far tell a fairly coherent story of the project's intellectual development, and they cluster into about five strands. The oldest layer is **infrastructure and survey work**. #4CB2WQ is a synthetic overview of the water-rendering literature, organizing it around the recurring trick of simulating only low-frequency structure and layering cheap high-frequency detail on top — from flow-map advection in Portal 2 up to Surface Wavelets. Its companion #JVRSKS turns that survey into a recommendation: since the game precomputes geological erosion and hydrology, the right water renderer is a stylized, data-driven hybrid that reuses the simulation's own fields (discharge, slope, depth, stream power) as shader inputs rather than running fluids at runtime. #CSFA49 adds a specific rendering idea in the same spirit — drainage-aligned coordinates that straighten rivers could double as a flow-aligned UV parameterization. And #4PF6N6 is a big quantitative inventory: every notable unit, constant, and parameter across the corpus, from stream-power exponents and talus angles to walker speeds and platformer tile velocities. It reads like the empirical backing for the `mp-units` philosophy — the actual dimensioned quantities the domain sciences use. The second strand is **Alexander studies**. A run of notes from mid-July works through what a "center" actually is: #42YDX9 is the close reading of the Harmony-Seeking Computations manuscript, concluding its value for PCG is a design criterion (strengthen latent structure across scales) rather than an implementable algorithm; #XE4N77 and #RMDR23 test centers against BFO's object category and Smith & Varzi's ecological niches, landing on "material anchor + spatial halo + support relations + graded strength" rather than any straight identification; #VZHR9P is the boom-box-on-the-terrace thought experiment for making "violation of centers" concrete and non-aesthetic; and #8G2LDE and #9RFPBN push into the axiological and religious dimension — Spinoza's immanent composition of bodies as an analogue for center-strengthening, and the question of whether Alexander's harmony is blueprint teleology or a directional norm internal to each unfolding (the notes favor the latter). Third, a **formal-structures strand**. #TUCFMG applies Ellerman's partition logic as a lens across the corpus and is appropriately careful about where it's exact: drainage basins are genuine partitions (fibers of the outlet map), MAP-Elites bins and head/tail breaks qualify, but Alexanderian centers do not, because they overlap. #79XGSQ is probably the most original note in the workspace: it reads Peatfield's Minoan peak sanctuaries as an *inhabited dual* of drainage basins — settlements converge uphill toward crest-line shrines the way cells drain downhill toward outlets, with intervisibility forming a second network along the ridges — and sketches a generative model coupling basins, viewsheds, and trail evolution. Fourth, **behavioral programming for the game**. #BQL2KS argues BP's best use isn't NPCs but cross-cutting reactive concerns — camera direction, vehicle/avatar coordination, the hang-glider deployment sequence — with a layered architecture separating continuous physics from qualitative events and semantic directives. #EZBYH4 then fixes a real semantic problem: classical BP's single event alphabet conflates observations with commands, so it proposes a typed causal vocabulary (observation → proposal → decision → outcome) with blocking restricted to controllable events. Finally, the **ontology strand**, which is this conversation's contribution plus its precursors: the reading notes on Smith (#J6YNWU) and Johansson (#3F7NHY), the cross-corpus synthesis arguing that nearly every folder resists the "spreadsheet ontology" in its own idiom (#N7DTUP), and the game-ontology sketch mapping Smith's Sextet onto the bundle/mp-units architecture (#993FRM). There's also one housekeeping note, #QLR9JX, recording a PDF import batch. What's noticeable reading them together: the strands are converging. The partition lens, the sanctuary-dual idea, the BP event taxonomy, and the Sextet sketch are all doing the same thing — deciding what the game's world *is made of* and which relations are real — and #993FRM is currently the note that ties the most of them together. The gap I'd flag: the Alexander strand and the ontology strand haven't formally met yet; #RMDR23's "anchor + halo + support relations" vocabulary is sitting right next to Smith's inherence/dependence ties and nobody has written the note that unifies them. ### 22. User yeah tell me about the ontology strand! ### 23. Assistant The ontology strand is actually the oldest *and* newest thing in the workspace — it started before the fantology reading, went dormant, and then got its philosophical spine this week. **It began with a classification problem.** Back on July 11, the question was: what *is* an Alexanderian center, ontologically? #XE4N77 tested the obvious candidate — BFO's "object," a material entity with causal unity — and found it fails: centers overlap, nest, can be weak or latent, and include immaterial configurations like a courtyard or a void, which in BFO would scatter across object, fiat object part, site, and spatial region. The conclusion was that BFO and Alexander are answering different questions: BFO asks what kind of thing something is and what grounds its unity; Alexander asks how strongly a configuration functions within a relational field. #RMDR23 refined this with the apple example: the center isn't the apple but the apple *plus* its boundary, shadow, surrounding light, and the positive space it induces — so the working vocabulary became "material anchor + spatial halo + support relations + context-relative strength," with Smith & Varzi's ecological niche as the nearest existing formal concept. Notably, both of these notes were already engaging *Barry Smith's* applied work (BFO, niches) months before anyone read his polemic. **Then the formal side arrived from a different direction.** #TUCFMG (July 12) brought in Ellerman's partition logic and did the disciplined thing of asking where partitions are *exact* in the corpus: drainage basins yes (fibers of the outlet map — a genuinely pretty realization of Ellerman's function-to-partition idea), centers explicitly no, because they overlap. So by mid-July the strand had two results: centers resist standard category schemes, and the terrain domain has at least one mathematically clean ontological structure. **This week supplied the critique that explains both.** The reading notes #J6YNWU and #3F7NHY summarize the two fantology papers: Smith's diagnosis that a century of philosophy (and, he says explicitly, computer-science knowledge representation) mistook the `Fa`/`Rab` syntax of first-order logic for the structure of reality — yielding spreadsheet atomism, timelessness, Booleanism, and no room for dependent entities — and his constructive alternative, the Ontological Sextet (substance/quality/process × universal/particular) linked by a fixed vocabulary of formal ties like inherence, participation, and realization. Johansson's follow-up adds the useful generalizing concept of "default ontologization" — the tacit move from a notation to a worldview — and presses on what fantology excludes (intentionality, modes of existence). **Then two synthesis notes cashed it out.** #N7DTUP argues the whole library is unknowingly anti-fantological: Alexander's mutually-reinforcing centers against the spreadsheet, erosion-based terrain against static heightfields, Helbing trails as textbook dependent continuants, b-threads as named Davidsonian occurrents, Ellerman as the mathematically worked-out anti-Booleanism, Heidegger's Gestell as fantology's existential twin. And #993FRM turns the critique into architecture: the Sextet mapped onto the game, where the `bundle` type enforces inherence by construction, `mp-units` quantity kinds are named quality universals with a non-Boolean combination algebra, kernels should be named process universals, and rivers/trails/basins are dependent patterns and fiat partitions rather than entities-with-IDs. Its sharpest observation is the continuant/occurrent split hiding inside your sections: altitude is a quality of the ground, but stream power is a quantity of a *flow process*, and the current design flattens both into "sections." **Where it's unresolved.** Three open seams. First, the gap I mentioned: #RMDR23's anchor-halo-support vocabulary for centers and #993FRM's Smith-style formal ties are obviously the same kind of machinery — support relations look a lot like dependence and inherence among quality particulars — but no note has attempted the unification, and #TUCFMG's warning (centers overlap, so they're covers, not partitions) constrains what that unification can look like. Second, the continuant/occurrent section split is asserted but not yet designed — what does an "occurrent section" actually own, and is it valid outside its generating pass? Third, Johansson's intentionality point (#3F7NHY) has an unexplored game-side echo: agents, the player, and BP proposals (#EZBYH4's observation/proposal/decision/outcome taxonomy) are exactly the intentional phenomena a purely physical section ontology can't represent — the behavior side and the physics side of the ontology still need a joint. If you want the strand to produce a thesis chapter, the natural spine is already there: centers resist classical categories → fantology explains why the classical categories were impoverished → the Sextet + partitions + typed quantities give a richer scheme → the game architecture is a working demonstration of it. ### 24. User right, it's interesting to just say that the terrain itself is a continuant, and we just assume transparency in the game ontology, like a kind of fictional realism, and the geological/hydrological erosion is a process, which is basically the prehistory of the world from the game's perspective, etc... ### 25. Assistant tool calls #### Tool call: `search_text` ```json { "document_id": "DWXKYQ", "limit": 5, "query": "landscape age control erosion time steps analytical" } ``` #### Tool call: `search_text` ```json { "document_id": "K82AS7", "limit": 5, "query": "legacy sediment record of past human activity landforms" } ``` ### 26. Tool result: search_text Exact matches 1. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 0 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #87Z54H Abstract Matching excerpt #T295H3: Terrain generation methods have long been divided between procedural and physically-based. Procedural methods build upon the fast evaluation of a mathematical function but suffer from a lack of geological consistency, while physically-based simulation enforces this consistency at the cost of thousands of iterations unraveling the history of the landscape. In particular, the simulation of the competition between tectonic uplift and fluvial erosion expressed by the stream power law raised recent interest in computer graphics as this allows the generation and control of consistent large-scale mountain ranges, albeit at the cost of a lengthy simulation. In this paper, we explore the analytical solutions of the stream power law and propose a method that is both physically-based and procedural, allowing fast and consistent large-scale terrain generation. In our approach, time is no longer the stopping criterion of an iterative process but acts as the parameter of a mathematical function, a slider that controls the aging of the input terrain from a subtle erosion to the complete replacement by a fully formed mountain range. While analytical solutions have been proposed by the geomorphology community for the 1D case, extending them to a 2D heightmap proves challenging. We propose an efficient implementation of the analytical solutions with a multigrid accelerated iterative process and solutions to incorporate landslides and hillslope processes – two erosion factors that complement the stream power law. 2. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 1 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #TY8V58 1. Introduction Matching excerpt #MYMRA9: The stream power law is commonly used in geomorphology [WT99, BW13] and now in computer graphics [CBC*16, SPF*23] to model large-scale river erosion. Combined with uplift - the tectonically-driven rate of elevation change of the mountain - this results in a Partial Differential Equation (PDE) that describes the formation of the mountain ranges over geological time. Early studies in Earth sciences suggest that this equation admits analytical solutions [RTP13, Ste21] that readily provide a landscape at a time t (Figure 1), without requiring the lengthy iterations of a time-stepping scheme. However, these solutions use several simplifying assumptions, for instance, that the terrain is initially flat. We propose a new derivation and fast numerical implementation of these solutions for the more general case, which enables us to reach a larger range of applications, from the instantaneous generation of large-scale mountain ranges to the controllable aging of a user-provided terrain. Inspired by the implicit time-stepping scheme for the stream power law [BW13, CBC*16], our algorithm uses an ordering of the terrain grid cells, starting at the domain boundaries, and following the river network upstream. This strategy comes with a caveat illustrative of the challenges of porting the 1D solution to the 2D setting: elevations are computed based on an order that depends on the hydrology network, but the hydrology network itself depends on the elevations. Previous work [Ste21] developed a fixed-point algorithm that iterates over the successive computation of the river network and then the elevations. Yet, this algorithm converges slowly, requiring too many iterations to be applied in an interactive editing context and assumes flat initial topography. We therefore propose two solutions: one inspired by multigrid approaches to accelerate the convergence, and another that allows small deviations from the analytical solutions and uses optimization to enforce the smoothness of the terrain surface. This added freedom - without sacrificing the geological consistency - provides more flexibility and allows user control. Finally, we observe that the solutions to the stream power law yield a singularity that results in infinitely large slopes close to the ridges - where geologists suggest that other erosion processes dominate [LD03]. Therefore, we explore solutions to include approximations of other processes such as hillslope and thermal erosion. We demonstrate the applicability of our method through a variety of results, that show the versatility of the analytical solutions that are able to quickly generate large-scale mountains (Figure 1, right), as well as providing a fast physically-based erosion tool (Figure 1, center left). 3. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 12 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #US5Z9M 8. Conclusion Matching excerpt #CEANXB: We proposed a new method to quickly erode large-scale terrains. Thanks to the analytical solution of the stream power law, we do not have to rely anymore on numerous iterations inherent in simulations. Instead, the time becomes another parameter that the user can explore without any incidence on the computation time. We proposed a derivation and implementation of these analytical solutions adapted to computer graphics applications, allowing the user to specify both an initial terrain to be eroded and an uplift map to control the emergence of a mountain range and explore any intermediate possibility. To the challenge of generating a terrain physically consistent with its river network, we propose two solutions that yield interactive performances: an accurate multigrid acceleration, and an optimization-based approach that preserves the initial river network. Eventually, we introduced new models for hillslope and thermal erosion that are easily integrable in our implementation. Our main limitation is the lack of time consistency at large time t , which motivates future work on a more conservative hydrology-based multigrid scheme, or alternative solutions where analytical solutions would control the procedural generation of river networks [GBG + 19]. 4. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 1 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #2BWKC4 2. Previous Work Matching excerpt #SR5QZ4: Methods that simulate hydraulic erosion handle the water dynamics explicitly, which, in theory, increases the physical accuracy of the erosion but introduces numerical constraints that limit them to a smaller spatiotemporal extent. To compensate, the results are scaled up, which therefore reduces the overall plausibility. In contrast, fluvial erosion methods implement models developed in geomorphology, for instance, the stream power law [WT99]. These laws abstract water physics under simpler proxies, e.g., the drainage area that represents water flux (or discharge), which yields simulations that can efficiently cover much larger time spans. Therefore, fluvial erosion allows a tight coupling with the growth of the mountain under tectonic uplift [CBC + 16] to model the formation of large-scale mountain ranges. Uplift was also proposed as a guide for the user to shape the landscape [CCB + 17, SPF + 23]. We build our analytical model upon the laws introduced by fluvial erosion methods, but our mathematical treatment removes the need for costly iterations inherent to simulations. 5. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 0 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #TY8V58 1. Introduction Matching excerpt #HRH4UV: Our work comes from the observation that there exist analytical solutions to the mathematical equation that expresses the formation of large-scale landscapes resulting from the competition between tectonic uplift and fluvial incision. Thanks to an efficient implementation of these analytical solutions, we obtain a terrain modeling tool that shares the benefits of a physical simulation, but without the cost of thousands of time-stepping iterations. Instead, the temporal component of the simulation becomes another parameter provided to the user, that controls the real-world duration of the erosion process. Approximate matches 1. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 8 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #97YQQD 6. Other erosion factors #C4WS38 6.1. Hillslope erosion Score: 0.028 Related excerpt #SH59MV: An analytical solution including the hillslope erosion would require joining the stream power law (Eqn. 1) with Eqn. 23 which results in an advection-diffusion equation. Solving this equation needs a global 2D treatment, preventing our decomposition to a set of 1D solutions on the stream tree, and the complexity of the derivations and implementation of the solutions even in the 1D case challenges their usability in a terrain modeling framework. 2. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 2 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #2BWKC4 2. Previous Work Score: 0.028 Related excerpt #KZXFJV: Early analytical solutions were introduced, first on models that simplify the treatment of the water discharge [Luk72, Luk74] and introduce the method of characteristics for erosion equations. This idea was later extended to the stream power law [RTP13] that simplifies the problem thanks to a translation to dimensionless variables. Eventually, Steer [Ste21] proposed a solution to the 2D problem and tested it with several scenarios, to study in particular the response of the landscape to temporal variations in the uplift, which is an important question in geomorphology. However, some questions were left open and we to answer them in this work, such as the case where the initial terrain is not flat, which allows us to erode existing terrains. Furthermore, their method used an iterative algorithm to enforce the convergence of the analytical solution, which we accelerate with an approach inspired by multigrid. 3. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 11 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #PZFF56 7. Results #V6AZDH 7.3. Applicability of our method Score: 0.026 Related excerpt #Z3MXM7: User-made terrains can be authored through a combination of procedural techniques, noise and modeling tools ( i.e. , extrusion, smoothing). In Figure 11, we asked a user to produce a coarse terrain ( \delta x = 30\text{m} , top left) and use our method (without uplift) to add erosion details. We observe the different patterns produced by varying the erosion time ( 100\text{ky} , 200\text{ky} , and 300\text{ky} ), and notice in particular that both the incision depth and the shape of the eroded cavities are affected – shorter time caves numerous small gullies, which deepen and merge into fewer large valleys at a longer erosion time. 4. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 3 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #UE2TM4 4. Analytical solutions of the stream power law Score: 0.026 Related excerpt #2ZH6S2: Analytical solutions of the stream power law describe elevations of an eroded terrain at a given time t , without requiring the many iterations of a time-stepping scheme. Existing 1D analytical solutions in Earth sciences [RTP13] simplify the derivation thanks to dimensionless variables, which complicates their algorithmic treatment. We instead describe how to derive the solutions with the natural variables and how to infer an efficient algorithm to evaluate them. 5. Source: Physically-based analytical erosion for fast terrain generation (#DWXKYQ), Boris Gailleton, Guillaume Cordonnier, Petros Tzathas, Philippe Steer, p. 1 Context: #JDHNVB Physically-based analytical erosion for fast terrain generation #2BWKC4 2. Previous Work Score: 0.026 Related excerpt #SR5QZ4: Methods that simulate hydraulic erosion handle the water dynamics explicitly, which, in theory, increases the physical accuracy of the erosion but introduces numerical constraints that limit them to a smaller spatiotemporal extent. To compensate, the results are scaled up, which therefore reduces the overall plausibility. In contrast, fluvial erosion methods implement models developed in geomorphology, for instance, the stream power law [WT99]. These laws abstract water physics under simpler proxies, e.g., the drainage area that represents water flux (or discharge), which yields simulations that can efficiently cover much larger time spans. Therefore, fluvial erosion allows a tight coupling with the growth of the mountain under tectonic uplift [CBC + 16] to model the formation of large-scale mountain ranges. Uplift was also proposed as a guide for the user to shape the landscape [CCB + 17, SPF + 23]. We build our analytical model upon the laws introduced by fluvial erosion methods, but our mathematical treatment removes the need for costly iterations inherent to simulations. ### 27. Tool result: search_text Exact matches 1. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 2 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #3JQMUD 2. Use and definitions of 'legacy sediment' #AUTYGJ 2.2. Initial definitions of LS Matching excerpt #T39G28: Much usage of the term LS has gone without an explicit definition and relies on preconceived understandings or implications that may vary between disciplines. The primary implied meanings apparently are the historical age or the anthropogenic origin of the sediment. One consideration in defining LS is to examine the etymology of legacy. 'Legacy' is defined by Merriam Webster's dictionary as "something transmitted by or received from an ancestor or predecessor or from the past "; i.e., an inheritance. Although this leaves open the possibility that "legacy sediment" simply refers to something from the past, all sediment results from past processes, so legacy sediment would be redundant in that sense. Thus, when the phrase LS is used without definition or contextual explanation, a more specific meaning is implied. In general, an anthropogenic origin may be implicit, given the definition of legacy as something 'from an ancestor or predecessor'; i.e., it may logically follow that human agency was involved. In this sense, and building upon recent usage of the term, LS resulted, at least in part, from anthropically accelerated sediment production. Although "legacy" has been used in different contexts to describe naturally produced sediment; e.g., a legacy of climate change, the phrase, LS, by itself should be used to imply that humans played a substantial role in the processes that generated the sediment. 2. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 3 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #3JQMUD 2. Use and definitions of 'legacy sediment' #K795QH 2.3. A broader definition Matching excerpt #V3AGEQ: “Legacy sediment: Earth materials—primarily alluvium [or colluvium]—deposited following human disturbances such as deforestation, agricultural land use, or mining. The phrase is often used to describe post-European floodplain sediment, also known as post settlement alluvium. Awareness of legacy sediment has grown in response to the importance it plays in sediment budgets, water quality, river restoration, toxicity, lateral channel connectivity, and geomorphic theory...” (James, 2013, Glossary) 3. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 7 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #L3T5NJ 5. Processes governing LS deposition and preservation #VJJ5SJ 5.2. Storage potential and retention time Matching excerpt #UCAG4Q: regional differences between large basins and by variability in sediment retention times within a basin. Regional differences reflect the cultural histories of landscapes; i.e., times of settlement and intensities of land use, as well as differences in the physical characteristics. Variations in sediment retention time within a catchment is one of the greatest sources of uncertainty in computing sediment yields and sediment budgets for watersheds (Wolman, 1977; Gellis et al., 2009). Temporal connectivity is an important element of LS and sediment delivery theory, because past deposits are reworked and transported downslope for long periods of time after initial deposition. This is, in fact, why ‘legacy’ is an appropriate way to describe these sediments; they are an inheritance from times past that should be reckoned with. 4. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 7 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #L3T5NJ 5. Processes governing LS deposition and preservation #VJJ5SJ 5.2. Storage potential and retention time Matching excerpt #FC9XHP: The dynamics implied by sediment delivery theory have great import to interpretations of LS. Sediment yields in the modern world are not static as was once assumed, but have a dynamic behavior that is largely driven by the legacy of past sedimentation events (Walling, 1996). Temporal variability occurs in the form of 5. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 1 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #3JQMUD 2. Use and definitions of 'legacy sediment' #Z6B52B 2.1. Increasing use Matching excerpt #8VC69S: The concept of inheriting a legacy from the past is pervasive in the environmental science literature, and LS is a logical outgrowth of that perspective. Over the first decade of the new millennium, the term, legacy sediment (LS) began to be used with increasing frequency in a variety of contexts. A partial Internet sample of published scientific papers or reports that contain the phrase Approximate matches 1. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 8 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #Z4WK9K 6. Conclusions Score: 0.03 Related excerpt #94BZ29: Anthropogenic sedimentation has recurred globally throughout the Anthropocene in response to a variety of agricultural or resource extraction activities that accelerated sediment production. Mining, intensive agriculture, and logging generated recurrent episodes of LS production, associated with Roman outposts in Europe, and western colonization of North and South America, Australia, and other areas of Oceania. Recognition of these widespread and highly diverse legacies of human activities is important for a proper interpretation of watershed dynamics at a broad range of scales. 2. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 7 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #Z4WK9K 6. Conclusions Score: 0.029 Related excerpt #WF93WF: Numerous studies of anthropogeomorphic impacts since the Neolithic have documented sedimentation events in a variety of geomorphic environments. Legacy sediment (LS) is now commonly used in geomorphic, ecological, water quality, and toxicological studies to describe post-settlement alluvium on river floodplains. Most applications of LS imply or explicitly attribute the sediment to human landscape changes, but explicit definitions have been lacking that are sufficiently broad to apply LS to the variety of applications now common. The concept of LS should apply to anthropogenic sediment that was produced episodically over a period of decades or centuries, regardless of position on the landscape, geomorphic process of deposition, or sedimentary characteristics; i.e., it may occur as hillslope colluvium, floodplain alluvium, or lacustrine and estuarine slackwater deposits. LS can be defined with expanded geographic and temporal limits to include episodic human land-use activities wherever and during whatever period of pre-history or history in which they occurred. 3. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 3 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #3JQMUD 2. Use and definitions of 'legacy sediment' #K795QH 2.3. A broader definition Score: 0.028 Related excerpt #H3SFG4: “Legacy sediment is primarily alluvium [and colluvium] that was deposited following human disturbances in a watershed. The disturbance may have been in the form of deforestation, plowing agricultural land, mining, or other land-use changes. In 4. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 0 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #NL38SC ABSTRACT Score: 0.027 Related excerpt #92Z7C8: Extensive anthropogenic terrestrial sedimentary deposits are well recognized in the geologic literature and are increasingly being referred to as legacy sediment (LS). Definitions of LS are reviewed and a broad but explicit definition is recommended based on episodically produced anthropogenic sediment. The phrase is being used in a variety of ways, but primarily in North America to describe post-settlement alluvium overlying older surfaces. The role of humans may be implied by current usage, but this is not always clear. The definition of LS should include alluvium and colluvium resulting to a substantial degree from a range of human-induced disturbances; e.g., vegetation clearance, logging, agriculture, mining, grazing, or urbanization. Moreover, LS should apply to sediment resulting from anthropogenic episodes on other continents and to sediment deposited by earlier episodes of human activities. 5. Source: Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment (#K82AS7), L. Allan James, p. 3 Context: #8A96NY Legacy sediment: Definitions and processes of episodically produced anthropogenic sediment #3JQMUD 2. Use and definitions of 'legacy sediment' #7PHD4S 2.4. Beyond North America Score: 0.026 Related excerpt #S3UEQS: The definition of LS should extend to deposits generated over a wide range of geographic domains and from prehistory to recent time. For example, vast sedimentary deposits in Australia and New Zealand have been well documented as episodic responses to land-use changes following European settlement (Brooks and Brierley, 1997; Gomez et al. , 2004; Brierley et al. , 2005). These deposits are in many ways similar to those in North America and represent a legacy of relatively recent destructive land use superimposed on relatively stable pre-colonial land surfaces. Moreover, LS can also be used to describe Old World sedimentary units that were in response to episodic land-use changes. Sedimentation episodes have been documented in Eurasia for various periods of resource extraction or settlement (Lewin et al. , 1977; Lang et al. , 2003; Macklin and Lewin, 2008; Houben, 2008; Lewin, 2010). Older periods of episodic erosion and sedimentation associated with human settlement in Europe have been documented as far back as the Neolithic, Bronze Age, and Iron Age in parts of Europe and Britain (Macklin and Lewin, 2008; Dotterweich, 2008; Reiß et al. , 2009; Dreibrödt et al. , 2010). In some locations, multiple phases of LS generation can be inferred from Neolithic, Roman, or later gullies that once produced sediment but have subsequently been filled in with younger deposits (Dotterweich, 2005; Vanvallegheem et al. , 2006; Reiß et al. , 2009). In short, major sedimentary deposits produced episodically by logging, mining, domestic grazing, or agriculture in the Old or the New World can be referred to as LS. ### 28. Assistant tool calls #### Tool call: `write_note` ```json { "block_ids": [ "993FRM", "N7DTUP", "CGE2NC", "8MW8B5", "6BUB8K", "T39G28", "UCAG4Q", "K82AS7", "2284QZ", "T295H3", "HRH4UV", "DWXKYQ", "UYLTYJ", "ZU8GZV", "86A97P", "6664AF" ], "text": "Fictional realism and the terrain's prehistory — extends the game-ontology sketch #993FRM.\n\nCore move: adopt transparency/fictional realism about the game ontology. Within the fiction there IS a terrain; the D8 lattice and bundle sections are its representation, not the thing. The terrain itself is the substantial continuant; geological/hydrological erosion is a process (occurrent) constituting the world's prehistory from the game's perspective.\n\nConsequences:\n1. Transparency is a commitment: the flat toroidal topology becomes fictional geography (no poles, wraparound drainage), not an artifact to be excused.\n2. Geomorphology's native epistemology supports the framing: \"all sediment results from past processes\" (#T39G28); legacy sediments are \"an inheritance from times past\" (#UCAG4Q, #K82AS7); anthropogenic fingerprints read landscapes as records of vanished process particulars (#2284QZ). Landform = frozen occurrent history inhering in a continuant. This satisfies Smith's demand that categories come from extralogical domain science (#6BUB8K).\n3. Modal status of the prehistory: analytical stream-power solutions make time a function parameter, \"a slider that controls the aging of the input terrain\" (#T295H3, #HRH4UV, #DWXKYQ). The diegetic deep past is real-in-the-fiction but never executed; its truthmakers are wholly present (current terrain shape + generative law). Presentism-with-laws: the world is its own geological record. This also answers Smith's time-insensitivity charge (#6664AF) without storing history: the process ontology is encoded in the law, not a log.\n4. Ontological homogeneity across t=0: the same process universals continue at game time on a faster clock with new participants — walkers eroding trails (#UYLTYJ), player earthworks = legacy sediment in the making. Game start is a SNAP snapshot through one continuous SPAN history (Grenon & Smith, cited at #86A97P); before t=0 participants are tectonic/fluvial, after t=0 they include intentional agents.\n5. Bridge to Alexander: structure-preserving transformation (#ZU8GZV) is the norm that gameplay-era processes continue the world's unfolding rather than overwrite it — the ethical/aesthetic face of the same ontological continuity.\n\nSextet placement (per #8MW8B5): terrain = substantial particular; erosion/incision/routing = process universals whose prehistoric particulars no longer exist; present qualities (altitude, sediment cover, wetness) = quality particulars that are residues of those processes.", "title": "Fictional realism: terrain as continuant, erosion as prehistory" } ``` ### 29. Tool result: write_note NOTE SAVED #E65GC6 IRI: https://m.sheaf.less.rest/E65GC6 ### 30. Assistant Saved as #E65GC6. The one philosophical loose end worth deciding deliberately: whether the prehistory is *determinate* in the fiction. The analytical solution gives you the terrain at time $t$, but not a unique history of intermediate states (and #CEANXB notes the method lacks time consistency at large $t$). You can either say the fiction includes the full trajectory (and accept some indeterminacy about it), or say only law + present state are fictional facts and past-tense claims are true only insofar as the law fixes them. The second is cleaner and matches what the code actually commits to.