|
|
W idealnych warunkach takie stwierdzenia mogą być zinterpretowane za pomocą logiki matematycznej i wnioskowania. (Wszyscy politycy kłamią & wszyscy kłamcy dopuszczają się oszustw podatkowych → jeżeli ktoś płaci podatki, to nie jest politykiem).
|
|
|
Formal semantics strives to reduce utterances to propositions about states of affairs with definable truth values, quantifications and the like. Ideally, such propositions can be interpreted using mathematical logic and reasoning. (All politicians lie & all liars also cheat on their taxes -> if somebody pays their taxes, they're not a politician).
|
|
|
La sémantique formelle s’efforce de réduire les énoncés à des propositions concernant des situations au moyen de valeurs de vérité définissables, de quantifications, etc. Dans l’idéal, ces propositions doivent pouvoir être interprétées selon un raisonnement logique et mathématique. (Tous les politiciens mentent & tous les menteurs fraudent les impôts → si quelqu’un paie ses impôts, ce n’est pas un politicien.)
|
|
|
Die formale Semantik bemüht sich, Äußerungen zu Sätzen über Sachstände mit definierbaren Wahrheitswerten, Quantifizierungen und dergleichen zu reduzieren. Idealerweise können solche Sätze mit mathematischer Logik und Beweisführung interpretiert werden. (Alle Politiker lügen & alle Lügner begehen auch Steuerhinterziehung -> wenn jemand seine Steuern zahlt, ist er kein Politiker.)
|
|
|
La semántica formal estriva en reducir expresiones a estados que posean valores de verdad definibles, cuantificaciones o parecidos. Lo ideal sería que dichas proposiciones pudieran ser interpretadas con la ayuda de la lógica matemática y el razonamiento. (Todos los políticos mienten y todos los mentirosos engañan en lo que a impuestos se refiere -> si alguien paga sus impuestos, no es un político).
|
|
|
La semantica formale si sforza di ridurre le proposizioni a fatti e stati che possiedano valori di verità definibili, quantificazioni o simili di proposizioni su stati di cose con i valori di verità definibile, quantificazioni e simili. Idealmente, tali proposizioni possono essere interpretati attraverso la logica matematica e il ragionamento. (Tutti i politici mentono e tutti i bugiardi ingannano anche sulle loro tasse -> se qualcuno paga le tasse, non è un politico).
|
|
|
Formele semantiek streeft ernaar uitdrukkingen over feiten en toestanden te reduceren door goed gedefinieerde waarheids-waarden, kwantificeringen, enz. In het ideale geval kunnen dergelijke voorstellen worden geïnterpreteerd met behulp van wiskundige logica en redenering. (Alle politici liegen & alle leugenaars knoeien ook met hun belastingen -> als iemand zijn belastingen betaalt, is het geen politicus).
|
|
|
Формалната семантика се стреми да намали изказванията до съждения за състоянието на нещата с поддаваща се на определение истинност, квантификаця (свеждане на качествените характеристики към количествени)и други подобни. В идеалния случай, тези съждения могат да бъдат интерпретирани с помощта на математическата логика и умозаключения. (Всички политици лъжат и всички лъжци също крият данъци -> ако някой плаща своите данъци, той не е политик).
|
|
|
Formalna semantika ima cilj da reducira rečenične dijelove o činjenicama na dobro definirane vrijednosne sisteme, količine itd. Idealno se tako normirane rečenice mogu interpretirati matematskom logikom i argumentacijom. (Svi političari lažu & svi lažljivci varaju na porezu, iz čega slijedi da oni koji plaćaju porez nisu političari).
|
|
|
Formel semantik søger at reducere ytringer til formaliserede udsagn om faktiske forhold med en definerbar sandhedsværdi, kvantificering m.m. Ideelt set kan disse udsagn så fortolkes vha. matematisk logik og argumentation. (Fx: Alle politiker lyver & alle der lyver snyder også med skatten --> hvis nogen betaler deres skat, er de ikke politikere).
|
|
|
Formaalne semantika püüab redutseerida lausungeid olukordade kohta selliste väideteni, millel on määratletud tõeväärtus, kvantiteet jms. Ideaaljuhul võiks selliseid väiteid interpreteerida, kasutades matemaatilist loogikat ja arutluskäiku. (Kõik poliitikud valetavad & kõik valetajad tegelevad ka maksupettusega -> kui keegi maksab makse, ei ole ta poliitik.)
|
|
|
A formális szemantika megpróbálja a kijelentéseket a dolgok állapotáról szóló állításokra redukálni igazságértékeket, kvantifikációt és hasonlókat használva. Ideális esetben ezek az állítások a matematikai logika és érvelés keretében értelmezhetőek. (Minden politikus hazudik & minden hazug csal az adójával is -> ha valaki befizeti az adóját, akkor az nem politikus.)
|
|
|
Formalioji semantika siekia sutrumpinti pasisakymus iki teiginių apie situaciją su apibrėžiamomis teisingumo vertėmis, kvantifikacija (kokybinių charakteristikų išreiškimas kiekybinėmis) ir panašiai. Teoriškai panašūs teiginiai gali būti interpretuojami, naudojant matematinę logiką ir darant išvadas. (Visi politikai meluoja, visi melagiai sukčiauja su mokesčiais -> jeigu kažkas moka mokesčius, tai jis - ne politikas).
|
|
|
Semantica formală se straduiește să reducă enunțurile la propoziții despre situațiile lucrurilor care posedă valori de adevar definite, cuantificări, etc. În mod ideal asemenea propoziții pot fi interpretate cu logică matematică și raționament (Toți politicienii mint & toți mincinoșii comit evaziune fiscală-> dacă cineva își plătește taxele, el nu este politician.
|
|
|
Формальная семантика стремится сократить высказывания до суждений о положении дел с поддающимися определению значениями истинности, квантификацией (сведением качественных характеристик к количественным) и тому подобное. В идеале подобные суждения могут интерпретироваться с использованием математической логики и умозаключений. (Все политики врут, и все лгуны мошенничают с налогами -> если кто-то платит налоги, он не является политиком).
|
|
|
Formálna sémantika sa snaží redukovať vyjadrenia na výroky o stave vecí s definovateľnými pravdivostnými hodnotami, kvantifikáciami a pod. Takéto výroky sa dajú v ideálnom prípade interpretovať pomocou matematickej logiky a zdôvodnenia. (Každý politik klame ∧ každý, kto klame, robí aj daňové podvody ⇒ Ak niekto platí dane poctivo, určite nie je politik).
|
|
|
Formalna semantika si prizadeva pomanjšati dele jezika na izjave o stanju stvari, ki imajo določljive resničnostne vrednosti, količino in podobno. V idealnem primeru lahko te izjave interpretiramo s pomočjo matematične logike in sklepanja. (Vsi politiki lažejo & vsi lažnivci goljufajo pri davkih -> če nekdo plačuje davke, ni politik).
|
|
|
Formell semantik strävar efter att reducera yttranden till påståenden om sakförhållanden med definierbara sanningsvärden, kvantifieringar och liknande. I bästa fall kan dessa påståenden tolkas med hjälp av matematisk logik och resonemang. (Alla politiker ljuger och alla lögnare är skattefuskare -> om en person betalar sina skatter, är denne inte politiker).
|
|
|
Formālā semantika tiecas reducēt izteikumus līdz propozīcijām par situācijām ar definējamām patiesuma vērtībām, kvantoriem u. tml. Ideālā gadījumā šādas propozīcijas var būt interpretējamas pielietojot matemātisko loģiku un prātošanu. (Visi politiķi melo & visi meļi izvairās no nodokļiem -> ja kaut kas maksā nodokļus, viņš nav politiķis).
|
|
|
Tríd an tséimeantaic fhoirmiúil féachtar le huiríll a laghdú go tairiscintí maidir le staideanna a bhfuil luachanna fírinne insainmhínithe, méideanna agus mar sin acu. Go hidéalach, is féidir tairiscintí den sórt sin a léiriú trí úsáid a bhaint as loighic agus réasúnaíocht mhatamaiticiúil. (Insíonn gach polaiteoir bréaga & déanann gach bréagadóir caimiléireacht ar a chuid cánach -> má íocann duine éigin a chuid cánach, ní polaiteoir é).
|
