#formalsemantics ผลการค้นหา

Syntax and grammar set constraints and possibilities. They define what sequences of words are well-formed, how phrases can combine, and how meaning can be structured. Without these “rules,” language would be chaotic. There would be no predictable way to generate meaning beyond

Arguably #math as a field of knowledge is a formal language (alternative theories are much more debatable). What distinguishes (sound) formal from natural languages is simpler syntax and "transparent" semantics. en.wikipedia.org/wiki/Transpare…

none of you are getting my point #ohmygodbru formal wording is okay. but in this case formal wording is used to puff up subjects in a very similar manner to ai and doesnt add any substances to the analysis n heres my full thoughts but its made in a whim so if anything lmk

Formalism also allows for a discussion to be formulated in such a way that it looks black and white. Therefore, if I write about Digital ID's and CBDC's, I can do this in such a way that makes it look like the world will be draconian, but this is a choice of framing.

Formalism in law and science allows for either vague or precise language such that if the speaker wishes they can be vague in their language or if the speaker wishes they can be absolutely coherent and very logical. Formalism allows for vague formulations.

Yes, formal logic is completely compatible with nominalism. @grok, can you explain why modus tollens can lead us to understanding the asymmetrical structure of existence statements, giving us falsification as the best known criterion to ensure eliminating falsehoods?

I think that the difference between formal logic and informal logic is not really in structure exactly. Formal logic is, as the name implies, more concerned with the form, the rules and transformations that are defined-ly possible, independent of content, kind of like containers

Pragmatics integration: Formal semantics incorporates implicatures and context (Gricean maxims) to resolve ambiguities, acknowledging that reason's "absolute principles" are context-bound, not universal absolutes.

Formalizing the Statement Before a proof is generated, the statement must be expressed mathematically — usually as a circuit or constraint system. This statement can represent a secret value or valid credentials that satisfy certain conditions.

Formally assess 1) truth of reasons or premises, 2) deductive validity, 3) cogency, and 4) soundness.

#formula : a fixed or conventional method in which anything is to be done, arranged, or said - French: Formule - German: die Formel - Italian: formula - Portuguese: fórmula - Spanish: fórmula

formal notations and metaphorical intuition

possibly our reality is memory but intuition? latin direct contemplation knowing for no reason this knowing it has no history again bottom up now topic information latin forma, form Form is a philosophical concept by Aristotle information interacts with form: final cause

Randomly found this in from Christopher Alexander Notes on the Synthesis of Form, page 76; formalism is a twice-lifted "image of image of the world" Great for image-shaped problems, not for new images

➡️Excited to share a new #blog from Cynergy4MIE partner Verum Software Tools BV: “Formal Methods: enhancing software engineering productivity and code correctness.” Check it out! 👆 cynergy4mie.eu/formal-methods…

When you write that 'syntax alone is insufficient for semantics' and some would still ask the LLMs to determine meaning for them rather than actually ask people what they mean when they say something

1. “Logic only needs a system of representation and truth-functions.” A formal system is not logic. A formal system has: no ontology no normativity no reason-giving force no truth-tracking obligations

english is a "natural" language where a word's syntactic category (noun, verb) has almost no meaning. all verbs being blue is useless. "formal" aka programming languages use syntactic category to directly convey meaning. think of forgetting to end a string with a quote

What’s meant by a ‘formal language’ there? The standard use is, as with Tarski, an artificial language with stipulated semantic and syntactic axioms. That’s not what you have in mind, I think — which is absolutely fair enough, but then the question is what you do mean by it.

What do you think, is this a "promising" pun?#relaxedmemory #formalsemantics

#FormalSemantics is about attaching meaning to expressions.

Zeqi Zhao came to Göttingen 9 years ago - she's a Uni Göttingen veteran, so to speak. We are glad that she pursues her PhD on the Mandarin multi-functional particle 'dou', and thus to have her in the Göttingen Linguistics Department for some time to come. #LinGoe #FormalSemantics

I can't stop reading the "tricky shift" observed here as a meta-comment at the formal operations involved in linking "darkly funny" to "plain dark" via some sort of coercion mechanism. #coercion #formalSemantics