📚 node [[logic]]

# Logic

# Table of Contents

`[2017-11-30]`

Continuum hypothesis`[2015-08-26]`

depenedent sum- [[Self-reference elimination: use indices]]

`[2017-11-30]`

Continuum hypothesis

Godel: proved that ZFC + CH is consistnent

Cohen: proved that ZFC + ~CH is consistnent (actually, any intermediate number of infinities)

`[2015-08-26]`

depenedent sum

Sum (a : A) (B(A)) = {(a, b) | a ∈ A, b ∈ B(a)}

Exists (a : A) (B(A)) = || Sum a B ||

# Self-reference elimination: use indices

x^{1} ∈ y^{2}

y^{2} ∈ x^{1}: forbidden!

x^{1} ∈ x^{2}: forbidden!

System NF?

📖 stoas

- public document at doc.anagora.org/logic
- video call at meet.jit.si/logic

⥱ context

← back

2021 01 30

2021 04 03

2021 08 14

2022 03 27

2022 05 30

left tech magazines

nobu hibiki

prolog

topology

tostudy

trivium

2021 01 30

2021 04 03

2021 08 14

2022 03 27

2022 05 30

left tech magazines

nobu hibiki

prolog

topology

tostudy

trivium

↑ pushing here

(none)

(none)

↓ pulling this

(none)

(none)

→ forward

(none)

(none)

⥅ related node [[existential psycological disorders]]

⥅ related node [[ontological coaching]]

⥅ related node [[carelogic]]

⥅ related node [[epistemological letters]]

⥅ related node [[formal logic]]

⥅ related node [[mathematical logic]]

⥅ related node [[chance love and logic]]

⥅ related node [[biological comparisons]]

⥅ related node [[an ecological technology an interview with james bridle]]

⥅ related node [[biologically inspired computing]]

⥅ related node [[dialogic]]

⥅ related node [[ecological civilization]]

⥅ related node [[ecological flows]]

⥅ related node [[ecological leninism with kai heron]]

⥅ related node [[ecological radio workshop]]

⥅ related node [[ecosocialism and the ecological crisis]]

⥅ related node [[from cyber autonomism to cyber populism an ideological analysis of the evolution of digital activism]]

⥅ related node [[imperialism is the arsonist marxisms contribution to ecological literatures and struggles]]

⥅ related node [[indigenous and traditional ecological knowledge]]

⥅ related node [[jennerite ecological scepticism]]

⥅ related node [[kohei saito climate crisis and ecological revolution]]

⥅ related node [[lean logic]]

⥅ related node [[logic magazine]]

⥅ related node [[logics of resistance]]

⥅ related node [[moving towards an ecological leninism]]

⥅ related node [[our feelings are not just biological but also social and cultural and therefore historical]]

⥅ related node [[postmodernism or the cultural logic of late capitalism]]

⥅ related node [[technological decentralisation]]

⥅ related node [[technological determinism]]

⥅ related node [[technological sovereignty]]

⥅ related node [[technological utopianism]]

⥅ related node [[topological determinism]]

⥅ related node [[un convention on biological diversity]]

⥅ related node [[what does an ecological civilization look like]]

⥅ related node [[20210206104803 ayn_rand_s_philosophy_is_tautological]]

⥅ related node [[20210310142248 technological_progress_is_not_linear]]

⥅ related node [[20210310144711 technological_development]]

⥅ related node [[20210720192702 logical_positivism]]

⥅ related node [[20210120214919 how_to_make_a_pencil_logic_magazine]]

⥅ related node [[20210321202719 singular_plural_logic_mag]]

⥅ related node [[20210321203540 enter_the_dragnet_logic_mag]]

⥅ related node [[20210321210839 panopticons_and_leviathans_logic_mag]]

⥅ related node [[20210326182858 specter_in_the_machine_logic_mag]]

⥅ related node [[20210405165210 decelerate_now_logic_mag]]

⥅ related node [[20210502161729 engels_s_ecologically_indispensable_if_incomplete_dialectics_of_nature_monthly_review]]

⥅ related node [[20210714212557 the_access_doctrine_logic_mag]]

⥅ related node [[20210714213814 don_t_call_it_a_throwback_logic_mag]]

⥅ related node [[20210714214523 data_relations_logic_mag]]

⥅ related node [[geologic timeline]]

⥅ related node [[logical tea party]]

⥅ related node [[epistemological]]

⥅ related node [[nosological]]

🔎 full text search for 'logic'