#philosophyoflogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #philosophyoflogic, aggregated by home.social.
-
In the mountains, I love exploring nature and climbing any little hidden corner.
My academic interests include mathematics (#mathematics) and mathematical logic ( #mathematicallogic #logic), particularly model theory ( #modeltheory), category theory ( #categorytheory), higher-order logic and metalogic ( #metalogic), as well as the philosophy of mathematics and logic ( #philosophyofmathematics #philosophyoflogic), epistemology and ontology of them.
-
Mathematics is either inconsistent or incomplete.
What is your philosophical interpretation of Gödel’s incompleteness theorems?
#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic
-
Mathematics is either inconsistent or incomplete.
What is your philosophical interpretation of Gödel’s incompleteness theorems?
#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic
-
Mathematics is either inconsistent or incomplete.
What is your philosophical interpretation of Gödel’s incompleteness theorems?
#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic
-
Mathematics is either inconsistent or incomplete.
What is your philosophical interpretation of Gödel’s incompleteness theorems?
#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic
-
Mathematics is either inconsistent or incomplete.
What is your philosophical interpretation of Gödel’s incompleteness theorems?
#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic
-
#PhilosophyOfMathematics
#PhilosophyOfLogicoccasional sunday finding wrt the applicability of logic, worth noting and worth discussion.
... It serves little purpose to argue that logic exists outside mathematics. Whatever,
outside mathematics, is reducible to pure logic is invariably found, on close inspection, to be nothing but a strictly mathematical scheme (mostly combinatorial), so devised as to apply to some concrete situation; one need
only think e.g. of the classical syllogism (every man is mortal, Socrates is a man, etc.) to convince oneself of the truth of this statement. Outside mathematics, even in the physical sciences, there is no statement that does not have to be qualified by the knowledge, common to the speaker and to his audience, of some physical or mental context. ...
[FOUNDATIONS OF MATHEMATICS FOR THE WORKING MATHEMATICIAN,
N. BOURBAKI, JSL 1949] -
CW: shameless self promotion 😂
my current (still draft) paper is about
object references in purportedly truth value definite sentences
think there's something good in it ...
😅 #nontology#PhilosophyOfLogic
#AppliedLogic
#PhilMath
#PhilSci
#PhilosophyOfMathematics
#PhilosophyOfScience -
#JeffreyKaplan - Occam's Razor - rational principles explained
https://www.youtube.com/watch?v=3BxxKE-NcRo&ab_channel=JeffreyKaplan
#OccamsRazor #Philosophy #PhilosophyOfLogic #Truth #Explanation #Logic #Simplicity #Ontology #Existence #Rationality
-
#JeffreyKaplan - The #LiarParadox - an explanation of the #Paradox from 400 BCE
https://www.youtube.com/watch?v=in4u2i9v4vg&ab_channel=JeffreyKaplan
#Philosophy #PhilosophyOfLogic #Logic #Language #Math #Maths #Mathematics #Truth #SelfReference #Completeness #Incompleteness #StarTrek #Kirk #CaptainKirk #Picard #CaptainPicard
-
#RaymondTallis - What is #Truth?
https://www.youtube.com/watch?v=WLhTG7etzlc&ab_channel=CloserToTruth
#Philosophy #Logic #PhilosophyOfLogic #Assertions #States #StatesOfAffairs #Belief #JTB #JustifiedTrueBelief #Pragmatism #Minimalism #Predicate #Predicates #Relativism #Noumenal #Ontological #Kant #Kantian #DingAnSich #CloserToTruth #RobertKuhn
-
#Veritasium - #Math's #FundamentalFlaw
https://www.youtube.com/watch?v=HeQX2HjkcNo&ab_channel=Veritasium
#RussellParadox #BertrandRussell #Philosophy #PhilosophyOfLanguage #PhilosophyOfLogic #Logic #Math #Maths #Mathematics #SetTheory #Sets #Predicates #Subjects #Paradox #LogicalParadox #Contradiction #Contradictions #Incompleteness #IncompletenessTheorem #Goedel #Hilbert
-
#JeffreyKaplan - #RussellsParadox - A simple #Explanation of a profound #Problem
https://www.youtube.com/watch?v=ymGt7I4Yn3k&ab_channel=JeffreyKaplan
#BertrandRussell #Philosophy #PhilosophyOfLanguage #PhilosophyOfLogic #Logic #Math #Maths #Mathematics #SetTheory #Sets #Predicates #Subjects #Paradox #LogicalParadox #Contradiction #Contradictions #Incompleteness #IncompletenessTheorem #Goedel #Hilbert