The following pages link to (Q4001345):
Displaying 50 items.
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- Is logic in the mind or in the world? (Q411569) (← links)
- Axiomatization and models of scientific theories (Q429827) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Second order inductive logic and Wilmers' principle (Q472798) (← links)
- Carnap's early semantics (Q486945) (← links)
- Sets and supersets (Q513990) (← links)
- How to be a structuralist all the way down (Q542132) (← links)
- Neo-Fregeanism: an embarrassment of riches (Q558727) (← links)
- Iteration one more time (Q558731) (← links)
- Theories of truth without standard models and Yablo's sequences (Q622620) (← links)
- A defense of second-order logic (Q660454) (← links)
- Revising Carnap's semantic conception of modality (Q694493) (← links)
- Toward a theory of second-order consequence (Q701293) (← links)
- Well- and non-well-founded Fregean extensions (Q704031) (← links)
- Continuum, name and paradox (Q707899) (← links)
- Solving the Caesar problem without categorical sortals (Q735346) (← links)
- On the referential indeterminacy of logical and mathematical concepts (Q815008) (← links)
- Filters in fuzzy class theory (Q835182) (← links)
- Second-order characterizable cardinals and ordinals (Q861573) (← links)
- The objectivity of mathematics (Q885536) (← links)
- The logic of the ontological square (Q1005977) (← links)
- The good, the bad and the ugly (Q1036086) (← links)
- Hume's big brother: Counting concepts and the bad company objection (Q1036087) (← links)
- Bad company generalized (Q1036089) (← links)
- Predicative foundations of arithmetic (Q1344849) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Second-order logic and the power set (Q1702982) (← links)
- Cardinality and acceptable abstraction (Q1704082) (← links)
- Towards a theory of universes: structure theory and the mathematical universe hypothesis (Q1708770) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
- Against the judgment-dependence of mathematics and logic (Q1758555) (← links)
- The logic of finite order (Q1762354) (← links)
- Frege meets Dedekind: A neologicist treatment of real analysis (Q1860971) (← links)
- Frege, Boolos, and logical objects (Q1876080) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Open texture and mathematics (Q1982002) (← links)
- Possible predicates and actual properties (Q2053346) (← links)
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- Second-order logic: properties, semantics, and existential commitments (Q2053351) (← links)
- The middle ground-ancestral logic (Q2053352) (← links)
- A metasemantic challenge for mathematical determinacy (Q2054113) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Hofweber's nominalist naturalism (Q2080579) (← links)
- Rescuing implicit definition from abstractionism (Q2080582) (← links)
- Structural relativity and informal rigour (Q2080583) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- On representations of intended structures in foundational theories (Q2121479) (← links)
- Analysis in a formal predicative set theory (Q2148788) (← links)
- Higher-order logic and disquotational truth (Q2155943) (← links)
