ሎጂክ ውስጥ ፍርድ. ፍርድ, ፍርድ አይነቶች ምንድን ነው

ፍርድ አንድ ነው , አስተሳሰብ መልክ ለማጽናት ወይም የነገሮች ሕልውና ስለ ምንም ነገር መካድ, በእነርሱ እና ንብረቶች መካከል ያለውን አገናኞች, እንዲሁም ነገሮችን መካከል ያለውን ግንኙነት.

መግለጫዎች ምሳሌዎች: እንደተናገረው "" በቮልጋ, በካስፒያን ባሕር ውስጥ የሚፈሰው " ፑሽኪን አንድ ግጥም "ዘ የነሐስ ፈረስ", "የሳይቤሪያ ነብር በቀይ መጽሐፍ ውስጥ የተዘረዘሩትን ነው," ወዘተ ጽፏል

ፍርድ አወቃቀር

ርዕሰ, ተሳቢው, እና ጅማቶች quantifier: ፍርድ የሚከተሉትን ክፍሎችን ያካትታል.

1. ርዕሰ ጉዳይ (ኬክሮስ subjektum -. «ከስር») -, ፍርድ ውስጥ እንደተገለጸው, ለተስማሙበት ( «S»).
2. የ ተሳቢ (የላቲን praedicatum -. «አለ») - ስለ ነገር መለያ ነጸብራቅ, ፍርድ ርዕሰ ጉዳይ ላይ እንዲህ ነገር ( "P").
3. ጥቅል - ርዕሰ ( «S») እና ተሳቢው ( "P") መካከል ያለውን ሬሾ. ተሳቢ ሆኖ ገልጸዋል አንድ ንብረት ርዕሰ ፊት / አለመኖር ይወስናል. ምናልባት,,, "ንጥረ ነገር" "አለኝ" "አለው", እና ሌሎች ያስተላልፋል, እና "ሰረዝ" ወይም ቃላት "አንድ" ( "አይደለም") ያመለክታል.
4. Quantifier (quantifier ቃል) ፍርድ የትኛው ርዕሰ ጉዳይ ጋር ጽንሰ ስፋት ያስቀምጣል. ይህ ጉዳይ ፊት ለፊት ቆማ ነው, ነገር ግን ደግሞ በፍርድ ውስጥ የሚቀር ሊሆን ይችላል. እንደ "ሁሉ", "ብዙዎች", "አንዳንዶች", "ምንም", "ምንም", እና ሌሎችም እንደ ቃላት የተመላከቱ.

እውነተኛና ሐሰተኛ መግለጫዎች

ማንኛውም የሚጠቁም, የ ንብረቶች እና እውነተኛ ፍርድ ውስጥ ተከልክሏል ተቀባይነት ንጥሎች /, ዝምድናዎች ባለበት ፍርድ ሁኔታ ውስጥ እውነት ነው. ለምሳሌ ያህል: "ሁሉም ወደ ይውጠውና - ወፎች", "9 ከ 2" እና በጣም ላይ ..

ፍርድ ውስጥ የተካተቱ ነው መግለጫ እውነት አይደለም ከሆነ, እኛም ትክክለኛ አስተሳሰብ መሠረት እና ሌሎች ትክክለኛ ፍርድ "ክብደቱ አንድ የጥጥ ግራም በላይ ብረት አንድ ኪሎ" የሐሰት ሐሳብ 'ፀሐይ ምድርን እንደምትዞር "ጋር ናቸው ግንኙነት ነው ..

ይሁን እንጂ የፍርድ እውነት ወይም ሐሰት ሊሆን ይችላል ውስጥ ሁለት-ዋጋ አመክንዮ, በተጨማሪ ደግሞ አንድ ባለብዙ-ልኬት ሎጂክ አለ. የራሱ ደንቦች መሰረት, ፍርድ አሁንም ርግጠኛ መሆን ይችላል. በተለይ ይህ ግለሰብ ፍርድ የወደፊት ስለሚመለከት, ( "ትርጓሜ ላይ" አርስቶትል,) "ነገ / አንድ የባሕር ላይ ውጊያ ሊከሰት አይደለም ይከሰታል". እኛ ይህ ሰው እውነተኛ ሐሳብ እንደሆነ መገመት ከሆነ, በባሕር ውጊያ ነገ ሊፈጠር አይችልም. ስለዚህ, ይህ ሊሆን ማድረግ አስፈላጊ ነው. ወይም በግልባጩ: በአሁኑ ጊዜ ውስጥ ፍርድ ሐሰት መሆኑን በመናገር, እኛም በዚህ መንገድ ነገ ዎቹ አስፈላጊ የማይቻሉ ማድረግ ባሕር ጦርነት.

መግለጫ አይነት ላይ ፍርድ

የሚታወቅ ነው እንደ መግለጫዎች ዓይነት ሦስት ዓይነቶች ናቸው የአዋጅ: ዓረፍተ ውኃህንም ለምርመራ. ለምሳሌ ያህል, የዓረፍተ ትረካ ዓይነት ያመለክታል "እኔ አስደናቂ ትዝ". ይህ እንዲህ ያለ ፍርድ ደግሞ ትረካ ነበር መሆኑን ለመጠቆም ማውራቱስ ነው. ይህም አንድ የተወሰነ ክስተት መሠረት, የተወሰኑ መረጃዎችን ይዟል.

በተራው, ወደ መጠይቅ ዓረፍተ ነገር አንድ ጥያቄ መልስ ለማግኘት ይዟል: "ምን, ለእኔ የወደፊት ዕጣ ፈንታ ምንድን" በዚሁ ጊዜ ምንም ይላል እና መካድ አይደለም. በዚህ መሠረት እንዲህ ያለ ፍርድ ትክክል ጥያቄ ነው የሚለውን ጥያቄ. ጥያቄ እውነትን / falsity መሠረት ላይ የተለየ እንደሆነ መታየት አይችልም; ምክንያቱም መጠይቅ ዓረፍተ ነገር, መርህ ውስጥ, ማንኛውም ፍርድ አልያዘም.

ዓረፍተ ማበረታቻ አይነት እገዳ መጠየቅ, እርምጃ አንዳንድ ማበረታቻ ባለበት ሁኔታ ውስጥ እስኪሣል: ". ተነሣ: አንተ ነቢዩ ሆይ, እና vid, እና ለመገኘት" ፍርድ በተመለከተ ጋር, አንዳንድ ተመራማሪዎች መካከል አስተያየት ውስጥ, ይህን አይነት ያለውን ሀሳብ ውስጥ የተካተቱ አይደሉም. ሌሎች ደግሞ ሞዳል ፍርድ የተለያዩ እንደሆነ ያምናሉ.

ጥራት ፍርድ

ጥራት አንፃር, ፍርድ ሊሆን ይችላል ወይ (S P አይደለም) (S P ነው) የድጋፍ, እና አሉታዊ. አንድ ንብረት (-wa) ጋር የተያያዘውን ጉዳይ ተሳቢው በኩል አዎንታዊ ፍርድ ሁኔታ ውስጥ. ለምሳሌ ያህል: ". ሊዮናርዶ ዳ ቪንቺ - ጣሊያናዊ ሠዓሊ, መሐንዲስ, የቅርጻ ቅርጽ, ሳይንቲስት, ተፈጥሮ እና የፈጠራ እና ጸሐፊ, ህዳሴ ጥበብ ትልቁ ተወካይ"

አሉታዊ ፍርድ ውስጥ, በሌላ በኩል, ንብረት ርዕሰ ጀምሮ ይወሰዳል: ". ጄምስ Vicary መካከል 25 ክፈፍ ቲዮሪ ምንም የሙከራ ማረጋገጫ የለውም"

የመጠን ግምት

አመክንዮ ውስጥ ፍርድ (አንዳንዶቹ) የግል, (ይህ ክፍል ሁሉንም ነገሮች ጋር በተያያዘ) የጋራ እና አሀድ ሊሆን ይችላል (ጉዳይ ማውራት ጊዜ, አንድ ብቻ ነው). ለምሳሌ ያህል, ምክንያቱም ድመቷ (ፍርድ ርዕሰ ጉዳይ) ሁሉም አባላት ተጽዕኖ ምክንያቱም "ማታ ላይ ሁሉ ድመቶች ግራጫ ናቸው" እንደዚህ ያለ ሃሳብ, አጠቃላይ ገጽታ ስንጠቅስ ይከራከራሉ ይችላል. የ ይሁንታ "አንዳንድ እባቦች መርዛማ አይደሉም" - የግል ፍርድ ምሳሌ. እኛ በአንድ ቅጽ ላይ ያለውን ገደማ አንድ የተለየ ወንዝ ማውራት ስለሆነ በተራው ውስጥ, ፍርድ "ለስለስ የአየር ሁኔታ ውስጥ ድንቅ በኒፐርና" አንድ አሃድ ነው.

ቀላልና ውስብስብ ፍርዶች

መዋቅር ላይ በመመስረት, የፍርድ ቀላል ወይም ውስብስብ የሆነ ዓይነት ሊሆን ይችላል. - የእውቀት ምንጭ "« መጽሐፍ: መዋቅር ቀላል ፍርድ ሁለት ትስስር ፅንሰ (SP) ያካትታል. አንድ ጽንሰ-ሐሳብ ጋር ፍርድ ደግሞ አሉ - በሁለተኛው ብቻ ነው ማለቱ ጊዜ: "ይህ ጨለማ» (P) እያገኘ ነበር.

ውስብስብ ቅጽ በርካታ ቀላል ፍርድ በመቀላቀል በማድረግ የተሠራ ነው.

ቀላል ፍርዶች ምደባ

ግንኙነት, existential, ሞዳል ጋር attributive, በፍርድ: አመክንዮ ውስጥ ቀላል ፍርዶች የሚከተሉትን ቅጾች ውስጥ ሊሆን ይችላል.

የተወሰኑ ንብረቶች (ባህሪዎች) በ ርዕሰ ይሁንታ / መከልከል ላከ አይነታ (ንብረት-ፍርድ) እንቅስቃሴዎች. እነዚህ ፍርድ ያልተመደቡ ቅጽ ናቸው, ጥያቄ አይደለም "በውስብስብነት የነርቭ ስርዓት አንጎል ያቀፈ አንጎል, የአከርካሪ ገመድ ውስጥ እና ወጪ የነርቭ መንገዶች."

ነገሮች መካከል ያለውን የተለየ ግንኙነት ጋር በተያያዘ ፍርድ ውስጥ. እነርሱም, "ሁለት አዲስ ይልቅ የተሻለ የድሮ ጓደኛ" :. ለምሳሌ ያህል, ወዘተ አንድ spatio-ጊዜያዊ አውድ, በሲጋራና, ሊሆን ይችላል "22 ጊዜ በ ሃይድሮጂን ነጣ ካርቦን ዳይኦክሳይድ."

Existential ፍርድ - ርዕሰ (ቁሳዊ እና ምቹ ሁለቱም) ሕልውና / ከሕልውና ይህ አባባል: "በገዛ አገሩ ምንም ነቢይ የለም", "ጨረቃ በምድርና አንድ ሳተላይት ነው."

ሞዳል ሃሳብ - አንዳንድ ሞዳል ከዋኝ ፊት ጨምሮ ተቀባይነት መልክ, (መጥፎ / ጥሩ, እኔ አምናለሁ, እና ሌሎችም, ይህም እርም ነው, / ያልታወቀ የታወቀ ስለነበሩበት ያስፈልገናል.). ለምሳሌ ያህል:

• (- አማራጭ, ነገር የግድ alethic የሚቀየሩበት) «ሩሲያ ትምህርት ማሻሻያ ማካሄድ አለበት".
• (- ማህበራዊ ምግባር የሥነ ምግባር ደንቦች deontic የሚቀየሩበት) «ሁሉም ሰው ደህንነት መብት አለው".
• (- ወደ ቁሳዊ እና የሞራል እሴቶች ጋር የተያያዙ axiologic የሚቀየሩበት) "ግዛት ንብረት ቸልታ የራሱ ማጣት ይመራል".
• (- የእውቀት አስተማማኝነት epistemic የሚቀየሩበት) «እኛ በእርስዎ ሳያስብ አምናለሁ".

ውስብስብ ፍርዶች እና ምክንያታዊ connectives አይነቶች

ቀደም ሲል እንደተጠቀሰው, ውስብስብ ፍርድ ጥቂት ቀላል የያዘ. ከእነርሱ መካከል ምክንያታዊ ግንኙነቶች እንደ ያሉ ዘዴዎች ናቸው:

• መስተፃምር (ሀ ʌ ለ - ፍርድ በመገናኘት). የጥፋት ፍርዶች-conjuncts "እና", "መብትና የሌሎችን መብቶችና ነጻነቶች የማይጥስ ይሆናል ሰው እና ዜጋ ነጻነቶች አተገባበር." ስብስብ አለን
• Disjunction (avb - ፍርድ ለብቻው እያካፈለ). መስተፃምር "ወይም" - ፍርድ-ሐረጎች መካከል ተካታቾች ንጥረ መስሪያ ጥቅም ላይ ነው. ለምሳሌ: "ያለው ከሳሽ ለመጨመር ወይም የይገባኛል መጠን ለመቀነስ የሚያስችል መብት አለው."
• አንድምታውም (ሀ → ለ - ፍርድ-ውጤት). የሚለጥፍ መዋቅር ውስብስብ በፍርድ የተመደበ ሲሆን በዚህም ምክንያት ከሆነ, ይህ እንዲህ ያለ ፍርድ implicative ጋር የሚገናኝ ይከራከራሉ ይችላል. እንደ "ከሆነ ... ከዚያም" እንደ ማህበራት መልክ ጥቅም ላይ ጠራዥ እንደመሆኑ. ለምሳሌ ያህል: "የኤሌክትሪክ የአሁኑ መሳት ጥናቱን በኩል ከሆነ, የሽቦ እስከ ስለሚነሳ," "አንተ ደስተኛ መሆን ትፈልጋለህ - ደስተኛ ይሆናል".
• አቻነት (ሀ ≡ ለ - ተመሳሳይ ፍርድ). ይህም አንድ እና ለ እሴቶች (ሁለቱም እውነት ወይም ሁለቱም የሐሰት ወይ) ተመሳሳይ ናቸው ባለበት ሁኔታ ውስጥ ቦታ ይወስዳል: "የሰው ለመብረር እንደ ወፍ, ደስታ ለማግኘት የተፈጠረ ነው."
• አሉታ (¬a, A - ፍርድ-ግልበጣ). እያንዳንዱ ምንጭ የመጀመሪያው የሚክድ ይህ መግለጫ ድብልቅ መግለጫ ጋር የተያያዘ ነው. የቅንብር "አይደለም" በመጠቀም. እንደ የመጀመሪያውን መግለጫ የሚከተል ከሆነ መሠረት: "በሬና አንድ ቀይ መብራት አጸፋዊ ምላሽ" (ሀ) - መከልከልን እንደ ድምጽ ነበር: (¬A) "በሬና ቀይ ብርሃን ምላሽ አይደለም".