Library

Subject
Tags

728 matches · Philosophy and Theoretical Science

#
001Local Constitutional Revision: A Read–Write Decomposition of Locality (KA Constitutional Revision Notes II)OpenAlexPaperKarimov Hikmat5 days ago
002Local Constitutional Revision: A Read–Write Decomposition of Locality (KA Constitutional Revision Notes II)OpenAlexPaperKarimov Hikmat5 days ago
003Explicit Two-Sided Variable Elimination in the Logic of Paradox: Uniform Interpolation, a Lyndon Refinement, and Finite Designation DefinabilityOpenAlexPaperJoaquim Reizi Higuchi6 days ago
004Explicit Two-Sided Variable Elimination in the Logic of Paradox: Uniform Interpolation, a Lyndon Refinement, and Finite Designation DefinabilityOpenAlexPaperJoaquim Reizi Higuchi6 days ago
005Pluralism in ReasoningOpenAlexPaperJouni-Matti Kuukkanen7 days ago
006Post Completeness in Conditional LogicOpenAlexPaperGiuliano Rosella, Yale WeissJul 23
007ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
008ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
009ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
010Prescriptive Logic as a Tool of Cognition. A Formal Framework for Model DynamicsOpenAlexPaperPavel E. GrigorievJul 21
011Proof-Theoretic Considerations on the Structure of Reasoning with Counterfactuals and KnowledgeOpenAlexPaperBartosz WięckowskiJul 21
012A Counterfactual Cause in Situation CalculusOpenAlexPaperDaxin Liu, Vaishak BelleJul 20
013Conditional independence, graphical models and causalityOpenAlexPaperRichard J. Samworth, Rajen D. ShahJul 20
014Beyond the Monochord: From Pythagorean Harmony to the Transport-Retention AdjunctionOpenAlexPaperJames KovalenkoJul 18
015AxiomsOpenAlexPaperShawn StandeferJul 17
016Counterfactual Evaluation by Perturbation of Information States: Deleting the Ordering, Not Refining ItOpenAlexPaperAjax BenanderJul 17
017Counterfactual Evaluation by Perturbation of Information States: Deleting the Ordering, Not Refining ItOpenAlexPaperAjax BenanderJul 17
018Modal FramesOpenAlexPaperShawn StandeferJul 17
019QuantifiersOpenAlexPaperShawn StandeferJul 17
020A Brief Analysis of Interpolation in Universal Algebraic LogicOpenAlexPaperİhsan ÖztürkJul 14
021AIA Artificial Intelligence Alignment A Self-Determined Architecture Specification v0.1OpenAlexPaperCameron BrownJul 13
022AIA Artificial Intelligence Alignment A Self-Determined Architecture Specification v0.1OpenAlexPaperCameron BrownJul 13
023[T-020] Principle of Conceptual Fixation: Logical Constantization through Separation of Definitional and Operational LayersOpenAlexPaperErystela ThevaleJul 11
024[T-020] Principle of Conceptual Fixation: Logical Constantization through Separation of Definitional and Operational LayersOpenAlexPaperErystela ThevaleJul 11
025My Method in Nexum: A Formal Justification of Philosophical Dialogue in Relation to Artificial IntelligenceOpenAlexPaperAlfred Batlle FusterJul 10
026My Method in Nexum: A Formal Justification of Philosophical Dialogue in Relation to Artificial IntelligenceOpenAlexPaperAlfred Batlle FusterJul 10
027The Nitescence Theorem: A Formal Resolution of the Incompleteness ParadoxOpenAlexPaperXavier J. RégentJul 10
028Reconstruction Calculus: A Formal Constitutional System for Foundational ReconstructionOpenAlexPaperIsrael DonJul 9
029Reconstruction Calculus: A Formal Constitutional System for Foundational ReconstructionOpenAlexPaperIsrael DonJul 9
030Circularidad constitutiva y circularidad viciosa: el criterio modal y la reflexividad total del sistema.OpenAlexPaperAdrián Criado Fernández-MedinaJul 8
031Circularidad constitutiva y circularidad viciosa: el criterio modal y la reflexividad total del sistema.OpenAlexPaperAdrián Criado Fernández-MedinaJul 8
032Anankastic conditionals and the default theory of reasonsOpenAlexPaperFabrizio CarianiJul 6
033Logics of Statements in Context—Deduction in First-Order LogicOpenAlexPaperUwe WolterJul 6
034Compatibility and ImplicationOpenAlexPaperVincenzo Crupi, Andrea IaconaJul 4
035Intelligence Beyond Knowledge: Control, Architecture, and the Structural Law of Artificial AgencyOpenAlexPaperHuiwen HanJul 4
036Intelligence Beyond Knowledge: Control, Architecture, and the Structural Law of Artificial AgencyOpenAlexPaperHuiwen HanJul 4
037Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order LogicOpenAlexPaperJim de Groot, J. Marcos et al.Jun 30
038Non-classical Topological Evidence LogicOpenAlexPaperIgor SedlárJun 30
039Stratified Counterpossible LogicOpenAlexPaperChen Huang, Xuefeng WenJun 30
040Fundamental Logic Through the Lens of ModalityOpenAlexPaperWesley H. Holliday, Guillaume MassasJun 29
041The Thousand-Year Warrior II, or The Person Is Not a Sum — Why Moral Judgment Is a Predicate Over the Trajectory, Not a Balance of DeedsOpenAlexPaperMaksim BarziankouJun 29
042Hyperformalism for Relevant Modal LogicsOpenAlexPaperThomas Macaulay Ferguson, Shay Allen LoganJun 28
043Intuitionistic Justification Logic, SemanticallyOpenAlexPaperSonia Marin, Paaras Padhiar et al.Jun 28
044Observation Map Adjunction and Retrieval Ambiguity: A Minimal Model for Loopback Observation TheoryOpenAlexPaperMasahito TakagiJun 28
045On Interpretations of Normal Modal LogicsOpenAlexPaperLev V. DvorkinJun 28
046The Epistemic Map of Identity Persistence_ Regime Specification, Identity, Admissibility, Capacity, and VerificationOpenAlexPaperDevin BostickJun 28
047The Epistemic Map of Identity Persistence_ Regime Specification, Identity, Admissibility, Capacity, and VerificationOpenAlexPaperDevin BostickJun 28
048Universal Apophatic Roots in Modal-Paraconsistent MultiversesOpenAlexPaperDavid BetzerJun 28
049Universal Apophatic Roots in Modal-Paraconsistent MultiversesOpenAlexPaperBetzer, DavidJun 28
050Physical obligation, Modus Tollendo Tollens, and the Stoic criterionOpenAlexPaperMiguel López AstorgaJun 26
051A Federated Epistemic-Operational Architecture One Evidence-Grounded Core for Navigation, Scientific Synthesis, and Perceptual Trust — and Federation Across ThemOpenAlexPaperEitan Peter OmiyiJun 21
052A Federated Epistemic-Operational Architecture One Evidence-Grounded Core for Navigation, Scientific Synthesis, and Perceptual Trust — and Federation Across ThemOpenAlexPaperEitan Peter OmiyiJun 21
053Axiomatic Justification in Constructive Morse Set TheoryOpenAlexPaperDouglas S. BridgesJun 18
054Modal logical aspects of provability predicates and consistency statementsOpenAlexPaperHaruka Kogure, Taishi KurahashiJun 18
055因果闭合、内部对抗与自由意志的逻辑完整性OpenAlexPaper磊 赵Jun 18
056因果闭合、内部对抗与自由意志的逻辑完整性OpenAlexPaper磊 赵Jun 18
057A Federated Epistemic-Operational Architecture One Evidence-Grounded Core for Navigation, Scientific Synthesis, and Perceptual Trust — and Federation Across ThemOpenAlexPaperEitan Peter OmiyiJun 16
058Domain-Specific Local Closure Between Newtonian and Relativistic DynamicsOpenAlexPaperKusuo OdaJun 15
059Domain-Specific Local Closure Between Newtonian and Relativistic DynamicsOpenAlexPaperKusuo OdaJun 15
060Logicality: The Boundary Between Formal Syntax and Logical AuthorityOpenAlexPaperKarl J Kreder IIIJun 15

Showing 60 of 728 documents · scroll for more