\boldsymbol{\forall } and \boldsymbol{\omega }

DOI10.1007/978-3-319-18362-6_21MaRDI QIDQ3299537zbMATH OpenOpenAlexFDO

Authors Elia Zardini

Publication date 23 July 2020

Published in Synthese Library (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-18362-6_21

zbMATH Keywords

singular termuniversal quantificationlogical truthgeneralisation principlerelevant domain

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53)

Recommendations

• ∀ or ∃?
• On the equivalence for property ()
• scientific article; zbMATH DE number 724627
• An \(\Omega\)-theorem \dots : Addendum
• _ from aleph to omega
• \( \omega \)-topology and \(\alpha \)-topology
• -Separation axioms
• scientific article; zbMATH DE number 1263879
• scientific article; zbMATH DE number 3895056
• Proof of the \( (\omega)\) property

Cites work

• scientific article; zbMATH DE number 3120834 (Why is no real title available?)
• scientific article; zbMATH DE number 1405872 (Why is no real title available?)
• scientific article; zbMATH DE number 3310055 (Why is no real title available?)
• A model of tolerance
• Naive \textit{modus ponens}
• Naive truth and naive logical properties
• Strict finitism
• The opacity of truth
• Truth through proof. A formalist foundation for mathematics
• Truth without contra(di)ction

Cited in

(4)

• The universal generalization problem
• The final cut
• The opacity of truth
• Instability and contraction. \textit{Méditations hégéliennes}. I

This page was built for publication: $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3299537)