Emaitzak: 2
2000 | ||
Baina Zirkuluaren garaian logika sinbolikoa —klasikoa50—, zalantzarik gabe, ezagutzaren edozein esparru argitzeko balio zezakeen bitartekari egokiena zela onartzen zuten. Zentzu horretan, zientzi teoria | bat sistema formal deduktiboa besterik ez da, hots, bere esanahi enpirikoa hizkuntza formalaren oinarrizko terminoak —primitiboak— munduko behagarriekin lotzen dituzten definizioen bitartez lortzen duen sistema axiomatikoa. Termino teorikoak, bere aldetik, behaketazko terminoen laburdurak besterik ez dira, hau da, definizioen bitartez munduarekin zuzenki lotuta dauden behaketazko terminoetara itzul daitezkeen terminoak. | |
2004 | ||
{ 1) Zuzentasuna honela definituko genuke: logika | batentzat sistema formal bat proposatzen denean, sintaktikoki ondorioztatzen dena sistema horretan scmantikoki ere ondorioztatu egin behar da. Sistema formal bat zuzcna bada, haren teoremak egia logikoak cdoformula logikoki baliozkoak izango dira; hau da, egiazkoak interpretazio guztietan. |
Emaitza gehiago eskuratzen...
Loading...
Aldaerak
bat | 2 (0,01) |
Lehen forma
Argitaratzailea
UEU | 1 (0,01) |
Jakin liburuak | 1 (0,01) |
Konbinazioak (2 lema)
bat sistema | 2 (0,01) |
Konbinazioak (3 lema)
bat sistema formal | 2 (0,01) |
Urtea
Bilaketarako laguntza: adibideak
Oinarrizko galderak | |
---|---|
katu | "katu" lema duten agerpen guztiak bilatu |
!katuaren | "katuaren" formaren agerpenak bilatu |
katu* | "katu" hasiera duten lema guztiak bilatzen ditu |
!katu* | "katu" hasiera duten forma guztiak bilatzen ditu |
*ganatu | "ganatu" bukaera duten lema guztiak bilatzen ditu |
!*ganatu | "ganatu" bukaera duten forma guztiak bilatzen ditu |
katu + handi | "katu" eta "handi" lemak jarraian bilatu |
katu + !handia | "katu" lema eta "handia" forma jarraian bilatu |
Distantziak | |
katu +3 handi | "katu" eta "handi" lemak 3 elementuetako distantzian bilatu |
katu +2 !handia | "katu" lema eta "handia" forma 2 elementuetako distantzian bilatu |
katu +2 !handi* | "katu" lema eta "handi"z hasten diren formak 2 elementuetako distantzian bilatu |
Formen konbinazioa desberdinak | |
bero + handi | asko | "bero" lema eta jarraian "handi" edo "asko" lemak bilatu |
bero +2 !handi* | !asko* | "bero" lema eta jarraian "handi"z edo "asko"z hasten diren formak |
!bero + handi|asko|gutxi|txiki | "bero" forma eta jarraian "handi", "asko", "gutxi", "txiki" lemak |
Ezaugarri morfologikoekin | |
proba + m:adj | "proba" lema eta jarraian adjketibo bat |
proba +2 m:adj | "proba" lema eta bi hitzetako distantziak adjektibo bat adjketibo bat |
bero + handi|asko + m:adi | "bero" lema jarraian "handi" edo "asko" eta jarraian aditz bat |
proba + m:izearr-erg | "proba" lema eta ergatibo kasuan dagoen izen arrunta |
Ezaugarri morfologikoak
KATEGORIA
adb | adberbioa |
---|---|
adi | aditza |
adilok | aditz-lokuzioa |
adj | adjektiboa |
det | determinatzailea |
ior | izenordaina |
izearr | izen arrunta |
izepib | pertsona-izena |
izelib | leku-izena |
izeizb | erakunde-izena |
lbt | laburtzapena |
lotjnt | juntagailua |
lotlok | lokailua |
esr | esaera |
esk | esklamazioa |
prt | partikula |
ono | onomatopeia |
tit | titulua |
KASUA
abs | absolutiboa |
---|---|
abl | ablatiboa |
ala | adlatiboa |
ban | banatzailea |
dat | datiboa |
des | destinatiboa |
erg | ergatiboa |
abz | hurbiltze-adlatiboa |
ine | inesiboa |
ins | instrumentala |
gel | leku-genitiboa |
mot | motibatiboa |
abu | muga-adlatiboa |
par | partitiboa |
psp | postposizioa |
pro | prolatiboa |
soz | soziatiboa |
MUGATASUNA/NUMEROA
mg | mugagabea |
---|---|
ms | mugatu singularra |
mp | mugatu plurala |
mph | mugatu plural hurbila |
ADITZ MOTA
da | da |
---|---|
du | du |
dio | dio |
zaio | zaio |
da-du | da-du |
du-zaio | du-zaio |
dio-zaio | dio-zaio |
da-zaio | da-zaio |
du-dio | du-dio |
da-zaio-du | da-zaio-du |
da-zaio-du-dio | da-zaio-du-dio |