Dè th’ ann an loidsig?

Is e facal a th’ ann an loidsig a tha a’ mìneachadh saidheans reusanachaidh. Is e bun-bheachd eile de loidsig "sgrùdadh air na dòighean agus na prionnsabalan a thathar a 'cleachdadh gus eadar-dhealachadh a dhèanamh eadar ceart agus reusanachadh ceàrr." Tha an saidheans seo a’ còmhdach grunn bhun-bheachdan, nam measg argamaid, matamataig agus fiosrachadh. Thoir sùil gu h-ìosal air na raointean as urrainn dhuinn loidsig a chleachdadh.

Thàinig am facal loidsig bho na suaicheantasan Grèigeach agus tha e co-cheangailte ri dòigh reusanachaidh sònraichte. Tha loidsig na raon de Fheallsanachd air fhaicinn mar ro-ràdh don sgrùdadh feallsanachail, leis gu bheil e co-cheangailte ri suaicheantasan, adhbhar, faclan, còmhradh agus a’ meòrachadh air rudeigin a dh’ fheumas reusanachadh agus argamaid.

Tha am feallsanaiche Grèigeach Aristotle, a tha na dheisciobal ​​​​aig Plato, gu math cudromach ann an tuigse air loidsig. B 'e a' chiad fhear a rinn sgrùdadh air a 'chuspair, a' dearbhadh gu bheil cànan aig cridhe a h-uile càil: conaltradh, na h-ealain, smaoineachadh eas-chruthach, agus sgrùdadh saidheansail. Ach, airson gun obraich e, feumar gnàthasan cànain a leantainn.

Air a thaisbeanadh mar shaidheans, cha robh Aristotle a’ faicinn loidsig mar sin. Ann an ùine ghoirid, is e an syllogism an argamaid a tha air a chruthachadh le molaidhean. Is e seòrsa de reusanachadh a th’ ann a bhios a’ cleachdadh toradh gus co-dhùnadh a ruighinn, agus mar sin tha grunn dhuilgheadasan no geamannan loidsig ann.

B’ e feallsanachd eile a cho-obraich le saidheans reusanachaidh an Gottlob Frege Gearmailteach, anns an 19mh linn . Thug e rabhadh donan fheum air matamataig airson tuigse nas fheàrr air loidsig. Gus am bun-bheachd seo a thoirt gu buil, rinn Frege mion-sgrùdadh air an calculus ro-innse, dòigh a rinn sgrùdadh air tairgsean cànanach tro bhith a’ toirt a-mach matamataigeach.

Faic an seo uile mu bhrìgh Metaphysics .<5

Loidsig Aristotelian

Is e am mìneachadh air loidsig Aristotelian sgrùdadh loidsig tro smaoineachadh. Tha seo air sgàth gu robh am feallsanaiche Grèigeach den bheachd gu robh loidsig na dhòigh air smaoineachadh a dhearbhadh. Tha bun-bheachd, breithneachadh agus reusanachadh mar bhunait air loidsig. Is iad feartan loidsig Aristotelian: ionnsramaid, foirmeil, propeneutic/toiseach, normative, teagasg dearbhaidh agus coitcheann/gun ùine.

Chomharraich Aristotle cuideachd am moladh mar bhunait loidsig, far a bheil breithneachaidhean a’ cruthachadh smaoineachadh. Is e ceanglaichean a th’ ann am molaidhean a bheir seachad ro-innsean (càileachd) do chuspair, canar syllogisms ris na molaidhean sin. Is e an syllogism an aonadh eadar smuaintean feallsanachail agus saidheansail.

Thàinig an reusanachadh a thàinig bho Aristotle, ris an canar bunaitean loidsig cànain, gu crìch loidsig meadhan-aoiseil, a mhair chun treas linn deug. B’ e Alexander of Aphrodisia, Porphyry agus Galen na prìomh fheallsanaich meadhan-aoiseil. B’ e seòrsachadh loidsig meadhan-aoiseil an saidheans airson breithneachadh ceart gus smaoineachadh a dhearbhadh.

Loidsig prògramadh

Tha loidsig prògramadh a’ toirt a-steach mion-sgrùdadhde shreathan loidsigeach. Is e na prionnsapalan bunaiteach aige caochlaidhean agus seasmhach, ainmean a tha a’ riochdachadh luach agus nach eil feumach air ath-aithris agus cuideachd seòrsaichean dàta, air an roinn ann an Seòrsa 1: teacsa, Seòrsa 2: integer, Seòrsa 3: fìor agus Seòrsa 4: loidsigeach, thoir sùil air mar a tha na tuairisgeulan dhe na seòrsaichean dàta seo:

Seòrsa 1: sreang de aon charactar no barrachd, mar as trice dùinte ann an luachan dùbailte. Tha beàrnan cuideachd nan caractaran;

Seòrsa 2: luachan àireamhach àicheil is dearbhach às aonais ionadan deicheach;

Seòrsa 3: luachan àireamhach àicheil is dearbhach le ionadan deicheach;

Seòrsa 4: roghainnean eile mar THA, CHAN EIL, TRUE agus FALSE.

Canar algorithms a tha ag obair mar reasabaidh cèice ris na sreathan loidsigeach a chaidh a sgrìobhadh leis na bun-bheachdan gu h-àrd. Bidh algorithms a’ sealltainn don choimpiutair dè a nì thu anns gach sreath loidsigeach. Tha na h-algorithms air an sgrìobhadh a' cleachdadh cànan prògramadh a dh'fhaodas a bhith aig ìre àrd no ìosal.

Tha an cànan prògramadh àrd-ìre furasta a thuigsinn, oir, an toiseach, tha an àithne air a dhèanamh ann an diagram, leis an tionndadh chun na thathar an dùil. gnìomh, tha SQL (Cànan Dealbhaidh Sònrachadh) na eisimpleir de chànan àrd-ìre. Tha cànan ìre ìosal a’ toirt iomradh air stiùireadh dìreach don inneal a tha air a riochdachadh le litrichean is àireamhan. Tha an cànan ASSEMBLY na eisimpleir de chànan aig ìre ìosal.

Faic an seo mu dheidhinn Feallsanachd .

Logaig argamaid

Is e loidsig na h-argamaid mar a chleachdas tu reusanachadh gus toirt a chreidsinn air duine. Anns an reusanachadh seo, tha sreathan de mholaidhean no de dh’ aithrisean air an cur còmhla gus co-dhùnadh a ruighinn. Is iad na bun-bheachdan bunaiteach de loidsig argamaid: argamaid, analogies, co-dhùnaidhean, lùghdachaidhean agus co-dhùnaidhean, far a bheil:

Argumaid na sheata de thogalaichean no de bharailean agus canar co-dhùnadh ris an toradh aca. Eisimpleir: d1: Bidh na Goianos uile a’ seinn ceòl dùthchail, d2: Seinneadair dùthchail air fad mar ceòl agus d3: Bidh a h-uile duine à Goiás a’ seinn ceòl dùthchail;

Tha coimeas eadar argamaidean, mar eisimpleir: “Tha an solas airson an latha oir tha an dorchadas airson na h-oidhche”;

Tha co-dhùnadh a’ tighinn gu co-dhùnadh a’ cleachdadh seata de thogalaichean tùsail. Tha dà sheòrsa co-dhùnadh ann: toradh agus inntrigeadh. Anns an toradh, tha am fiosrachadh san togalach ann an dòigh shoilleir no air a mholadh, eisimpleir: Preposition A: Tha gob aig eòin. Preposition B: Chaidh gnè ùr eòin a lorg. Co-dhùnadh: Tha gob aig a’ ghnè ùr. Ann an inntrigeadh, bidh an togalach a’ toirt seachad fiosrachadh gu leòr gus tighinn gu co-dhùnadh. Ann an inntrigeadh, gheibhear an co-dhùnadh leis a’ choltachd as freagarraiche. Eisimpleir: Ma tha gob air a h-uile eun, feumaidh gob a bhith aig a’ ghnè ùr cuideachd.

Tha brìgh Loidsig san roinn Feallsanachd

Faiccuideachd:

• Ciall Beusachd
• Ciall Epistemology
• Crìochan Epistemòlach
• Ciall Metaphysics
• Ciall Moraltachd
• Brìgh Sòiseo-eòlas
• Ciall Empiricism
• Ciall Eòlas Empirigeach
• Brìgh an t-Soillseachaidh
• Ciall Feallsanachd<10