Frühere Suchanfragen
Suchoptionen
#logic
Curso "Lógica informática (2005-06)". https://jaalonso.github.io/cursos/li-05 #Logic #Math #CompSci
Guest post by #Yervant #Kulbashian: "The Green Swan - Part 3: A Thin #Layer of #Symbols"
This 3rd part of his overall essay deals mainly with the problem of how #language-guided, #human #thinking "can be developed from this implicit stage to a #formal #logic". Here you must first "go through the #stages of #conceptualization or #abstraction" in order to develop from this in a further step "the terms for #logical #concepts" for #AI #machines.
https://philosophies.de/index.php/2023/04/24/der-gruene-schwan-3/
#Google's #Gemini #AI has become my best new tool for learning #Japanese. I just tested its ability to identify grammar mistakes and to generation a list of Japanese verbs with English explanations. I wish these AIs were available when I was young. I have seriously bad memories and I have difficulties following other people's #logic. With these new AIs I can ask questions based on my own logic and I don't need to read books that are written based on other people's logic flows. #language
Voir les paroles de la chanson “Confessions Of A Dangerous Mind” de Logic
#Logic #ConfessionsOfADangerousMind
https://daletra.art/logic/paroles/confessions-of-a-dangerous-mind.html
Curso "Lógica informática (2004-05)". https://jaalonso.github.io/cursos/li-04 #Logic #Math
Découvrez les paroles de la chanson “The Incredible True Story” de Logic
#Logic #TheIncredibleTrueStory
https://daletra.art/logic/paroles/the-incredible-true-story.html
Guest post by Yervant Kulbashian (Engineering Manager, #AI #Platform):
"The Green Swan - The #Logical #Pulse" - Part 2
The 2nd part of his complete essay deals mainly with the questions, what #logic actually is, how it comes about #language-guided, how children learn it and which #mistakes they make here. So all #questions, which have to be asked also for the development of #language #based #logic on #machines.
The original text in English is available on my page.
https://philosophies.de/index.php/2023/04/13/der-gruene-schwan-2/
@Akshay How would you rate this revised SEP-entry? https://plato.stanford.edu/entries/bounded-rationality/. Not exactly my piece of cake, though I'm staunchly fond of informal logic and defeasible reasoning.
With respect to climate change decision making, I keep on trying to remember at least something from the SEP-entry on climate justice, https://plato.stanford.edu/entries/justice-climate/.
It is possible to formalise PRA in such a way that it has no logical connectives at all—a sentence of PRA is just an equation between two terms. In this setting a term is a primitive recursive function of zero or more variables. Curry (1941) gave the first such system. The rule of induction in Curry's system was unusual. A later refinement was given by Goodstein (1954)
Given primitive recursive functions which may have parameters . The only other inference rules of Goodstein's system are substitution rules.
logical rules of PRA are modus ponens and variable substitution.
In first-order arithmetic, the only primitive recursive functions that need to be explicitly axiomatized are addition and multiplication. All other primitive recursive predicates can be defined using these two primitive recursive functions and quantification over all natural numbers. Defining primitive recursive functions in this manner is not possible in PRA, because it lacks quantifiers
there are symbols for any primitive recursive functions with corresponding defining equations, as in Skolem's system above.
this way the propositional calculus can be discarded entirely. Logical operators can be expressed entirely arithmetically, for instance, the absolute value of the difference of two numbers can be defined by primitive recursion
// decodability
#math #logic