Logika Epaiak. Zer da judizioa, epaiak moten

Epaiak bat da pentsamendu forma, baiezta edo objektuen existentzia buruzko ezer ukatzen, horien eta beren propietate arteko loturak, baita objektuen arteko harremana.

adierazpenak adibideak: "Volga Kaspiar Itsasoa isurtzen", "AS Pushkin poema bat "Brontze Horseman", "Siberiako tigrea Red Book zerrendatzen da," eta abar idatzi zuen

epaia egitura

gaia, predikatu, eta ligament zenbatzaile: Judgment honako elementuak ditu.

1. Gaia (lat subjektum. - «Azpiko») - adierazi epaia den bezala, bere irakasgaia ( «S») dela.
2. The predikatu (Latin praedicatum. - «Said") - objektu Etiketa isla, zer da epaia gaia esan ( "P").
3. Sorta - gaia ( «S») eta predikatu ( "P") arteko erlazioa. presentzia / predikatu gisa adierazten propietate bat gaia eza zehazten du. Agian dakar, eta "etenaren" edo hitz "a" ( "ez da") adierazten dira, "ditu", "izan", "substantzia", eta beste batzuk.
4. Zenbatzaile (zenbatzaile hitza) kontzeptua esparrua, epaia gaia zein den definitzen du. Da gaia aurrean zutik, baina baita epaia absent izan daiteke. hala nola, "guztiak", "asko", "batzuetan", "ez", "ez", eta beste batzuk hitz bidez adierazten da.

Egia eta faltsua adierazpenak

Epaiketaren kasuan egia da, non dago inolako zantzurik, ezaugarriak eta onartu elementuak / epaia ukatu, egia harremanak dago. Adibidez: "the enarak guztiak - txori", "9 baino gehiago 2" eta abar ..

adierazpena da epaia jasotako ez da egia bada, guk faltsua proposamen bat 'eguzkia Lurraren inguruan, "aurre ari eta beste eskuineko epaia" burdin kilo bat kotoia kilogramo baino astunagoak "dira arrazoibide zuzena oinarrituta ..

Hala ere, bi baloratzen logika, bertan epaia bai egia edo gezurra izan daiteke gain, badira multi-dimentsioko logika bat ere. bere baldintzak arabera, epaia oraindik ziurra izan daitezke. Bereziki epaiak banakako etorkizuna kezkatzen, "Bihar gertatzen / ez duela itsas gudu bat gertatuko" (Aristoteles, "interpretazioa On"). suposatuko dugu hori egia proposamen bat baldin bada, itsas bataila bihar ezin gertatuko. Hori dela eta, beharrezkoa da gertatzeko. Edo alderantziz: erreklamatzeko Gaur epaia faltsua da, beraz, beharrezkoa biharko ezintasuna egiten dugu itsas bataila.

adierazpen motaren Epaiak

Jakina denez, baieztapen motaren hiru mota daude erazagutzailea, esaldiak asaldura eta zalantzan. Adibidez, zigorraren "Gogoan dut wonderful une bat" narrazio motari dagokio. Komenigarria da, besteak beste, epai bat ere narrazio litzateke iradoki. informazio zehatza dauka, gertaera zehatz baten arabera.

Aldi berean, galde-perpaus galdera bat, erantzun bat lortuko ditu: "Zer etorkizun eutsi egiten niretzat" Aldi berean ezer esaten du eta ez du ukatu. Ondorioz, erreklamazioa horrelako epaiketa bat galdera bat da gaizki. Galderazko esaldien, printzipioz, ez du epaia eduki galderari ezin dela egia / faltsua oinarrituta bereizten delako.

Pizgarrien esaldi mota da kasu non dago ekintza pizgarri batzuk ere eratu, debekua eskatu: ". Jaiki, O Profeta, eta vid, eta joateko" epaia dagokionez, ikertzaile batzuen iritziz, ez dira mota honetako proposamen jasotako. Beste batzuk uste epaiak moduzko hainbat dela.

kalitate epaia

kalitateari dagokionez, epaiketa izan daiteke bai baiezko (S P da), eta negatiboak (S ez da P). baiezko epaia kasuan, jabetza jakin bat (-wa) erantsita gaia predikatu bidez. Adibidez: ". Leonardo da Vinci - Italiako margolaria, arkitektoa, eskultorea, zientzialari, naturalista eta asmatzaile eta idazlea, Errenazimenduko artearen ordezkari handienetako"

Auzi negatiboak har, bestetik, jabetza urratzen da gaia bat: ". 25an James Vicary baziren teoria baieztapen esperimentala ez du"

karakterizazio kuantitatiboa

logika Epaiak komun (klase honen objektu guztiak dagozkionak), pribatua (horietako batzuk) eta unitateko izan daiteke (betiere gaiari buruz hitz egiten, ez da bakarra). Adibidez, argudiatu daiteke proposamen bat, besteak beste, "Gauean katu guztiak grisak dira" gisa izango duten itxura orokorraren erreferentzia, katua (epaia gaia) kide guztiei eragiten duelako. onartzea "suge batzuk ez dira pozoitsuak" - epaia pribatuaren adibide bat. Bestalde, epaia "eguraldi lasaia Wonderful Dnieper" unitatea da, bat buruz ibai bereziki ari gara geroztik, inprimaki bakar batean dauden.

epaiak Simple eta konplexuak

egitura arabera, epaia sinplea edo konplexua mota bat izan daiteke. - jakintza-iturri "« Liburua: Egitura sinplea epaia interkonektatu bi kontzeptu (SP) dira. Badira ere kontzeptu batekin epaiak - denean bigarrena bakarrik esan nahi: "zen iluna» (P) lortzeko da.

Konplikatuak formulario hainbat epaia erraz batu osatzen dute.

epaiak sinple sailkapena

atribuzio, epaiketa harremanak, existentzialak, moduzko batekin: logika Simple epaiak honako formak izan daitezke.

Attribute (jabetza-epaia) propietate jakin batzuk (atributuak) at gaia onartzeko / ukatzeko bidaliko jarduerak. epaiak hauek kategorikoa formulario dira eta ez zalantzan, "ugaztunen nerbio-sistema garunaren ditu burmuinean, bizkarrezur kablea eta irteerako nerbio-bideetatik".

objektuen arteko erlazioak zehatz baten aldean epaiak ere. espazio-denborazko testuinguruan, kausala, etab adibidez "lagun Old bi new baino hobeto", For :. izan ditzakete "Hidrogenoa arinagoa karbono dioxido 22 aldiz."

Existentzial epaia - gaia (bai material eta ezin hobea) existentzia / nonexistence du Baieztapen hau: "Ez dago bere herrian profeta ez da", "Ilargia Lurraren satelite bat da."

Modal proposizioa - onespena modu bat, barne zenbait moduzko operadorea presentzia (behar ona / txarra, ezaguna frogatu / ezezaguna, debekatuta dago, nire ustez, eta beste batzuk.). Adibidez:

• (Alethic modalitate - aukera, zerbait beharrezkotasuna) "Errusiako hezkuntza erreforma egiteko beharra".
• (- social jokabide-arau moralak deontic modalitatea) "Denek segurtasunerako eskubidea du".
• (- materiala eta balio moral lotutako axiologic modalitatea) "egoera jabetza utzikeria bere galtzea dakar".
• "Uste zure errugabetasuna gaude" (epistemikoa modalitate - ezagutza fidagarritasuna).

epaiak konplexua eta connectives logikoa moten

Dagoeneko aipatu bezala, epaiak konplexuak erraz batzuk bat osatuko dute. haien arteko konexioak logikoa bezain metodo horiek dira:

• Juntagailua (ʌ b a - epaiak konektatzeko). Epaiak-conjuncts "eta", "eskubide eta gizon eta herritar ez zaio eskubide eta askatasun besteen urratzen askatasunak ezartzea." Mordo bat
• Disjuntzioa (avb - epaiak zatituz). batera "edo" - Auzi-klausulak elementu osagai bat aglutinatzaile gisa erabiltzen dira eta. Adibidez: "plaintiff eskubidea du handitzeko edo erreklamazioa tamaina txikitu ditu."
• Inplikazioa (→ b a - epaia-efektua). mezua egitura konplexua iudicioan esleitu bada eta, ondorioz, argudiatu liteke, esaterako, epai hori erlazionatzen implicative. elkarteak formularioa erabil besteak beste, "bada ... orduan" gisa loki gisa. Adibidez: "conductor bidez bada uneko elektrikoa galdu nahi, alanbre berotzen", "Ez zoriontsu izan nahi duzu - zoriontsu izan".
• Baliokidetza (≡ b a - epaia berdina). Gertatzen da, kasuan, non a eta b balioak berdinak dira (bai bai egia edo biak faltsuak) en: "Man zoriontasuna sortzen da, txori bat hegan bezala."
• Ukapena (¬a, A - epaia-inbertsioa). iturria bakoitzak adierazpen konposatu adierazpen original ukatzen duten lotutako. "Ez" mordo erabiliz. Horrenbestez, jatorrizko adierazpena honako hau bada: "Zezenak argi gorria erreakzionatzen," (a) - ukatzea bezala soinua litzateke: "zezen ez du argi gorria erantzuteko" (¬A).