Carnap Hakkında

“Soyut dilsel biçimlerin kabulü ya da reddi, tıpkı herhangi bir bilim dalındaki diğer herhangi bir dil biçiminin kabulü ya da reddi gibi, nihai olarak, elde edilen sonucun gereken çabanın miktarı ve karmaşıklığına oranı yani araç olarak verimlilik tarafından kararlaştırılır. Pratik kullanımdaki başarılarını veya başarısızlıklarını test etmek yerine, belirli dil biçimlerine dogmatik yasaklar koymak, yararsızdan daha kötüdür; kesinlikle zararlıdır çünkü bilimsel ilerlemeyi engelleyebilir.

... Herhangi bir araştırma alanında çalışanlara yararlı buldukları herhangi bir ifade biçimini kullanma özgürlüğü tanıyacağız; sahada çalışmak hiçbir yararlı işlevi olmayan biçimlerin er ya da geç ortadan kaldırılmasına yol açar. Dikkatli olmak istiyoruz: iddialarda bulunurken ve onları incelerken eleştirel ama dilsel biçimleri kabul ederken hoşgörülü olmak istiyoruz.”

Rudolf Carnap, "Görgücülük, Anlambilim ve Varlıkbilim," Anlam ve Zorunluluk, 1956, 2. baskı.

Carnap, formel diller, mantık ve anlambilim oluşturmak ve keşfetmek için ücretsiz ve açık kaynaklı bir Haskell yapısıdır. Dilleri hızlı ve kolay bir şekilde tanımlamanıza, bu diller için mantıklar oluşturmanıza ve anlamlarını belirlemenize olanak tanır. Ardından Carnap, yarattığınız mantığı kullanarak çeşitli formel dizgelerde kanıtları nasıl denetleyeceğinizi, bileşik ifadelerin anlamlarını nasıl bulacağınızı ve çok daha fazlasını bulmak üzere kendi tanımladığınız yönergeleri kullanır.

Tanıtım

Carnap ile yapabileceklerinize birkaç küçük örnek:

Bu, önermeler mantığında kullanılan Kalish ve Montague Dizgesine uygun bir kanıt kutusudur. Kanıt kutusuna yazarak kanıtlamayı doğrudan değiştirebilir ve sağ taraftaki çizgi süslemeleri üzerinde fareyi gezdirerek yaptığınız değişikliklerin etkilerini görebilirsiniz.

example 1

Show: P\/-P Show: --(P\/-P) -(P\/-P):AS Show: -P P:AS P\/-P:ADD 5 :ID 6 3 P\/-P:ADD 4 :ID 3 8 P\/-P:DNE 2 :DD 10

Bu, geliştirilmekte olan kanıtlamanın yapısını görsel olarak da gösteren, önermeler mantığında kullanılan Kalish ve Montague Dizgesine uygun yorumlamalı bir kanıt kutusudur.

example 2

Show: P\/-P Show: --(P\/-P) -(P\/-P):AS Show: -P P:AS P\/-P:ADD 5 :ID 6 3 P\/-P:ADD 4 :ID 3 8 P\/-P:DNE 2 :DD 10

Bu, Hardegree'in Montague Dizgesi çeşitlemesine uygun yorumlamalı bir kanıt kutusudur.

example 3

Show P->(Q->R):CD P:AS Show Q->R:CD Q:AS P/\Q->R:PR P/\Q:&I 2 4 R:->O 5 6

Bu, The Logic Book adlı yapıttaki kuralları kullanan ve kanıtlamanın yapısını görsel olarak Fitch tarzında yorumlayan Fitch dizgeli bir kanıt kutusudur.

example 4

(P->Q)->P :A/CI -P :A/~E P :A/CI ~Q :A/~E P :3 R -P :2 R Q :4-6 -E P->Q :3-7 CI P :8 1 CE -P :2 R P :2-10 -E ((P->Q)->P)->P :1-11 CI

Bu, Russell Teoreminin bir kanıtlamasını gösteren, birinci basamak mantığı için Kalish ve Montague dizgeli bir kanıt kutusudur.

example 5

Show -ExAy(-F(y,y) <-> F(x,y)) ExAy(-F(y,y)<->F(x,y)) :AS Show: -ExAy(-F(y,y) <-> F(x,y)) Ay(-F(y,y)<->F(c_1,y)) :AS -F(c_1,c_1)<->F(c_1,c_1) :UI 4 Show:-F(c_1,c_1) F(c_1,c_1) :AS F(c_1,c_1)->-F(c_1,c_1) :BC 5 -F(c_1,c_1) :MP 8 7 :ID 7 9 -F(c_1,c_1) -> F(c_1,c_1) :BC 5 F(c_1,c_1) :MP 11 6 Show: -ExAy(-F(y,y) <-> F(x,y)) :ID 6 12 :ED 13 2 4 :ID 2 3

Bu, Deductive Logic adlı ders kitabındaki Goldfarb'ın Lemmon tarzındaki doğal türetimli kanıtıdır..

example 6

[1] ExAy(Kxy -> Fxy) P [2] AxEy(Kxy) P [1,3] Ay(Kay -> Fay) (1)a EII [2] Ey(Kay) (2) UI [2,5] Kab (4)b EII [1,3] Kab -> Fab (3) UI [1,2,3,5] Fab (5) (6) TF [1,2,3,5] EyFay (7) EG [1,2,3,5] ExEyFxy (8) EG [1,2,3] ExEyFxy [5](9) EIE [1,2] ExEyFxy [3](10) EIE

İşte bir üçgenin kenarlarının açıortaylarının her zaman bir noktada buluştuğunun bir kanıtı (bir noktanın bir parçanın, ancak ve ancak o parçanın uç noktalarından eşit uzaklıktaysa o parçanın açıortayı üzerinde olduğu varsayımından hareketle). "F(x,y)” "x, y üzerindedir"; “g(y,z)” "y ve z tarafından verilen segmentin açıortayı"; “h(x,z)” "x ile z arasındaki mesafe" ifadelerinin kısaltmalarıdır.

(Değişkenlerin sayısı yüzünden bunun, başlangıçta yüklenmesi zaman alabilir. Bir kere yüklendikten sonra değişikliklere hızlıca tepki verecektir.)

example 7

AxAyAz(F(x,g(y,z)) ↔ h(x,y) = h(x,z)) :PR Show AwAxAyAz(F(w,g(x,y))∧F(w,g(x,z)) → F(w,g(y,z))) Show AxAyAz(F(a,g(x,y))∧F(a,g(x,z)) → F(a,g(y,z))) Show AyAz(F(a,g(b,y))∧F(a,g(b,z)) → F(a,g(y,z))) Show Az(F(a,g(b,c))∧F(a,g(b,z)) → F(a,g(c,z))) Show F(a,g(b,c))∧F(a,g(b,d)) → F(a,g(c,d)) F(a,g(b,c))∧F(a,g(b,d)) :AS F(a,g(b,c)) :S 7 F(a,g(b,d)) :S 7 AyAz(F(a,g(y,z)) ↔ h(a,y) = h(a,z)) :UI 1 Az(F(a,g(b,z)) ↔ h(a,b) = h(a,z)) :UI 10 F(a,g(b,c)) ↔ h(a,b) = h(a,c) :UI 11 F(a,g(b,d)) ↔ h(a,b) = h(a,d) :UI 11 F(a,g(b,c)) → h(a,b) = h(a,c) :BC 12 F(a,g(b,d)) → h(a,b) = h(a,d) :BC 13 h(a,b) = h(a,c) :MP 8 14 h(a,b) = h(a,d) :MP 9 15 h(a,c) = h(a,d) :LL 16 17 Az(F(a,g(c,z)) ↔ h(a,c) = h(a,z)) :UI 10 F(a,g(c,d)) ↔ h(a,c) = h(a,d) :UI 19 h(a,c) = h(a,d) → F(a,g(c,d)) :BC 20 F(a,g(c,d)) :MP 18 21 :CD 22 :UD 6 :UD 5 :UD 4 :UD 3

İşte Russell teoreminin iki kanıtı daha, bu sefer P.D. Magnus'un ücretsiz ve açık ders kitabı Forall x 'den dizge QL'nin bir versiyonunu ve Forall x'in Calgary Remix 'inden FOL dizgesini kullanıyoruz. Formüllerin ayrıştırılma şeklini (yüklemlere yönelik argümanların etrafındaki parantezleri düşürürek) Forall x'in görüntü tarzına uygun düşmek için değiştirmiş olduğumuzu unutmayınız.

example 8

ExAy(-Fyy <-> Fxy):AS Ay(-Fyy<->Fry):AS -Frr<->Frr:AE 2 -Frr:AS Frr:<->E 3 4 -Frr:R 4 Frr:-E 4-6 -Frr:<->E 7 3 ExAy(-Fyy <-> Fxy):AS Frr:R 7 -Frr:R 8 -ExAy(-Fyy <-> Fxy):-I 9-11 -ExAy(-Fyy <-> Fxy):EE 1 2-12 ExAy(-Fyy <-> Fxy):R 1 -ExAy(-Fyy <-> Fxy):-I 1-14

example 9

ExAy(-Fyy <-> Fxy):AS Ay(-Fyy<->Fry):AS -Frr<->Frr:AE 2 -Frr:AS Frr:<->E 3 4 !?:~E 4 5 -- Frr:AS -Frr:<->E 3 8 !?:~E 8 9 !?:LEM 4-6 8-10 !?:EE 1 2-11 -ExAy(-Fyy <-> Fxy):-I 1-12

Bu, bir yüklem soyutlama kuralı kullanarak bir kavrama kalıbı örneğinin nasıl kanıtlandığını gösteren Birli İkinci Basamak Mantık için Kalish ve Montague dizgeli bir kanıt kutusudur.

example 10

Show EXAx(F(x)/\G(x)<->X(x)) Show Ax(F(x)/\G(x)<->\y[F(y)/\G(y)](x)) Show F(c)/\G(c)->\y[F(y)/\G(y)](c) F(c)/\G(c):AS \y[F(y)/\G(y)](c):ABS 4 :CD 5 Show \y[F(y)/\G(y)](c)->F(c)/\G(c) \y[F(y)/\G(y)](c):AS F(c)/\G(c):APP 8 :CD 9 F(c)/\G(c)<->\y[F(y)/\G(y)](c):CB 3 7 :UD 11 EXAx(F(x)/\G(x)<->X(x)):EG 2 :DD 13

Bu, yine bir yüklem soyutlama kuralından yararlanan keyfi (sonlu) Çoklu İkinci Basamak Mantık dizgesi içerisinde her ilişkinin bir tersinin olduğunun kanıtıdır.

example 11

Show: AX2EY2∀x∀y(X2(x,y) ↔ Y2(y,x)) Show: ∀x∀y(X2(x,y) ↔ \w\v[X2(v,w)](y,x)) Show: ∀y(X2(a,y) ↔ \w\v[X2(v,w)](y,a)) Show: X2(a,b) -> \w\v[X2(v,w)](b,a) X2(a,b):AS \w\v[X2(v,w)](b,a):ABS2 5 :CD 6 Show: \w\v[X2(v,w)](b,a)-> X2(a,b) \w\v[X2(v,w)](b,a):AS X2(a,b):APP2 9 :CD 10 X2(a,b) <-> \x_1\x_2[X2(x_2,x_1)](b,a):CB 4 8 :UD 12 :UD 3 EY2∀x∀y(X2(x,y) ↔ Y2(y,x)):EG2 2 :UD2 15

Bu, bir temel küme teorisi dizgesinde bir geçişli kümenin kuvvet kümesinin geçişli olduğunun bir kanıtıdır (alıştırma 3, bölüm 3.3 Velleman'ın Deductive Logicadlı kitabından).

example 12

Show P(a) within P(P(a)) a within P(a):PR Ax(x in a -> x in P(a)):Def-S 2 Show Ax(x in P(a) -> x in P(P(a))) Show b in P(a) -> b in P(P(a)) b in P(a) :AS b within a:Def-P 6 Ax(x in b -> x in a):Def-S 7 Show b in P(P(a)) Show Ax(x in b -> x in P(a)) Show c in b -> c in P(a) c in b :AS c in b -> c in a:UI 8 c in a :MP 12 13 c in a -> c in P(a) :UI 3 c in P(a):MP 14 15 :CD 16 :UD11 b within P(a):Def-S 10 b in P(P(a)):Def-P 19 :DD 20 :CD 9 :UD 5 P(a) within P(P(a)):Def-S 4 :DD 24

İşte Hardegree'nin Modal Logictarzında, K5 ve KTB önermeli kipler mantığının doğal türetim dizgeleri içinde aksiyom 5 ve B'nin kanıtları..

Bunlar, daha güzel görünen mantıksal semboller için Fira Logic 'i kullanır ve her bir alt kanıtın kapsamını görsel olarak belirtmeye yardım eden korumalar kullanır.

example 13

Show <>[]P->[]P /0 :CD <>[]P /0 :AS Show []P /0 :ND Show P /0-1 :DD []P /0-2 :<>O 2 P /0-1 :[]O(5) 5

example 14

Show <>[]P->P /0 :CD <>[]P /0 :AS []P /0-1 :<>O 2 P /0 :[]O(b) 3

İşte, Hardegree'nin Modal Logicadlı yapıtındaki MPL dizgesine dayanan, naifçe nicelleştirilmiş kipler mantık dizgesi içindeki Barcan Formülünün bir kanıtı. .

example 15

Show Ax[]Fx->[]AxFx /0 :CD Ax[]Fx /0 :AS Show []AxFx /0 :ND Show AxFx /0-1 :UD Show Fa /0-1 :DD []Fa /0 :AO 2 Fa /0-1 :[]O 6

Carnap, ProofJSsayesinde dizili kalkülüsteki kanıtları destekler. . Desteklenen dizgeler arasında, Gentzen'in orijinal LK ve LJ'sinin önermeler ve birinci basamak çeşitlemeleri bulunmaktadır.

example 16

{"ident":0,"label":"AxEy(F(x)/\\G(y)):|-:EyAx(F(x)/\\G(y))","rule":"ER","forest":[{"ident":1,"label":"AxEy(F(x)/\\G(y)) :|-: EyAx(F(x)/\\G(y)), Ax(F(x)/\\G(b))","rule":"AL","forest":[{"ident":2,"label":"Ey(F(a)/\\G(y)), AxEy(F(x)/\\G(y)) :|-: Ax(F(x)/\\G(b)), EyAx(F(x)/\\G(y))","rule":"EL","forest":[{"ident":3,"label":"F(a)/\\G(c), AxEy(F(x)/\\G(y)) :|-: Ax(F(x)/\\G(b)), EyAx(F(x)/\\G(y))","rule":"&L","forest":[{"ident":4,"label":"G(c), AxEy(F(x)/\\G(y)) :|-: EyAx(F(x)/\\G(y)), Ax(F(x)/\\G(b))","rule":"AR","forest":[{"ident":5,"label":"G(c), AxEy(F(x)/\\G(y)) :|-: EyAx(F(x)/\\G(y)), F(d)/\\G(b)","rule":"&R","forest":[{"ident":6,"label":"AxEy(F(x)/\\G(y)), G(c) :|-: EyAx(F(x)/\\G(y)),F(d)","rule":"AL","forest":[{"ident":7,"label":"Ey(F(d)/\\G(y)), G(c) :|-: F(d), EyAx(F(x)/\\G(y))","rule":"EL","forest":[{"ident":8,"label":"F(d)/\\G(e), G(c) :|-: F(d), EyAx(F(x)/\\G(y))","rule":"&L","forest":[{"ident":9,"label":"F(d), G(c) :|-: EyAx(F(x)/\\G(y)), F(d)","rule":"WR","forest":[{"ident":10,"label":"F(d), G(c) :|-: F(d)","rule":"WL","forest":[{"ident":28,"label":"F(d) :|-: F(d)","rule":"Ax","forest":[{"ident":29,"label":"","rule":"","forest":[]}]}]}]}]}]}]},{"ident":11,"label":"AxEy(F(x)/\\G(y)), G(c):|-:EyAx(F(x)/\\G(y)),G(b)","rule":"XR","forest":[{"ident":11,"label":"AxEy(F(x)/\\G(y)), G(c):|-:G(b),EyAx(F(x)/\\G(y))","rule":"ER","forest":[{"ident":12,"label":"AxEy(F(x)/\\G(y)), G(c):|-:G(b),Ax(F(x)/\\G(c))","rule":"AR","forest":[{"ident":13,"label":"AxEy(F(x)/\\G(y)),G(c) :|-: G(b), F(a)/\\G(c)","rule":"AL","forest":[{"ident":14,"label":"Ey(F(a)/\\G(y)),G(c) :|-:G(b), F(a)/\\G(c)","rule":"EL","forest":[{"ident":15,"label":"F(a)/\\G(d),G(c) :|-:F(a)/\\G(c), G(b)","rule":"&L","forest":[{"ident":16,"label":"F(a), G(c) :|-:G(b), F(a)/\\G(c)","rule":"&R","forest":[{"ident":17,"label":"G(c),F(a) :|-: G(b), G(c)","rule":"WL","forest":[{"ident":18,"label":"G(c):|-:G(b),G(c)","rule":"WR","forest":[{"ident":26,"label":"G(c):|-:G(c)","rule":"Ax","forest":[{"ident":27,"label":"","rule":"","forest":[]}]}]}]},{"ident":19,"label":"F(a), G(c):|-: G(b), F(a)","rule":"WL","forest":[{"ident":20,"label":"F(a):|-:G(b), F(a)","rule":"WR","forest":[{"ident":22,"label":"F(a):|-:F(a)","rule":"Ax","forest":[{"ident":25,"label":"","rule":"","forest":[]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}

Carnap ayrıca bir JSON API'si içerir, bu da tarayıcı içi kanıt denetimi için geri planda Carnap kullanan saf JavaScript GUI'leri oluşturmayı mümkün kılar. İşte size Kevin Klement'in, P.D. Magnus'un Forall x dizge SL'ni kullanan forallx kanıt denetleyicisinden uyarlanmış böyle bir GUI örneği.

17. örnek

(W ∨ X), (Y ∨ Z), X → Y, ¬Z ∴ W ∨ Y

〈 1 / n 〉

Carnap Ne İşe Yarar?

Carnap'ı eğitimcilerin, öğrencilerin ve mantık üzerine çalışan araştırmacıların kullanması amaçlanmaktadır. Carnap, eğitimcilerin etkileşimli alıştırmalar ve öğretim materyalleri oluşturmasını ve öğrencilerin neyin ne olduğunu belirlemek için anlamsal ve sözdizimsel yöntemleri öğrenirken hızlı ve yararlı geri bildirim almalarını mümkün kılar. Carnap, ayrıca alışılmışın dışında biçimsel dizgelerle ilgilenen araştırmacıların bilgisayar destekli mantıksal araştırma için kanıt denetimi ve anlamsal araçları hızla prototip haline getirmelerini sağlar.

Carnap'ı şu anda nasıl kullanabilirim?

Carnap'ı kendi sınıfınızda mantık öğretmek için kullanabilirsiniz!

Tek yapmanız gereken bir hesap oluşturmak ve ardından eğitmen olarak kaydolmak için iletişime geçmek.

Eğitimci olduğunuzda, dersinizi yürütmek ve ödevlere otomatik olarak not vermek için şu anda bulunduğunuz carnap.io adlı bu siteyi kullanabilirsiniz.Burada barındırılan ücretsiz ders kitabından problemleri öğrencilerinize verebilir veya kendi ders kitabınızı kullanabilir ve kendi tercih ettiğiniz dizge için otomatik olarak puanlanmış problem setleri oluşturabilirsiniz. Carnap şu anda doğruluk tablolarının, çevirinin ve ayrıştırma alıştırmalarının yanı sıra Kalish ve Montague'nün Logic Bergmann ve Moore'un Logic Book Hardegree'nin Modal Logic P.D. Magnus'un Forall x ve Forall x'in Calgary Remix'i adlı yapıtlarındaki biçimsel dizgelerle uyumlu türetimleri desteklemektedir. . Ancak, projenin tutkusu azami ölçüde kapsayıcı olmaktır. Bu nedenle, favori dizgeniz desteklenmiyorsa bize bildirin, onu da eklemeye çalışalım.

Olası eğitimciler için yardımcı belgeler burada bulunabilir.

Neden “Carnap”?

Carnap, adını yukarıda alıntılanan filozof Rudolf Carnap'tan almıştır.

Carnap (filozof) mantığa hoşgörülü ve deneysel bir yaklaşımın savunucusuydu. Carnap (program) tasarımı gereği çoğulcudur. Çıkarım kuralları bildirimsel olarak belirtilir ve belirli bir dil için zaten sağlananlara yeni mantıklar eklemeyi kolaylaştırır. Çıkarımların doğru olup olmadığını denetlemeye yönelik algoritmaların çok çeşitli dillere uygulanabilir olması yeni dillerin tanıtılmasını kolaylaştırır.

Carnap'ın (filozof) mantıksal tipler ve onları görmezden gelmenin sizi pek iyi çalışmayan inançlarla nasıl baş başa bırakabileceği hakkında da söyleyecek çok şeyi vardı. Carnap (program), kodun doğruluğunu sağlamak için bir mantıksal tipler teorisi kullanan, duruk yazımlı arı işlevsel bir programlama dili olan Haskell'de yazılmıştır.

Kim Carnap'ı Kullanır?

Carnap ilkin Kansas Eyalet Üniversitesi'nde geliştirilmişti, ancak artık dünya çapında düzinelerce kolej ve üniversitede kullanılıyor. İşte (tamamlanmamış) bir liste:

Arizona State University
Bard College at Simon's Rock
Boise State
Brigham Young University
California State University, Chico
California State University, Northridge
Institute of Philosophy, University of Zielona Gora, Poland
Kansas State University
McGill University
Mississippi State University
Northwestern University
Old Dominion University
Pacific University
Pepperdine University
Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Brazil
Tarleton State University
The American University in Cairo
The University of Alabama at Birmingham
University at Albany, State University of New York
University of Calgary
University of California, Davis
University of California, San Diego
University of California, Santa Cruz
University of Cincinnati
University of Illinois at Chicago
University of Illinois, Urbana Champaign
University of Michigan, Ann Arbor
University of Puget Sound
University of Victoria
University of Wisconsin, Madison

Carnap Nasıl Çalışır?

İşin aslı, bu bir parça teknik bir konu. İşin içinde birkaç farklı el becerisi var.

Esasen Haskell'in yazım dizgesi, farklı sözlük kategorilerini veri türleri olarak temsil etmeyi, ( bu yazıdaanlatılan yönteme benzer bir şey kullanarak) bu sözlüksel kategori veri tiplerini bir sözlüğü temsil eden daha büyük bir veri tipinde birleştirmeyi ve bir sözlüğün farklı öğelerinin dilbilgisel bir şekilde birbirine uygulanmasının sonucu olarak bir dili tanımlamayı olanaklı kılar.

Sonuç olarak, Carnap'ı kullanarak, önceden tanımlanmış sözcük kategorilerini bir araya getirmenin sonucu olarak bir dil tanımlayabilirsiniz. Haskell'in yazım öbekleri sayesinde, dilleriniz, kurucu sözlük kategorilerinin kendileriyle birlikte taşıdığı çeşitli yararlı özellikleri miras alacaktır (örneğin, Boolecu eklemler için sözcük kategorisi içeren diller, "ve" simgesinin nasıl ayrıştırılacağını ve görüntüleneceğini veya bağlaçlarının anlamsal değerlerinden bir tümel evetlemenin anlamsal değerinin nasıl hesaplanacağını otomatik olarak bilir). Ayrıca Haskell'in duruk yazımı ve sözcük kategorilerini tipler olarak temsil etme becerisi nedeniyle, programı derlemeye çalıştığınızda dilbilgisine aykırı bir ifadeyle sonuçlanabilecek herhangi bir programlama hatasının algılanacağı garanti edilir.

Geniş bir dil öbeğini (sözcük kategorilerini bir araya getirmenin sonucunda) tek tip olarak temsil ederek, aynı zamanda onları tek tip olarak manipüle edebiliyoruz. Özellikle, değişken değiştirimi, anlamsal değerlendirme, β-normalleştirme, yüksek dereceli birleştirme gibi şeyler için tamamen genel algoritmalar kullanabiliriz… sözgelimi, yalnızca kabul edilebilir çıkarım kuralları bildirimini kullanarak kanıtların doğruluğunu denetlemek gibi gereksinim duyduğunuz tüm iyi şeyler. Sonuç olarak bu algoritmalar için sadece bir kez kod yazmamız yeterli; daha sonra bu kodu Carnap çerçevesinde tanımlanabilecek herhangi bir dilde otomatik olarak kullanabiliriz.

Yani işin özü bu. Ayrıntılar hakkında daha fazla bilgi edinmek isterseniz kodu inceleyebilir, bir geliştiriciyle konuşabilir veya bu makaleyegöz atabilirsiniz..

Nasıl Katılabilirim?

Carnap'ı desteklemek istiyorsanız, lütfen bizi Github'da yıldızlamayı unutmayınız. . Önerileriniz, özellik istekleriniz veya hata raporlarınız varsa Github'da sorun oluşturabilirsiniz. Genel sorular veya tartışmalar için bize, Matrix 'ten, IRC'ye köprülü ircs://irc.libera.chat:6697/carnap adresinden veya e-postaüzerinden de ulaşabilirsiniz. .

Projeye kod katkısı vermek isterseniz (yeni bir birleştirme algoritmasından, bir CSS ince ayarına veya pandoc şablonuna kadar herhangi bir şey) Github'da bir çekme isteğine koymanız yeterlidir!